| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Executable.AstIO
Description
Reading and writing ASTs with various name types in flat format.
Synopsis
- 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)
- fromNamedDeBruijnUPLC ∷ UplcProgNDB ann → UplcProg ann
Documentation
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.