plutus-core-1.70.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.FlatInstances

Description

Flat instances for Plutus Core types. Make sure to read Note [Stable encoding of TPLC] and Note [Stable encoding of UPLC] before touching anything in this file.

Documentation

safeEncodeBits ∷ NumBits → Word8 → Encoding Source #

decodeKindedUniFlat ∷ Closed uni ⇒ Get (SomeTypeIn (Kinded uni)) Source #

Orphan instances

Flat Data Source # 
Instance details

Methods

encode ∷ Data → Encoding Source #

decode ∷ Get Data Source #

size ∷ Data → NumBits → NumBits Source #

Flat DeBruijn Source # 
Instance details

Methods

encode ∷ DeBruijn → Encoding Source #

decode ∷ Get DeBruijn Source #

size ∷ DeBruijn → NumBits → NumBits Source #

Flat FakeNamedDeBruijn Source # 
Instance details

Methods

encode ∷ FakeNamedDeBruijn → Encoding Source #

decode ∷ Get FakeNamedDeBruijn Source #

size ∷ FakeNamedDeBruijn → NumBits → NumBits Source #

Flat Index Source # 
Instance details

Methods

encode ∷ Index → Encoding Source #

decode ∷ Get Index Source #

size ∷ Index → NumBits → NumBits Source #

Flat NamedDeBruijn Source # 
Instance details

Methods

encode ∷ NamedDeBruijn → Encoding Source #

decode ∷ Get NamedDeBruijn Source #

size ∷ NamedDeBruijn → NumBits → NumBits Source #

Flat NamedTyDeBruijn Source # 
Instance details

Methods

encode ∷ NamedTyDeBruijn → Encoding Source #

decode ∷ Get NamedTyDeBruijn Source #

size ∷ NamedTyDeBruijn → NumBits → NumBits Source #

Flat TyDeBruijn Source # 
Instance details

Methods

encode ∷ TyDeBruijn → Encoding Source #

decode ∷ Get TyDeBruijn Source #

size ∷ TyDeBruijn → NumBits → NumBits Source #

Flat Name Source # 
Instance details

Methods

encode ∷ Name → Encoding Source #

decode ∷ Get Name Source #

size ∷ Name → NumBits → NumBits Source #

Flat TyName Source # 
Instance details

Methods

encode ∷ TyName → Encoding Source #

decode ∷ Get TyName Source #

size ∷ TyName → NumBits → NumBits Source #

Flat Unique Source # 
Instance details

Methods

encode ∷ Unique → Encoding Source #

decode ∷ Get Unique Source #

size ∷ Unique → NumBits → NumBits Source #

Flat Version Source # 
Instance details

Methods

encode ∷ Version → Encoding Source #

decode ∷ Get Version Source #

size ∷ Version → NumBits → NumBits Source #

Flat (Binder DeBruijn) Source # 
Instance details

Methods

encode ∷ Binder DeBruijn → Encoding Source #

decode ∷ Get (Binder DeBruijn) Source #

size ∷ Binder DeBruijn → NumBits → NumBits Source #

Flat (Binder FakeNamedDeBruijn) Source # 
Instance details

Methods

encode ∷ Binder FakeNamedDeBruijn → Encoding Source #

decode ∷ Get (Binder FakeNamedDeBruijn) Source #

size ∷ Binder FakeNamedDeBruijn → NumBits → NumBits Source #

Flat (Binder NamedDeBruijn) Source # 
Instance details

Methods

encode ∷ Binder NamedDeBruijn → Encoding Source #

decode ∷ Get (Binder NamedDeBruijn) Source #

size ∷ Binder NamedDeBruijn → NumBits → NumBits Source #

Flat (Binder NamedTyDeBruijn) Source # 
Instance details

Methods

encode ∷ Binder NamedTyDeBruijn → Encoding Source #

decode ∷ Get (Binder NamedTyDeBruijn) Source #

size ∷ Binder NamedTyDeBruijn → NumBits → NumBits Source #

Flat (Binder Name) Source # 
Instance details

Methods

encode ∷ Binder Name → Encoding Source #

decode ∷ Get (Binder Name) Source #

size ∷ Binder Name → NumBits → NumBits Source #

Flat (Binder TyName) Source # 
Instance details

Methods

encode ∷ Binder TyName → Encoding Source #

decode ∷ Get (Binder TyName) Source #

size ∷ Binder TyName → NumBits → NumBits Source #

Flat ann ⇒ Flat (Kind ann) Source # 
Instance details

Methods

encode ∷ Kind ann → Encoding Source #

decode ∷ Get (Kind ann) Source #

size ∷ Kind ann → NumBits → NumBits Source #

Flat a ⇒ Flat (Normalized a) Source # 
Instance details

Methods

encode ∷ Normalized a → Encoding Source #

decode ∷ Get (Normalized a) Source #

size ∷ Normalized a → NumBits → NumBits Source #

Closed uni ⇒ Flat (SomeTypeIn uni) Source # 
Instance details

Methods

encode ∷ SomeTypeIn uni → Encoding Source #

decode ∷ Get (SomeTypeIn uni) Source #

size ∷ SomeTypeIn uni → NumBits → NumBits Source #

(Flat ann, Flat tyname) ⇒ Flat (TyVarDecl tyname ann) Source # 
Instance details

Methods

encode ∷ TyVarDecl tyname ann → Encoding Source #

decode ∷ Get (TyVarDecl tyname ann) Source #

size ∷ TyVarDecl tyname ann → NumBits → NumBits Source #

(Closed uni, Everywhere uni Flat) ⇒ Flat (Some (ValueOf uni)) Source # 
Instance details

Methods

encode ∷ Some (ValueOf uni) → Encoding Source #

decode ∷ Get (Some (ValueOf uni)) Source #

size ∷ Some (ValueOf uni) → NumBits → NumBits Source #

(Closed uni, Flat ann, Flat tyname) ⇒ Flat (Type tyname uni ann) Source # 
Instance details

Methods

encode ∷ Type tyname uni ann → Encoding Source #

decode ∷ Get (Type tyname uni ann) Source #

size ∷ Type tyname uni ann → NumBits → NumBits Source #

(Closed uni, Flat ann, Flat tyname, Flat name) ⇒ Flat (VarDecl tyname name uni ann) Source # 
Instance details

Methods

encode ∷ VarDecl tyname name uni ann → Encoding Source #

decode ∷ Get (VarDecl tyname name uni ann) Source #

size ∷ VarDecl tyname name uni ann → NumBits → NumBits Source #

(Flat ann, Flat (Term tyname name uni fun ann)) ⇒ Flat (Program tyname name uni fun ann) Source # 
Instance details

Methods

encode ∷ Program tyname name uni fun ann → Encoding Source #

decode ∷ Get (Program tyname name uni fun ann) Source #

size ∷ Program tyname name uni fun ann → NumBits → NumBits Source #

(Closed uni, Everywhere uni Flat, Flat fun, Flat ann, Flat tyname, Flat name) ⇒ Flat (Term tyname name uni fun ann) Source # 
Instance details

Methods

encode ∷ Term tyname name uni fun ann → Encoding Source #

decode ∷ Get (Term tyname name uni fun ann) Source #

size ∷ Term tyname name uni fun ann → NumBits → NumBits Source #