$> | PlutusPrelude |
%~ | PlutusPrelude |
& | PlutusPrelude |
&&& | PlutusPrelude |
.* | PlutusPrelude |
.~ | PlutusPrelude |
:=> | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
:| | PlutusPrelude |
:~: | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
<&> | PlutusPrelude |
<: | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
<<$>> | PlutusPrelude |
<<*>> | PlutusPrelude |
<=< | PlutusPrelude |
<?> | Prettyprinter.Custom |
<^> | PlutusPrelude |
<|> | PlutusPrelude |
>=> | PlutusPrelude |
>>> | PlutusPrelude |
? | PlutusPrelude |
@@ | PlutusCore.MkPlc |
Absurd | PlutusCore.Examples.Builtins |
add | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
addCostStream | PlutusCore.Evaluation.Machine.CostStream |
addDef | PlutusCore.Analysis.Definitions |
AddedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
AddInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
addSrcSpan | PlutusCore.Annotation |
addUsage | PlutusCore.Analysis.Definitions |
AllBuiltinArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
AllElaboratedArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
allSame | PlutusPrelude |
allType | PlutusCore.Parser |
Alternative | PlutusPrelude |
AlwaysInline | PlutusCore.Annotation |
AndByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
andByteString | PlutusCore.Bitwise |
Ann | |
1 (Type/Class) | PlutusCore.Annotation |
2 (Data Constructor) | PlutusCore.Annotation |
annAlwaysInline | PlutusCore.Annotation |
annInline | PlutusCore.Annotation |
annMayInline | PlutusCore.Annotation |
annSrcSpans | PlutusCore.Annotation |
AnyToDoc | PlutusCore.Pretty |
AppearedBindings | PlutusCore.Check.Scoping |
AppearedBindingsClashWithFreeVariabes | PlutusCore.Check.Scoping |
AppearedBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
AppearedVariables | PlutusCore.Check.Scoping |
AppendByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
AppendString | PlutusCore.Default.Builtins, 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 |
apply | PlutusCore.MkPlc |
applyCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
applyDisappears | PlutusCore.Check.Scoping |
applyFun | PlutusCore.StdLib.Data.Function |
applyNameAction | PlutusCore.Check.Scoping |
applyProgram | |
1 (Function) | PlutusCore |
2 (Function) | UntypedPlutusCore |
ApplyProgramError | PlutusCore.Error |
applyStays | PlutusCore.Check.Scoping |
appType | PlutusCore.Parser |
argProxy | PlutusCore.Builtin |
argsFunKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
ArgStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Arity | PlutusCore.Arity |
arrowFixity | PlutusCore.Pretty |
AsBuiltinError | PlutusCore.Builtin |
AsBuiltinResult | PlutusCore.Builtin |
asConstant | PlutusCore.Builtin |
AsError | PlutusCore.Error, PlutusCore |
AsEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
AsEvaluationFailure | PlutusCore.Evaluation.Result |
AsFreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
asksM | PlutusPrelude |
AsMachineError | PlutusCore.Evaluation.Machine.Exception |
AsNormCheckError | PlutusCore.Error, PlutusCore |
AsParserErrorBundle | PlutusCore.Error |
AsReadable | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
Associativity | PlutusCore.Pretty |
AsTypeError | PlutusCore.Error, PlutusCore |
AsUniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
AsUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
AsUnliftingEvaluationError | PlutusCore.Builtin |
AttachPrettyConfig | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
B | PlutusCore.Data |
BadTerm | PlutusCore.Error, PlutusCore, PlutusCore.Check.Normal |
BadType | PlutusCore.Error, PlutusCore, PlutusCore.Check.Normal |
BApply | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BBuiltin | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BBuiltinApp | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BCase | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BConst | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BConstr | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
BDelay | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
benchingResultsFile | PlutusCore.DataFilePaths |
BForce | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
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 |
binderFixity | PlutusCore.Pretty |
bindFun | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
bindFunM | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
BindingRemoval | PlutusCore.Check.Scoping |
BindingRemovalNotOk | PlutusCore.Check.Scoping |
BindingRemovalOk | PlutusCore.Check.Scoping |
bindTuple | PlutusCore.StdLib.Meta.Data.Tuple |
Blake2b_224 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
blake2b_224 | PlutusCore.Crypto.Hash |
Blake2b_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
blake2b_256 | PlutusCore.Crypto.Hash |
BLamAbs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BLS12_381_Error | PlutusCore.Crypto.BLS12_381.Error |
Bls12_381_finalVerify | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_add | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_compress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_equal | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_hashToGroup | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_neg | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_scalarMul | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G1_uncompress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_add | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_compress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_equal | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_hashToGroup | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_neg | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_scalarMul | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_G2_uncompress | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_millerLoop | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Bls12_381_mulMlResult | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
bool | PlutusCore.StdLib.Data.Bool |
botFixity | PlutusCore.Pretty |
botPrettyConfigReadable | PlutusCore.Pretty |
botRenderContext | PlutusCore.Pretty |
braces' | Prettyprinter.Custom |
brackets' | Prettyprinter.Custom |
Breakpointable | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
bring | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
bringKnownKind | PlutusCore.Builtin |
BStartup | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
BStep | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
Builtin | |
1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
builtin | PlutusCore.MkPlc |
builtinArity | PlutusCore.Arity |
BuiltinCostedResult | PlutusCore.Builtin |
BuiltinCostKeyMap | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
BuiltinCostMap | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
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 |
builtinCostModelFileA | PlutusCore.DataFilePaths |
builtinCostModelFileB | PlutusCore.DataFilePaths |
builtinCostModelFileC | PlutusCore.DataFilePaths |
BuiltinError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
BuiltinErrorCall | |
1 (Type/Class) | PlutusCore.Examples.Builtins |
2 (Data Constructor) | PlutusCore.Examples.Builtins |
BuiltinEvaluationFailure | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
BuiltinExpectArgument | PlutusCore.Builtin |
BuiltinExpectForce | PlutusCore.Builtin |
BuiltinFailure | PlutusCore.Builtin |
builtinFunction | PlutusCore.Parser |
BuiltinHead | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
BuiltinMeaning | |
1 (Type/Class) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
2 (Data Constructor) | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
builtinMeaningsToTypes | PlutusCore.TypeCheck, PlutusCore |
BuiltinResult | PlutusCore.Builtin |
BuiltinRuntime | PlutusCore.Builtin |
builtinRuntimeFailure | PlutusCore.Builtin |
builtins | PlutusCore.Examples.Everything |
BuiltinSemanticsVariant | PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore.Examples.Builtins |
BuiltinsRuntime | |
1 (Type/Class) | PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Data Constructor) | PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek |
builtinsRuntime | PlutusCore.Evaluation.Machine.MachineParameters |
BuiltinSuccess | PlutusCore.Builtin |
BuiltinSuccessWithLogs | PlutusCore.Builtin |
builtinTagWidth | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
BuiltinTermArgumentExpectedMachineError | PlutusCore.Evaluation.Machine.Exception |
builtinType | PlutusCore.Parser |
BuiltinTypeNotAStar | PlutusCore.Error, PlutusCore.Parser, PlutusCore |
BuiltinTypes | |
1 (Type/Class) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
2 (Data Constructor) | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
BuiltinUnliftingEvaluationError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
BVar | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
ByteStringToInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
byteStringToInteger | PlutusCore.Bitwise |
cachedBuiltin | PlutusCore.Parser |
Case | |
1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
caseData | PlutusCore.StdLib.Data.Data |
caseList | PlutusCore.StdLib.Data.List |
caseOfCase | UntypedPlutusCore.Transform.CaseOfCase |
cekApplyCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekBudgetSpender | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
cekBuiltinCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekCaseCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekConstCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekConstrCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekCostModelForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
cekDelayCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekEmitter | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
CekEmitterInfo | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
CekEvaluationException | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekEvaluationFailure | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekExTally | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
cekForceCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekLamCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekM | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
CekMachineCosts | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts, PlutusCore.Evaluation.Machine.CostModelInterface, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekMachineCostsBase | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
cekMachineCostsFileA | PlutusCore.DataFilePaths |
cekMachineCostsFileB | PlutusCore.DataFilePaths |
cekMachineCostsFileC | PlutusCore.DataFilePaths |
cekMachineCostsPrefix | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekOutOfExError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
cekStartupCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
CekState | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
cekStateAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
cekStateContext | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
CekTrans | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
CekUserError | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CekValEnv | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
CekValue | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
cekVarCost | UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts |
checkEmptyOn | PlutusCore.Check.Scoping |
checkKind | PlutusCore.TypeCheck, PlutusCore |
checkKindM | PlutusCore.TypeCheck.Internal |
checkProgram | |
1 (Function) | PlutusCore.Check.Uniques |
2 (Function) | PlutusCore.Check.Normal |
3 (Function) | UntypedPlutusCore.Check.Uniques |
checkRespectsScoping | PlutusCore.Check.Scoping |
checkScope | UntypedPlutusCore.Check.Scope, UntypedPlutusCore |
checkScopeInfo | PlutusCore.Check.Scoping |
checkStar | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
checkTerm | |
1 (Function) | PlutusCore.Check.Uniques |
2 (Function) | PlutusCore.Check.Normal |
3 (Function) | UntypedPlutusCore.Check.Uniques |
checkType | PlutusCore.TypeCheck, PlutusCore |
checkTypeM | PlutusCore.TypeCheck.Internal |
checkTypeOfProgram | PlutusCore.TypeCheck, PlutusCore |
ChooseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ChooseList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ChooseUnit | PlutusCore.Default.Builtins, 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 |
cmActual | PlutusCore.Evaluation.Machine.CostModelInterface |
Cmd | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
cmExpected | PlutusCore.Evaluation.Machine.CostModelInterface |
CMInternalReadError | PlutusCore.Evaluation.Machine.CostModelInterface |
CMInternalWriteError | PlutusCore.Evaluation.Machine.CostModelInterface |
CMTooFewParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface |
CMTooManyParamsWarn | PlutusCore.Evaluation.Machine.CostModelInterface |
CMUnknownParamError | PlutusCore.Evaluation.Machine.CostModelInterface |
coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
coeff00_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff01_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff02_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff0_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff10_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff11_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff1_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff20_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
coeff2_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
Coefficient0 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient00 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient01 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient02 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient1 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient10 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient11 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient2 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient20 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
coerce | PlutusPrelude |
coerceArg | PlutusPrelude |
coerceRes | PlutusPrelude |
coerceVia | PlutusPrelude |
Coercible | PlutusPrelude |
CollectScopeInfo | PlutusCore.Check.Scoping |
collectScopeInfo | PlutusCore.Check.Scoping |
Comma | PlutusCore.Examples.Builtins |
CompilationOpts | |
1 (Type/Class) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
2 (Data Constructor) | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
compileProgram | PlutusCore.Compiler |
compileTerm | PlutusCore.Compiler |
Compiling | PlutusCore.Compiler.Types |
ComplementByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
complementByteString | PlutusCore.Bitwise |
compoundDocM | PlutusCore.Pretty |
compress | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
compressedSizeBytes | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
compressed_generator | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
compressed_zero | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
computeCek | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Computing | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
con0xBS | PlutusCore.Parser |
conBLS12_381_G1_Element | PlutusCore.Parser |
conBLS12_381_G2_Element | PlutusCore.Parser |
conBool | PlutusCore.Parser |
conBS | PlutusCore.Parser |
conData | PlutusCore.Parser |
conDataNoParens | PlutusCore.Parser |
CondensedErrors | PlutusCore.Pretty |
CondensedErrorsNo | PlutusCore.Pretty |
CondensedErrorsYes | PlutusCore.Pretty |
conInteger | PlutusCore.Parser |
conList | PlutusCore.Parser |
conPair | PlutusCore.Parser |
cons | PlutusCore.StdLib.Data.ScottList |
consAnnIf | PlutusCore.Pretty |
ConsByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ConsStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Const | PlutusCore.Examples.Builtins |
const | PlutusCore.StdLib.Data.Function |
ConstAboveDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
Constant | |
1 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
constant | |
1 (Function) | PlutusCore.MkPlc |
2 (Function) | PlutusCore.Parser |
ConstantCost | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
constantOf | PlutusCore.Parser |
ConstBelowDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
ConstConfig | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
ConstOffDiagonal | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
constPartial | PlutusCore.StdLib.Meta.Data.Function |
Constr | |
1 (Data Constructor) | PlutusCore.Data |
2 (Data Constructor) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
3 (Data Constructor) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
constr | PlutusCore.MkPlc |
ConstrData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Contains | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Context | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
conText | PlutusCore.Parser |
contextAnn | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Continue | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
conUnit | PlutusCore.Parser |
coSimplifyOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
CostCons | PlutusCore.Evaluation.Machine.CostStream |
CostingFun | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
costingFunCpu | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
costingFunMemory | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
CostingInteger | PlutusCore.Evaluation.Machine.ExMemory |
CostingPart | PlutusCore.Builtin, PlutusCore.Builtin, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug |
CostLast | PlutusCore.Evaluation.Machine.CostStream |
CostModel | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.MachineParameters |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.MachineParameters |
CostModelApplyError | PlutusCore.Evaluation.Machine.CostModelInterface |
CostModelApplyWarn | PlutusCore.Evaluation.Machine.CostModelInterface |
costModelDataDir | PlutusCore.DataFilePaths |
CostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
CostRose | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExMemoryUsage |
CostStream | PlutusCore.Evaluation.Machine.CostStream |
CounterSize | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
counting | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CountingSt | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
CountSetBits | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
countSetBits | PlutusCore.Bitwise |
CpuAndMemoryModel | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
cpuModel | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
currentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
cutoff | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
Data | PlutusCore.Data |
dataTy | PlutusCore.StdLib.Data.Data |
dbnIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
DeBruijn | |
1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
deBruijnInitIndex | PlutusCore.DeBruijn.Internal, 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 |
deBruijnToName | PlutusCore.DeBruijn.Internal |
deBruijnToTyName | PlutusCore.DeBruijn.Internal |
deBruijnTy | PlutusCore.DeBruijn |
deBruijnTyWith | PlutusCore.DeBruijn |
DebugF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
declareBinder | PlutusCore.DeBruijn.Internal |
declareUnique | PlutusCore.DeBruijn.Internal |
decodeBuiltin | PlutusCore.Default.Builtins, 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.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
decodeViaFlatWith | Codec.Extras.SerialiseViaFlat |
Def | |
1 (Type/Class) | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
2 (Data Constructor) | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
def | PlutusPrelude |
Default | PlutusPrelude |
defaultBuiltinCostModelForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultBuiltinsRuntimeForSemanticsVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultBuiltinsRuntimeForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCekCostModelForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCekCostModelForTestingB | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCekMachineCostsForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCekParametersForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCekParametersForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCompilationOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
defaultCostModelParamsForTesting | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultCostModelParamsForVariant | PlutusCore.Evaluation.Machine.ExBudgetingDefaults |
defaultEq | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
DefaultFun | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
DefaultFunSemanticsVariantA | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
DefaultFunSemanticsVariantB | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
DefaultFunSemanticsVariantC | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
DefaultMachineParameters | PlutusCore.Evaluation.Machine.MachineParameters.Default |
DefaultPrettyPlcStrategy | PlutusCore.Pretty |
defaultSimpleBuiltinCostModel | PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel |
defaultSimplifyOpts | UntypedPlutusCore |
defaultSlippage | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
DefaultUni | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
defaultUni | PlutusCore.Parser |
defaultUniApplication | PlutusCore.Parser |
DefaultUniApply | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
DefaultUniBLS12_381_G1_Element | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
DefaultUniBLS12_381_G2_Element | PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
DefaultUniBLS12_381_MlResult | 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 |
defKindCheckConfig | PlutusCore.TypeCheck, PlutusCore |
defVal | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
defVar | PlutusCore.MkPlc, UntypedPlutusCore.MkUPlc |
Delay | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
Delete | PlutusCore.Builtin |
demoteKind | PlutusCore.Builtin |
DeserialiseFailureInfo | |
1 (Type/Class) | Codec.Extras.SerialiseViaFlat |
2 (Data Constructor) | Codec.Extras.SerialiseViaFlat |
DeserialiseFailureReason | Codec.Extras.SerialiseViaFlat |
DetectNameMismatches | PlutusCore.TypeCheck.Internal |
dfOffset | Codec.Extras.SerialiseViaFlat |
dfReason | Codec.Extras.SerialiseViaFlat |
Direction | PlutusCore.Pretty |
DisappearedBindings | PlutusCore.Check.Scoping |
DisappearedBindingsClashWithAppearedBindings | PlutusCore.Check.Scoping |
DisappearedBindingsClashWithFreeVariables | PlutusCore.Check.Scoping |
DisappearedBindingsDiscordWithBoundVariables | PlutusCore.Check.Scoping |
DisappearedBindingsDiscordWithOutOfScopeVariables | 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, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
display | PlutusPrelude, PlutusCore.Pretty |
displayBy | PlutusCore.Pretty |
displayM | PlutusCore.Pretty |
displayPlc | PlutusCore.Pretty |
displayPlcCondensedErrorClassic | PlutusCore.Pretty |
displayPlcSimple | PlutusCore.Pretty |
distinct | PlutusPrelude |
DivideInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
Doc | PlutusPrelude, PlutusCore.Pretty |
DriverLogF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
DSum | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
Dupable | |
1 (Type/Class) | PlutusCore.Rename.Internal, PlutusCore.Rename |
2 (Data Constructor) | PlutusCore.Rename.Internal |
dupable | PlutusCore.Rename |
DuplicateBindersInTheInput | PlutusCore.Check.Scoping |
DuplicateBindersInTheOutput | PlutusCore.Check.Scoping |
eitherToBuiltinResult | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
ElaborateBuiltin | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
elaborateDebug | PlutusCore.Builtin.Debug |
ElaborateFromTo | PlutusCore.Builtin.Elaborate, PlutusCore.Builtin.Debug |
Element | |
1 (Type/Class) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Data Constructor) | PlutusCore.Crypto.BLS12_381.G2 |
3 (Type/Class) | PlutusCore.Crypto.BLS12_381.G1 |
4 (Data Constructor) | PlutusCore.Crypto.BLS12_381.G1 |
embedTerm | PlutusCore.MkPlc |
emit | PlutusCore.Builtin |
EmitterMode | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
empty | PlutusPrelude |
emptyScopeInfo | PlutusCore.Check.Scoping |
EmptyStack | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
encloseIn | PlutusCore.Pretty |
encloseM | PlutusCore.Pretty |
encodeBuiltin | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug |
encodeProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
encodeTerm | UntypedPlutusCore.Core, UntypedPlutusCore |
encodeTermTag | UntypedPlutusCore.Core, UntypedPlutusCore |
encodeUni | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
EncodeUtf8 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
EndOfInput | Codec.Extras.SerialiseViaFlat |
enormousBudget | PlutusCore.Evaluation.Machine.ExBudget, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
ensure | PlutusPrelude |
enumerate | PlutusPrelude |
enumFromTo | PlutusCore.StdLib.Data.ScottList |
EqualsByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
EqualsData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
EqualsInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
EqualsString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
eraseProgram | PlutusCore.Compiler.Erase |
eraseTerm | PlutusCore.Compiler.Erase |
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 |
error | PlutusCore.MkPlc |
errorComponentLen | PlutusCore.Error |
ErrorPrime | PlutusCore.Examples.Builtins |
ErrorWithCause | |
1 (Type/Class) | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
Esc | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
EstablishScoping | PlutusCore.Check.Scoping |
establishScoping | PlutusCore.Check.Scoping |
establishScopingBinder | PlutusCore.Check.Scoping |
etaExpand | PlutusCore.StdLib.Meta.Data.Function |
evalCompile | PlutusCore.Compiler |
EvalOrder | UntypedPlutusCore.Purity |
EvalTerm | |
1 (Type/Class) | UntypedPlutusCore.Purity |
2 (Data Constructor) | UntypedPlutusCore.Purity |
evaluateCek | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
evaluateCekNoEmit | |
1 (Function) | UntypedPlutusCore.Evaluation.Machine.Cek |
2 (Function) | UntypedPlutusCore.Evaluation.Machine.SteppableCek |
evaluateCk | PlutusCore.Evaluation.Machine.Ck |
evaluateCkNoEmit | PlutusCore.Evaluation.Machine.Ck |
EvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
EvaluationException | PlutusCore.Evaluation.Machine.Exception |
EvaluationFailure | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, PlutusCore, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
evaluationFailure | PlutusCore.Evaluation.Result |
EvaluationResult | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, PlutusCore, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
EvaluationSuccess | PlutusCore.Evaluation.Result, PlutusCore.Evaluation.Machine.Ck, PlutusCore, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
Everywhere | Universe, Universe, PlutusCore.Default, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore.Builtin.Debug, PlutusCore |
EverywhereAll | Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
exampleData | PlutusCore.Examples.Data.Data |
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, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
ExBudgetCons | PlutusCore.Evaluation.Machine.ExBudgetStream |
exBudgetCPU | PlutusCore.Evaluation.Machine.ExBudget |
ExBudgetInfo | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
ExBudgetLast | PlutusCore.Evaluation.Machine.ExBudgetStream |
exBudgetMemory | PlutusCore.Evaluation.Machine.ExBudget |
ExBudgetMode | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
ExBudgetStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
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.ExMemoryUsage |
ExpectedBytes | Codec.Extras.SerialiseViaFlat |
ExpectedExact | PlutusCore.Error |
ExpectedShape | PlutusCore.Error |
ExpectedShapeOr | PlutusCore.Error |
ExpectParens | PlutusCore.Parser |
ExpectParensNo | PlutusCore.Parser |
ExpectParensYes | PlutusCore.Parser |
ExpensivePlus | PlutusCore.Examples.Builtins |
ExpensiveSucc | PlutusCore.Examples.Builtins |
expMod | PlutusCore.Crypto.ExpMod |
ExpModInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
ExRestrictingBudget | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.ExBudget |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.ExBudget |
ExtensionFun | PlutusCore.Examples.Builtins |
ExtensionFunSemanticsVariant0 | PlutusCore.Examples.Builtins |
ExtensionFunSemanticsVariant1 | PlutusCore.Examples.Builtins |
ExtensionFunSemanticsVariant2 | PlutusCore.Examples.Builtins |
ExtensionFunSemanticsVariant3 | PlutusCore.Examples.Builtins |
ExtensionFunSemanticsVariant4 | PlutusCore.Examples.Builtins |
ExtensionVersion | PlutusCore.Examples.Builtins |
extractCostModelParams | PlutusCore.Evaluation.Machine.CostModelInterface |
Factorial | PlutusCore.Examples.Builtins |
FailingPlus | PlutusCore.Examples.Builtins |
FailingSucc | PlutusCore.Examples.Builtins |
FakeNamedDeBruijn | |
1 (Type/Class) | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.DeBruijn.Internal |
fakeNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
fakeTyNameDeBruijn | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
false | PlutusCore.StdLib.Data.Bool |
finalVerify | PlutusCore.Crypto.BLS12_381.Pairing |
FindFirstSetBit | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
findFirstSetBit | PlutusCore.Bitwise |
Finish | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
first | PlutusPrelude |
firstVersion | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
fix | PlutusCore.StdLib.Data.Function |
fixAndType | PlutusCore.StdLib.Data.Function |
fixBy | PlutusCore.StdLib.Data.Function |
fixByAndType | PlutusCore.StdLib.Data.Function |
Fixity | |
1 (Data Constructor) | PlutusCore.Pretty |
2 (Type/Class) | PlutusCore.Pretty |
FixityOver | PlutusCore.Pretty |
fixN | PlutusCore.StdLib.Data.Function |
fixNAndType | PlutusCore.StdLib.Data.Function |
flattenCostRose | PlutusCore.Evaluation.Machine.ExMemoryUsage |
FlatViaSerialise | |
1 (Type/Class) | Codec.Extras.FlatViaSerialise |
2 (Data Constructor) | Codec.Extras.FlatViaSerialise |
fold | PlutusPrelude |
FoldArgs | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
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 |
ForallFortyTwo | PlutusCore.Examples.Builtins |
Force | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
forestCons | PlutusCore.Examples.Data.TreeForest |
forestData | PlutusCore.Examples.Data.TreeForest |
forestNil | PlutusCore.Examples.Data.TreeForest |
for_ | PlutusPrelude |
FrameAwaitArg | |
1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
FrameAwaitFunTerm | |
1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
FrameAwaitFunValue | |
1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
FrameCases | |
1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
FrameConstr | |
1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
FrameForce | |
1 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
FreeIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
freeIndexAsConsistentLevel | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
freeIndexThrow | PlutusCore.DeBruijn.Internal |
FreeT | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
FreeTypeVariableE | PlutusCore.Error |
FreeUnique | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
freeUniqueThrow | PlutusCore.DeBruijn.Internal |
FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
FreeVariableE | PlutusCore.Error |
FreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, 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 |
fromConstant | PlutusCore.Builtin |
fromFake | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn |
fromFoldable | |
1 (Function) | PlutusCore.Name.UniqueSet |
2 (Function) | PlutusCore.Name.UniqueMap |
fromMaybe | PlutusPrelude |
fromNames | |
1 (Function) | PlutusCore.Name.UniqueSet |
2 (Function) | PlutusCore.Name.UniqueMap |
fromPatFuncKind | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
fromRight | PlutusPrelude |
fromRightM | Data.Either.Extras |
fromSatInt | Data.SatInt |
unScopeErrorOrInfo | PlutusCore.Check.Scoping |
unScopeInfo | PlutusCore.Check.Scoping |
unSerialiseViaFlat | Codec.Extras.SerialiseViaFlat |
unShowPretty | PlutusPrelude |
unSize | PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore |
unSlope | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
unSole | PlutusCore.Pretty |
unSomeConstant | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
unSrcSpans | PlutusCore.Annotation |
unTermUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
unTyName | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
unTypeUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
unUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
unUniqueMap | PlutusCore.Name.UniqueMap, PlutusCore |
unUniqueSet | PlutusCore.Name.UniqueSet, PlutusCore |
unUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
unUnliftingEvaluationError | PlutusCore.Builtin |
unUnrestrictedProgram | UntypedPlutusCore.Core, UntypedPlutusCore |
Unwrap | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
unwrap | PlutusCore.MkPlc |
UpdateClientF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
UPLCSimplifierTrace | |
1 (Type/Class) | PlutusCore.Compiler.Types |
2 (Data Constructor) | PlutusCore.Compiler.Types |
uplcSimplifierTrace | PlutusCore.Compiler.Types |
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 |
var | PlutusCore.MkPlc |
VarDecl | |
1 (Type/Class) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
2 (Data Constructor) | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
varDeclAnn | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
varDeclName | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
varDeclSize | PlutusCore.Size |
varDeclSubtypes | PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug |
varDeclType | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
varType | PlutusCore.Parser |
VarTypes | PlutusCore.TypeCheck.Internal |
VBuiltin | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
vcatHard | Prettyprinter.Custom |
VCon | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
VConstr | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
VDelay | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
VerifyEcdsaSecp256k1Signature | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
verifyEcdsaSecp256k1Signature | PlutusCore.Crypto.Secp256k1 |
VerifyEd25519Signature | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
verifyEd25519Signature_V1 | PlutusCore.Crypto.Ed25519 |
verifyEd25519Signature_V2 | PlutusCore.Crypto.Ed25519 |
VerifySchnorrSecp256k1Signature | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
verifySchnorrSecp256k1Signature | PlutusCore.Crypto.Secp256k1 |
Version | |
1 (Type/Class) | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
2 (Data Constructor) | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
version | PlutusCore.Parser |
versionMajor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
versionMinor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
versionPatch | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug |
view | PlutusPrelude |
VLamAbs | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
void | PlutusPrelude |
vTerm | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore |
Whatever | PlutusCore.Examples.Builtins |
whatever | PlutusCore.Examples.Builtins |
whenVersion | PlutusCore.Parser |
whitespace | PlutusCore.Parser |
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 |
withKnownKind | PlutusCore.Builtin |
withLogs | PlutusCore.Builtin |
withPrettyAt | PlutusCore.Pretty |
withPrettyIn | PlutusCore.Pretty |
withRenamedName | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
withScope | PlutusCore.DeBruijn.Internal |
withSingKind | PlutusCore.Builtin |
withSpan | PlutusCore.Parser |
withSpan' | PlutusCore.Parser |
withTypeSchemeOfBuiltinFunction | PlutusCore.Builtin, PlutusCore.Builtin.Debug |
withTyVar | PlutusCore.TypeCheck.Internal |
withVar | PlutusCore.TypeCheck.Internal |
withVersion | PlutusCore.Parser |
wix | Data.List.Extras |
Word8 | PlutusPrelude |
WriteBits | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
writeBits | PlutusCore.Bitwise |
writeCounter | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
XorByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
xorByteString | PlutusCore.Bitwise |
zero | PlutusCore.StdLib.Data.Nat |
zeroT | PlutusCore.Examples.Data.Vec |
zipCostStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
zipExact | PlutusPrelude |
\\ | PlutusCore.Name.UniqueSet |
^. | PlutusPrelude |
_appearedBindings | PlutusCore.Check.Scoping |
_BadTerm | PlutusCore.Error, PlutusCore |
_BadType | PlutusCore.Error, PlutusCore |
_boundVariables | PlutusCore.Check.Scoping |
_builtinCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
_BuiltinError | PlutusCore.Builtin |
_BuiltinEvaluationFailure | PlutusCore.Builtin |
_BuiltinFailure | PlutusCore.Builtin |
_BuiltinResult | PlutusCore.Builtin |
_BuiltinSuccess | PlutusCore.Builtin |
_BuiltinSuccessWithLogs | PlutusCore.Builtin |
_BuiltinTermArgumentExpectedMachineError | PlutusCore.Evaluation.Machine.Exception |
_BuiltinUnliftingEvaluationError | PlutusCore.Builtin |
_cekEmitterInfoEmit | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
_cekEmitterInfoGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
_coBuiltinSemanticsVariant | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
_coSimplifyOpts | PlutusCore.Compiler.Opts, PlutusCore.Compiler |
_disappearedBindings | PlutusCore.Check.Scoping |
_disppearedBindings | PlutusCore.Check.Scoping |
_duplicateBindersLeft | PlutusCore.Check.Scoping |
_duplicateBindersRight | PlutusCore.Check.Scoping |
_Error | PlutusCore.Error, PlutusCore |
_error | PlutusCore.Check.Scoping |
_EvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
_EvaluationFailure | PlutusCore.Evaluation.Result |
_EvaluationFailureVia | PlutusCore.Evaluation.Result |
_ewcCause | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
_ewcError | PlutusCore.Evaluation.ErrorWithCause, PlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
_exBudgetModeGetCumulative | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
_exBudgetModeGetFinal | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
_exBudgetModeSpender | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
_fixityAssociativity | PlutusCore.Pretty |
_fixityPrecedence | PlutusCore.Pretty |
_FreeIndex | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
_FreeTypeVariableE | PlutusCore.Error, PlutusCore |
_FreeUnique | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
_FreeVariable | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
_FreeVariableE | PlutusCore.Error, PlutusCore |
_FreeVariableError | PlutusCore.DeBruijn.Internal, PlutusCore.DeBruijn, PlutusCore.Error, PlutusCore, UntypedPlutusCore.DeBruijn, UntypedPlutusCore |
_FreeVariableErrorE | PlutusCore.Error, PlutusCore |
_freeVariables | PlutusCore.Check.Scoping |
_functionDefAnn | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
_functionDefName | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
_functionDefTerm | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
_functionDefType | PlutusCore.MkPlc, PlutusCore.StdLib.Data.Function |
_functionTypeAnn | PlutusCore.MkPlc |
_functionTypeCod | PlutusCore.MkPlc |
_functionTypeDom | PlutusCore.MkPlc |
_IncoherentUsage | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
_input | PlutusCore.Check.Scoping |
_kccHandleNameMismatches | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
_KindMismatch | PlutusCore.Error, PlutusCore |
_machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
_MachineError | PlutusCore.Evaluation.Machine.Exception |
_MissingCaseBranch | PlutusCore.Evaluation.Machine.Exception |
_MkUnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
_MkUnliftingEvaluationError | PlutusCore.Builtin |
_MultiplyDefined | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
_namedString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
_namedValue | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
_NameMismatch | PlutusCore.Error, PlutusCore |
_nameText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
_nameUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
_newName | PlutusCore.Check.Scoping |
_NonConstrScrutinized | PlutusCore.Evaluation.Machine.Exception |
_NonFunctionalApplicationMachineError | PlutusCore.Evaluation.Machine.Exception |
_NonPolymorphicInstantiationMachineError | PlutusCore.Evaluation.Machine.Exception |
_NonWrapUnwrappedMachineError | PlutusCore.Evaluation.Machine.Exception |
_NormCheckError | PlutusCore.Error, PlutusCore |
_NormCheckErrorE | PlutusCore.Error, PlutusCore |
_oldName | PlutusCore.Check.Scoping |
_OpenTermEvaluatedMachineError | PlutusCore.Evaluation.Machine.Exception |
_OperationalEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
_OperationalUnliftingError | PlutusCore.Builtin |
_outOfScopeVariables | PlutusCore.Check.Scoping |
_output | PlutusCore.Check.Scoping |
_ParseErrorB | PlutusCore.Error |
_ParseErrorE | PlutusCore.Error, PlutusCore |
_ParserErrorBundle | PlutusCore.Error |
_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 |
_progAnn | |
1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
_progTerm | |
1 (Function) | PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore |
2 (Function) | UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
_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 |
_renderContextDirection | PlutusCore.Pretty |
_renderContextFixity | PlutusCore.Pretty |
_scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
_scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal |
_soConservativeOpts | UntypedPlutusCore |
_soInlineConstants | UntypedPlutusCore |
_soInlineHints | UntypedPlutusCore |
_soMaxCseIterations | UntypedPlutusCore |
_soMaxSimplifierIterations | UntypedPlutusCore |
_StructuralEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
_StructuralUnliftingError | PlutusCore.Builtin |
_tccBuiltinTypes | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
_tccKindCheckConfig | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
_tceTypeCheckConfig | PlutusCore.TypeCheck.Internal |
_tceTyVarKinds | PlutusCore.TypeCheck.Internal |
_tceVarTypes | PlutusCore.TypeCheck.Internal |
_tupleElementTypes | PlutusCore.StdLib.Meta.Data.Tuple |
_tupleTerm | PlutusCore.StdLib.Meta.Data.Tuple |
_tyDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_tyDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_tyDeclType | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_TyNameMismatch | PlutusCore.Error, PlutusCore |
_TypeError | PlutusCore.Error, PlutusCore |
_TypeErrorE | PlutusCore.Error, PlutusCore |
_TypeMismatch | PlutusCore.Error, PlutusCore |
_tyVarDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_tyVarDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_tyVarDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_UnexpectedBuiltinTermArgumentMachineError | PlutusCore.Evaluation.Machine.Exception |
_UniqueCoherencyErrorE | PlutusCore.Error, PlutusCore |
_UniqueError | PlutusCore.Error, PlutusCore.Check.Uniques, PlutusCore, UntypedPlutusCore.Check.Uniques |
_UnknownBuiltinFunctionE | PlutusCore.Error, PlutusCore |
_UnliftingError | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin |
_UnliftingErrorVia | PlutusCore.Builtin |
_UnliftingEvaluationError | PlutusCore.Builtin |
_UnliftingMachineError | 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 |
_varDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_varDeclType | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_versionMajor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
_versionMinor | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |
_versionPatch | PlutusCore.Version, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore |