plutus-core-1.36.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

loadPlcASTfromFlatFlat a ⇒ AstNameTypeInputIO (PlcProg a) Source #

Read and deserialise a Flat-encoded PIR/PLC AST

loadUplcASTfromFlatFlat 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.

toDeBruijnTermPLCPlcTerm ann → PlcTermDB ann Source #

Convert a typed term to one where the name type is de Bruijn indices.

toDeBruijnTermUPLCUplcTerm 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.

toNamedDeBruijnUPLCUplcProg ann → UplcProgNDB ann Source #

Convert an untyped program to one where the name type is textual names with de Bruijn indices.