Safe Haskell	None
Language	Haskell2010

PlutusCore.Compiler.Erase

Synopsis

eraseTerm :: forall name tyname (uni :: Type -> Type) fun ann. HasUnique name TermUnique => Term tyname name uni fun ann -> Term name uni fun ann
eraseProgram :: forall name tyname (uni :: Type -> Type) fun ann. HasUnique name TermUnique => Program tyname name uni fun ann -> Program name uni fun ann

Documentation

eraseTerm :: forall name tyname (uni :: Type -> Type) fun ann. 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 :: forall name tyname (uni :: Type -> Type) fun ann. HasUnique name TermUnique => Program tyname name uni fun ann -> Program name uni fun ann Source #