| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Executable.AstIO
Description
Reading and writing ASTs with various name types in flat format.
Synopsis
- type UplcProgDB ann = Program DeBruijn DefaultUni DefaultFun ann
- type UplcProgNDB ann = Program NamedDeBruijn DefaultUni DefaultFun ann
- type PlcProgDB ann = Program TyDeBruijn DeBruijn DefaultUni DefaultFun ann
- type PlcProgNDB ann = Program NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun ann
- type UplcTermDB ann = Term DeBruijn DefaultUni DefaultFun ann
- type UplcTermNDB ann = Term NamedDeBruijn DefaultUni DefaultFun ann
- type PlcTermDB ann = Term TyDeBruijn DeBruijn DefaultUni DefaultFun ann
- type PlcTermNDB ann = Term NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun ann
- type PlcTypeDB ann = Type TyDeBruijn DefaultUni ann
- type PlcTypeNDB ann = Type NamedTyDeBruijn DefaultUni ann
- serialisePirProgramFlat ∷ Flat ann ⇒ AstNameType → PirProg ann → ByteString
- serialisePlcProgramFlat ∷ Flat ann ⇒ AstNameType → PlcProg ann → ByteString
- serialiseUplcProgramFlat ∷ Flat ann ⇒ AstNameType → UplcProg ann → ByteString
- loadPirASTfromFlat ∷ Flat a ⇒ AstNameType → Input → IO (PirProg a)
- loadPlcASTfromFlat ∷ Flat a ⇒ AstNameType → Input → IO (PlcProg a)
- loadUplcASTfromFlat ∷ Flat ann ⇒ AstNameType → Input → IO (UplcProg ann)
- loadUplcASTfromSerialised ∷ Input → IO (UplcProg ())
- loadUplcASTfromHex ∷ Input → IO (UplcProg ())
- fromNamedDeBruijnUPLC ∷ UplcProgNDB ann → UplcProg ann
- toDeBruijnTermPLC ∷ PlcTerm ann → PlcTermDB ann
- toDeBruijnTermUPLC ∷ UplcTerm ann → UplcTermDB ann
- toDeBruijnUPLC ∷ UplcProg ann → UplcProgDB ann
- toDeBruijnTypePLC ∷ PlcType ann → PlcTypeDB ann
- toNamedDeBruijnUPLC ∷ UplcProg ann → UplcProgNDB ann
- decodeUplcHex ∷ Text → UplcProg ()
- encodeUplcHex ∷ UplcProg ann → Text
Documentation
type UplcProgDB ann = Program DeBruijn DefaultUni DefaultFun ann Source #
type UplcProgNDB ann = Program NamedDeBruijn DefaultUni DefaultFun ann Source #
type PlcProgDB ann = Program TyDeBruijn DeBruijn DefaultUni DefaultFun ann Source #
type PlcProgNDB ann = Program NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun ann Source #
type UplcTermDB ann = Term DeBruijn DefaultUni DefaultFun ann Source #
type UplcTermNDB ann = Term NamedDeBruijn DefaultUni DefaultFun ann Source #
type PlcTermDB ann = Term TyDeBruijn DeBruijn DefaultUni DefaultFun ann Source #
type PlcTermNDB ann = Term NamedTyDeBruijn NamedDeBruijn DefaultUni DefaultFun ann Source #
type PlcTypeDB ann = Type TyDeBruijn DefaultUni ann Source #
type PlcTypeNDB ann = Type NamedTyDeBruijn DefaultUni ann Source #
serialisePirProgramFlat ∷ Flat ann ⇒ AstNameType → PirProg ann → ByteString Source #
serialisePlcProgramFlat ∷ Flat ann ⇒ AstNameType → PlcProg ann → ByteString Source #
serialiseUplcProgramFlat ∷ Flat ann ⇒ AstNameType → UplcProg ann → ByteString Source #
loadPirASTfromFlat ∷ Flat a ⇒ AstNameType → Input → IO (PirProg a) Source #
loadPlcASTfromFlat ∷ Flat a ⇒ AstNameType → Input → IO (PlcProg a) Source #
Read and deserialise a Flat-encoded PIR/PLC AST
loadUplcASTfromFlat ∷ Flat ann ⇒ AstNameType → Input → IO (UplcProg ann) Source #
Read and deserialise a Flat-encoded UPLC AST
fromNamedDeBruijnUPLC ∷ UplcProgNDB ann → UplcProg ann Source #
Convert an untyped program with named de Bruijn indices to one with textual names.
toDeBruijnTermPLC ∷ PlcTerm ann → PlcTermDB ann Source #
Convert a typed term to one where the name type is de Bruijn indices.
toDeBruijnTermUPLC ∷ UplcTerm ann → UplcTermDB ann Source #
Convert an untyped term to one where the name type is de Bruijn indices.
toDeBruijnUPLC ∷ UplcProg ann → UplcProgDB ann Source #
Convert an untyped program to one where the name type is de Bruijn indices.
toDeBruijnTypePLC ∷ PlcType ann → PlcTypeDB ann Source #
Convert a type to one where the tyname type is de Bruijn indices.
toNamedDeBruijnUPLC ∷ UplcProg ann → UplcProgNDB ann Source #
Convert an untyped program to one where the name type is textual names
with de Bruijn indices.
decodeUplcHex ∷ Text → UplcProg () Source #
encodeUplcHex ∷ UplcProg ann → Text Source #