Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
- toDeBruijnTermPLC ∷ PlcTerm ann → PlcTermDB ann
- toDeBruijnTermUPLC ∷ UplcTerm ann → UplcTermDB ann
- toDeBruijnTypePLC ∷ PlcType ann → PlcTypeDB ann
- toNamedDeBruijnUPLC ∷ UplcProg ann → UplcProgNDB 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.
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.
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.