plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusIR.Mark

Synopsis

Documentation

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

Marks all the Uniques 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 Uniques 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 :: (HasUniques (Program tyname name uni fun ann), MonadQuote m) => Program tyname name uni fun ann -> m () Source #

Marks all the Uniques 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.