Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusIR.Core.Instance.Flat

Contents

Orphan instances

Orphan instances

Flat Recursivity Source #
Instance details Methods encode ∷ Recursivity → Encoding Source # decode ∷ Get Recursivity Source # size ∷ Recursivity → NumBits → NumBits Source #
Flat Strictness Source #
Instance details Methods encode ∷ Strictness → Encoding Source # decode ∷ Get Strictness Source # size ∷ Strictness → NumBits → NumBits Source #
(Closed uni, Everywhere uni Flat, Flat a, Flat tyname, Flat name) ⇒ Flat (Datatype tyname name uni a) Source #
Instance details Methods encode ∷ Datatype tyname name uni a → Encoding Source # decode ∷ Get (Datatype tyname name uni a) Source # size ∷ Datatype tyname name uni 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 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 #