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

PlutusIR.Core.Instance.Flat

Orphan instances

Flat Recursivity Source # 
Instance details

Methods

encodeRecursivity → Encoding

decode ∷ Get Recursivity

sizeRecursivity → NumBits → NumBits

Flat Strictness Source # 
Instance details

Methods

encodeStrictness → Encoding

decode ∷ Get Strictness

sizeStrictness → NumBits → NumBits

(Closed uni, Everywhere uni Flat, Flat a, Flat tyname, Flat name) ⇒ Flat (Datatype tyname name uni a) Source # 
Instance details

Methods

encodeDatatype tyname name uni a → Encoding

decode ∷ Get (Datatype tyname name uni a)

sizeDatatype tyname name uni a → NumBits → NumBits

(Closed uni, Everywhere uni Flat, Flat fun, Flat a, Flat tyname, Flat name) ⇒ Flat (Binding tyname name uni fun a) Source # 
Instance details

Methods

encodeBinding tyname name uni fun a → Encoding

decode ∷ Get (Binding tyname name uni fun a)

sizeBinding tyname name uni fun a → NumBits → NumBits

(Closed uni, Everywhere uni Flat, Flat fun, Flat a, Flat tyname, Flat name) ⇒ Flat (Program tyname name uni fun a) Source # 
Instance details

Methods

encodeProgram tyname name uni fun a → Encoding

decode ∷ Get (Program tyname name uni fun a)

sizeProgram tyname name uni fun a → NumBits → NumBits

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

Methods

encodeTerm tyname name uni fun a → Encoding

decode ∷ Get (Term tyname name uni fun a)

sizeTerm tyname name uni fun a → NumBits → NumBits