plutus-core-1.0.0.1: Language library for Plutus Core

Index

$> PlutusPrelude
%~ PlutusPrelude
& PlutusPrelude
&&& PlutusPrelude
.* PlutusPrelude
.~ PlutusPrelude
:| PlutusPrelude
:~: Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
<&> PlutusPrelude
<: Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
<<$>> PlutusPrelude
<<*>> PlutusPrelude
<=< PlutusPrelude
<|> PlutusPrelude
>=> PlutusPrelude
? PlutusPrelude
Absurd PlutusCore.Examples.Builtins
AddInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
AllowEscape PlutusIR.Compiler
Alternative PlutusPrelude
annotateWithRetainedSize PlutusIR.Analysis.RetainedSize
AppearedBindings PlutusCore.Check.Scoping
AppearedVariables PlutusCore.Check.Scoping
AppendByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
AppendString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Apply
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
apply PlutusCore.MkPlc , PlutusIR.MkPir
applyCostModelParams PlutusCore.Evaluation.Machine.CostModelInterface
applyDisappears PlutusCore.Check.Scoping
ApplyF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
applyFun PlutusCore.StdLib.Data.Function
applyNameAction PlutusCore.Check.Scoping
applyProgram
1 (Function) PlutusCore
2 (Function) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
3 (Function) UntypedPlutusCore
applyStays PlutusCore.Check.Scoping
argProxy PlutusCore.Builtin
asConstant PlutusCore.Builtin
AsError
1 (Type/Class) PlutusCore.Error , PlutusCore
2 (Type/Class) PlutusIR.Error , PlutusIR.Compiler
AsEvaluationError PlutusCore.Evaluation.Machine.Exception
AsEvaluationFailure PlutusCore.Evaluation.Result
AsFreeVariableError PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
asksM PlutusPrelude
AsMachineError PlutusCore.Evaluation.Machine.Exception
AsNormCheckError PlutusCore.Error , PlutusCore
AsParseError PlutusCore.Error
AsSerialize
1 (Type/Class) PlutusCore.Flat
2 (Data Constructor) PlutusCore.Flat
AsTypeError PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
AsTypeErrorExt PlutusIR.Error , PlutusIR.Compiler
AsUniqueError PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
AsUnliftingError PlutusCore.Evaluation.Machine.Exception
AttachPrettyConfig
1 (Data Constructor) PlutusCore.Pretty
2 (Type/Class) PlutusCore.Pretty
B PlutusCore.Data
backupBenchingResultsFile PlutusCore.DataFilePaths
BadTerm PlutusCore.Error , PlutusCore.Check.Normal , PlutusCore
BadType PlutusCore.Error , PlutusCore.Check.Normal , PlutusCore
BApply UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BBuiltin UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BBuiltinApp UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BConst UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
BDelay UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
benchingResultsFile PlutusCore.DataFilePaths
beta PlutusIR.Transform.Beta
BForce UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BiconstPair PlutusCore.Examples.Builtins
Binder
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
bindFun UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
bindFunM UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
Binding PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
bindingIds PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
bindingNames PlutusIR.Core.Plated , PlutusIR.Core
bindingSubkinds PlutusIR.Core.Plated , PlutusIR.Core
bindingSubstNames PlutusIR.Transform.Substitute
bindingSubstTyNames PlutusIR.Transform.Substitute
bindingSubterms PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
bindingSubtypes PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
bindingTyNames PlutusIR.Core.Plated , PlutusIR.Core
bindTuple PlutusCore.StdLib.Meta.Data.Tuple
Blake2b_256 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
blake2b_256 Data.ByteString.Hash
BLamAbs UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
bool
1 (Function) PlutusPrelude
2 (Function) PlutusCore.StdLib.Data.Bool
botPrettyConfigReadable PlutusCore.Pretty
braces' Prettyprinter.Custom
brackets' Prettyprinter.Custom
bring Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
BStartup UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BStep UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Builtin
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
builtin PlutusCore.MkPlc , PlutusIR.MkPir
BuiltinCostModel PlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModel PlutusCore.Evaluation.Machine.MachineParameters
BuiltinCostModelBase
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModelFile PlutusCore.DataFilePaths
BuiltinErrorCall
1 (Type/Class) PlutusCore.Examples.Builtins
2 (Data Constructor) PlutusCore.Examples.Builtins
BuiltinF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
BuiltinMeaning
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
builtinMeaningsToTypes PlutusCore
BuiltinRuntime
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
BuiltinRuntimeOptions
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
builtins PlutusCore.Examples.Everything
BuiltinsRuntime
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
builtinsRuntime PlutusCore.Evaluation.Machine.MachineParameters
builtinTagWidth PlutusCore.Default , PlutusCore.Builtin.Debug
BuiltinTermArgumentExpectedMachineError PlutusCore.Evaluation.Machine.Exception
BuiltinTypeNotAStar PlutusCore.Error , PlutusCore.Parser , PlutusCore
BuiltinTypes
1 (Type/Class) PlutusCore , PlutusIR.TypeCheck
2 (Data Constructor) PlutusCore , PlutusIR.TypeCheck
BVar UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
caseData PlutusCore.StdLib.Data.Data
caseList PlutusCore.StdLib.Data.List
ccEnclosing PlutusIR.Compiler
ccOpts PlutusIR.Compiler
ccTypeCheckConfig PlutusIR.Compiler
cekApplyCost PlutusCore
CekBudgetSpender
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
cekBuiltinCost PlutusCore
cekConstCost PlutusCore
cekDelayCost PlutusCore
CekEmitter UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekEmitterInfo
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekEvaluationException UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
CekEvaluationFailure UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
CekExTally
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
cekForceCost PlutusCore
cekLamCost PlutusCore
CekM
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
CekMachineCosts
1 (Type/Class) PlutusCore.Evaluation.Machine.CostModelInterface , UntypedPlutusCore.Evaluation.Machine.Cek , PlutusCore
2 (Data Constructor) PlutusCore
cekMachineCostsFile PlutusCore.DataFilePaths
cekMachineCostsPrefix PlutusCore
CekOutOfExError UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
cekStartupCost PlutusCore
CekUserError UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
CekValue UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
cekVarCost PlutusCore
checkEmpty PlutusCore.Check.Scoping
checkKind PlutusCore
checkProgram
1 (Function) PlutusCore.Check.Normal
2 (Function) PlutusCore.Check.Uniques
3 (Function) UntypedPlutusCore.Check.Uniques
checkRespectsScoping PlutusCore.Check.Scoping
checkScope UntypedPlutusCore.Check.Scope
checkScopeInfo PlutusCore.Check.Scoping
checkStar Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
checkTerm
1 (Function) PlutusCore.Check.Normal
2 (Function) PlutusCore.Check.Uniques
3 (Function) UntypedPlutusCore.Check.Uniques
checkType
1 (Function) PlutusCore.Check.Uniques
2 (Function) PlutusCore
3 (Function) PlutusIR.TypeCheck
checkTypeOfProgram
1 (Function) PlutusCore
2 (Function) PlutusIR.TypeCheck
ChooseData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ChooseList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ChooseUnit PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
churchConcat PlutusCore.Examples.Data.Vec
churchCons PlutusCore.Examples.Data.Vec
churchNat PlutusCore.StdLib.Data.ChurchNat
churchNil PlutusCore.Examples.Data.Vec
churchSucc PlutusCore.StdLib.Data.ChurchNat
churchVec PlutusCore.Examples.Data.Vec
churchZero PlutusCore.StdLib.Data.ChurchNat
CkEvaluationException PlutusCore.Evaluation.Machine.Ck
CkM PlutusCore.Evaluation.Machine.Ck
CkValue PlutusCore.Evaluation.Machine.Ck
Closed Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
CMInternalReadError PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteError PlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamError PlutusCore.Evaluation.Machine.CostModelInterface
coDebug PlutusIR.Compiler
coDoSimplifierBeta PlutusIR.Compiler
coDoSimplifierInline PlutusIR.Compiler
coDoSimplifierUnwrapCancel PlutusIR.Compiler
coerce PlutusPrelude
Coercible PlutusPrelude
coInlineHints PlutusIR.Compiler
CollectScopeInfo PlutusCore.Check.Scoping
collectScopeInfo PlutusCore.Check.Scoping
coMaxSimplifierIterations PlutusIR.Compiler
Comma PlutusCore.Examples.Builtins
CompilationCtx PlutusIR.Compiler
CompilationError PlutusIR.Error , PlutusIR.Compiler
CompilationOpts PlutusIR.Compiler
compileNonStrictBindings PlutusIR.Transform.NonStrict
compileReadableToPlc PlutusIR.Compiler
compileTerm PlutusIR.Compiler
compileToReadable PlutusIR.Compiler
Compiling PlutusIR.Compiler
CondensedErrors PlutusCore.Pretty
CondensedErrorsNo PlutusCore.Pretty
CondensedErrorsYes PlutusCore.Pretty
cons PlutusCore.StdLib.Data.ScottList
consAnnIf PlutusCore.Pretty
ConsByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Const PlutusCore.Examples.Builtins
const PlutusCore.StdLib.Data.Function
Constant
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
constant PlutusCore.MkPlc , PlutusIR.MkPir
ConstantF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
ConstConfig
1 (Type/Class) PlutusCore.Pretty
2 (Data Constructor) PlutusCore.Pretty
constPartial PlutusCore.StdLib.Meta.Data.Function
Constr PlutusCore.Data
ConstrData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Constructor PlutusIR.Compiler
ConstructorType PlutusIR.Compiler
Contains Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
coOptimize PlutusIR.Compiler
coPedantic PlutusIR.Compiler
coProfile PlutusIR.Compiler
CostingFun
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunCpu PlutusCore.Evaluation.Machine.BuiltinCostModel
costingFunMemory PlutusCore.Evaluation.Machine.BuiltinCostModel
CostingInteger PlutusCore.Evaluation.Machine.ExMemory
CostingPart PlutusCore.Builtin , PlutusCore.Builtin
CostModel
1 (Type/Class) PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor) PlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyError PlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDir PlutusCore.DataFilePaths
CostModelParams PlutusCore.Evaluation.Machine.CostModelInterface
counting UntypedPlutusCore.Evaluation.Machine.Cek
CountingSt
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
coVerbose PlutusIR.Compiler
Data PlutusCore.Data
dataTy PlutusCore.StdLib.Data.Data
Datatype
1 (Type/Class) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
DatatypeBind PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
DatatypeComponent
1 (Type/Class) PlutusIR.Compiler
2 (Data Constructor) PlutusIR.Compiler
DatatypeDef PlutusIR.MkPir
datatypeNameString PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
datatypeSubkinds PlutusIR.Core.Plated , PlutusIR.Core
datatypeSubtypes PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
DatatypeType PlutusIR.Compiler
dbnIndex PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
DeBruijn
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
deBruijnInitIndex PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
deBruijnTerm
1 (Function) PlutusCore.DeBruijn , PlutusCore
2 (Function) UntypedPlutusCore.DeBruijn , UntypedPlutusCore
deBruijnTermWith
1 (Function) PlutusCore.DeBruijn
2 (Function) UntypedPlutusCore.DeBruijn , UntypedPlutusCore
deBruijnTy PlutusCore.DeBruijn
deBruijnTyWith PlutusCore.DeBruijn
debugPrettyConfigName PlutusCore.Pretty
debugPrettyConfigPlcClassic PlutusCore.Pretty
debugPrettyConfigPlcReadable PlutusCore.Pretty
decodeBuiltin PlutusCore.Default , PlutusCore.Builtin.Debug
decodeKindedUni Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
decodeProgram UntypedPlutusCore.Core , UntypedPlutusCore
decodeTerm UntypedPlutusCore.Core , UntypedPlutusCore
decodeTermTag UntypedPlutusCore.Core , UntypedPlutusCore
DecodeUniM
1 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
2 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
DecodeUtf8 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Def
1 (Type/Class) PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
2 (Data Constructor) PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
defaultBuiltinCostModel PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultBuiltinsRuntime PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCekCostModel PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCekMachineCosts PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCekParameters PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCompilationOpts PlutusIR.Compiler
defaultCostModelParams PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
DefaultFun PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
defaultSimplifyOpts UntypedPlutusCore
DefaultUni PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
DefaultUniApply PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBool PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniUnit PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
defaultUnliftingMode PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultVersion PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
defBuiltinsRuntimeExt PlutusCore.Examples.Builtins
defineDatatype PlutusIR.Compiler.Definitions
defineTerm PlutusIR.Compiler.Definitions
defineType PlutusIR.Compiler.Definitions
defPrettyConfigName PlutusCore.Pretty
defPrettyConfigPlcClassic PlutusCore.Pretty
defPrettyConfigPlcOptions PlutusCore.Pretty
defPrettyConfigPlcReadable PlutusCore.Pretty
DefT PlutusIR.Compiler.Definitions
defVal PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
defVar PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
Delay UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
DelayF UntypedPlutusCore.Core , UntypedPlutusCore
demoteKind PlutusCore.Builtin
deriveGCompare Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
deriveGEq Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Destructor PlutusIR.Compiler
DestructorType PlutusIR.Compiler
DisappearedBindings PlutusCore.Check.Scoping
DisappearedVariables PlutusCore.Check.Scoping
Disappears
1 (Data Constructor) PlutusCore.Check.Scoping
2 (Type/Class) PlutusCore.Check.Scoping
DisappearsBinding PlutusCore.Check.Scoping
DisappearsVariable PlutusCore.Check.Scoping
dischargeCekValue UntypedPlutusCore.Evaluation.Machine.Cek.Internal
display PlutusPrelude , PlutusCore.Pretty
displayBy PlutusCore.Pretty
displayPlcCondensedErrorClassic PlutusCore.Pretty
displayPlcDebug PlutusCore.Pretty
displayPlcDef PlutusCore.Pretty
DivideInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Doc PlutusPrelude , PlutusCore.Pretty
Dupable PlutusCore.Rename
DuplicateBindersInTheInput PlutusCore.Check.Scoping
DuplicateBindersInTheOutput PlutusCore.Check.Scoping
elaborateDebug PlutusCore.Builtin.Debug
ElaborateFromTo PlutusCore.Builtin.Elaborate , PlutusCore.Builtin.Debug
embed PlutusCore.MkPlc , PlutusIR.MkPir
emit PlutusCore.Builtin.Emitter , PlutusCore.Builtin
Emitter
1 (Type/Class) PlutusCore.Builtin.Emitter , PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin.Emitter , PlutusCore.Builtin
EmitterMode
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
empty PlutusPrelude
EmptyBuiltinArityMachineError PlutusCore.Evaluation.Machine.Exception
emptyScopeInfo PlutusCore.Check.Scoping
encodeBuiltin PlutusCore.Default , PlutusCore.Builtin.Debug
encodeTerm UntypedPlutusCore.Core , UntypedPlutusCore
encodeTermTag UntypedPlutusCore.Core , UntypedPlutusCore
encodeUni Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
EncodeUtf8 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
enormousBudget PlutusCore.Evaluation.Machine.ExBudget , UntypedPlutusCore.Evaluation.Machine.Cek
ensure PlutusPrelude
enumeration PlutusPrelude
enumFromTo PlutusCore.StdLib.Data.ScottList
EqualsByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
EqualsData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
EqualsInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
EqualsString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
erase UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
eraseProgram UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
Error
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class) PlutusCore.Error , PlutusCore
3 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
4 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
5 (Type/Class) PlutusIR.Error , PlutusIR.Compiler
error PlutusCore.MkPlc , PlutusIR.MkPir
ErrorCode
1 (Type/Class) ErrorCode
2 (Data Constructor) ErrorCode
errorCode ErrorCode
ErrorF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
ErrorPrime PlutusCore.Examples.Builtins
ErrorWithCause
1 (Type/Class) PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Esc Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
EstablishScoping PlutusCore.Check.Scoping
establishScoping PlutusCore.Check.Scoping
establishScopingBinder PlutusCore.Check.Scoping
establishScopingBinding PlutusIR.Core.Instance.Scoping
establishScopingBindings PlutusIR.Core.Instance.Scoping
establishScopingConstrs PlutusIR.Core.Instance.Scoping
establishScopingConstrTy PlutusIR.Core.Instance.Scoping
establishScopingParams PlutusIR.Core.Instance.Scoping
etaExpand PlutusCore.StdLib.Meta.Data.Function
evaluateCek UntypedPlutusCore.Evaluation.Machine.Cek
evaluateCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
evaluateCk PlutusCore.Evaluation.Machine.Ck
evaluateCkNoEmit PlutusCore.Evaluation.Machine.Ck
EvaluationError PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
EvaluationException PlutusCore.Evaluation.Machine.Exception
EvaluationFailure PlutusCore.Evaluation.Result , PlutusCore.Evaluation.Machine.Ck , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek , PlutusCore
evaluationFailure PlutusCore.Evaluation.Result
EvaluationResult PlutusCore.Evaluation.Result , PlutusCore.Evaluation.Machine.Ck , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek , PlutusCore
EvaluationSuccess PlutusCore.Evaluation.Result , PlutusCore.Evaluation.Machine.Ck , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek , PlutusCore
Everywhere Universe , Universe , PlutusCore.Default, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore
EverywhereAll Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
examples PlutusCore.Examples.Everything
ExBudget
1 (Type/Class) PlutusCore.Evaluation.Machine.ExBudget
2 (Data Constructor) PlutusCore.Evaluation.Machine.ExBudget
ExBudgetBuiltin PlutusCore.Evaluation.Machine.ExBudget
exBudgetBuiltin PlutusCore.Evaluation.Machine.ExBudget
ExBudgetCategory UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
exBudgetCPU PlutusCore.Evaluation.Machine.ExBudget
ExBudgetInfo
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal
exBudgetMemory PlutusCore.Evaluation.Machine.ExBudget
ExBudgetMode
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Exception PlutusPrelude
ExCPU
1 (Type/Class) PlutusCore.Evaluation.Machine.ExMemory
2 (Data Constructor) PlutusCore.Evaluation.Machine.ExMemory
ExMemory
1 (Type/Class) PlutusCore.Evaluation.Machine.ExMemory
2 (Data Constructor) PlutusCore.Evaluation.Machine.ExMemory
ExMemoryUsage PlutusCore.Evaluation.Machine.ExMemory
ExpensivePlus PlutusCore.Examples.Builtins
ExpensiveSucc PlutusCore.Examples.Builtins
ExRestrictingBudget
1 (Type/Class) PlutusCore.Evaluation.Machine.ExBudget
2 (Data Constructor) PlutusCore.Evaluation.Machine.ExBudget
ExtensionFun PlutusCore.Examples.Builtins
extractCostModelParams PlutusCore.Evaluation.Machine.CostModelInterface
extractEvaluationResult PlutusCore.Evaluation.Machine.Exception , PlutusCore.Evaluation.Machine.Ck , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Factorial PlutusCore.Examples.Builtins
FailingPlus PlutusCore.Examples.Builtins
FailingSucc PlutusCore.Examples.Builtins
FakeNamedDeBruijn
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
fakeNameDeBruijn PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
false PlutusCore.StdLib.Data.Bool
first PlutusPrelude
fix PlutusCore.StdLib.Data.Function
fixAndType PlutusCore.StdLib.Data.Function
fixBy PlutusCore.StdLib.Data.Function
fixByAndType PlutusCore.StdLib.Data.Function
fixN PlutusCore.StdLib.Data.Function
fixNAndType PlutusCore.StdLib.Data.Function
floatTerm PlutusIR.Transform.LetFloat
fold PlutusPrelude
FoldArgs PlutusCore.Builtin
FolderContents
1 (Type/Class) PlutusCore.FsTree
2 (Data Constructor) PlutusCore.FsTree
foldFsTree PlutusCore.FsTree
foldl' PlutusPrelude
foldList
1 (Function) PlutusCore.StdLib.Data.ScottList
2 (Function) PlutusCore.StdLib.Data.List
foldMapM PlutusPrelude
foldNat PlutusCore.StdLib.Data.Nat
foldPlcFolderContents PlutusCore.FsTree
foldPlcFsTree PlutusCore.FsTree
foldrInterList PlutusCore.Examples.Data.InterList
foldrList
1 (Function) PlutusCore.StdLib.Data.ScottList
2 (Function) PlutusCore.StdLib.Data.List
foldrNat PlutusCore.StdLib.Data.Nat
for PlutusPrelude
Force UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
ForceF UntypedPlutusCore.Core , UntypedPlutusCore
forestCons PlutusCore.Examples.Data.TreeForest
forestData PlutusCore.Examples.Data.TreeForest
forestNil PlutusCore.Examples.Data.TreeForest
format PlutusCore
FreeIndex PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
freeIndexAsConsistentLevel PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
FreeTypeVariableE PlutusCore.Error
FreeUnique PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
FreeVariable PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
FreeVariableE PlutusCore.Error
FreeVariableError PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
FreeVariableErrorE PlutusCore.Error , PlutusCore
freshenName PlutusCore.Quote
freshenTyName PlutusCore.Quote
freshName PlutusCore.Quote , PlutusCore
FreshState PlutusCore.Quote
freshTyName PlutusCore.Quote , PlutusCore
freshUnique PlutusCore.Quote , PlutusCore
fromBuiltinRuntimeOptions PlutusCore.Builtin
fromConstant PlutusCore.Builtin
fromFake PlutusCore.DeBruijn
fromFoldable PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
fromMaybe PlutusPrelude
fromNames PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
fromRight PlutusPrelude
fromUniques PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
FsFile PlutusCore.FsTree
FsFolder PlutusCore.FsTree
FstPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
fstPair PlutusCore.StdLib.Data.Pair
FsTree PlutusCore.FsTree
ftvBinding PlutusIR.Subst
ftvTerm
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Subst
ftvTy PlutusCore.Subst , PlutusIR.Subst
FunctionDef
1 (Type/Class) PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
functionDefToType PlutusCore.MkPlc , PlutusIR.MkPir
functionDefVarDecl PlutusCore.MkPlc , PlutusIR.MkPir
FunctionType
1 (Type/Class) PlutusCore.MkPlc , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.MkPlc , PlutusIR.MkPir
functionTypeToType PlutusCore.MkPlc , PlutusIR.MkPir
fvBinding PlutusIR.Subst
fvTerm
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Subst
Generic PlutusPrelude
GEq Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
geq Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
GetArgs PlutusCore.Builtin
getDefTypeCheckConfig
1 (Function) PlutusCore
2 (Function) PlutusIR.TypeCheck
getEta PlutusCore.Examples.Data.Vec
getMutualFixOf PlutusCore.StdLib.Data.Function
getSingleFixOf PlutusCore.StdLib.Data.Function
getSpineToTuple PlutusCore.StdLib.Meta.Data.Tuple
getStepFun PlutusCore.Examples.Data.Vec
getTupleType PlutusCore.StdLib.Meta.Data.Tuple
GShow Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
gshow Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
gshowsPrec Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
guard PlutusPrelude
handleSname PlutusCore.Check.Scoping
HasConstant PlutusCore.Builtin
HasConstantIn PlutusCore.Builtin
HasErrorCode ErrorCode
Hashable PlutusCore.Evaluation.Machine.BuiltinCostModel , UntypedPlutusCore.Evaluation.Machine.Cek
HasIndex PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
HasPrettyConfigName PlutusCore.Pretty
HasPrettyDefaults PlutusPrelude
HasRenaming PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
HasUniApply Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
HasUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
HasUniques PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
HeadList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Hole PlutusCore.Builtin
I PlutusCore.Data
Id PlutusCore.Examples.Builtins
IdAssumeBool PlutusCore.Examples.Builtins
IdAssumeCheckBool PlutusCore.Examples.Builtins
IData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
IdFInteger PlutusCore.Examples.Builtins
idFun PlutusCore.StdLib.Data.Function
IdList PlutusCore.Examples.Builtins
IdRank2 PlutusCore.Examples.Builtins
IdSomeConstantBool PlutusCore.Examples.Builtins
IfThenElse PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ifThenElse PlutusCore.StdLib.Data.Bool
IgnorePrettyConfig
1 (Data Constructor) PlutusCore.Pretty
2 (Type/Class) PlutusCore.Pretty
Includes Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
IncoherentUsage PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
Index
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
index PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
IndexByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
inferKind PlutusCore
inferType
1 (Function) PlutusCore
2 (Function) PlutusIR.TypeCheck
inferTypeOfProgram
1 (Function) PlutusCore
2 (Function) PlutusIR.TypeCheck
inline PlutusIR.Transform.Inline
InlineHints
1 (Type/Class) PlutusIR.Transform.Inline , UntypedPlutusCore
2 (Data Constructor) PlutusIR.Transform.Inline , UntypedPlutusCore
insertByName PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
insertByNameIndex PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
insertByUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
integer PlutusCore.StdLib.Data.Integer
interCons PlutusCore.Examples.Data.InterList
interListData PlutusCore.Examples.Data.InterList
InternalEvaluationError PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
interNil PlutusCore.Examples.Data.InterList
introduceBound PlutusCore.Check.Scoping
InvalidBuiltinConstant PlutusCore.Error , PlutusCore.Parser , PlutusCore
isEmpty PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
isEvaluationFailure PlutusCore.Evaluation.Result
isEvaluationSuccess PlutusCore.Evaluation.Result
isJust PlutusPrelude
isNormalType PlutusCore.Check.Normal
isNothing PlutusPrelude
isPure PlutusIR.Purity
isRight PlutusPrelude
isSameScope PlutusCore.Check.Scoping
isTermValue PlutusCore.Check.Value
IWrap
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
iWrap PlutusCore.MkPlc , PlutusIR.MkPir
IWrapF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
join PlutusPrelude
Kind PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
KindArrow PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
KindArrowF PlutusCore.Core , PlutusCore.Builtin.Debug
Kinded
1 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
KindF PlutusCore.Core , PlutusCore.Builtin.Debug
KindMismatch PlutusCore.Error
kindOfBuiltinType PlutusCore.Builtin
kindSize PlutusCore
kindSubkinds PlutusCore.Core , PlutusCore.Builtin.Debug
kindSubkindsDeep PlutusCore.Core , PlutusCore.Builtin.Debug
KnownBuiltinType PlutusCore.Builtin
KnownBuiltinTypeAst PlutusCore.Builtin
KnownBuiltinTypeIn PlutusCore.Builtin
KnownKind PlutusCore.Builtin
knownKind PlutusCore.Builtin
knownMonoruntime PlutusCore.Builtin
KnownMonotype PlutusCore.Builtin
knownMonotype PlutusCore.Builtin
knownPolyruntime PlutusCore.Builtin
KnownPolytype PlutusCore.Builtin
knownPolytype PlutusCore.Builtin
KnownTypeAst PlutusCore.Builtin
KnownTypeError PlutusCore.Builtin
knownUni Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
knownUniOf Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
LamAbs
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
lamAbs PlutusCore.MkPlc , PlutusIR.MkPir
LamAbsF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
left PlutusCore.StdLib.Data.Sum
Length PlutusCore.Builtin
LengthOfByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
lens PlutusPrelude
Lens' PlutusPrelude
LessThanByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
LessThanEqualsByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
LessThanEqualsInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
LessThanInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Let PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
LetBinding PlutusIR.Compiler
letMerge PlutusIR.Transform.LetMerge
liftDef PlutusIR.Compiler.Definitions
liftDupable PlutusCore.Rename
liftQuote PlutusCore.Quote , PlutusCore
List PlutusCore.Data
list PlutusCore.StdLib.Data.List
ListData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
listData PlutusCore.StdLib.Data.ScottList
listTy PlutusCore.StdLib.Data.ScottList
logEmitter UntypedPlutusCore.Evaluation.Machine.Cek
logWithBudgetEmitter UntypedPlutusCore.Evaluation.Machine.Cek
logWithTimeEmitter UntypedPlutusCore.Evaluation.Machine.Cek
lookupBuiltin PlutusCore.Builtin
lookupConstructors PlutusIR.Compiler.Definitions
lookupDestructor PlutusIR.Compiler.Definitions
lookupName PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
lookupNameIndex PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
lookupNameM PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
lookupOrDefineTerm PlutusIR.Compiler.Definitions
lookupOrDefineType PlutusIR.Compiler.Definitions
lookupTerm PlutusIR.Compiler.Definitions
lookupType PlutusIR.Compiler.Definitions
lookupUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
LowerIntialCharacter PlutusCore.Evaluation.Machine.ExBudget
machineCostModel PlutusCore.Evaluation.Machine.MachineParameters
machineCosts PlutusCore.Evaluation.Machine.MachineParameters
MachineError PlutusCore.Evaluation.Machine.Exception
MachineParameters
1 (Type/Class) PlutusCore.Evaluation.Machine.MachineParameters
2 (Data Constructor) PlutusCore.Evaluation.Machine.MachineParameters
makeBuiltinMeaning PlutusCore.Builtin
MakeKnown PlutusCore.Builtin
makeKnown PlutusCore.Builtin
MakeKnownIn PlutusCore.Builtin
MakeKnownM PlutusCore.Builtin
makeKnownOrFail PlutusCore.Builtin
makeKnownRun PlutusCore.Builtin
makeRecursiveType PlutusCore.StdLib.Type
MalformedDataConstrResType PlutusIR.Error
many PlutusPrelude
Map PlutusCore.Data
map PlutusCore.StdLib.Data.ScottList
mapCauseInMachineException PlutusCore.Evaluation.Machine.Exception
MapData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
mapFun
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
mapNameString PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
mapTyNameString PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
markNonFresh PlutusCore.Quote
markNonFreshBelow PlutusCore.Quote
markNonFreshMax PlutusCore.Quote
markNonFreshProgram
1 (Function) PlutusCore.Mark
2 (Function) PlutusIR.Mark
markNonFreshTerm
1 (Function) PlutusCore.Mark
2 (Function) PlutusIR.Mark
markNonFreshType
1 (Function) PlutusCore.Mark
2 (Function) PlutusIR.Mark
matchUniApply Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
MCostingFun
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
memoryUsage PlutusCore.Evaluation.Machine.ExMemory
Merge PlutusCore.Builtin
mergeScopeInfo PlutusCore.Check.Scoping
metaEitherToSum PlutusCore.StdLib.Meta
metaIntegerToNat PlutusCore.StdLib.Meta
metaListToScottList PlutusCore.StdLib.Meta
minusExBudget PlutusCore.Evaluation.Machine.ExBudget
MkCons PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
mkConstant PlutusCore.MkPlc , PlutusIR.MkPir
mkConstantOf PlutusCore.MkPlc , PlutusIR.MkPir
mkFunctionDef PlutusCore.MkPlc , PlutusIR.MkPir
mkImmediateLamAbs PlutusCore.MkPlc , PlutusIR.MkPir
mkImmediateTyAbs PlutusCore.MkPlc , PlutusIR.MkPir
mkIterApp
1 (Function) PlutusCore.MkPlc , PlutusIR.MkPir
2 (Function) UntypedPlutusCore.MkUPlc
mkIterInst PlutusCore.MkPlc , PlutusIR.MkPir
mkIterKindArrow PlutusCore.MkPlc , PlutusIR.MkPir
mkIterLamAbs
1 (Function) PlutusCore.MkPlc , PlutusIR.MkPir
2 (Function) UntypedPlutusCore.MkUPlc
mkIterTyAbs PlutusCore.MkPlc , PlutusIR.MkPir
mkIterTyApp PlutusCore.MkPlc , PlutusIR.MkPir
mkIterTyForall PlutusCore.MkPlc , PlutusIR.MkPir
mkIterTyFun PlutusCore.MkPlc , PlutusIR.MkPir
mkIterTyLam PlutusCore.MkPlc , PlutusIR.MkPir
mkLet PlutusIR.MkPir
mkMachineParameters PlutusCore.Evaluation.Machine.MachineParameters
MkNilData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
MkNilPairData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
MkPairData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
mkShad PlutusCore.Examples.Data.Shad
mkTyBuiltin PlutusCore.MkPlc , PlutusIR.MkPir
mkTyBuiltinOf PlutusCore.MkPlc , PlutusIR.MkPir
mkTyVar PlutusCore.MkPlc , PlutusIR.MkPir
mkVar
1 (Function) PlutusCore.MkPlc , PlutusIR.MkPir
2 (Function) UntypedPlutusCore.MkUPlc
ModelAddedSizes
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelAddedSizesIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelAddedSizesSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelConstantOrLinear
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearConstant PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrLinearSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelConstantOrTwoArguments
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrTwoArgumentsConstant PlutusCore.Evaluation.Machine.BuiltinCostModel
modelConstantOrTwoArgumentsModel PlutusCore.Evaluation.Machine.BuiltinCostModel
modelFile PlutusCore.DataFilePaths
ModelFiveArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFiveArgumentsConstantCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFourArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelFourArgumentsConstantCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelLinearSize
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelLinearSizeIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelLinearSizeSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelMaxSize
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMaxSizeIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMaxSizeSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelMinSize
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMinSizeIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMinSizeSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelMultipliedSizes
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMultipliedSizesIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelMultipliedSizesSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgument PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentConstantCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelOneArgumentLinearCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSixArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSixArgumentsConstantCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelSubtractedSizes
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesIntercept PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesMinimum PlutusCore.Evaluation.Machine.BuiltinCostModel
modelSubtractedSizesSlope PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsAddedSizes PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsConstantCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInX PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInY PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelThreeArgumentsLinearInZ PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsAddedSizes PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstAboveDiagonal PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstantCost PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsConstBelowDiagonal PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInX PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearInY PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsLinearOnDiagonal PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMaxSize PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMinSize PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsMultipliedSizes PlutusCore.Evaluation.Machine.BuiltinCostModel
ModelTwoArgumentsSubtractedSizes PlutusCore.Evaluation.Machine.BuiltinCostModel
modifyDatatypeDef PlutusIR.Compiler.Definitions
modifyDeps PlutusIR.Compiler.Definitions
modifyTermDef PlutusIR.Compiler.Definitions
modifyTypeDef PlutusIR.Compiler.Definitions
ModInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
MonadDefs PlutusIR.Compiler.Definitions
MonadQuote PlutusCore.Quote , PlutusCore
mtraverse PlutusPrelude
MultipleSources PlutusIR.Compiler
MultiplyDefined PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
MultiplyInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Name
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
NameAction
1 (Data Constructor) PlutusCore.Check.Scoping
2 (Type/Class) PlutusCore.Check.Scoping
NameAnn PlutusCore.Check.Scoping
NameChangedItsScope PlutusCore.Check.Scoping
NamedDeBruijn
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
NamedTyDeBruijn
1 (Type/Class) PlutusCore.DeBruijn
2 (Data Constructor) PlutusCore.DeBruijn
nameString PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
NameUnexpectedlyDisappeared PlutusCore.Check.Scoping
NameUnexpectedlyStayed PlutusCore.Check.Scoping
nameUnique PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
natData PlutusCore.StdLib.Data.Nat
natK PlutusCore.Examples.Data.Vec
natToInteger PlutusCore.StdLib.Data.Nat
natTy PlutusCore.StdLib.Data.Nat
Natural PlutusPrelude
ndbnIndex PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
ndbnString PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
NewBindingsClashWithFreeVariabes PlutusCore.Check.Scoping
NewBindingsDiscordWithBoundVariables PlutusCore.Check.Scoping
NFData PlutusPrelude
nil PlutusCore.StdLib.Data.ScottList
noEmitter UntypedPlutusCore.Evaluation.Machine.Cek
NoEscape PlutusIR.Compiler
NonEmpty PlutusPrelude
NonFunctionalApplicationMachineError PlutusCore.Evaluation.Machine.Exception
NonPolymorphicInstantiationMachineError PlutusCore.Evaluation.Machine.Exception
NonRec PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
NonStrict PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
NonWrapUnwrappedMachineError PlutusCore.Evaluation.Machine.Exception
nonZeroArg PlutusCore.Default , PlutusCore.Builtin.Debug
noProvenance PlutusIR.Compiler
Normalized
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Error
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Error
normalizeType PlutusCore.Normalize
normalizeTypeM PlutusCore.Normalize.Internal
normalizeTypesIn PlutusCore.Normalize , PlutusCore
normalizeTypesInM PlutusCore.Normalize.Internal
normalizeTypesInProgram PlutusCore.Normalize , PlutusCore
NormalizeTypeT PlutusCore.Normalize.Internal
NormCheckError PlutusCore.Error , PlutusCore.Check.Normal , PlutusCore
NormCheckErrorE PlutusCore.Error , PlutusCore
NotAName PlutusCore.Check.Scoping
NotARetainer PlutusIR.Analysis.RetainedSize
noThunksInCosting PlutusCore.Builtin
NullList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
obothPair PlutusCore.Examples.Data.Pair
ofoldrData PlutusCore.Examples.Data.Data
OldBindingsClashWithFreeVariables PlutusCore.Check.Scoping
OldBindingsClashWithNewBindings PlutusCore.Check.Scoping
OldBindingsDiscordWithBoundVariables PlutusCore.Check.Scoping
OldBindingsDiscordWithOutOfScopeVariables PlutusCore.Check.Scoping
omapList PlutusCore.Examples.Data.List
on PlutusPrelude
Opaque
1 (Type/Class) PlutusCore.Builtin , PlutusCore.Builtin.Debug
2 (Data Constructor) PlutusCore.Builtin , PlutusCore.Builtin.Debug
OpenTermEvaluatedMachineError PlutusCore.Evaluation.Machine.Exception
Original PlutusIR.Compiler
over PlutusPrelude
overrideSname PlutusCore.Check.Scoping
pair PlutusCore.StdLib.Data.Pair
PairT
1 (Type/Class) PlutusPrelude
2 (Data Constructor) PlutusPrelude
paramAddInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramAppendByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramAppendString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramBData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramBlake2b_256 PlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseList PlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseUnit PlutusCore.Evaluation.Machine.BuiltinCostModel
paramConsByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramConstrData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramDecodeUtf8 PlutusCore.Evaluation.Machine.BuiltinCostModel
paramDivideInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEncodeUtf8 PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramFstPair PlutusCore.Evaluation.Machine.BuiltinCostModel
paramHeadList PlutusCore.Evaluation.Machine.BuiltinCostModel
paramIData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramIfThenElse PlutusCore.Evaluation.Machine.BuiltinCostModel
paramIndexByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramLengthOfByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanEqualsByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanEqualsInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramListData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramMapData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkCons PlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkNilData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkNilPairData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkPairData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramModInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramMultiplyInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramNullList PlutusCore.Evaluation.Machine.BuiltinCostModel
paramQuotientInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramRemainderInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSerialiseData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSha2_256 PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSha3_256 PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSliceByteString PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSndPair PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSubtractInteger PlutusCore.Evaluation.Machine.BuiltinCostModel
paramTailList PlutusCore.Evaluation.Machine.BuiltinCostModel
paramTrace PlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnBData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnConstrData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnIData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnListData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnMapData PlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifyEcdsaSecp256k1Signature PlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifyEd25519Signature PlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifySchnorrSecp256k1Signature PlutusCore.Evaluation.Machine.BuiltinCostModel
parens' Prettyprinter.Custom
parse PlutusIR.Parser , UntypedPlutusCore.Parser
ParseError PlutusCore.Error , PlutusCore.Parser , PlutusCore
ParseErrorE PlutusCore.Error , PlutusCore
parseProgram
1 (Function) PlutusCore.Parser , PlutusCore
2 (Function) UntypedPlutusCore.Parser
parseQuoted PlutusIR.Parser , UntypedPlutusCore.Parser
Parser PlutusIR.Parser , UntypedPlutusCore.Parser
parseScoped
1 (Function) PlutusCore
2 (Function) UntypedPlutusCore.Parser , UntypedPlutusCore
parseTerm
1 (Function) PlutusCore.Parser , PlutusCore
2 (Function) UntypedPlutusCore.Parser
parseType PlutusCore.Parser , PlutusCore
parseTypecheck PlutusCore
PatternFunctor PlutusIR.Compiler
Peano PlutusCore.Builtin
peelUniTag Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
Permits Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
PirTCConfig
1 (Type/Class) PlutusIR.TypeCheck , PlutusIR.Compiler
2 (Data Constructor) PlutusIR.TypeCheck , PlutusIR.Compiler
PIRTypeError PlutusIR.Error , PlutusIR.Compiler
PlcEntity PlutusCore.FsTree
PLCError PlutusIR.Error , PlutusIR.Compiler
PlcFolderContents PlutusCore.FsTree
PlcFsTree PlutusCore.FsTree
PlcListRep PlutusCore.Examples.Builtins
PlcTerm PlutusCore.FsTree
plcTermFile PlutusCore.FsTree
PlcType PlutusCore.FsTree
PLCTypeError PlutusIR.Error , PlutusIR.Compiler
plcTypeFile PlutusCore.FsTree
plusT PlutusCore.Examples.Data.Vec
Pretty PlutusPrelude , PlutusCore.Pretty
pretty PlutusPrelude , PlutusCore.Pretty
PrettyAny
1 (Data Constructor) PlutusPrelude
2 (Type/Class) PlutusPrelude
PrettyBy PlutusPrelude , PlutusCore.Pretty
prettyBy PlutusPrelude , PlutusCore.Pretty
prettyBytes PlutusCore.Pretty
PrettyClassic PlutusCore.Pretty
PrettyClassicBy PlutusCore.Pretty
prettyClassicDebug PlutusCore.Pretty
prettyClassicDef PlutusCore.Pretty
PrettyConfigClassic
1 (Type/Class) PlutusCore.Pretty
2 (Data Constructor) PlutusCore.Pretty
PrettyConfigName
1 (Type/Class) PlutusCore.Pretty
2 (Data Constructor) PlutusCore.Pretty
PrettyConfigPlc
1 (Type/Class) PlutusCore.Pretty
2 (Data Constructor) PlutusCore.Pretty
PrettyConfigPlcClassic PlutusCore.Pretty
PrettyConfigPlcOptions
1 (Type/Class) PlutusCore.Pretty
2 (Data Constructor) PlutusCore.Pretty
PrettyConfigPlcReadable PlutusCore.Pretty
PrettyConfigPlcStrategy PlutusCore.Pretty
PrettyConfigReadable
1 (Type/Class) PlutusCore.Pretty
2 (Data Constructor) PlutusCore.Pretty
PrettyConst PlutusCore.Pretty
prettyConst PlutusCore.Pretty
PrettyDefaultBy PlutusPrelude
prettyList PlutusPrelude , PlutusCore.Pretty
prettyListBy PlutusPrelude , PlutusCore.Pretty
PrettyPlc PlutusCore.Pretty
prettyPlcClassicDebug PlutusCore.Pretty
prettyPlcClassicDef PlutusCore.Pretty
prettyPlcCondensedErrorBy PlutusCore.Pretty
prettyPlcDebug PlutusCore.Pretty
prettyPlcDef PlutusCore.Pretty
prettyPlcReadableDebug PlutusCore.Pretty
prettyPlcReadableDef PlutusCore.Pretty
PrettyReadable PlutusCore.Pretty
PrettyReadableBy PlutusCore.Pretty
PrettyUni UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
printPretty PlutusPrelude
printType PlutusCore
prodN PlutusCore.StdLib.Meta.Data.Tuple
prodNAccessor PlutusCore.StdLib.Meta.Data.Tuple
prodNConstructor PlutusCore.StdLib.Meta.Data.Tuple
product
1 (Function) PlutusCore.StdLib.Data.ScottList
2 (Function) PlutusCore.StdLib.Data.List
progAnn
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function) PlutusIR.Core.Type , PlutusIR.Core
Program
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
3 (Type/Class) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
4 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
5 (Type/Class) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
6 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
program
1 (Function) PlutusIR.Parser
2 (Function) UntypedPlutusCore.Parser
programMapNames UntypedPlutusCore
programSize
1 (Function) PlutusCore
2 (Function) UntypedPlutusCore
progTerm
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function) PlutusIR.Core.Type , PlutusIR.Core
progVer
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
Provenance PlutusIR.Compiler
pTerm PlutusIR.Parser
pType PlutusIR.Parser
Quote PlutusCore.Quote , PlutusCore
QuoteT
1 (Type/Class) PlutusCore.Quote , PlutusCore
2 (Data Constructor) PlutusCore.Quote
QuotientInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
ReadKnown PlutusCore.Builtin
readKnown PlutusCore.Builtin
readKnownCek UntypedPlutusCore.Evaluation.Machine.Cek
readKnownCk PlutusCore.Evaluation.Machine.Ck
readKnownConstant PlutusCore.Builtin
ReadKnownIn PlutusCore.Builtin
ReadKnownM PlutusCore.Builtin
readKnownSelf PlutusCore.Builtin
Rec PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
recordAlias PlutusIR.Compiler.Definitions
recSplit PlutusIR.Transform.RecSplit
recUnit PlutusCore.Examples.Data.Shad
RecursiveType
1 (Type/Class) PlutusCore.StdLib.Type
2 (Data Constructor) PlutusCore.StdLib.Type
Recursivity PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
Reference PlutusCore.Check.Scoping
referenceBindingsBothWays PlutusIR.Core.Instance.Scoping
referenceBound PlutusCore.Check.Scoping
referenceOutOfScope PlutusCore.Check.Scoping
referenceVia PlutusCore.Check.Scoping
referenceViaBindings PlutusIR.Core.Instance.Scoping
Refl Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
registerBound PlutusCore.Check.Scoping
registerByRecursivity PlutusIR.Core.Instance.Scoping
registerFree PlutusCore.Check.Scoping
registerOutOfScope PlutusCore.Check.Scoping
RemainderInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
removeDeadBindings PlutusIR.Transform.DeadCode
Rename PlutusCore.Rename , PlutusCore , UntypedPlutusCore.Rename
rename PlutusCore.Rename , PlutusCore , UntypedPlutusCore.Rename
renameNameM PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
renameProgramM
1 (Function) PlutusCore.Rename.Internal
2 (Function) PlutusIR.Transform.Rename
RenameT
1 (Type/Class) PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
2 (Data Constructor) PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
renameTermM
1 (Function) PlutusCore.Rename.Internal
2 (Function) PlutusIR.Transform.Rename
renameTypeM PlutusCore.Rename.Internal
Renaming
1 (Type/Class) PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
2 (Data Constructor) PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
renaming PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
Render PlutusPrelude , PlutusCore.Pretty
render PlutusPrelude , PlutusCore.Pretty
reoption PlutusPrelude
RepHole PlutusCore.Builtin
restricting UntypedPlutusCore.Evaluation.Machine.Cek
restrictingEnormous UntypedPlutusCore.Evaluation.Machine.Cek
RestrictingSt
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
RetainedSize PlutusIR.Analysis.RetainedSize
Retains PlutusIR.Analysis.RetainedSize
reverse PlutusCore.StdLib.Data.ScottList
right PlutusCore.StdLib.Data.Sum
runCek UntypedPlutusCore.Evaluation.Machine.Cek
runCekDeBruijn UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
runCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
runCk PlutusCore.Evaluation.Machine.Ck
runCostingFunFiveArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunFourArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunOneArgument PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunSixArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunThreeArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runCostingFunTwoArguments PlutusCore.Evaluation.Machine.BuiltinCostModel
runDefT PlutusIR.Compiler.Definitions
runEmitter PlutusCore.Builtin.Emitter , PlutusCore.Builtin
runNormalizeTypeM PlutusCore.Normalize.Internal
runQuote PlutusCore.Quote , PlutusCore
runQuoteT PlutusCore.Quote , PlutusCore
runRecUnit PlutusCore.Examples.Data.Shad
runRenameT PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
RuntimeScheme PlutusCore.Builtin
RuntimeSchemeAll PlutusCore.Builtin
RuntimeSchemeArrow PlutusCore.Builtin
RuntimeSchemeResult PlutusCore.Builtin
S PlutusCore.Builtin
safeEncodeBits PlutusCore.Flat
safeFreshName PlutusIR.Compiler.Names
safeFreshTyName PlutusIR.Compiler.Names
SatInt Data.SatInt
ScopedName PlutusCore.Check.Scoping
ScopedRenameT PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
ScopedRenaming
1 (Type/Class) PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
2 (Data Constructor) PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
scopedRenamingTerms PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
scopedRenamingTypes PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
ScopeEntry PlutusCore.Check.Scoping
ScopeError PlutusCore.Check.Scoping
ScopeErrorOrInfo
1 (Type/Class) PlutusCore.Check.Scoping
2 (Data Constructor) PlutusCore.Check.Scoping
ScopeInfo
1 (Type/Class) PlutusCore.Check.Scoping
2 (Data Constructor) PlutusCore.Check.Scoping
Scoping PlutusCore.Check.Scoping
scottCons PlutusCore.Examples.Data.Vec
scottHead PlutusCore.Examples.Data.Vec
scottNil PlutusCore.Examples.Data.Vec
scottSumHeadsOr0 PlutusCore.Examples.Data.Vec
scottVec PlutusCore.Examples.Data.Vec
scottVecF PlutusCore.Examples.Data.Vec
second PlutusPrelude
selfData PlutusCore.StdLib.Data.Function
sequ PlutusCore.StdLib.Data.Unit
SerialiseData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
serialisedSize
1 (Function) PlutusCore
2 (Function) UntypedPlutusCore
set PlutusPrelude
sexp Prettyprinter.Custom
Sha2_256 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
sha2_256 Data.ByteString.Hash
Sha3_256 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
sha3_256 Data.ByteString.Hash
shad PlutusCore.Examples.Data.Shad
shouldInline PlutusIR.Transform.Inline , UntypedPlutusCore
show PlutusCore
ShowErrorComponent PlutusCore.Error
showErrorComponent PlutusCore.Error
ShowKinds PlutusCore.Pretty
ShowKindsNo PlutusCore.Pretty
ShowKindsYes PlutusCore.Pretty
ShowPretty
1 (Type/Class) PlutusPrelude
2 (Data Constructor) PlutusPrelude
showText PlutusPrelude
SimplifyOpts
1 (Type/Class) UntypedPlutusCore
2 (Data Constructor) UntypedPlutusCore
simplifyProgram UntypedPlutusCore
simplifyTerm UntypedPlutusCore
SingKind PlutusCore.Builtin
SingKindArrow PlutusCore.Builtin
SingType PlutusCore.Builtin
Size
1 (Type/Class) PlutusIR.Analysis.RetainedSize
2 (Data Constructor) PlutusIR.Analysis.RetainedSize
size PlutusCore.Examples.Builtins
sizeTerm UntypedPlutusCore.Core , UntypedPlutusCore
SliceByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
SndPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
sndPair PlutusCore.StdLib.Data.Pair
soInlineHints UntypedPlutusCore
soMaxSimplifierIterations UntypedPlutusCore
Some
1 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
some PlutusPrelude
SomeConstant
1 (Type/Class) PlutusCore.Builtin , PlutusCore.Builtin.Debug
2 (Data Constructor) PlutusCore.Builtin , PlutusCore.Builtin.Debug
SomeTypeIn
1 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValue Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueOf Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueType Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
SourcePos PlutusCore , PlutusIR.Parser , UntypedPlutusCore.Parser
StayedFreeVariables PlutusCore.Check.Scoping
StayedOutOfScopeVariables PlutusCore.Check.Scoping
Stays
1 (Data Constructor) PlutusCore.Check.Scoping
2 (Type/Class) PlutusCore.Check.Scoping
StaysFreeVariable PlutusCore.Check.Scoping
StaysOutOfScopeVariable PlutusCore.Check.Scoping
stdLib PlutusCore.StdLib.Everything
StepKind UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Strict PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
Strictness PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
substNormalizeTypeM PlutusCore.Normalize.Internal
substTyVar PlutusCore.Subst , PlutusIR.Transform.Substitute
substTyVarA PlutusCore.Subst
substVar
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Transform.Substitute
3 (Function) UntypedPlutusCore
substVarA
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore
SubtractInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
succ PlutusCore.StdLib.Data.Nat
succInteger PlutusCore.StdLib.Data.Integer
succT PlutusCore.Examples.Data.Vec
sum
1 (Function) PlutusCore.StdLib.Data.Sum
2 (Function) PlutusCore.StdLib.Data.ScottList
3 (Function) PlutusCore.StdLib.Data.List
SumInteger PlutusCore.Examples.Builtins
sumr
1 (Function) PlutusCore.StdLib.Data.ScottList
2 (Function) PlutusCore.StdLib.Data.List
Swap PlutusCore.Examples.Builtins
SwapEls PlutusCore.Examples.Builtins
symmetricDifference PlutusCore.Check.Scoping
tabulateArray PlutusPrelude
TailList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
tallying UntypedPlutusCore.Evaluation.Machine.Cek
TallyingSt
1 (Type/Class) UntypedPlutusCore.Evaluation.Machine.Cek
2 (Data Constructor) UntypedPlutusCore.Evaluation.Machine.Cek
tccBuiltinTypes PlutusCore , PlutusIR.TypeCheck
Term
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Type/Class) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
term UntypedPlutusCore.Parser
termAnn
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function) PlutusIR.Core.Type , PlutusIR.Core
TermBind PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TermBinding PlutusIR.Compiler
termBindings PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
termBinds
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) UntypedPlutusCore.Core , UntypedPlutusCore
TermDef PlutusCore.MkPlc , PlutusIR.MkPir
TermDefWithStrictness PlutusIR.Compiler.Definitions
TermF
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Type/Class) UntypedPlutusCore.Core , UntypedPlutusCore
termLet PlutusCore.MkPlc , PlutusIR.MkPir
TermLike PlutusCore.MkPlc , PlutusIR.MkPir
termMapNames UntypedPlutusCore
TermName PlutusCore.Check.Scoping
termRetentionMap PlutusIR.Analysis.RetainedSize
termSize
1 (Function) PlutusCore
2 (Function) UntypedPlutusCore
termSubkinds
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) PlutusIR.Core.Plated , PlutusIR.Core
termSubstFreeNames
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore
termSubstFreeNamesA
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore
termSubstNames
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Transform.Substitute
3 (Function) UntypedPlutusCore
termSubstNamesM
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore
termSubstTyNames
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Transform.Substitute
termSubstTyNamesM PlutusCore.Subst
termSubterms
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core , UntypedPlutusCore
3 (Function) PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
termSubtermsDeep
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) UntypedPlutusCore.Core , UntypedPlutusCore
3 (Function) PlutusIR.Core.Plated , PlutusIR.Core
termSubtypes
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
termSubtypesDeep
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) PlutusIR.Core.Plated , PlutusIR.Core
termTagWidth UntypedPlutusCore.Core , UntypedPlutusCore
termTyBinds PlutusCore.Core , PlutusCore.Builtin.Debug
TermUnique
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
termUniques
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) UntypedPlutusCore.Core , UntypedPlutusCore
3 (Function) PlutusIR.Core.Plated , PlutusIR.Core
termUniquesDeep
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) UntypedPlutusCore.Core , UntypedPlutusCore
3 (Function) PlutusIR.Core.Plated , PlutusIR.Core
termVars
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug
2 (Function) UntypedPlutusCore.Core , UntypedPlutusCore
TestTypesFromTheUniverseAreAllKnown PlutusCore.Builtin
theUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
through PlutusPrelude
throw PlutusPrelude
throwingEither PlutusCore.Error
throwingWithCause PlutusCore.Evaluation.Machine.Exception
throwing_ PlutusCore.Evaluation.Machine.Exception
throwKnownTypeErrorWithCause PlutusCore.Builtin
throwNotAConstant PlutusCore.Builtin
thunkRecursions PlutusIR.Transform.ThunkRecursions
to PlutusCore.Check.Scoping
ToBinds PlutusCore.Builtin , PlutusCore.Builtin
ToBuiltinMeaning PlutusCore.Builtin
toBuiltinMeaning PlutusCore.Builtin
toBuiltinRuntime PlutusCore.Builtin
toBuiltinsRuntime PlutusCore.Builtin
ToCostingType PlutusCore.Builtin
toDefaultCompilationCtx PlutusIR.Compiler
toDeferredF PlutusCore.Builtin
toFake PlutusCore.DeBruijn
ToHoles PlutusCore.Builtin , PlutusCore.Builtin
toImmediateF PlutusCore.Builtin
ToKind PlutusCore.Builtin , PlutusCore
toList PlutusPrelude
topPrettyConfigReadable PlutusCore.Pretty
toPrettyConfigName PlutusCore.Pretty
topSourcePos PlutusCore
ToRuntimeDenotationType PlutusCore.Builtin
ToScopedName PlutusCore.Check.Scoping
toScopedName PlutusCore.Check.Scoping
toSingKind PlutusCore.Builtin
toTypeAst PlutusCore.Builtin
Trace PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
trace PlutusPrelude
traceShowId PlutusPrelude
treeData PlutusCore.Examples.Data.TreeForest
treeFolderContents PlutusCore.FsTree
treeNode PlutusCore.Examples.Data.TreeForest
true PlutusCore.StdLib.Data.Bool
Tuple
1 (Type/Class) PlutusCore.StdLib.Meta.Data.Tuple
2 (Data Constructor) PlutusCore.StdLib.Meta.Data.Tuple
tupleDefAt PlutusCore.StdLib.Meta.Data.Tuple
tupleTermAt PlutusCore.StdLib.Meta.Data.Tuple
tupleTypeTermAt PlutusCore.StdLib.Meta.Data.Tuple
tvTerm PlutusCore.Subst
tvTy PlutusCore.Subst
TyAbs
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
tyAbs PlutusCore.MkPlc , PlutusIR.MkPir
TyAbsF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyApp PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyAppF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyAppRep PlutusCore.Builtin , PlutusCore.Builtin.Debug
TyBuiltin PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyBuiltinF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyDeBruijn
1 (Type/Class) PlutusCore.DeBruijn
2 (Data Constructor) PlutusCore.DeBruijn
TyDecl
1 (Type/Class) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir
2 (Data Constructor) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir
tyDeclAnn PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
tyDeclKind PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
tyDeclType PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
tyDeclVar PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir
TyForall PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyForallF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyForallRep PlutusCore.Builtin , PlutusCore.Builtin.Debug
TyFun PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyFunF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyIFix PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyIFixF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyInst
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
tyInst PlutusCore.MkPlc , PlutusIR.MkPir
TyInstF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyLam PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyLamF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyName
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
TyNameRep
1 (Type/Class) PlutusCore.Builtin , PlutusCore.Builtin.Debug
2 (Data Constructor) PlutusCore.Builtin , PlutusCore.Builtin.Debug
Type
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
Typeable PlutusPrelude
typeAnn PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TypeBind PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TypeBinding PlutusIR.Compiler
Typecheckable PlutusCore
TypeCheckConfig
1 (Type/Class) PlutusCore
2 (Data Constructor) PlutusCore
typecheckPipeline PlutusCore
TypeDef PlutusCore.MkPlc , PlutusIR.MkPir
TypeError PlutusCore.Error , PlutusCore , PlutusIR.Error
TypeErrorE PlutusCore.Error , PlutusCore
TypeErrorExt PlutusIR.Error
TypeF
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug
TypeHole PlutusCore.Builtin
typeLet PlutusCore.MkPlc , PlutusIR.MkPir
TypeMismatch PlutusCore.Error
TypeName PlutusCore.Check.Scoping
typeOfBuiltinFunction PlutusCore.Builtin
TypeRenaming PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
TypeScheme PlutusCore.Builtin
TypeSchemeAll PlutusCore.Builtin
TypeSchemeArrow PlutusCore.Builtin
TypeSchemeResult PlutusCore.Builtin
typeSchemeToType PlutusCore.Builtin
typeSize PlutusCore
typeSubkinds PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core
typeSubstTyNames PlutusCore.Subst , PlutusIR.Transform.Substitute
typeSubstTyNamesM PlutusCore.Subst
typeSubtypes PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
typeSubtypesDeep PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core
typeTyBinds PlutusCore.Core , PlutusCore.Builtin.Debug
typeTyVars PlutusCore.Core , PlutusCore.Builtin.Debug
TypeUnique
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
typeUniques PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core
typeUniquesDeep PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusIR.Core.Plated , PlutusIR.Core
TyVar PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
TyVarDecl
1 (Type/Class) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
tyVarDeclAnn PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclKind PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclName PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
tyVarDeclNameString PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
tyVarDeclSubkinds PlutusCore.Core , PlutusCore.Builtin.Debug
TyVarF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
TyVarRep PlutusCore.Builtin , PlutusCore.Builtin.Debug
UnannotatedName PlutusCore.Check.Scoping
unAsSerialize PlutusCore.Flat
UnBData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
unBinder PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
unBuiltinRuntime PlutusCore.Builtin
unBuiltinTypes PlutusCore , PlutusIR.TypeCheck
unCekBudgetSpender UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
unCekM UntypedPlutusCore.Evaluation.Machine.Cek.Internal
UnConstrData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
uncurry PlutusCore.StdLib.Data.Pair
unDeBruijnTerm
1 (Function) PlutusCore.DeBruijn , PlutusCore
2 (Function) UntypedPlutusCore.DeBruijn , UntypedPlutusCore
unDeBruijnTermWith
1 (Function) PlutusCore.DeBruijn
2 (Function) UntypedPlutusCore.DeBruijn , UntypedPlutusCore
unDeBruijnTy PlutusCore.DeBruijn
unDeBruijnTyWith PlutusCore.DeBruijn
unDecodeUniM Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
Undefined PlutusCore.Examples.Builtins
unEmitter PlutusCore.Builtin.Emitter , PlutusCore.Builtin
unEmitterMode UntypedPlutusCore.Evaluation.Machine.Cek.Internal
unExBudgetMode UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
UnexpectedBuiltinTermArgumentMachineError PlutusCore.Evaluation.Machine.Exception
unExRestrictingBudget PlutusCore.Evaluation.Machine.ExBudget
unFolderContents PlutusCore.FsTree
UnIData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
unIgnorePrettyConfig PlutusCore.Pretty
UniOf PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, PlutusCore , PlutusIR.MkPir, UntypedPlutusCore
Unique
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
unique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
UniqueCoherencyErrorE PlutusCore.Error , PlutusCore
UniqueError PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
UniqueMap
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
uniquesTerm
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Subst
3 (Function) UntypedPlutusCore
uniquesType PlutusCore.Subst , PlutusIR.Subst
unit
1 (Function) PlutusCore.StdLib.Data.Unit
2 (Function) PlutusCore.StdLib.Data.ScottUnit
unitCekMachineCosts PlutusCore.Evaluation.Machine.ExBudgetingDefaults
unitCekParameters PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
unitval
1 (Function) PlutusCore.StdLib.Data.Unit
2 (Function) PlutusCore.StdLib.Data.ScottUnit
UnknownBuiltin PlutusCore.Evaluation.Machine.Exception
UnknownBuiltinFunction PlutusCore.Error , PlutusCore.Parser , PlutusCore
UnknownBuiltinFunctionE PlutusCore.Error
UnknownBuiltinType PlutusCore.Error , PlutusCore.Parser , PlutusCore
UnliftingDeferred PlutusCore.Builtin , PlutusCore
UnliftingError PlutusCore.Evaluation.Machine.Exception
UnliftingErrorE PlutusCore.Evaluation.Machine.Exception
UnliftingImmediate PlutusCore.Builtin , PlutusCore
UnliftingMachineError PlutusCore.Evaluation.Machine.Exception
UnliftingMode PlutusCore.Builtin , PlutusCore
UnListData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
UnMapData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
unNameDeBruijn PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
unNameTyDeBruijn PlutusCore.DeBruijn
unNormalized PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Error
unOpaque PlutusCore.Builtin , PlutusCore.Builtin.Debug
unPairT PlutusPrelude
unPrettyAny PlutusPrelude
unQuoteT PlutusCore.Quote
unRenameT PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
unRenaming PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
unroll PlutusCore.StdLib.Data.Function
UnsafeCoerce PlutusCore.Examples.Builtins
UnsafeCoerceEl PlutusCore.Examples.Builtins
unsafeEvaluateCek UntypedPlutusCore.Evaluation.Machine.Cek
unsafeEvaluateCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
unsafeEvaluateCk PlutusCore.Evaluation.Machine.Ck
unsafeEvaluateCkNoEmit PlutusCore.Evaluation.Machine.Ck
unsafeExtractEvaluationResult PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek
unsafeRunCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
unScopeErrorOrInfo PlutusCore.Check.Scoping
unScopeInfo PlutusCore.Check.Scoping
unShowPretty PlutusPrelude
unSize PlutusIR.Analysis.RetainedSize
unSomeConstant PlutusCore.Builtin , PlutusCore.Builtin.Debug
UnsupportedError PlutusIR.Error , PlutusIR.Compiler
unTermUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
unTyName PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
unTypeUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
unUnique PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
unUniqueMap PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
Unwrap
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
unwrap PlutusCore.MkPlc , PlutusIR.MkPir
unwrapCancel PlutusIR.Transform.Unwrap
UnwrapF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
UserEvaluationError PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
UTermDef UntypedPlutusCore.MkUPlc
UVarDecl
1 (Type/Class) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
uvarDeclAnn UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
uvarDeclName UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
ValueOf
1 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Var
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
var PlutusCore.MkPlc , PlutusIR.MkPir
VarDecl
1 (Type/Class) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
2 (Data Constructor) PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
varDeclAnn PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
varDeclName PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
varDeclNameString PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
varDeclSubtypes PlutusCore.Core , PlutusCore.Builtin.Debug
varDeclType PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
VarF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
VBuiltin UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
VCon UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
VDelay UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
VerifyEcdsaSecp256k1Signature PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
verifyEcdsaSecp256k1Signature Crypto
VerifyEd25519Signature PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
verifyEd25519Signature Crypto
VerifySchnorrSecp256k1Signature PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
verifySchnorrSecp256k1Signature Crypto
Version
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, PlutusCore , UntypedPlutusCore
view PlutusPrelude
VLamAbs UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
void PlutusPrelude
vTerm
1 (Function) PlutusCore.Subst
2 (Function) UntypedPlutusCore
withApplicable Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
withDecodedUni Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
withExtendedTypeVarEnv PlutusCore.Normalize.Internal
withFreshenedName PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
withFreshenedTyVarDecl PlutusCore.Rename.Internal
withFreshenedVarDecl PlutusCore.Rename.Internal
withRenamedName PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
Word8 PlutusPrelude
YesEscape PlutusIR.Compiler
Z PlutusCore.Builtin
zero PlutusCore.StdLib.Data.Nat
zeroT PlutusCore.Examples.Data.Vec
^. PlutusPrelude
_BadTerm PlutusCore.Error , PlutusCore
_BadType PlutusCore.Error , PlutusCore
_broDeferredF PlutusCore.Builtin
_broImmediateF PlutusCore.Builtin
_broRuntimeScheme PlutusCore.Builtin
_broToExF PlutusCore.Builtin
_builtinCostModel PlutusCore.Evaluation.Machine.MachineParameters
_BuiltinTermArgumentExpectedMachineError PlutusCore.Evaluation.Machine.Exception
_BuiltinTypeNotAStar PlutusCore.Error
_cekEmitterInfoEmit UntypedPlutusCore.Evaluation.Machine.Cek.Internal
_cekEmitterInfoGetFinal UntypedPlutusCore.Evaluation.Machine.Cek.Internal
_CompilationError PlutusIR.Error , PlutusIR.Compiler
_EmptyBuiltinArityMachineError PlutusCore.Evaluation.Machine.Exception
_Error
1 (Function) PlutusCore.Error , PlutusCore
2 (Function) PlutusIR.Error , PlutusIR.Compiler
_EvaluationError PlutusCore.Evaluation.Machine.Exception
_EvaluationFailure PlutusCore.Evaluation.Result
_EvaluationFailureVia PlutusCore.Evaluation.Result
_ewcCause PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
_ewcError PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
_exBudgetModeGetCumulative UntypedPlutusCore.Evaluation.Machine.Cek.Internal
_exBudgetModeGetFinal UntypedPlutusCore.Evaluation.Machine.Cek.Internal
_exBudgetModeSpender UntypedPlutusCore.Evaluation.Machine.Cek.Internal
_FreeIndex PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
_FreeTypeVariableE PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
_FreeUnique PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
_FreeVariable PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
_FreeVariableE PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
_FreeVariableError PlutusCore.DeBruijn , PlutusCore.Error , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
_FreeVariableErrorE PlutusCore.Error , PlutusCore
_functionDefAnn PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
_functionDefName PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
_functionDefTerm PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
_functionDefType PlutusCore.MkPlc , PlutusCore.StdLib.Data.Function , PlutusIR.MkPir
_functionTypeAnn PlutusCore.MkPlc , PlutusIR.MkPir
_functionTypeCod PlutusCore.MkPlc , PlutusIR.MkPir
_functionTypeDom PlutusCore.MkPlc , PlutusIR.MkPir
_IncoherentUsage PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
_InternalEvaluationError PlutusCore.Evaluation.Machine.Exception
_InvalidBuiltinConstant PlutusCore.Error
_KindMismatch PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
_machineCostModel PlutusCore.Evaluation.Machine.MachineParameters
_MachineError PlutusCore.Evaluation.Machine.Exception
_MalformedDataConstrResType PlutusIR.Error , PlutusIR.Compiler
_MultiplyDefined PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
_NonFunctionalApplicationMachineError PlutusCore.Evaluation.Machine.Exception
_NonPolymorphicInstantiationMachineError PlutusCore.Evaluation.Machine.Exception
_NonWrapUnwrappedMachineError PlutusCore.Evaluation.Machine.Exception
_NormCheckError PlutusCore.Error , PlutusCore
_NormCheckErrorE PlutusCore.Error , PlutusCore
_OpenTermEvaluatedMachineError PlutusCore.Evaluation.Machine.Exception
_ParseError PlutusCore.Error
_ParseErrorE PlutusCore.Error , PlutusCore
_pccConfigName PlutusCore.Pretty
_pccDisplayAnn PlutusCore.Pretty
_pcnShowsUnique PlutusCore.Pretty
_pcpoCondensedErrors PlutusCore.Pretty
_pcpOptions PlutusCore.Pretty
_pcpStrategy PlutusCore.Pretty
_pcrConfigName PlutusCore.Pretty
_pcrRenderContext PlutusCore.Pretty
_pcrShowKinds PlutusCore.Pretty
_pirConfigAllowEscape PlutusIR.TypeCheck , PlutusIR.Compiler
_pirConfigTCConfig PlutusIR.TypeCheck , PlutusIR.Compiler
_PIRTypeError PlutusIR.Error , PlutusIR.Compiler
_PLCError PlutusIR.Error , PlutusIR.Compiler
_PLCTypeError PlutusIR.Error , PlutusIR.Compiler
_progAnn
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
_progTerm
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Function) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
_progVer
1 (Function) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Function) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
_recursiveType PlutusCore.StdLib.Type
_recursiveWrap PlutusCore.StdLib.Type
_scopedRenamingTerms PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
_scopedRenamingTypes PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
_soInlineHints UntypedPlutusCore
_soMaxSimplifierIterations UntypedPlutusCore
_tccBuiltinTypes PlutusCore
_tupleElementTypes PlutusCore.StdLib.Meta.Data.Tuple
_tupleTerm PlutusCore.StdLib.Meta.Data.Tuple
_tyDeclAnn PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir
_tyDeclKind PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir
_tyDeclType PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.MkPir
_TypeError PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
_TypeErrorE PlutusCore.Error , PlutusCore
_TypeErrorExt PlutusIR.Error , PlutusIR.Compiler
_TypeMismatch PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
_tyVarDeclAnn PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
_tyVarDeclKind PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
_tyVarDeclName PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
_UnexpectedBuiltinTermArgumentMachineError PlutusCore.Evaluation.Machine.Exception
_UniqueCoherencyErrorE PlutusCore.Error , PlutusCore
_UniqueError PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
_UnknownBuiltin PlutusCore.Evaluation.Machine.Exception
_UnknownBuiltinFunction PlutusCore.Error
_UnknownBuiltinFunctionE PlutusCore.Error , PlutusCore , PlutusIR.Error , PlutusIR.Compiler
_UnknownBuiltinType PlutusCore.Error
_UnliftingError PlutusCore.Evaluation.Machine.Exception
_UnliftingErrorE PlutusCore.Evaluation.Machine.Exception
_UnliftingMachineError PlutusCore.Evaluation.Machine.Exception
_UnsupportedError PlutusIR.Error , PlutusIR.Compiler
_UserEvaluationError PlutusCore.Evaluation.Machine.Exception
_uvarDeclAnn UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
_uvarDeclName UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
_varDeclAnn PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
_varDeclName PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir
_varDeclType PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , PlutusIR.MkPir