| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusIR.Mark
Synopsis
- markNonFreshTerm :: (MonadQuote m) => Term tyname name uni fun ann -> m () #
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 inMonadQuote m) => Type tyname uni ann -> m () #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 inMonadQuote m) => Program tyname name uni fun ann -> m () #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 inQuote.