Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- markNonFreshTerm ∷ (HasUniques (Term name uni fun ann), MonadQuote m) ⇒ Term name uni fun ann → m ()
- markNonFreshProgram ∷ (HasUnique name TermUnique, MonadQuote m) ⇒ Program name uni fun ann → m ()
Documentation
markNonFreshTerm ∷ (HasUniques (Term name uni fun ann), MonadQuote m) ⇒ Term name uni fun ann → m () Source #
markNonFreshProgram ∷ (HasUnique name TermUnique, MonadQuote m) ⇒ Program name uni fun ann → m () Source #