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-tx-1.70.0.0

PlutusTx.Code

3 types
8 values

Packageplutus-tx-1.70.0.0
Exports11
LicenceApache-2.0

valueapplyCode

:: (Closed uni, Everywhere uni Flat, Flat fun, Pretty fun, Everywhere uni PrettyConst, PrettyBy RenderContext (SomeTypeIn uni))
=> CompiledCodeIn uni fun (a -> b)
-> CompiledCodeIn uni fun a
-> Either String (CompiledCodeIn uni fun b)

valuecountAstNodes

:: (Closed uni, Everywhere uni Flat, Flat fun)
=> CompiledCodeIn uni fun a
-> Integer

valuegetCovIdx :: CompiledCodeIn uni fun a -> CoverageIndex

valuegetPir

:: (Closed uni, Everywhere uni Flat, Flat fun)
=> CompiledCodeIn uni fun a
-> Maybe (Program TyName Name uni fun SrcSpans)

valuegetPirNoAnn

:: (Closed uni, Everywhere uni Flat, Flat fun)
=> CompiledCodeIn uni fun a
-> Maybe (Program TyName Name uni fun ())

valuegetPlc

:: (Closed uni, Everywhere uni Flat, Flat fun)
=> CompiledCodeIn uni fun a
-> Program NamedDeBruijn uni fun SrcSpans

valuegetPlcNoAnn

:: (Closed uni, Everywhere uni Flat, Flat fun)
=> CompiledCodeIn uni fun a
-> Program NamedDeBruijn uni fun ()

valueunsafeApplyCode

:: (Closed uni, Everywhere uni Flat, Flat fun, Pretty fun, Everywhere uni PrettyConst, PrettyBy RenderContext (SomeTypeIn uni))
=> CompiledCodeIn uni fun (a -> b)
-> CompiledCodeIn uni fun a
-> CompiledCodeIn uni fun b

typetype CompiledCode = CompiledCodeIn DefaultUni DefaultFun

datadata CompiledCodeIn (uni :: Type -> Type) fun a

Constructors

SerializedCode ByteString (Maybe ByteString) CoverageIndex
DeserializedCode (Program NamedDeBruijn uni fun SrcSpans) (Maybe (Program TyName Name uni fun SrcSpans)) CoverageIndex

newtypenewtype ImpossibleDeserialisationFailure

Constructors

ImpossibleDeserialisationFailure DecodeException

Instances2Show, Exception

Show ImpossibleDeserialisationFailureDefined in plutus-tx-1.70.0.0 · PlutusTx.Code
Exception ImpossibleDeserialisationFailureDefined in plutus-tx-1.70.0.0 · PlutusTx.Code