Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleplutus-core-1.70.0.0

PlutusCore.Mark

Synopsis

value markNonFreshProgram
value markNonFreshTerm
value markNonFreshType

Packageplutus-core-1.70.0.0
Exports3
LicenceApache-2.0

valuemarkNonFreshProgram

:: (HasUnique tyname TypeUnique, HasUnique name TermUnique, MonadQuote m)
=> Program tyname name uni fun ann
-> m ()

valuemarkNonFreshTerm

:: (HasUniques (Term tyname name uni fun ann), MonadQuote m)
=> Term tyname name uni fun ann
-> m ()

valuemarkNonFreshType

:: (HasUniques (Type tyname uni ann), MonadQuote m)
=> Type tyname uni ann
-> m ()