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

PlutusCore.Compiler.Erase

Synopsis

Documentation

eraseTermHasUnique name TermUniqueTerm tyname name uni fun ann → Term name uni fun ann Source #

Erase a Typed Plutus Core term to its untyped counterpart.

Restricted to Plc terms with Names, because erasing a (Named-)Debruijn term will mess up its debruijn indexing and thus break scope-checking. -- FIXME: Lift this restriction of eraseTerm for (Named-)DeBruijn terms.

eraseProgramHasUnique name TermUniqueProgram tyname name uni fun ann → Program name uni fun ann Source #