| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PlutusIR.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 :: (HasUniques (Program tyname name uni fun ann), 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 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.