Safe Haskell	None
Language	Haskell2010

PlutusCore.Mark

Synopsis

markNonFreshTerm :: ( HasUniques ( Term tyname name uni fun ann), MonadQuote m) => Term tyname name uni fun ann -> m ()
markNonFreshType :: ( HasUniques ( Type tyname uni ann), MonadQuote m) => Type tyname uni ann -> m ()
markNonFreshProgram :: ( HasUnique tyname TypeUnique , HasUnique name TermUnique , MonadQuote m) => Program tyname name uni fun ann -> m ()

Documentation

markNonFreshTerm :: ( HasUniques ( Term tyname name uni fun ann), MonadQuote m) => Term tyname name uni fun ann -> m () Source #

Marks all the Unique s in a term as used, so they will not be generated in future. Useful if you have a term which was not generated in Quote .

markNonFreshType :: ( HasUniques ( Type tyname uni ann), MonadQuote m) => Type tyname uni ann -> m () Source #

Marks all the Unique s in a type as used, so they will not be generated in future. Useful if you have a type which was not generated in Quote .

markNonFreshProgram :: ( HasUnique tyname TypeUnique , HasUnique name TermUnique , MonadQuote m) => Program tyname name uni fun ann -> m () Source #

Marks all the Unique s in a program as used, so they will not be generated in future. Useful if you have a program which was not generated in Quote .