Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Compiler.Erase

Synopsis

eraseTerm :: HasUnique name TermUnique => Term tyname name uni fun ann -> Term name uni fun ann
eraseProgram :: HasUnique name TermUnique => Program tyname name uni fun ann -> Program name uni fun ann

Documentation

eraseTerm :: HasUnique name TermUnique => Term 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.

eraseProgram :: HasUnique name TermUnique => Program tyname name uni fun ann -> Program name uni fun ann Source #