Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.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 ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, 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 ∷ (HasUnique tyname TypeUnique, HasUnique name TermUnique, 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.