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.Analysis.Definitions

2 types
5 values

Packageplutus-core-1.70.0.0
Exports7
LicenceApache-2.0

valueaddDef

:: (Ord ann, HasUnique n unique, MonadState (UniqueInfos ann) m, MonadWriter [UniqueError ann] m)
=> n
-> ann
-> ScopeType
-> m ()

valueaddUsage

:: (Ord ann, HasUnique n unique, MonadState (UniqueInfos ann) m, MonadWriter [UniqueError ann] m)
=> n
-> ann
-> ScopeType
-> m ()

valuehandleType

:: (Ord ann, HasUnique tyname TypeUnique, MonadState (UniqueInfos ann) m, MonadWriter [UniqueError ann] m)
=> Type tyname uni ann
-> m ()

valuerunTermDefs

:: (Ord ann, HasUnique name TermUnique, HasUnique tyname TypeUnique, Monad m)
=> Term tyname name uni fun ann
-> m (UniqueInfos ann, [UniqueError ann])

valuetermDefs

:: (Ord ann, HasUnique name TermUnique, HasUnique tyname TypeUnique, MonadState (UniqueInfos ann) m, MonadWriter [UniqueError ann] m)
=> Term tyname name uni fun ann
-> m ()

datadata ScopeType

TermScope TypeScope

Instances2Eq, Ord

Eq ScopeTypeDefined in plutus-core-1.70.0.0 · PlutusCore.Analysis.Definitions
Ord ScopeTypeDefined in plutus-core-1.70.0.0 · PlutusCore.Analysis.Definitions

typetype UniqueInfos ann = UniqueMap Unique (UniqueInfo ann)