$> | 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 |
addTheRest | PlutusPrelude |
addUsage | PlutusCore.Analysis.Definitions |
afterAST | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
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 |
annInline | PlutusCore.Annotation |
annIsAsDataMatcher | PlutusCore.Annotation |
annMayInline | PlutusCore.Annotation |
annSafeToInline | PlutusCore.Annotation |
annSrcSpans | PlutusCore.Annotation |
AnyToDoc | PlutusCore.Pretty |
AppCtx | UntypedPlutusCore.Contexts |
AppCtxEnd | UntypedPlutusCore.Contexts |
AppCtxTerm | UntypedPlutusCore.Contexts |
AppCtxType | UntypedPlutusCore.Contexts |
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 |
asConstant | PlutusCore.Builtin |
asksM | PlutusPrelude |
AsReadable | |
1 (Type/Class) | PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty |
Associativity | PlutusCore.Pretty |
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 |
beforeAST | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
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 |
BuiltinErrorToEvaluationError | PlutusCore.Evaluation.Machine.Exception |
builtinErrorToEvaluationError | PlutusCore.Evaluation.Machine.Exception |
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 |
builtinResultFailure | 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.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
CaseList | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
CaseOfCase | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
caseOfCase | UntypedPlutusCore.Transform.CaseOfCase |
CaseReduce | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
caseReduce | UntypedPlutusCore.Transform.CaseReduce |
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 |
coefficient00 | 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 |
coefficient11 | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
Coefficient12 | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
coefficient12 | 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 |
compileProgramWithTrace | 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 |
conArray | 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 |
CSE | UntypedPlutusCore.Transform.Simplifier, UntypedPlutusCore |
cse | UntypedPlutusCore.Transform.Cse |
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 |
DefaultUniArray | 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 |
DefaultUniProtoArray | 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 |
dividedBy | PlutusCore.Evaluation.Machine.ExMemory, 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 |
UpwardsM | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
upwardsM | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
UseCase | PlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List |
UseChoose | PlutusCore.StdLib.Data.MatchOption, PlutusCore.StdLib.Data.List |
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 | 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, UntypedPlutusCore.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, UntypedPlutusCore.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 |
WorkFree | UntypedPlutusCore.Purity |
WorkFreedom | UntypedPlutusCore.Purity |
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 |
Z | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
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 |
_boundVariables | PlutusCore.Check.Scoping |
_builtinCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
_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.Check.Scoping |
_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 |
_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 |
_iiBuiltinSemanticsVariant | UntypedPlutusCore.Transform.Inline |
_iiHints | UntypedPlutusCore.Transform.Inline |
_iiInlineCallsiteGrowth | UntypedPlutusCore.Transform.Inline |
_iiInlineConstants | UntypedPlutusCore.Transform.Inline |
_iiPreserveLogging | UntypedPlutusCore.Transform.Inline |
_iiUsages | UntypedPlutusCore.Transform.Inline |
_input | PlutusCore.Check.Scoping |
_kccHandleNameMismatches | PlutusCore.TypeCheck.Internal, PlutusCore.TypeCheck, PlutusCore |
_machineCostModel | PlutusCore.Evaluation.Machine.MachineParameters |
_namedString | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
_namedValue | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, UntypedPlutusCore |
_nameText | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
_nameUnique | PlutusCore.Name.Unique, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore |
_newName | PlutusCore.Check.Scoping |
_oldName | PlutusCore.Check.Scoping |
_outOfScopeVariables | PlutusCore.Check.Scoping |
_output | PlutusCore.Check.Scoping |
_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 |
_prepared | PlutusCore.Check.Scoping |
_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, UntypedPlutusCore.Rename.Internal |
_scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
_soConservativeOpts | UntypedPlutusCore |
_soInlineCallsiteGrowth | UntypedPlutusCore |
_soInlineConstants | UntypedPlutusCore |
_soInlineHints | UntypedPlutusCore |
_soMaxCseIterations | UntypedPlutusCore |
_soMaxSimplifierIterations | UntypedPlutusCore |
_soPreserveLogging | UntypedPlutusCore |
_subst | UntypedPlutusCore.Transform.Inline |
_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 |
_termEnv | UntypedPlutusCore.Transform.Inline |
_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 |
_tyVarDeclAnn | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_tyVarDeclKind | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_tyVarDeclName | PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug |
_unTermEnv | UntypedPlutusCore.Transform.Inline |
_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 |
_vars | UntypedPlutusCore.Transform.Inline |
_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 |