plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Core.Instance.Flat

Orphan instances

Flat Strictness Source # 
Instance details

Flat Recursivity Source # 
Instance details

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

Methods

encode :: Program tyname name uni fun a -> Encoding Source #

decode :: Get (Program tyname name uni fun a) Source #

size :: Program tyname name uni fun a -> NumBits -> NumBits 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

encode :: Term tyname name uni fun a -> Encoding Source #

decode :: Get (Term tyname name uni fun a) Source #

size :: Term tyname name uni fun a -> NumBits -> NumBits 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

encode :: Binding tyname name uni fun a -> Encoding Source #

decode :: Get (Binding tyname name uni fun a) Source #

size :: Binding tyname name uni fun a -> NumBits -> NumBits Source #

(Closed uni, Everywhere uni Flat, Flat a, Flat tyname, Flat name, Flat fun) => Flat (Datatype tyname name uni fun a) Source # 
Instance details

Methods

encode :: Datatype tyname name uni fun a -> Encoding Source #

decode :: Get (Datatype tyname name uni fun a) Source #

size :: Datatype tyname name uni fun a -> NumBits -> NumBits Source #