Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-core-1.70.0.0

PlutusCore.Mark

3 values

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 ()