Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
.