plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Executable.AstIO

Description

Reading and writing ASTs with various name types in flat format.

Synopsis

Documentation

serialisePirProgramFlat ∷ Flat ann ⇒ AstNameTypePirProg ann → ByteString Source #

serialisePlcProgramFlat ∷ Flat ann ⇒ AstNameTypePlcProg ann → ByteString Source #

serialiseUplcProgramFlat ∷ Flat ann ⇒ AstNameTypeUplcProg ann → ByteString Source #

loadPlcASTfromFlat ∷ Flat a ⇒ AstNameTypeInputIO (PlcProg a) Source #

Read and deserialise a Flat-encoded PIR/PLC AST

loadUplcASTfromFlat ∷ Flat ann ⇒ AstNameTypeInputIO (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.