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

PlutusIR.Core.Instance.Flat

Orphan instances

Flat Recursivity Source # 
Instance details

Flat Strictness Source # 
Instance details

(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 Source #

decodeGet (Datatype tyname name uni a) Source #

sizeDatatype tyname name uni a → NumBitsNumBits Source #

(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 Source #

decodeGet (Binding tyname name uni fun a) Source #

sizeBinding tyname name uni fun a → NumBitsNumBits Source #

(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 Source #

decodeGet (Program tyname name uni fun a) Source #

sizeProgram tyname name uni fun a → NumBitsNumBits Source #

(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 Source #

decodeGet (Term tyname name uni fun a) Source #

sizeTerm tyname name uni fun a → NumBitsNumBits Source #