| 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
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 :: ( HasUniques ( Program tyname name uni fun ann), 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
.