Safe Haskell	None
Language	Haskell2010

PlutusIR.Core.Instance.Flat

Contents

Orphan instances

Orphan instances

Flat Strictness Source #
Instance details Methods encode :: Strictness -> Encoding Source # decode :: Get Strictness Source # size :: Strictness -> NumBits -> NumBits Source #
Flat Recursivity Source #
Instance details Methods encode :: Recursivity -> Encoding Source # decode :: Get Recursivity Source # size :: Recursivity -> NumBits -> NumBits 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 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 #