Indexplutus-core-1.70.0.0

All

#.PlutusPrelude
$>PlutusPrelude
%~PlutusPrelude
&PlutusPrelude
&&&PlutusPrelude
.*PlutusPrelude
.~PlutusPrelude
:=>PlutusCore.Builtin.Debug PlutusCore.Default Universe
:|PlutusPrelude
:~:PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
<&>PlutusPrelude
<:PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
<<$>>PlutusPrelude
<<*>>PlutusPrelude
<=<PlutusPrelude
<?>Prettyprinter.Custom
<^>PlutusPrelude
<|>PlutusPrelude
>=>PlutusPrelude
>>>PlutusPrelude
?PlutusPrelude
@@PlutusCore.MkPlc
\\PlutusCore.Name.UniqueSet
^.PlutusPrelude
_appearedBindingsPlutusCore.Check.Scoping PlutusCore.Check.Scoping PlutusCore.Check.Scoping
_boundVariablesPlutusCore.Check.Scoping PlutusCore.Check.Scoping
_builtinCostModelPlutusCore.Evaluation.Machine.MachineParameters
_callsiteCountsUntypedPlutusCore.Transform.Inline
_cekEmitterInfoEmitUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_cekEmitterInfoGetFinalUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_cekReportCostUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_cekReportLogsUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_cekReportResultUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_coBuiltinSemanticsVariantPlutusCore.Compiler PlutusCore.Compiler.Opts
_ConstantUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
_coOptimizeOptsPlutusCore.Compiler PlutusCore.Compiler.Opts
_disappearedBindingsPlutusCore.Check.Scoping PlutusCore.Check.Scoping PlutusCore.Check.Scoping
_disppearedBindingsPlutusCore.Check.Scoping
_duplicateBindersLeftPlutusCore.Check.Scoping
_duplicateBindersRightPlutusCore.Check.Scoping
_errorPlutusCore.Check.Scoping
_ewcCausePlutusCore.Evaluation.ErrorWithCause PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_ewcErrorPlutusCore.Evaluation.ErrorWithCause PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_exBudgetModeGetCumulativeUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_exBudgetModeGetFinalUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_exBudgetModeSpenderUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
_fixityAssociativityPlutusCore.Pretty
_fixityPrecedencePlutusCore.Pretty
_freeVariablesPlutusCore.Check.Scoping PlutusCore.Check.Scoping
_functionDefAnnPlutusCore.MkPlc PlutusCore.StdLib.Data.Function
_functionDefNamePlutusCore.MkPlc PlutusCore.StdLib.Data.Function
_functionDefTermPlutusCore.MkPlc PlutusCore.StdLib.Data.Function
_functionDefTypePlutusCore.MkPlc PlutusCore.StdLib.Data.Function
_functionTypeAnnPlutusCore.MkPlc
_functionTypeCodPlutusCore.MkPlc
_functionTypeDomPlutusCore.MkPlc
_iiBuiltinSemanticsVariantUntypedPlutusCore.Transform.Inline
_iiHintsUntypedPlutusCore.Transform.Inline
_iiInlineCallsiteGrowthUntypedPlutusCore.Transform.Inline
_iiInlineConstantsUntypedPlutusCore.Transform.Inline
_iiInlineUnconditionalGrowthUntypedPlutusCore.Transform.Inline
_iiPreserveLoggingUntypedPlutusCore.Transform.Inline
_iiUsagesUntypedPlutusCore.Transform.Inline
_inputPlutusCore.Check.Scoping
_kccHandleNameMismatchesPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
_machineCostModelPlutusCore.Evaluation.Machine.MachineParameters
_namedStringPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
_namedValuePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
_nameTextPlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
_nameUniquePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
_needCheckpointUntypedPlutusCore.Transform.Inline
_newNamePlutusCore.Check.Scoping PlutusCore.Check.Scoping
_oldNamePlutusCore.Check.Scoping PlutusCore.Check.Scoping
_ooApplyToCaseUntypedPlutusCore
_ooCertifiedOptsOnlyUntypedPlutusCore
_ooConservativeOptsUntypedPlutusCore
_ooCseWhichSubtermsUntypedPlutusCore
_ooHoistPolyBuiltinsUntypedPlutusCore
_ooInlineCallsiteGrowthUntypedPlutusCore
_ooInlineConstantsUntypedPlutusCore
_ooInlineHintsUntypedPlutusCore
_ooInlineUnconditionalGrowthUntypedPlutusCore
_ooMaxCseIterationsUntypedPlutusCore
_ooMaxSimplifierIterationsUntypedPlutusCore
_ooPreserveLoggingUntypedPlutusCore
_outOfScopeVariablesPlutusCore.Check.Scoping
_outputPlutusCore.Check.Scoping
_pccConfigNamePlutusCore.Pretty
_pccDisplayAnnPlutusCore.Pretty
_pcnShowsUniquePlutusCore.Pretty
_pcpoCondensedErrorsPlutusCore.Pretty
_pcpOptionsPlutusCore.Pretty
_pcpStrategyPlutusCore.Pretty
_pcrConfigNamePlutusCore.Pretty
_pcrRenderContextPlutusCore.Pretty
_pcrShowKindsPlutusCore.Pretty
_preparedPlutusCore.Check.Scoping
_progAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
_progTermPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
_progVerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
_recursiveTypePlutusCore.StdLib.Type
_recursiveWrapPlutusCore.StdLib.Type
_renderContextDirectionPlutusCore.Pretty
_renderContextFixityPlutusCore.Pretty
_scopedRenamingTermsPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
_scopedRenamingTypesPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
_substUntypedPlutusCore.Transform.Inline
_tccBuiltinTypesPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
_tccKindCheckConfigPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
_tceTypeCheckConfigPlutusCore.TypeCheck.Internal
_tceTyVarKindsPlutusCore.TypeCheck.Internal
_tceVarTypesPlutusCore.TypeCheck.Internal
_termEnvUntypedPlutusCore.Transform.Inline
_tupleElementTypesPlutusCore.StdLib.Meta.Data.Tuple
_tupleTermPlutusCore.StdLib.Meta.Data.Tuple
_tyDeclAnnPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_tyDeclKindPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_tyDeclTypePlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_tyVarDeclAnnPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_tyVarDeclKindPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_tyVarDeclNamePlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_unTermEnvUntypedPlutusCore.Transform.Inline
_uvarDeclAnnUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type UntypedPlutusCore.MkUPlc
_uvarDeclNameUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type UntypedPlutusCore.MkUPlc
_varDeclAnnPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_varDeclNamePlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_varDeclTypePlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
_varsUntypedPlutusCore.Transform.Inline
_versionMajorPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
_versionMinorPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
_versionPatchPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
AboveAndBelowDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
AbsurdPlutusCore.Examples.Builtins
addPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
addCostStreamPlutusCore.Evaluation.Machine.CostStream
addDefPlutusCore.Analysis.Definitions
AddedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
AddIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
addQuantityPlutusCore.Value
addSrcSpanPlutusCore.Annotation
addTheRestPlutusPrelude
addUsagePlutusCore.Analysis.Definitions
afterASTUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
allASTsUntypedPlutusCore.Transform.Certify.Trace
AllBuiltinArgsPlutusCore.Builtin PlutusCore.Builtin.Debug
AllElaboratedArgsPlutusCore.Builtin PlutusCore.Builtin.Debug
allSamePlutusPrelude
AllSubtermsUntypedPlutusCore
allTypePlutusCore.Parser
allUsedPlutusCore.Analysis.Usages
AlternativePlutusPrelude
AlwaysInlinePlutusCore.Annotation
AndByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
andByteStringPlutusCore.Bitwise
AnnPlutusCore.Annotation
AnnUntypedPlutusCore.Transform.Inline
AnnPlutusCore.Annotation
annAlwaysInlinePlutusCore.Annotation
AnnCasePlutusCore.Annotation
annCasePlutusCore.Annotation
AnnInlinePlutusCore.Annotation
annInlinePlutusCore.Annotation
annIsAsDataMatcherPlutusCore.Annotation
annIsSafeToDropPlutusCore.Annotation
annMayInlinePlutusCore.Annotation
annNotSafeToDropPlutusCore.Annotation
AnnotateCaseBuiltinPlutusCore.Builtin
annotateCaseBuiltinPlutusCore.Builtin
annSafeToDropPlutusCore.Annotation
annSafeToInlinePlutusCore.Annotation
annSrcSpansPlutusCore.Annotation
AnyToDocPlutusCore.Pretty
AppCtxUntypedPlutusCore.Contexts
AppCtxEndUntypedPlutusCore.Contexts
AppCtxTermUntypedPlutusCore.Contexts
AppCtxTypeUntypedPlutusCore.Contexts
AppearedBindingsPlutusCore.Check.Scoping
AppearedBindingsClashWithFreeVariabesPlutusCore.Check.Scoping
AppearedBindingsDiscordWithBoundVariablesPlutusCore.Check.Scoping
AppearedVariablesPlutusCore.Check.Scoping
AppendByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
AppendStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ApplyPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
applyPlutusCore.MkPlc
applyCostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
applyDisappearsPlutusCore.Check.Scoping
applyFunPlutusCore.StdLib.Data.Function
applyNameActionPlutusCore.Check.Scoping
applyProgramPlutusCore UntypedPlutusCore
ApplyProgramErrorPlutusCore.Error
applyStaysPlutusCore.Check.Scoping
applyTermUntypedPlutusCore
ApplyToCaseUntypedPlutusCore.Transform.Certify.Trace
applyToCaseUntypedPlutusCore.Transform.ApplyToCase
ApplyToCaseStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
appTypePlutusCore.Parser
argProxyPlutusCore.Builtin
argsFunKindPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
ArgStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ArgStackNonEmptyUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ArityPlutusCore.Arity
arrowFixityPlutusCore.Pretty
asConstantPlutusCore.Builtin
asksMPlutusPrelude
AsReadablePlutusCore.Pretty
AsReadablePlutusCore.Pretty
AssetCountPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
AssociativityPlutusCore.Pretty
AstSizePlutusCore.AstSize UntypedPlutusCore UntypedPlutusCore.AstSize
AstSizePlutusCore.AstSize UntypedPlutusCore UntypedPlutusCore.AstSize
AttachPrettyConfigPlutusCore.Pretty
AttachPrettyConfigPlutusCore.Pretty
BPlutusCore.Data
BadCompressedDataPlutusCore.Crypto.BLS12_381.Error
BadTermPlutusCore PlutusCore.Check.Normal PlutusCore.Error
BadTypePlutusCore PlutusCore.Check.Normal PlutusCore.Error
BApplyUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BBuiltinUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BBuiltinAppUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BCaseUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BConstUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BConstrUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
BDelayUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
beforeASTUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
benchingResultsFilePlutusCore.DataFilePaths
BForceUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BiconstPairPlutusCore.Examples.Builtins
BinderPlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
BinderPlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
binderFixityPlutusCore.Pretty
bindFunUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
bindFunMUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
BindingRemovalPlutusCore.Check.Scoping
BindingRemovalNotOkPlutusCore.Check.Scoping
BindingRemovalOkPlutusCore.Check.Scoping
bindTuplePlutusCore.StdLib.Meta.Data.Tuple
Blake2b_224PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
blake2b_224PlutusCore.Crypto.Hash
Blake2b_256PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
blake2b_256PlutusCore.Crypto.Hash
BLamAbsUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BLS12_381_ErrorPlutusCore.Crypto.BLS12_381.Error
Bls12_381_finalVerifyPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_addPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_compressPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_equalPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_hashToGroupPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_multiScalarMulPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_negPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_scalarMulPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G1_uncompressPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_addPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_compressPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_equalPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_hashToGroupPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_multiScalarMulPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_negPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_scalarMulPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_G2_uncompressPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_millerLoopPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
Bls12_381_mulMlResultPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
boolPlutusCore.StdLib.Data.Bool
botFixityPlutusCore.Pretty
botPrettyConfigReadablePlutusCore.Pretty
botRenderContextPlutusCore.Pretty
braces'Prettyprinter.Custom
brackets'Prettyprinter.Custom
BreakpointableUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
bringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
bringKnownKindPlutusCore.Builtin
BStartupUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
BStepUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
buildValueWithPlutusCore.Value
BuiltinPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
builtinPlutusCore.MkPlc
builtinArityPlutusCore.Arity
BuiltinCostedResultPlutusCore.Builtin
BuiltinCostKeyMapPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
BuiltinCostMapPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
BuiltinCostModelPlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModelPlutusCore.Evaluation.Machine.MachineParameters
BuiltinCostModelBasePlutusCore.Evaluation.Machine.BuiltinCostModel
BuiltinCostModelBasePlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModelFileAPlutusCore.DataFilePaths
builtinCostModelFileBPlutusCore.DataFilePaths
builtinCostModelFileCPlutusCore.DataFilePaths
builtinCostModelFileDPlutusCore.DataFilePaths
builtinCostModelFileEPlutusCore.DataFilePaths
BuiltinErrorPlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
BuiltinErrorCallPlutusCore.Examples.Builtins
BuiltinErrorCallPlutusCore.Examples.Builtins
BuiltinErrorToEvaluationErrorPlutusCore.Evaluation.Machine.Exception
builtinErrorToEvaluationErrorPlutusCore.Evaluation.Machine.Exception
BuiltinEvaluationFailurePlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
BuiltinExpectArgumentPlutusCore.Builtin
BuiltinExpectForcePlutusCore.Builtin
BuiltinFailurePlutusCore.Builtin
builtinFunctionPlutusCore.Parser
BuiltinHeadPlutusCore.Builtin PlutusCore.Builtin.Debug
BuiltinMeaningPlutusCore.Builtin PlutusCore.Builtin.Debug
BuiltinMeaningPlutusCore.Builtin PlutusCore.Builtin.Debug
builtinMeaningsToTypesPlutusCore PlutusCore.TypeCheck
BuiltinResultPlutusCore.Builtin
builtinResultFailurePlutusCore.Builtin
BuiltinRuntimePlutusCore.Builtin
builtinRuntimeFailurePlutusCore.Builtin
builtinsPlutusCore.Examples.Everything
BuiltinSemanticsVariantPlutusCore.Builtin PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins PlutusCore.Examples.Builtins
BuiltinSemanticsVariantPlutusCore.Builtin PlutusCore.Builtin.Debug
BuiltinsRuntimePlutusCore.Builtin UntypedPlutusCore.Evaluation.Machine.Cek
BuiltinsRuntimePlutusCore.Builtin UntypedPlutusCore.Evaluation.Machine.Cek
builtinsRuntimePlutusCore.Evaluation.Machine.MachineParameters
BuiltinSuccessPlutusCore.Builtin
BuiltinSuccessWithLogsPlutusCore.Builtin
builtinTagWidthPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
BuiltinTermArgumentExpectedMachineErrorPlutusCore.Evaluation.Machine.Exception
builtinTypePlutusCore.Parser
BuiltinTypeNotAStarPlutusCore PlutusCore.Error PlutusCore.Parser
BuiltinTypesPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
BuiltinTypesPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
BuiltinUnliftingEvaluationErrorPlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
BVarUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ByteStringToIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
byteStringToIntegerPlutusCore.Bitwise
cachedBuiltinPlutusCore.Parser
CasePlutusCore.Annotation
CasePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
CaseBuiltinPlutusCore.Builtin
caseBuiltinPlutusCore.Builtin
caseBuiltinDefaultPlutusCore.Builtin.Debug PlutusCore.Default
caseBuiltinNoDataPlutusCore.Builtin.Debug PlutusCore.Default
CaseOfCaseUntypedPlutusCore.Transform.Certify.Trace
caseOfCaseUntypedPlutusCore.Transform.CaseOfCase
CaseOfCaseStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
CaserBuiltinPlutusCore.Builtin
CaserBuiltinPlutusCore.Builtin
CaseReduceUntypedPlutusCore.Transform.Certify.Trace
caseReduceUntypedPlutusCore.Transform.CaseReduce
CaseReduceStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
CByteStringPlutusCore.Builtin.Debug PlutusCore.Default
CByteStringPlutusCore.Builtin.Debug PlutusCore.Default
cekApplyCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekBudgetSpenderUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekBudgetSpenderUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekBuiltinCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekCaseBuiltinErrorUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekCaseCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekConstCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekConstrCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekCostModelForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
cekDelayCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekEmitterUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEmitterInfoUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEmitterInfoUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEvaluationExceptionUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekEvaluationFailureUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekExTallyUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekExTallyUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekFailureUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekForceCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekLamCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekMUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekMUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekMachineCostsPlutusCore.Evaluation.Machine.CostModelInterface UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts UntypedPlutusCore.Evaluation.Machine.SteppableCek
CekMachineCostsBaseUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekMachineCostsBaseUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
cekMachineCostsFileAPlutusCore.DataFilePaths
cekMachineCostsFileBPlutusCore.DataFilePaths
cekMachineCostsFileCPlutusCore.DataFilePaths
cekMachineCostsFileDPlutusCore.DataFilePaths
cekMachineCostsFileEPlutusCore.DataFilePaths
cekMachineCostsPrefixUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekOutOfExErrorUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekReportUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekReportUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekResultUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekResultToEitherUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStartupCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CekStateUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStateAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekStateContextUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekSuccessConstantUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekSuccessNonConstantUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekTransUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekUserErrorUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekValEnvUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
CekValueUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
cekVarCostUntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
CertifiedOptStageUntypedPlutusCore.Transform.Certify.Trace
checkCompressedPlutusCore.Crypto.BLS12_381.Error
checkEmptyOnPlutusCore.Check.Scoping
checkKindPlutusCore PlutusCore.TypeCheck
checkKindMPlutusCore.TypeCheck.Internal
checkProgramPlutusCore.Check.Normal PlutusCore.Check.Uniques UntypedPlutusCore.Check.Uniques
checkRespectsScopingPlutusCore.Check.Scoping
checkScopeUntypedPlutusCore UntypedPlutusCore.Check.Scope
checkScopeInfoPlutusCore.Check.Scoping
checkStarPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
checkTermPlutusCore.Check.Normal PlutusCore.Check.Uniques UntypedPlutusCore.Check.Uniques
checkTypePlutusCore PlutusCore.TypeCheck
checkTypeMPlutusCore.TypeCheck.Internal
checkTypeOfProgramPlutusCore PlutusCore.TypeCheck
ChooseDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ChooseListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ChooseUnitPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
churchConcatPlutusCore.Examples.Data.Vec
churchConsPlutusCore.Examples.Data.Vec
churchNatPlutusCore.StdLib.Data.ChurchNat
churchNilPlutusCore.Examples.Data.Vec
churchSuccPlutusCore.StdLib.Data.ChurchNat
churchVecPlutusCore.Examples.Data.Vec
churchZeroPlutusCore.StdLib.Data.ChurchNat
CIntegerPlutusCore.Builtin.Debug PlutusCore.Default
CIntegerPlutusCore.Builtin.Debug PlutusCore.Default
CkEvaluationExceptionPlutusCore.Evaluation.Machine.Ck
CkMPlutusCore.Evaluation.Machine.Ck
CkValuePlutusCore.Evaluation.Machine.Ck
ClosedPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
cmActualPlutusCore.Evaluation.Machine.CostModelInterface PlutusCore.Evaluation.Machine.CostModelInterface
CmdUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
cmExpectedPlutusCore.Evaluation.Machine.CostModelInterface PlutusCore.Evaluation.Machine.CostModelInterface
CMInternalReadErrorPlutusCore.Evaluation.Machine.CostModelInterface
CMInternalWriteErrorPlutusCore.Evaluation.Machine.CostModelInterface
CMTooFewParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface
CMTooManyParamsWarnPlutusCore.Evaluation.Machine.CostModelInterface
CMUnknownParamErrorPlutusCore.Evaluation.Machine.CostModelInterface
coBuiltinSemanticsVariantPlutusCore.Compiler PlutusCore.Compiler.Opts
coeff00'_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff00_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff01'_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
coeff10_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
coeff11'_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
Coefficient0PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient0PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient00PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient00PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
coefficient00PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient01PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient01PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient02PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient02PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient1PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient1PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient10PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient10PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient11PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient11PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
coefficient11PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient12PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient12PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
coefficient12PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient2PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient2PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient20PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
Coefficient20PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
coercePlutusPrelude
coerceArgPlutusPrelude
coerceResPlutusPrelude
coerceViaPlutusPrelude
CoerciblePlutusPrelude
CollectScopeInfoPlutusCore.Check.Scoping
collectScopeInfoPlutusCore.Check.Scoping
CommaPlutusCore.Examples.Builtins
CompilationOptsPlutusCore.Compiler PlutusCore.Compiler.Opts
CompilationOptsPlutusCore.Compiler PlutusCore.Compiler.Opts
compileProgramPlutusCore.Compiler
compileProgramWithTracePlutusCore.Compiler
compileTermPlutusCore.Compiler
CompilingPlutusCore.Compiler.Types
ComplementByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
complementByteStringPlutusCore.Bitwise
compoundDocMPlutusCore.Pretty
compressPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
compressed_generatorPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
compressed_zeroPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
compressedSizeBytesPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
computeCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ComputingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
con0xBSPlutusCore.Parser
conArrayPlutusCore.Parser
conBLS12_381_G1_ElementPlutusCore.Parser
conBLS12_381_G2_ElementPlutusCore.Parser
conBoolPlutusCore.Parser
conBSPlutusCore.Parser
conDataPlutusCore.Parser
conDataNoParensPlutusCore.Parser
CondensedErrorsPlutusCore.Pretty
CondensedErrorsNoPlutusCore.Pretty
CondensedErrorsYesPlutusCore.Pretty
conIntegerPlutusCore.Parser
conListPlutusCore.Parser
conPairPlutusCore.Parser
consPlutusCore.StdLib.Data.ScottList
consAnnIfPlutusCore.Pretty
ConsByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ConsStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConsStackNonEmptyUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ConstPlutusCore.Examples.Builtins
constPlutusCore.StdLib.Data.Function
ConstAboveDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstantPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
constantPlutusCore.Parser
constantPlutusCore.MkPlc
ConstantCostPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstantFoldingUntypedPlutusCore.Transform.Certify.Trace
ConstantFoldingStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
constantOfPlutusCore.Parser
ConstBelowDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ConstConfigPlutusCore.Pretty
ConstConfigPlutusCore.Pretty
ConstOffDiagonalPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
constPartialPlutusCore.StdLib.Meta.Data.Function
ConstrPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Data UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
constrPlutusCore.MkPlc
ConstrDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ContainsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
ContextUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
conTextPlutusCore.Parser
contextAnnUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ContinueUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
conUnitPlutusCore.Parser
conValuePlutusCore.Parser
coOptimizeOptsPlutusCore.Compiler PlutusCore.Compiler.Opts
CostConsPlutusCore.Evaluation.Machine.CostStream
CostingFunPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
CostingFunPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
costingFunCpuPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
costingFunMemoryPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
CostingIntegerPlutusCore.Evaluation.Machine.ExMemory
CostingPartPlutusCore.Builtin PlutusCore.Builtin.Debug
CostingPartPlutusCore.Builtin PlutusCore.Builtin.Debug
CostLastPlutusCore.Evaluation.Machine.CostStream
CostModelPlutusCore.Evaluation.Machine.MachineParameters
CostModelPlutusCore.Evaluation.Machine.MachineParameters
CostModelApplyErrorPlutusCore.Evaluation.Machine.CostModelInterface
CostModelApplyWarnPlutusCore.Evaluation.Machine.CostModelInterface
costModelDataDirPlutusCore.DataFilePaths
CostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
CostRosePlutusCore.Evaluation.Machine.ExMemoryUsage
CostRosePlutusCore.Evaluation.Machine.ExMemoryUsage
CostStreamPlutusCore.Evaluation.Machine.CostStream
CounterSizeUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
countingUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountingStUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountingStUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
CountSetBitsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
countSetBitsPlutusCore.Bitwise
CpuAndMemoryModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
CpuAndMemoryModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
cpuModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
CSEUntypedPlutusCore.Transform.Certify.Trace
cseUntypedPlutusCore.Transform.Cse
CseStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
CseWhichSubtermsUntypedPlutusCore
currentLevelPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
cutoffUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
DataPlutusCore.Data
DataNodeCountPlutusCore.Evaluation.Machine.ExMemoryUsage
DataNodeCountPlutusCore.Evaluation.Machine.ExMemoryUsage
dataTyPlutusCore.StdLib.Data.Data
dbnIndexPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
DDropUntypedPlutusCore.Transform.Inline
DeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
DeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
deBruijnInitIndexPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
deBruijnTermPlutusCore PlutusCore.DeBruijn UntypedPlutusCore UntypedPlutusCore.DeBruijn
deBruijnTermWithPlutusCore.DeBruijn UntypedPlutusCore UntypedPlutusCore.DeBruijn
deBruijnToNamePlutusCore.DeBruijn.Internal
deBruijnToTyNamePlutusCore.DeBruijn.Internal
deBruijnTyPlutusCore.DeBruijn
deBruijnTyWithPlutusCore.DeBruijn
DebugFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
declareBinderPlutusCore.DeBruijn.Internal
declareUniquePlutusCore.DeBruijn.Internal
decodeBuiltinPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
decodeDefaultUniValuePlutusCore.Builtin.Debug PlutusCore.Default
decodeKindedUniPlutusCore.Builtin.Debug PlutusCore.Default Universe
decodeKindedUniFlatPlutusCore.FlatInstances
decodeProgramUntypedPlutusCore UntypedPlutusCore.Core
decodeTermUntypedPlutusCore UntypedPlutusCore.Core
decodeTermTagUntypedPlutusCore UntypedPlutusCore.Core
DecodeUniMPlutusCore.Builtin.Debug PlutusCore.Default Universe
DecodeUniMPlutusCore.Builtin.Debug PlutusCore.Default Universe
DecodeUtf8PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
decodeViaFlatWithCodec.Extras.SerialiseViaFlat
DecorationUntypedPlutusCore.Transform.Inline
DefPlutusCore.MkPlc UntypedPlutusCore.MkUPlc
DefPlutusCore.MkPlc UntypedPlutusCore.MkUPlc
defPlutusPrelude
DefaultPlutusPrelude
defaultBuiltinCostModelForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultBuiltinsRuntimeForSemanticsVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultBuiltinsRuntimeForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekCostModelForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekCostModelForTestingBPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekMachineCostsForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekParametersForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCekParametersForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCompilationOptsPlutusCore.Compiler PlutusCore.Compiler.Opts
defaultCostModelParamsForTestingPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultCostModelParamsForVariantPlutusCore.Evaluation.Machine.ExBudgetingDefaults
defaultEqPlutusCore.Builtin.Debug PlutusCore.Default Universe
DefaultFunPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins UntypedPlutusCore
DefaultFunSemanticsVariantAPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
DefaultFunSemanticsVariantBPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
DefaultFunSemanticsVariantCPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
DefaultFunSemanticsVariantDPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
DefaultFunSemanticsVariantEPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
DefaultMachineParametersPlutusCore.Evaluation.Machine.MachineParameters.Default
DefaultMachineVariantParametersPlutusCore.Evaluation.Machine.MachineParameters.Default
defaultOptimizeOptsUntypedPlutusCore
DefaultPrettyPlcStrategyPlutusCore.Pretty
defaultSimpleBuiltinCostModelPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
defaultSlippageUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
DefaultUniPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default UntypedPlutusCore
defaultUniPlutusCore.Parser
defaultUniApplicationPlutusCore.Parser
DefaultUniApplyPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniArrayPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniBLS12_381_G1_ElementPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniBLS12_381_G2_ElementPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniBLS12_381_MlResultPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniBoolPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniPairPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniProtoArrayPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniProtoListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniProtoPairPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
defaultUniSizePlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniUnitPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
DefaultUniValuePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default
defKindCheckConfigPlutusCore PlutusCore.TypeCheck
defValPlutusCore.MkPlc UntypedPlutusCore.MkUPlc
defVarPlutusCore.MkPlc UntypedPlutusCore.MkUPlc
DelayUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
DeletePlutusCore.Builtin
deleteCoinPlutusCore.Value
demoteKindPlutusCore.Builtin
DeserialiseFailureInfoCodec.Extras.SerialiseViaFlat
DeserialiseFailureInfoCodec.Extras.SerialiseViaFlat
DeserialiseFailureReasonCodec.Extras.SerialiseViaFlat
DetectNameMismatchesPlutusCore.TypeCheck.Internal
DExpandUntypedPlutusCore.Transform.Inline
dfOffsetCodec.Extras.SerialiseViaFlat
dfReasonCodec.Extras.SerialiseViaFlat
DirectionPlutusCore.Pretty
DisappearedBindingsPlutusCore.Check.Scoping
DisappearedBindingsClashWithAppearedBindingsPlutusCore.Check.Scoping
DisappearedBindingsClashWithFreeVariablesPlutusCore.Check.Scoping
DisappearedBindingsDiscordWithBoundVariablesPlutusCore.Check.Scoping
DisappearedBindingsDiscordWithOutOfScopeVariablesPlutusCore.Check.Scoping
DisappearedVariablesPlutusCore.Check.Scoping
DisappearsPlutusCore.Check.Scoping
DisappearsPlutusCore.Check.Scoping
DisappearsBindingPlutusCore.Check.Scoping
DisappearsVariablePlutusCore.Check.Scoping
dischargeCekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
DischargeConstantUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
DischargeNonConstantUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
DischargeResultUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
dischargeResultToTermUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
displayPlutusCore.Pretty PlutusPrelude
displayByPlutusCore.Pretty
displayMPlutusCore.Pretty
displayPlcPlutusCore.Pretty
displayPlcCondensedErrorClassicPlutusCore.Pretty
displayPlcSimplePlutusCore.Pretty
distinctPlutusPrelude
dividedByPlutusCore.Evaluation.Machine.ExMemory
DivideIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
DocPlutusCore.Pretty PlutusPrelude
DriverLogFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
DropPlutusCore.Unroll
drop'PlutusCore.Unroll
DropListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
dropNPlutusCore.Unroll
DropPoliciesPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
dropPoliciesPlutusCore.Value
DSumPlutusCore.Builtin.Debug PlutusCore.Default Universe
DupablePlutusCore.Rename PlutusCore.Rename.Internal
DupablePlutusCore.Rename.Internal
dupablePlutusCore.Rename
DuplicateBindersInTheInputPlutusCore.Check.Scoping
DuplicateBindersInTheOutputPlutusCore.Check.Scoping
effectSafeUntypedPlutusCore.Transform.Inline
eitherToBuiltinResultPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ElaborateBuiltinPlutusCore.Builtin PlutusCore.Builtin.Debug
elaborateDebugPlutusCore.Builtin.Debug
ElaborateFromToPlutusCore.Builtin.Debug PlutusCore.Builtin.Elaborate
ElementPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
ElementPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
embedTermPlutusCore.MkPlc
emcfcoeff00_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
emcfcoeff11_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
emcfcoeff12_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
emitPlutusCore.Builtin
EmitterModeUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
EmitterModeUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
emptyPlutusCore.Value
emptyPlutusPrelude
EmptyOrMultiStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
emptyScopeInfoPlutusCore.Check.Scoping
EmptyStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
encloseInPlutusCore.Pretty
encloseMPlutusCore.Pretty
encodeBuiltinPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
encodeProgramUntypedPlutusCore UntypedPlutusCore.Core
encodeTermUntypedPlutusCore UntypedPlutusCore.Core
encodeTermTagUntypedPlutusCore UntypedPlutusCore.Core
encodeUniPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
EncodeUtf8PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
EndOfInputCodec.Extras.SerialiseViaFlat
enormousBudgetPlutusCore.Evaluation.Machine.ExBudget UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
ensurablePlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ensurePlutusPrelude
enumeratePlutusPrelude
enumFromToPlutusCore.StdLib.Data.ScottList
EqualsByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
EqualsDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
EqualsIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
EqualsStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
eraseProgramPlutusCore.Compiler.Erase
eraseTermPlutusCore.Compiler.Erase
ErrorPlutusCore PlutusCore.Error
ErrorPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
errorPlutusCore.MkPlc
errorComponentLenPlutusCore.Error
ErrorPrimePlutusCore.Examples.Builtins
ErrorWithCausePlutusCore.Evaluation.ErrorWithCause PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ErrorWithCausePlutusCore.Evaluation.ErrorWithCause PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
EscPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
EstablishScopingPlutusCore.Check.Scoping
establishScopingPlutusCore.Check.Scoping
establishScopingBinderPlutusCore.Check.Scoping
etaExpandPlutusCore.StdLib.Meta.Data.Function
evalOptimizerUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
evalOptimizerTUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
EvalOrderUntypedPlutusCore.Purity
EvalTermUntypedPlutusCore.Purity
EvalTermUntypedPlutusCore.Purity
evaluateBuiltinsPassUntypedPlutusCore.Transform.EvaluateBuiltins
evaluateCekUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
evaluateCekNoEmitUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
evaluateCkPlutusCore.Evaluation.Machine.Ck
evaluateCkNoEmitPlutusCore.Evaluation.Machine.Ck
EvaluationErrorPlutusCore.Builtin PlutusCore.Evaluation.Error PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
EvaluationExceptionPlutusCore.Evaluation.Machine.Exception
EvaluationFailurePlutusCore PlutusCore.Evaluation.Machine.Ck PlutusCore.Evaluation.Result UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
EvaluationResultPlutusCore PlutusCore.Evaluation.Machine.Ck PlutusCore.Evaluation.Result UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
EvaluationSuccessPlutusCore PlutusCore.Evaluation.Machine.Ck PlutusCore.Evaluation.Result UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
EverywherePlutusCore.Builtin.Debug PlutusCore.Default Universe
EverywherePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
EverywhereAllPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
exampleDataPlutusCore.Examples.Data.Data
examplesPlutusCore.Examples.Everything
ExBudgetPlutusCore.Evaluation.Machine.ExBudget
ExBudgetPlutusCore.Evaluation.Machine.ExBudget
ExBudgetBuiltinPlutusCore.Evaluation.Machine.ExBudget
exBudgetBuiltinPlutusCore.Evaluation.Machine.ExBudget
ExBudgetCategoryUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ExBudgetConsPlutusCore.Evaluation.Machine.ExBudgetStream
exBudgetCPUPlutusCore.Evaluation.Machine.ExBudget
ExBudgetInfoUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ExBudgetInfoUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ExBudgetLastPlutusCore.Evaluation.Machine.ExBudgetStream
exBudgetMemoryPlutusCore.Evaluation.Machine.ExBudget
ExBudgetModeUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ExBudgetModeUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ExBudgetStreamPlutusCore.Evaluation.Machine.ExBudgetStream
ExceptionPlutusPrelude
ExcludeWorkFreeUntypedPlutusCore
ExCPUPlutusCore.Evaluation.Machine.ExMemory
ExCPUPlutusCore.Evaluation.Machine.ExMemory
execOptimizerUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
execOptimizerTUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
ExMemoryPlutusCore.Evaluation.Machine.ExMemory
ExMemoryPlutusCore.Evaluation.Machine.ExMemory
ExMemoryUsagePlutusCore.Evaluation.Machine.ExMemoryUsage
ExpectedBytesCodec.Extras.SerialiseViaFlat
ExpectedExactPlutusCore.Error
ExpectedShapePlutusCore.Error
ExpectedShapeOrPlutusCore.Error
ExpectParensPlutusCore.Parser
ExpectParensNoPlutusCore.Parser
ExpectParensYesPlutusCore.Parser
ExpensivePlusPlutusCore.Examples.Builtins
ExpensiveSuccPlutusCore.Examples.Builtins
expModPlutusCore.Crypto.ExpMod
ExpModCostPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ExpModCostingFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ExpModCostingFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ExpModIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ExRestrictingBudgetPlutusCore.Evaluation.Machine.ExBudget
ExRestrictingBudgetPlutusCore.Evaluation.Machine.ExBudget
ExtensionFunPlutusCore.Examples.Builtins
ExtensionFunSemanticsVariant0PlutusCore.Examples.Builtins
ExtensionFunSemanticsVariant1PlutusCore.Examples.Builtins
ExtensionFunSemanticsVariant2PlutusCore.Examples.Builtins
ExtensionFunSemanticsVariant3PlutusCore.Examples.Builtins
ExtensionFunSemanticsVariant4PlutusCore.Examples.Builtins
ExtensionVersionPlutusCore.Examples.Builtins
extractCostModelParamsPlutusCore.Evaluation.Machine.CostModelInterface
FactorialPlutusCore.Examples.Builtins
FailingPlusPlutusCore.Examples.Builtins
FailingSuccPlutusCore.Examples.Builtins
FakeNamedDeBruijnPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
FakeNamedDeBruijnPlutusCore.DeBruijn.Internal
fakeNameDeBruijnPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
fakeTyNameDeBruijnPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
falsePlutusCore.StdLib.Data.Bool
fillAppCtxUntypedPlutusCore.Contexts
finalVerifyPlutusCore.Crypto.BLS12_381.Pairing
FindFirstSetBitPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
findFirstSetBitPlutusCore.Bitwise
FinishUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
firstPlutusPrelude
firstVersionPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
fixPlutusCore.StdLib.Data.Function
fixAndTypePlutusCore.StdLib.Data.Function
fixByPlutusCore.StdLib.Data.Function
fixByAndTypePlutusCore.StdLib.Data.Function
FixityPlutusCore.Pretty
FixityPlutusCore.Pretty
FixityOverPlutusCore.Pretty
fixNPlutusCore.StdLib.Data.Function
fixNAndTypePlutusCore.StdLib.Data.Function
flattenCostRosePlutusCore.Evaluation.Machine.ExMemoryUsage
FlatViaSerialiseCodec.Extras.FlatViaSerialise
FlatViaSerialiseCodec.Extras.FlatViaSerialise
FloatDelayUntypedPlutusCore.Transform.Certify.Trace
floatDelayUntypedPlutusCore.Transform.FloatDelay
FloatDelayStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
foldPlutusPrelude
FoldArgsPlutusCore.Builtin PlutusCore.Builtin.Debug
FolderContentsPlutusCore.FsTree
FolderContentsPlutusCore.FsTree
foldFsTreePlutusCore.FsTree
foldl'PlutusPrelude
foldListPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList
foldMapMPlutusPrelude
foldNatPlutusCore.StdLib.Data.Nat
foldPlcFolderContentsPlutusCore.FsTree
foldPlcFsTreePlutusCore.FsTree
foldrInterListPlutusCore.Examples.Data.InterList
foldrListPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList
foldrNatPlutusCore.StdLib.Data.Nat
forPlutusPrelude
for_PlutusPrelude
ForallFortyTwoPlutusCore.Examples.Builtins
ForceUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
ForceCaseDelayUntypedPlutusCore.Transform.Certify.Trace
forceCaseDelayUntypedPlutusCore.Transform.ForceCaseDelay
ForceCaseDelayStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
ForceDelayUntypedPlutusCore.Transform.Certify.Trace
forceDelayUntypedPlutusCore.Transform.ForceDelay
ForceDelayStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
forestConsPlutusCore.Examples.Data.TreeForest
forestDataPlutusCore.Examples.Data.TreeForest
forestNilPlutusCore.Examples.Data.TreeForest
forJoinPlutusPrelude
FrameAwaitArgUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FrameAwaitFunConNUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FrameAwaitFunTermUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FrameAwaitFunValueNUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FrameCasesUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FrameConstrUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FrameForceUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
FreeIndexPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal PlutusCore.Error UntypedPlutusCore UntypedPlutusCore.DeBruijn
freeIndexAsConsistentLevelPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
freeIndexThrowPlutusCore.DeBruijn.Internal
FreeTUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
FreeTypeVariableEPlutusCore.Error
FreeUniquePlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal PlutusCore.Error UntypedPlutusCore UntypedPlutusCore.DeBruijn
freeUniqueThrowPlutusCore.DeBruijn.Internal
FreeVariablePlutusCore PlutusCore.Check.Uniques PlutusCore.Error UntypedPlutusCore.Check.Uniques
FreeVariableEPlutusCore.Error
FreeVariableErrorPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal PlutusCore.Error UntypedPlutusCore UntypedPlutusCore.DeBruijn
FreeVariableErrorEPlutusCore PlutusCore.Error
freshenNamePlutusCore.Quote
freshenTyNamePlutusCore.Quote
freshNamePlutusCore PlutusCore.Quote
FreshStatePlutusCore.Quote
freshTyNamePlutusCore PlutusCore.Quote
freshUniquePlutusCore PlutusCore.Quote
fromConstantPlutusCore.Builtin
fromFakePlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
fromFoldablePlutusCore.Name.UniqueMap PlutusCore.Name.UniqueSet
fromListPlutusCore.Value
fromMaybePlutusPrelude
fromNamesPlutusCore.Name.UniqueMap PlutusCore.Name.UniqueSet
fromPatFuncKindPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
fromRightPlutusPrelude
fromRightMData.Either.Extras
fromUniquesPlutusCore.Name.UniqueMap PlutusCore.Name.UniqueSet
fromValuePlutusCore.Builtin
fromValueOfPlutusCore.Builtin
FsFilePlutusCore.FsTree
FsFolderPlutusCore.FsTree
FstPairPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
fstPairPlutusCore.StdLib.Data.Pair
FsTreePlutusCore.FsTree
ftvTermPlutusCore.Subst
ftvTyPlutusCore.Subst
ftvTyCtxPlutusCore.Subst
FunctionDefPlutusCore.MkPlc PlutusCore.StdLib.Data.Function
FunctionDefPlutusCore.MkPlc PlutusCore.StdLib.Data.Function
functionDefToTypePlutusCore.MkPlc
functionDefVarDeclPlutusCore.MkPlc
FunctionTypePlutusCore.MkPlc
FunctionTypePlutusCore.MkPlc
functionTypeToTypePlutusCore.MkPlc
funTyArgsPlutusCore.Builtin.Debug PlutusCore.Core
funTypePlutusCore.Parser
funTyResultTypePlutusCore.Builtin.Debug PlutusCore.Core
fvTermPlutusCore.Subst
GenericPlutusPrelude
GEqPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
geqPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
GEqLPlutusCore.Builtin
geqLPlutusCore.Builtin
getAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusPrelude
GetArgsPlutusCore.Builtin PlutusCore.Builtin.Debug
getDefTypeCheckConfigPlutusCore PlutusCore.TypeCheck
getEtaPlutusCore.Examples.Data.Vec
getIndexPlutusCore.DeBruijn.Internal
getMutualFixOfPlutusCore.StdLib.Data.Function
getOptimizerTUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
getRenamedPlutusCore.Rename
getSingleFixOfPlutusCore.StdLib.Data.Function
getSourcePos'PlutusCore.Parser
getSpineToTuplePlutusCore.StdLib.Meta.Data.Tuple
getStepFunPlutusCore.Examples.Data.Vec
getTupleTypePlutusCore.StdLib.Meta.Data.Tuple
getUniquePlutusCore.DeBruijn.Internal
getUsageCountPlutusCore.Analysis.Usages
getVersionPlutusCore.Parser
gitAwareVersionInfoData.Version.Extras
GivenCekReqsUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
GivenCekSpenderUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
GShowPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
gshowPlutusCore.Builtin.Debug PlutusCore.Default Universe
gshowsPrecPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
guardPlutusPrelude
HandleNameMismatchesPlutusCore.TypeCheck.Internal
handleSnamePlutusCore.Check.Scoping
handleTypePlutusCore.Analysis.Definitions
HasAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusPrelude
hasBreakpointsUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
HasConstantPlutusCore.Builtin
HasConstantInPlutusCore.Builtin
HashablePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
HashToCurveDstTooBigPlutusCore.Crypto.BLS12_381.Error
hashToGroupPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
HasIndexPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
HasKindCheckConfigPlutusCore.TypeCheck.Internal
HasMeaningInPlutusCore.Builtin PlutusCore.Builtin.Debug
HasPrettyConfigPlutusCore.Pretty
HasPrettyConfigNamePlutusCore.Pretty
HasPrettyDefaultsPlutusPrelude
HasRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
HasRenderContextPlutusCore.Pretty
HasTermLevelPlutusCore PlutusCore.Builtin PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
HasTextPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
HasTypeAndTermLevelPlutusCore PlutusCore.Builtin PlutusCore.MkPlc
HasTypeCheckConfigPlutusCore.TypeCheck.Internal
HasTypeLevelPlutusCore PlutusCore.Builtin PlutusCore.MkPlc
HasUniApplyPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
HasUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
HasUniquesPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
HeadErrorPlutusCore.Builtin
HeadListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
HeadOnlyPlutusCore.Builtin
HeadSpinePlutusCore.Builtin
HeadSpinePlutusCore.Builtin
headSpinePlutusCore.Builtin
headSpineToTermPlutusCore.MkPlc
headSpineToTermNoAnnPlutusCore.MkPlc
hexBytePlutusCore.Parser
HintsUntypedPlutusCore.Transform.Certify.Hints
hintsUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
HolePlutusCore.Builtin
IPlutusCore.Data
IdPlutusCore.Examples.Builtins
IdAssumeBoolPlutusCore.Examples.Builtins
IdAssumeCheckBoolPlutusCore.Examples.Builtins
IDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
identifiersPlutusCore.Parser
identityMlResultPlutusCore.Crypto.BLS12_381.Pairing
IdFIntegerPlutusCore.Examples.Builtins
idFunPlutusCore.StdLib.Data.Function
IdIntegerAsBoolPlutusCore.Examples.Builtins
IdListPlutusCore.Examples.Builtins
IdRank2PlutusCore.Examples.Builtins
IdSomeConstantBoolPlutusCore.Examples.Builtins
ifixTypePlutusCore.Parser
iforCounter_UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
IfThenElsePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ifThenElsePlutusCore.StdLib.Data.Bool
IgnoreNameMismatchesPlutusCore.TypeCheck.Internal
IgnorePrettyConfigPlutusCore.Pretty
IgnorePrettyConfigPlutusCore.Pretty
inBracesPlutusCore.Parser PlutusCore.Pretty
inBracketsPlutusCore.Parser
IncludesPlutusCore.Builtin.Debug PlutusCore.Default Universe
IncoherentUsagePlutusCore PlutusCore.Check.Uniques PlutusCore.Error UntypedPlutusCore.Check.Uniques
InContextMPlutusCore.Pretty
InContextMPlutusCore.Pretty
inContextMPlutusCore.Pretty
IndexPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
IndexPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
indexPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
IndexArrayPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
IndexByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
inferKindPlutusCore PlutusCore.TypeCheck
inferKindMPlutusCore.TypeCheck.Internal
inferTypePlutusCore PlutusCore.TypeCheck
inferTypeMPlutusCore.TypeCheck.Internal
inferTypeOfProgramPlutusCore PlutusCore.TypeCheck
infixDocMPlutusCore.Pretty
initialPlutusCore.Parser
initialStateUntypedPlutusCore.Transform.Inline
initOptimizerTraceUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
InlApplyUntypedPlutusCore.Transform.Certify.Hints
InlBuiltinUntypedPlutusCore.Transform.Certify.Hints
InlCaseUntypedPlutusCore.Transform.Certify.Hints
InlConUntypedPlutusCore.Transform.Certify.Hints
InlConstrUntypedPlutusCore.Transform.Certify.Hints
InlDelayUntypedPlutusCore.Transform.Certify.Hints
InlDropUntypedPlutusCore.Transform.Certify.Hints
InlErrorUntypedPlutusCore.Transform.Certify.Hints
InlExpandUntypedPlutusCore.Transform.Certify.Hints
InlForceUntypedPlutusCore.Transform.Certify.Hints
InlinePlutusCore.Annotation UntypedPlutusCore.Transform.Certify.Hints
InlineUntypedPlutusCore.Transform.Certify.Hints UntypedPlutusCore.Transform.Certify.Trace
inlineUntypedPlutusCore.Transform.Inline
InlineHintsPlutusCore.Annotation UntypedPlutusCore UntypedPlutusCore.Transform.Inline
InlineHintsPlutusCore.Annotation UntypedPlutusCore UntypedPlutusCore.Transform.Inline
InlineInfoUntypedPlutusCore.Transform.Inline
InlineInfoUntypedPlutusCore.Transform.Inline
InlineMUntypedPlutusCore.Transform.Inline
InlinePlusUntypedPlutusCore.Transform.Certify.Hints
InlineStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
InlLamUntypedPlutusCore.Transform.Certify.Hints
InlOneUntypedPlutusCore.Transform.Certify.Hints
InlSeqUntypedPlutusCore.Transform.Certify.Hints
InlVarUntypedPlutusCore.Transform.Certify.Hints
inParensPlutusCore.Parser
InputFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
InsertPlutusCore.Builtin
insertByNamePlutusCore.Name.UniqueMap PlutusCore.Name.UniqueSet
insertByNameIndexPlutusCore.Name.UniqueMap
insertByUniquePlutusCore.Name.UniqueMap PlutusCore.Name.UniqueSet
InsertCoinPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
insertCoinPlutusCore.Value
insertNamedPlutusCore.Name.UniqueMap
integerPlutusCore.StdLib.Data.Integer
IntegerCostedLiterallyPlutusCore.Evaluation.Machine.ExMemoryUsage
IntegerCostedLiterallyPlutusCore.Evaluation.Machine.ExMemoryUsage
integerToBytesBEPlutusCore.Bitwise
IntegerToByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
integerToByteStringPlutusCore.Bitwise
IntegerToByteStringErrorPlutusCore.Bitwise
InterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
InterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
intercept'_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
intercept_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
interConsPlutusCore.Examples.Data.InterList
interListDataPlutusCore.Examples.Data.InterList
interNilPlutusCore.Examples.Data.InterList
IntNoIntegerNoWordPlutusCore.Examples.Builtins
introduceBoundPlutusCore.Check.Scoping
InvalidBuiltinConstantPlutusCore PlutusCore.Error PlutusCore.Parser
IsBuiltinPlutusCore.Builtin
IsBuiltinPlutusCore.Builtin
IsConstantPlutusCore.Examples.Builtins
isEvaluationFailurePlutusCore.Evaluation.Result
isEvaluationSuccessPlutusCore.Evaluation.Result
isFirstVarBeforeEffectsUntypedPlutusCore.Transform.Inline
isIdentifierCharPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
isIdentifierStartingCharPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
isJustPlutusPrelude
isLeftPlutusPrelude
isNormalTypePlutusCore.Check.Normal
isNothingPlutusPrelude
isPureUntypedPlutusCore.Purity
isQuotedIdentifierCharPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
isRightPlutusPrelude
isSameScopePlutusCore.Check.Scoping
isStrictInUntypedPlutusCore.Transform.Inline
isTermValuePlutusCore.Check.Value
isValidUnquotedNamePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
isWorkFreeUntypedPlutusCore.Purity
iterAppDocMPlutusCore.Pretty
iterAppPrettyMPlutusCore.Pretty
iterArrowPrettyMPlutusCore.Pretty
iterInterAppPrettyMPlutusCore.Pretty
iterLamAbsPrettyMPlutusCore.Pretty
iterMUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
iterTMUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
iterTyAbsPrettyMPlutusCore.Pretty
iterTyForallPrettyMPlutusCore.Pretty
itraverseCounter_UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
IWrapPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
iWrapPlutusCore.MkPlc
joinPlutusPrelude
juxtFixityPlutusCore.Pretty
juxtPrettyMPlutusCore.Pretty
juxtRenderContextPlutusCore.Pretty
KPlutusCore.Value
kPlutusCore.Value
kasePlutusCore.MkPlc
kccHandleNameMismatchesPlutusCore.TypeCheck.Internal
Keccak_256PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
keccak_256PlutusCore.Crypto.Hash
KeepPoliciesPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
keepPoliciesPlutusCore.Value
KindPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
kindPlutusCore.Parser
KindArrowPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
kindAstSizePlutusCore PlutusCore.AstSize
KindCheckConfigPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
KindCheckConfigPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
kindCheckConfigPlutusCore.TypeCheck.Internal
KindedPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
KindedPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
KindMismatchPlutusCore.Error
kindOfBuiltinTypePlutusCore.Builtin
kindSubkindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
kindSubkindsDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
KnownBuiltinTypePlutusCore.Builtin
KnownBuiltinTypeAstPlutusCore.Builtin
KnownBuiltinTypeInPlutusCore.Builtin
KnownKindPlutusCore.Builtin
knownKindPlutusCore.Builtin
KnownMonotypePlutusCore.Builtin PlutusCore.Builtin.Debug
knownMonotypePlutusCore.Builtin PlutusCore.Builtin.Debug
KnownPolytypePlutusCore.Builtin PlutusCore.Builtin.Debug
knownPolytypePlutusCore.Builtin PlutusCore.Builtin.Debug
KnownTypeAstPlutusCore.Builtin
knownUniPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
knownUniOfPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
knownVersionsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
LamAbsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
lamAbsPlutusCore.MkPlc
lamTypePlutusCore.Parser
largeBudgetPlutusCore.Evaluation.Machine.ExBudget
LastArgPlutusCore.Builtin PlutusCore.Builtin.Debug
LastStackNonEmptyUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
latestBuiltinCostModelFilePlutusCore.DataFilePaths
latestMachineCostsFilePlutusCore.DataFilePaths
latestVersionPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
leadingWhitespacePlutusCore.Parser
leftPlutusCore.StdLib.Data.Sum
LeftAssociativePlutusCore.Pretty
lenContextUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
LengthOfArrayPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
LengthOfByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
lensPlutusPrelude
Lens'PlutusPrelude
LessThanByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
LessThanEqualsByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
LessThanEqualsIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
LessThanIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
LetFloatOutUntypedPlutusCore.Transform.Certify.Trace
letFloatOutUntypedPlutusCore.Transform.LetFloatOut
LetFloatOutStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
LevelPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
LevelPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
LevelInfoPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
LevelInfoPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
levelMappingPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
lexemePlutusCore.Parser
liftCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
liftDupablePlutusCore.Rename
liftQuotePlutusCore PlutusCore.Quote
LinearFunctionPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearFunctionPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInMaxYZPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInUPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInXPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInXAndYPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInYPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInY2PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInYAndZPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
LinearInZPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
lineInSrcSpanPlutusCore.Annotation
ListPlutusCore.Data
listPlutusCore.StdLib.Data.List
ListDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
listDataPlutusCore.StdLib.Data.ScottList
ListToArrayPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
listTyPlutusCore.StdLib.Data.ScottList
LiteralInYOrLinearInZPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
logEmitterUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
logWithBudgetEmitterUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
logWithCallTraceEmitterUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
logWithTimeEmitterUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
lookupBuiltinPlutusCore.Builtin
lookupBuiltinMPlutusCore.TypeCheck.Internal
LookupCoinPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
lookupCoinPlutusCore.Value
lookupNamePlutusCore.Name.UniqueMap
lookupNameIndexPlutusCore.Name.UniqueMap
lookupNameMPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
lookupTyVarMPlutusCore.TypeCheck.Internal
lookupUniquePlutusCore.Name.UniqueMap
lookupVarMPlutusCore.TypeCheck.Internal
LoopBreakerPlutusCore.Builtin
LoopBreakerPlutusCore.Builtin
lowerInitialCharPlutusPrelude
machineCaserBuiltinPlutusCore.Evaluation.Machine.MachineParameters
machineCostModelPlutusCore.Evaluation.Machine.MachineParameters
machineCostsPlutusCore.Evaluation.Machine.MachineParameters
MachineErrorPlutusCore.Evaluation.Machine.Exception
MachineParametersPlutusCore.Evaluation.Machine.MachineParameters
MachineParametersPlutusCore.Evaluation.Machine.MachineParameters
MachineVariantParametersPlutusCore.Evaluation.Machine.MachineParameters
MachineVariantParametersPlutusCore.Evaluation.Machine.MachineParameters
machineVariantParametersPlutusCore.Evaluation.Machine.MachineParameters
MakeBuiltinMeaningPlutusCore.Builtin PlutusCore.Builtin.Debug
makeBuiltinMeaningPlutusCore.Builtin PlutusCore.Builtin.Debug
makeBuiltinMeaningDebugPlutusCore.Builtin.Debug
MakeKnownPlutusCore.Builtin
makeKnownPlutusCore.Builtin
MakeKnownInPlutusCore.Builtin
makeKnownOrFailPlutusCore.Builtin
makeRecursiveTypePlutusCore.StdLib.Type
manyPlutusPrelude
MapPlutusCore.Data
mapPlutusCore.StdLib.Data.ScottList
mapCostStreamPlutusCore.Evaluation.Machine.CostStream
MapDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
mapFunPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
mapNameStringPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
mapTermCekResultUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
mapTyNameStringPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
markNonFreshPlutusCore.Quote
markNonFreshBelowPlutusCore.Quote
markNonFreshMaxPlutusCore.Quote
markNonFreshProgramPlutusCore.Mark UntypedPlutusCore.Mark
markNonFreshTermPlutusCore.Mark UntypedPlutusCore.Mark
markNonFreshTypePlutusCore.Mark
matchDataPlutusCore.StdLib.Data.Data
matchListPlutusCore.StdLib.Data.List
MatchOptionPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.MatchOption
matchUniApplyPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
maxBoundByteStringPlutusCore.Builtin.Debug PlutusCore.Default
maxBoundIntegerPlutusCore.Builtin.Debug PlutusCore.Default
maximumIndexCountPlutusCore.Arrays
maximumInputLengthPlutusCore.Bitwise
maximumOutputLengthPlutusCore.Bitwise
maxInnerSizePlutusCore.Value
maxKeyLenPlutusCore.Value
MaxSizePlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
MaybeImpureUntypedPlutusCore.Purity
MaybeWorkUntypedPlutusCore.Purity
MayInlinePlutusCore.Annotation
MCostingFunPlutusCore.Evaluation.Machine.BuiltinCostModel
MCostingFunPlutusCore.Evaluation.Machine.BuiltinCostModel
memberByNamePlutusCore.Name.UniqueSet
memberByUniquePlutusCore.Name.UniqueSet
memoryModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
memoryUsagePlutusCore.Evaluation.Machine.ExMemoryUsage
memSizeBytesPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
mergeScopeInfoPlutusCore.Check.Scoping
metaEitherToSumPlutusCore.StdLib.Meta
MetaForallPlutusCore.Examples.Builtins
MetaForallPlutusCore.Examples.Builtins
metaIntegerToNatPlutusCore.StdLib.Meta
metaListToScottListPlutusCore.StdLib.Meta
millerLoopPlutusCore.Crypto.BLS12_381.Pairing
minBoundIntegerPlutusCore.Builtin.Debug PlutusCore.Default
minCostStreamPlutusCore.Evaluation.Machine.CostStream
minimumPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
MinSizePlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
minusExBudgetPlutusCore.Evaluation.Machine.ExBudget
MissingCaseBranchMachineErrorPlutusCore.Evaluation.Machine.Exception
MkApplyProgramErrorPlutusCore.Error
mkCekTransUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
MkConsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
mkConstantPlutusCore.MkPlc
mkConstantOfPlutusCore.MkPlc
mkFreshTermLetPlutusCore.MkPlc
mkFunctionDefPlutusCore.MkPlc
mkImmediateLamAbsPlutusCore.MkPlc
mkImmediateTyAbsPlutusCore.MkPlc
mkIterAppPlutusCore.MkPlc
mkIterAppNoAnnPlutusCore.MkPlc
mkIterInstPlutusCore.MkPlc
mkIterInstNoAnnPlutusCore.MkPlc
mkIterKindArrowPlutusCore.MkPlc
mkIterLamAbsPlutusCore.MkPlc UntypedPlutusCore.MkUPlc
mkIterTyAbsPlutusCore.MkPlc
mkIterTyAppPlutusCore.MkPlc
mkIterTyAppNoAnnPlutusCore.MkPlc
mkIterTyForallPlutusCore.MkPlc
mkIterTyFunPlutusCore.MkPlc
mkIterTyLamPlutusCore.MkPlc
mkMachineVariantParametersPlutusCore.Evaluation.Machine.MachineParameters
mkMachineVariantParametersForPlutusCore.Evaluation.Machine.MachineParameters.Default
MkNilDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
MkNilPairDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
MkPairDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
mkShadPlutusCore.Examples.Data.Shad
mkTyBuiltinPlutusCore.Builtin PlutusCore.MkPlc
mkTyBuiltinOfPlutusCore.MkPlc
mkTyVarPlutusCore.MkPlc
MkUnliftingErrorPlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
MkUnliftingEvaluationErrorPlutusCore.Builtin
mkVarPlutusCore.MkPlc UntypedPlutusCore.MkUPlc
MlResultPlutusCore.Crypto.BLS12_381.Pairing
MlResultPlutusCore.Crypto.BLS12_381.Pairing
mlResultMemSizeBytesPlutusCore.Crypto.BLS12_381.Pairing
ModelPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
ModelConstantOrLinearPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelConstantOrLinearPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrLinearConstantPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrLinearInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrLinearSlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelConstantOrOneArgumentPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelConstantOrOneArgumentPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrOneArgumentConstantPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrOneArgumentModelPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelConstantOrTwoArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelConstantOrTwoArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrTwoArgumentsConstantPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelConstantOrTwoArgumentsModelPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelFiveArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelFiveArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelFourArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelFourArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelFourArgumentsLinearInUPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelOneArgumentPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelOneArgumentConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelOneArgumentLinearInXPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelOneArgumentQuadraticInXPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelSixArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelSixArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelSubtractedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelSubtractedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelSubtractedSizesInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelSubtractedSizesMinimumPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modelSubtractedSizesSlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsExpModCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsLinearInMaxYZPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsLinearInXPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsLinearInYPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsLinearInYAndZPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsLinearInZPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsLiteralInYOrLinearInZPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsQuadraticInYAndZPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelThreeArgumentsQuadraticInZPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsAboveAndBelowDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsAddedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsConstAboveDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsConstantCostPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsConstBelowDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsConstOffDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsLinearInXPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsLinearInXAndYPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsLinearInYPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsLinearInY2PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsLinearOnDiagonalPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsMaxSizePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsMinSizePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsMultipliedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsQuadraticInXAndYPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsQuadraticInYPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsSubtractedSizesPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ModelTwoArgumentsWithInteractionInXAndYPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
modifyAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusPrelude
modifyCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
ModIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
MonadFreeUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
MonadKindCheckPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
MonadNormalizeTypePlutusCore.Normalize.Internal PlutusCore.TypeCheck.Internal
MonadPrettyPlutusCore.Pretty
MonadPrettyContextPlutusCore.Pretty
MonadQuotePlutusCore PlutusCore.Quote
MonadTypeCheckPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
MonadTypeCheckPlcPlutusCore.TypeCheck.Internal
MonoHeadSpinePlutusCore.Builtin
monoidalBudgetingUntypedPlutusCore.Evaluation.Machine.Cek
msmMaxScalarWordsPlutusCore.Crypto.BLS12_381.Bounds
msmScalarLbPlutusCore.Crypto.BLS12_381.Bounds
msmScalarOutOfBoundsPlutusCore.Crypto.BLS12_381.Bounds
msmScalarUbPlutusCore.Crypto.BLS12_381.Bounds
mulMlResultPlutusCore.Crypto.BLS12_381.Pairing
MultiIndexArrayPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
multiIndexArrayPlutusCore.Arrays
MultipliedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
MultiplyDefinedPlutusCore PlutusCore.Check.Uniques PlutusCore.Error UntypedPlutusCore.Check.Uniques
MultiplyIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
multiScalarMulPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
multiSetOfData.MultiSet.Lens
MultiStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
NamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
NamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
namePlutusCore.Parser
NameActionPlutusCore.Check.Scoping
NameActionPlutusCore.Check.Scoping
NameAnnPlutusCore.Check.Scoping
NameChangedItsScopePlutusCore.Check.Scoping
NamedPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
NamedPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
NamedDeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
NamedDeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
NamedTyDeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
NamedTyDeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
NameMismatchPlutusCore.Error
nameToDeBruijnPlutusCore.DeBruijn.Internal
NameUnexpectedlyDisappearedPlutusCore.Check.Scoping
NameUnexpectedlyStayedPlutusCore.Check.Scoping
natDataPlutusCore.StdLib.Data.Nat
natKPlutusCore.Examples.Data.Vec
natToIntegerPlutusCore.StdLib.Data.Nat
NatToPeanoPlutusCore.Unroll
natTyPlutusCore.StdLib.Data.Nat
NaturalPlutusPrelude
ndbnIndexPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
ndbnStringPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
negPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
negativeAmountsPlutusCore.Value
NegativeInputPlutusCore.Bitwise
NestedMapPlutusCore.Value
newCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
NextUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
NFDataPlutusPrelude
nilPlutusCore.StdLib.Data.ScottList
nilSlippageUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
NilStackUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
noEmitterUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
NoFrameUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
NoHintsUntypedPlutusCore.Transform.Certify.Hints
noMoreTypeFunctionsPlutusCore.Builtin.Debug PlutusCore.Default
NonAssociativePlutusCore.Pretty
NonConstrScrutinizedMachineErrorPlutusCore.Evaluation.Machine.Exception
NonEmptyPlutusPrelude
NonFunctionalApplicationMachineErrorPlutusCore.Evaluation.Machine.Exception
NonPolymorphicInstantiationMachineErrorPlutusCore.Evaluation.Machine.Exception
NonWrapUnwrappedMachineErrorPlutusCore.Evaluation.Machine.Exception
nonZeroSecondArgPlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
NormalizedPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
NormalizedPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
normalizeTypePlutusCore.Normalize
normalizeTypeMPlutusCore.Normalize.Internal PlutusCore.TypeCheck.Internal
normalizeTypesInPlutusCore PlutusCore.Normalize
normalizeTypesInMPlutusCore.Normalize.Internal
normalizeTypesInProgramPlutusCore PlutusCore.Normalize
NormalizeTypeTPlutusCore.Normalize.Internal
NormCheckErrorPlutusCore PlutusCore.Check.Normal PlutusCore.Error
NormCheckErrorEPlutusCore PlutusCore.Error
notAConstantPlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
NotANamePlutusCore.Check.Scoping
NotEnoughDigitsPlutusCore.Bitwise
notMemberByNamePlutusCore.Name.UniqueSet
NotSafeToDropPlutusCore.Annotation
NTermUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
NullListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
NumberOfStepCountersUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
NumBytesCostedAsNumWordsPlutusCore.Evaluation.Machine.ExMemoryUsage
NumBytesCostedAsNumWordsPlutusCore.Evaluation.Machine.ExMemoryUsage
obothPairPlutusCore.Examples.Data.Pair
offchain_zeroPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
ofoldrDataPlutusCore.Examples.Data.Data
omapListPlutusCore.Examples.Data.List
onPlutusPrelude
OneVariableLinearFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
OneVariableLinearFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
oneVariableLinearFunctionInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
oneVariableLinearFunctionSlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
OneVariableQuadraticFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
OneVariableQuadraticFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
oneVariableQuadraticFunctionC0PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
oneVariableQuadraticFunctionC1PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
oneVariableQuadraticFunctionC2PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
ooApplyToCaseUntypedPlutusCore
ooCertifiedOptsOnlyUntypedPlutusCore
ooConservativeOptsUntypedPlutusCore
ooCseWhichSubtermsUntypedPlutusCore
ooHoistPolyBuiltinsUntypedPlutusCore
ooInlineCallsiteGrowthUntypedPlutusCore
ooInlineConstantsUntypedPlutusCore
ooInlineHintsUntypedPlutusCore
ooInlineUnconditionalGrowthUntypedPlutusCore
ooMaxCseIterationsUntypedPlutusCore
ooMaxSimplifierIterationsUntypedPlutusCore
ooPreserveLoggingUntypedPlutusCore
OpaquePlutusCore.Builtin PlutusCore.Builtin.Debug
OpaquePlutusCore.Builtin PlutusCore.Builtin.Debug
OpenTermEvaluatedMachineErrorPlutusCore.Evaluation.Machine.Exception
OperationalErrorPlutusCore.Builtin PlutusCore.Evaluation.Error PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
operationalUnliftingErrorPlutusCore.Builtin
OptimizationUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
OptimizationUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
OptimizeOptsUntypedPlutusCore
OptimizeOptsUntypedPlutusCore
optimizeProgramUntypedPlutusCore
optimizeProgramWithTraceUntypedPlutusCore
OptimizerUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
OptimizerTUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
OptimizerTUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
OptimizerTraceUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
OptimizerTraceUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
optimizerTraceUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
optimizeTermUntypedPlutusCore
OptStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
OrByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
orByteStringPlutusCore.Bitwise
OtherReasonCodec.Extras.SerialiseViaFlat
overPlutusPrelude
overrideSnamePlutusCore.Check.Scoping
OversaturatedUntypedPlutusCore.Contexts
packPlutusCore.Value
pairPlutusCore.StdLib.Data.Pair
PairTPlutusPrelude
PairTPlutusPrelude
PairVPlutusCore.Examples.Builtins
PanicMachineErrorPlutusCore.Evaluation.Machine.Exception
ParamPlutusCore.Arity
paramAddIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramAndByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramAppendByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramAppendStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramAssetCountPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBlake2b_224PlutusCore.Evaluation.Machine.BuiltinCostModel
paramBlake2b_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_finalVerifyPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_addPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_compressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_equalPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_hashToGroupPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_multiScalarMulPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_negPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_scalarMulPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G1_uncompressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_addPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_compressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_equalPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_hashToGroupPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_multiScalarMulPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_negPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_scalarMulPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_G2_uncompressPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_millerLoopPlutusCore.Evaluation.Machine.BuiltinCostModel
paramBls12_381_mulMlResultPlutusCore.Evaluation.Machine.BuiltinCostModel
paramByteStringToIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramChooseUnitPlutusCore.Evaluation.Machine.BuiltinCostModel
paramComplementByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramConsByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramConstrDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramCountSetBitsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramDecodeUtf8PlutusCore.Evaluation.Machine.BuiltinCostModel
paramDivideIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramDropListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEncodeUtf8PlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramEqualsStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramExpModIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramFindFirstSetBitPlutusCore.Evaluation.Machine.BuiltinCostModel
paramFstPairPlutusCore.Evaluation.Machine.BuiltinCostModel
paramHeadListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramIDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramIfThenElsePlutusCore.Evaluation.Machine.BuiltinCostModel
paramIndexArrayPlutusCore.Evaluation.Machine.BuiltinCostModel
paramIndexByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramInsertCoinPlutusCore.Evaluation.Machine.BuiltinCostModel
paramIntegerToByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramKeccak_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramLengthOfArrayPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLengthOfByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanEqualsByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanEqualsIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLessThanIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramListDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramListToArrayPlutusCore.Evaluation.Machine.BuiltinCostModel
paramLookupCoinPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMapDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkConsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkNilDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkNilPairDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMkPairDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramModIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMultiIndexArrayPlutusCore.Evaluation.Machine.BuiltinCostModel
paramMultiplyIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramNullListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramOrByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramPoliciesPlutusCore.Evaluation.Machine.BuiltinCostModel
paramQuotientIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramReadBitPlutusCore.Evaluation.Machine.BuiltinCostModel
paramRemainderIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramReplicateBytePlutusCore.Evaluation.Machine.BuiltinCostModel
paramRipemd_160PlutusCore.Evaluation.Machine.BuiltinCostModel
paramRotateByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramScaleValuePlutusCore.Evaluation.Machine.BuiltinCostModel
paramSerialiseDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSha2_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramSha3_256PlutusCore.Evaluation.Machine.BuiltinCostModel
paramShiftByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSliceByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSndPairPlutusCore.Evaluation.Machine.BuiltinCostModel
paramSubtractIntegerPlutusCore.Evaluation.Machine.BuiltinCostModel
paramTailListPlutusCore.Evaluation.Machine.BuiltinCostModel
paramTracePlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnBDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnConstrDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnIDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnionValuePlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnListDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnMapDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramUnValueDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramValueContainsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramValueDataPlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifyEcdsaSecp256k1SignaturePlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifyEd25519SignaturePlutusCore.Evaluation.Machine.BuiltinCostModel
paramVerifySchnorrSecp256k1SignaturePlutusCore.Evaluation.Machine.BuiltinCostModel
paramWriteBitsPlutusCore.Evaluation.Machine.BuiltinCostModel
paramXorByteStringPlutusCore.Evaluation.Machine.BuiltinCostModel
parenClosingPlutusCore.Pretty
ParenedPlutusCore.Pretty
ParenedPlutusCore.Pretty
parenedValuePlutusCore.Pretty
parenOpeningPlutusCore.Pretty
parens'Prettyprinter.Custom
parsePlutusCore.Parser UntypedPlutusCore.Parser
ParseErrorBPlutusCore.Error
ParseErrorEPlutusCore PlutusCore.Error
parseGenPlutusCore.Parser
parseProgramPlutusCore PlutusCore.Parser UntypedPlutusCore.Parser
ParserPlutusCore.Parser UntypedPlutusCore.Parser
ParserErrorPlutusCore PlutusCore.Error PlutusCore.Parser
ParserErrorBundlePlutusCore.Error
ParserStatePlutusCore.Parser
ParserStatePlutusCore.Parser
parseScopedUntypedPlutusCore UntypedPlutusCore.Parser
parseTermPlutusCore PlutusCore.Parser UntypedPlutusCore.Parser
parseTypePlutusCore PlutusCore.Parser
partialIterTUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
pcrConfigNamePlutusCore.Pretty
pcrRenderContextPlutusCore.Pretty
pcrShowKindsPlutusCore.Pretty
PeanoPlutusCore.Unroll
peelUniTagPlutusCore.Builtin.Debug PlutusCore.Default Universe
PermitsPlutusCore.Builtin.Debug PlutusCore.Default Universe
PlcEntityPlutusCore.FsTree
PlcFolderContentsPlutusCore.FsTree
PlcFsTreePlutusCore.FsTree
PlcListRepPlutusCore.Examples.Builtins
PlcTermPlutusCore.FsTree
plcTermFilePlutusCore.FsTree
PlcTypePlutusCore.FsTree
plcTypeFilePlutusCore.FsTree
plcVersion100PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
plcVersion110PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
plusTPlutusCore.Examples.Data.Vec
PoliciesPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
policiesPlutusCore.Value
PolyBuiltinUntypedPlutusCore.Transform.Certify.Trace
polyBuiltinUntypedPlutusCore.Transform.PolyBuiltin
PolyBuiltinStageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
PosPlutusCore.Annotation
PrecedencePlutusCore.Pretty
PrettyPlutusCore.Pretty PlutusPrelude
prettyPlutusCore.Pretty PlutusPrelude
PrettyAnyPlutusPrelude
PrettyAnyPlutusPrelude
PrettyByPlutusCore.Pretty PlutusPrelude
prettyByPlutusCore.Pretty PlutusPrelude
prettyBytesPlutusCore.Pretty
PrettyClassicPlutusCore.Pretty
prettyClassicPlutusCore.Pretty
PrettyClassicByPlutusCore.Pretty
prettyClassicSimplePlutusCore.Pretty
prettyConfigPlutusCore.Pretty
PrettyConfigClassicPlutusCore.Pretty
PrettyConfigClassicPlutusCore.Pretty
PrettyConfigNamePlutusCore.Pretty
PrettyConfigNamePlutusCore.Pretty
prettyConfigNamePlutusCore.Pretty
prettyConfigNameSimplePlutusCore.Pretty
PrettyConfigPlcPlutusCore.Pretty
PrettyConfigPlcPlutusCore.Pretty
PrettyConfigPlcClassicPlutusCore.Pretty
prettyConfigPlcClassicPlutusCore.Pretty
prettyConfigPlcClassicSimplePlutusCore.Pretty
PrettyConfigPlcOptionsPlutusCore.Pretty
PrettyConfigPlcOptionsPlutusCore.Pretty
prettyConfigPlcOptionsPlutusCore.Pretty
PrettyConfigPlcReadablePlutusCore.Pretty
prettyConfigPlcReadablePlutusCore.Pretty
prettyConfigPlcReadableSimplePlutusCore.Pretty
PrettyConfigPlcStrategyPlutusCore.Pretty
PrettyConfigReadablePlutusCore.Pretty
PrettyConfigReadablePlutusCore.Pretty
PrettyConstPlutusCore.Pretty
prettyConstPlutusCore.Pretty
PrettyDefaultByPlutusPrelude
prettyListPlutusCore.Pretty PlutusPrelude
prettyListByPlutusCore.Pretty PlutusPrelude
prettyMPlutusCore.Pretty
PrettyParensPlutusCore.Pretty
PrettyPlcPlutusCore.Pretty
prettyPlcPlutusCore.Pretty
prettyPlcClassicPlutusCore.Pretty
prettyPlcClassicSimplePlutusCore.Pretty
prettyPlcCondensedErrorByPlutusCore.Pretty
prettyPlcReadablePlutusCore.Pretty
prettyPlcReadableSimplePlutusCore.Pretty
prettyPlcSimplePlutusCore.Pretty
PrettyReadablePlutusCore.Pretty
prettyReadablePlutusCore.Pretty
PrettyReadableByPlutusCore.Pretty
prettyReadableSimplePlutusCore.Pretty
PrettyUniPlutusCore.Pretty
primitiveUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
PrimMonadUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
PrimStateUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
printPrettyPlutusPrelude
processTermUntypedPlutusCore.Transform.CaseReduce
prodNPlutusCore.StdLib.Meta.Data.Tuple
prodNAccessorPlutusCore.StdLib.Meta.Data.Tuple
prodNConstructorPlutusCore.StdLib.Meta.Data.Tuple
productPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList
progAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
ProgramPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
ProgramPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
programPlutusCore.Parser UntypedPlutusCore.Parser
programAstSizePlutusCore PlutusCore.AstSize UntypedPlutusCore UntypedPlutusCore.AstSize
programMapNamesPlutusCore PlutusCore.Subst UntypedPlutusCore
progTermPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
progVerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
PTypePlutusCore.Parser
pTypePlutusCore.Parser
PureUntypedPlutusCore.Purity
purelyPlutusPrelude
PurityUntypedPlutusCore.Purity
pzipUntypedPlutusCore.Core.Zip
pzipWithUntypedPlutusCore.Core.Zip
QuadraticInXPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
QuadraticInXAndYPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
QuadraticInYPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
QuadraticInZPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
QuantityPlutusCore.Value
quantityPlutusCore.Value
QuotePlutusCore PlutusCore.Quote
QuoteTPlutusCore PlutusCore.Quote
QuoteTPlutusCore.Quote
QuotientIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
reachOffsetNoLine'PlutusCore.Parser
ReadBitPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
readBitPlutusCore.Bitwise
readCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
readDeserialiseFailureInfoCodec.Extras.SerialiseViaFlat
readJSONFromFileData.Aeson.THReader
ReadKnownPlutusCore.Builtin
readKnownPlutusCore.Builtin
readKnownCekUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
readKnownCkPlutusCore.Evaluation.Machine.Ck
readKnownConstantPlutusCore.Builtin
ReadKnownInPlutusCore.Builtin
ReadKnownMPlutusCore.Builtin
readKnownSelfPlutusCore.Builtin
reconsCostPlutusCore.Evaluation.Machine.CostStream
recordOptimizationUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
recordOptimizationWithHintsUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
recUnitPlutusCore.Examples.Data.Shad
RecursiveTypePlutusCore.StdLib.Type
RecursiveTypePlutusCore.StdLib.Type
ReferencePlutusCore.Check.Scoping
referenceBoundPlutusCore.Check.Scoping
referenceOutOfScopePlutusCore.Check.Scoping
referenceViaPlutusCore.Check.Scoping
ReflPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
registerBoundPlutusCore.Check.Scoping
registerFreePlutusCore.Check.Scoping
registerOutOfScopePlutusCore.Check.Scoping
RemainderIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
RenamePlutusCore PlutusCore.Rename UntypedPlutusCore.Rename
renamePlutusCore PlutusCore.Rename UntypedPlutusCore.Rename
RenamedPlutusCore.Rename PlutusCore.Rename.Internal
RenamedPlutusCore.Rename.Internal
renameNameMPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
renameProgramMPlutusCore.Rename.Internal UntypedPlutusCore.Rename.Internal
RenameTPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
RenameTPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
renameTermMPlutusCore.Rename.Internal UntypedPlutusCore.Rename.Internal
renameTypeMPlutusCore.Rename.Internal
RenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
RenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
renamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
RenderPlutusCore.Pretty PlutusPrelude
renderPlutusCore.Pretty PlutusPrelude
RenderContextPlutusCore.Pretty
RenderContextPlutusCore.Pretty
renderContextPlutusCore.Pretty
RenderContextOverPlutusCore.Pretty
reoptionPlutusPrelude
RepHolePlutusCore.Builtin
ReplicateBytePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
replicateBytePlutusCore.Bitwise
resetCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
restrictingUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
restrictingEnormousUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
restrictingLargeUntypedPlutusCore.Evaluation.Machine.Cek
RestrictingStUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
RestrictingStUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
restrictKeysPlutusCore.Name.UniqueMap
returnCekUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
ReturningUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
reversePlutusCore.StdLib.Data.ScottList
rightPlutusCore.StdLib.Data.Sum
RightAssociativePlutusCore.Pretty
Ripemd_160PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
ripemd_160PlutusCore.Crypto.Hash
rModelFilePlutusCore.DataFilePaths
RotateByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
rotateByteStringPlutusCore.Bitwise
runCekUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
runCekDeBruijnUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
runCekMUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
runCekNoEmitUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
runCkPlutusCore.Evaluation.Machine.Ck
runCostingFunFiveArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
runCostingFunFourArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
runCostingFunOneArgumentPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
runCostingFunSixArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
runCostingFunThreeArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
runCostingFunTwoArgumentsPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
runDeBruijnTPlutusCore.DeBruijn.Internal
runDriverTUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
RunHolePlutusCore.Builtin
runInContextMPlutusCore.Pretty
runNormalizeTypeTPlutusCore.Normalize.Internal
runOptimizerUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
runOptimizerTUntypedPlutusCore UntypedPlutusCore.Transform.Optimizer
runQuotePlutusCore PlutusCore.Quote
runQuoteTPlutusCore PlutusCore.Quote
runRecUnitPlutusCore.Examples.Data.Shad
runRenameTPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
runTermDefsPlutusCore.Analysis.Definitions
runTypeCheckMPlutusCore.TypeCheck.Internal
SUntypedPlutusCore.Transform.Inline
SPlutusCore.Unroll UntypedPlutusCore.Transform.Inline
safeEncodeBitsPlutusCore.FlatInstances
SafeToDropPlutusCore.Annotation
SafeToInlinePlutusCore.Annotation
SaturatedUntypedPlutusCore.Contexts
saturatesUntypedPlutusCore.Contexts
SaturationUntypedPlutusCore.Contexts
scalarMulPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
scalarMulEPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
ScaleValuePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
scaleValuePlutusCore.Value
ScopeCheckErrorPlutusCore.Check.Scoping
ScopeCheckErrorPlutusCore.Check.Scoping
ScopedNamePlutusCore.Check.Scoping
ScopedRenameTPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
ScopedRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
ScopedRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
scopedRenamingTermsPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
scopedRenamingTypesPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
ScopeEntryPlutusCore.Check.Scoping
ScopeErrorPlutusCore.Check.Scoping
ScopeErrorOrInfoPlutusCore.Check.Scoping
ScopeErrorOrInfoPlutusCore.Check.Scoping
ScopeInfoPlutusCore.Check.Scoping
ScopeInfoPlutusCore.Check.Scoping
ScopeTypePlutusCore.Analysis.Definitions
ScopingPlutusCore.Check.Scoping
scottConsPlutusCore.Examples.Data.Vec
scottHeadPlutusCore.Examples.Data.Vec
scottNilPlutusCore.Examples.Data.Vec
scottSumHeadsOr0PlutusCore.Examples.Data.Vec
ScottToMetaUnitPlutusCore.Examples.Builtins
scottVecPlutusCore.Examples.Data.Vec
scottVecFPlutusCore.Examples.Data.Vec
secondPlutusPrelude
selfDataPlutusCore.StdLib.Data.Function
sequPlutusCore.StdLib.Data.Unit
sequenceDocMPlutusCore.Pretty
serialisedAstSizePlutusCore.AstSize
SerialiseDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
SerialiseViaFlatCodec.Extras.SerialiseViaFlat
SerialiseViaFlatCodec.Extras.SerialiseViaFlat
setPlutusPrelude
setAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusPrelude
setOfByNamePlutusCore.Name.UniqueSet
setOfByUniquePlutusCore.Name.UniqueSet
sexpPrettyprinter.Custom
Sha2_256PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
sha2_256PlutusCore.Crypto.Hash
Sha3_256PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
sha3_256PlutusCore.Crypto.Hash
shadPlutusCore.Examples.Data.Shad
ShiftByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
shiftByteStringPlutusCore.Bitwise
shouldInlinePlutusCore.Annotation UntypedPlutusCore UntypedPlutusCore.Transform.Inline
showPlutusCore
ShowErrorComponentPlutusCore.Error
showErrorComponentPlutusCore.Error
ShowKindsPlutusCore.Pretty
ShowKindsNoPlutusCore.Pretty
ShowKindsNonTypePlutusCore.Pretty
ShowKindsYesPlutusCore.Pretty
ShowPrettyPlutusPrelude
ShowPrettyPlutusPrelude
showTextPlutusPrelude
SingKindPlutusCore.Builtin
SingKindArrowPlutusCore.Builtin
singletonByNamePlutusCore.Name.UniqueMap
singletonNamePlutusCore.Name.UniqueSet
singletonRosePlutusCore.Evaluation.Machine.ExMemoryUsage
SingTypePlutusCore.Builtin
sizePlutusCore.Examples.Builtins
sizeProgramUntypedPlutusCore UntypedPlutusCore.Core
sizeTermUntypedPlutusCore UntypedPlutusCore.Core
SliceByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
SlippageUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
SlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
SlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
slope1_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
slope2_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
slope_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SndPairPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
sndPairPlutusCore.StdLib.Data.Pair
SolePlutusCore.Pretty
SolePlutusCore.Pretty
SomePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
SomePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
somePlutusPrelude
SomeConstantPlutusCore.Builtin PlutusCore.Builtin.Debug
SomeConstantPlutusCore.Builtin PlutusCore.Builtin.Debug
someTypePlutusCore.Builtin.Debug PlutusCore.Default Universe
SomeTypeInPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
SomeTypeInPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
someValuePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
someValueOfPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
someValueTypePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
sopTypePlutusCore.Parser
sourceColumnPlutusCore.Annotation
sourceLinePlutusCore.Annotation
sourceNamePlutusCore.Annotation
SourcePosPlutusCore PlutusCore.Annotation PlutusCore.Parser UntypedPlutusCore.Parser
SourcePosPlutusCore.Annotation
SpinePlutusCore.Builtin
SpineConsPlutusCore.Builtin
SpineLastPlutusCore.Builtin
splitAppCtxUntypedPlutusCore.Contexts
splitApplicationUntypedPlutusCore UntypedPlutusCore.Core
splitFunTyPartsPlutusCore.Builtin.Debug PlutusCore.Core
splitParamsUntypedPlutusCore UntypedPlutusCore.Core
splitStructuralOperationalPlutusCore.Evaluation.Machine.Ck PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
SrcSpanPlutusCore PlutusCore.Annotation
SrcSpanPlutusCore PlutusCore.Annotation
srcSpanEColPlutusCore PlutusCore.Annotation
srcSpanELinePlutusCore PlutusCore.Annotation
srcSpanFilePlutusCore PlutusCore.Annotation
SrcSpansPlutusCore PlutusCore.Annotation
SrcSpansPlutusCore.Annotation
srcSpanSColPlutusCore PlutusCore.Annotation
srcSpanSLinePlutusCore PlutusCore.Annotation
stageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
StartingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StayedFreeVariablesPlutusCore.Check.Scoping
StayedOutOfScopeVariablesPlutusCore.Check.Scoping
StaysPlutusCore.Check.Scoping
StaysPlutusCore.Check.Scoping
StaysFreeVariablePlutusCore.Check.Scoping
StaysOutOfScopeVariablePlutusCore.Check.Scoping
stdLibPlutusCore.StdLib.Everything
StepUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepCounterUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StepCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
StepFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepKindUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StructuralErrorPlutusCore.Builtin PlutusCore.Evaluation.Error PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
structuralUnliftingErrorPlutusCore.Builtin
SubstUntypedPlutusCore.Transform.Inline
SubstUntypedPlutusCore.Transform.Inline
substConstantPlutusCore.Subst UntypedPlutusCore
substConstantAPlutusCore.Subst UntypedPlutusCore
substNormalizeTypeMPlutusCore.Normalize.Internal PlutusCore.TypeCheck.Internal
substTyVarPlutusCore.Subst
substTyVarAPlutusCore.Subst
substVarPlutusCore.Subst UntypedPlutusCore
substVarAPlutusCore.Subst UntypedPlutusCore
SubtractedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SubtractIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
succPlutusCore.StdLib.Data.Nat
succIntegerPlutusCore.StdLib.Data.Integer
succTPlutusCore.Examples.Data.Vec
sumPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList PlutusCore.StdLib.Data.Sum
sumCostStreamPlutusCore.Evaluation.Machine.CostStream
sumExBudgetStreamPlutusCore.Evaluation.Machine.ExBudgetStream
SumIntegerPlutusCore.Examples.Builtins
sumrPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symbolPlutusCore.Parser
symmetricDifferencePlutusCore.Check.Scoping
tabulateArrayPlutusPrelude
TailListPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
tallyingUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
TallyingStUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
TallyingStUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.SteppableCek
tccBuiltinTypesPlutusCore PlutusCore.TypeCheck
tccBuiltinTypesPlutusCore.TypeCheck.Internal
tccKindCheckConfigPlutusCore.TypeCheck.Internal
tceTypeCheckConfigPlutusCore.TypeCheck.Internal
tceTyVarKindsPlutusCore.TypeCheck.Internal
tceVarTypesPlutusCore.TypeCheck.Internal
TermPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
termUntypedPlutusCore.Parser
termAstSizePlutusCore PlutusCore.AstSize UntypedPlutusCore UntypedPlutusCore.AstSize
termBindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
termConstantsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
termConstantsDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
TermDefPlutusCore.MkPlc
termDefsPlutusCore.Analysis.Definitions
TermEnvUntypedPlutusCore.Transform.Inline
TermEnvUntypedPlutusCore.Transform.Inline
termEvaluationOrderUntypedPlutusCore.Purity
TerminatingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
termLetPlutusCore.MkPlc
TermLikePlutusCore.MkPlc
termMapNamesPlutusCore PlutusCore.Subst UntypedPlutusCore
TermNamePlutusCore.Check.Scoping
termOptimizerUntypedPlutusCore
TermParamPlutusCore.Arity
TermScopePlutusCore.Analysis.Definitions
termSubkindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
termSubstClosedTermPlutusCore.Subst
termSubstClosedTypePlutusCore.Subst
termSubstConstantsPlutusCore.Subst UntypedPlutusCore
termSubstConstantsMPlutusCore.Subst UntypedPlutusCore
termSubstNamesPlutusCore.Subst UntypedPlutusCore
termSubstNamesMPlutusCore.Subst UntypedPlutusCore
termSubstTyNamesPlutusCore.Subst
termSubstTyNamesMPlutusCore.Subst
termSubtermsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
termSubtermsDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
termSubtypesPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
termSubtypesDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
termTagWidthUntypedPlutusCore UntypedPlutusCore.Core
termTyBindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
TermUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
TermUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
termUniquesPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
termUniquesDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
termVarsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Plated
TestTypesFromTheUniverseAreAllKnownPlutusCore.Builtin
TextCostedByByteLengthPlutusCore.Evaluation.Machine.ExMemoryUsage
TextCostedByByteLengthPlutusCore.Evaluation.Machine.ExMemoryUsage
theTextPlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
theUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
throughPlutusPrelude
throwPlutusPrelude
ThrowableBuiltinsPlutusCore.Pretty UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
throwBuiltinErrorWithCausePlutusCore.Evaluation.Machine.Exception
throwErrorWithCausePlutusCore.Evaluation.ErrorWithCause PlutusCore.Evaluation.Machine.Exception
throwingPlutusCore.Builtin
throwing_PlutusCore.Builtin
throwingEitherPlutusCore.Error
ThrowOnBothEmptyPlutusCore.Builtin PlutusCore.Builtin.Debug
timesAPlutusPrelude
toPlutusCore.Check.Scoping
ToBindsPlutusCore.Builtin
ToBindsPlutusCore.Builtin
ToBuiltinMeaningPlutusCore.Builtin PlutusCore.Builtin.Debug
toBuiltinMeaningPlutusCore.Builtin PlutusCore.Builtin.Debug
toBuiltinRuntimePlutusCore.Builtin PlutusCore.Builtin.Debug
toBuiltinsRuntimePlutusCore.Builtin PlutusCore.Builtin.Debug
toErrorBPlutusCore.Parser
toFakePlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
toFlatListPlutusCore.Value
ToHolesPlutusCore.Builtin
ToHolesPlutusCore.Builtin
ToKindPlutusCore PlutusCore.Builtin PlutusCore.TypeCheck
toListPlutusPrelude
toListPlutusCore.Value
toMonoFPlutusCore.Builtin PlutusCore.Builtin.Debug
toPatFuncKindPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
topFixityPlutusCore.Pretty
toPolyFPlutusCore.Builtin PlutusCore.Builtin.Debug
topPrettyConfigReadablePlutusCore.Pretty
topRenderContextPlutusCore.Pretty
toPrettyConfigNamePlutusCore.Pretty
toPrintedNamePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
ToScopedNamePlutusCore.Check.Scoping
toScopedNamePlutusCore.Check.Scoping
toSimpleBuiltinCostModelPlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
toSingKindPlutusCore.Builtin
toSrcSpanPlutusCore.Parser
TotalCountIndexUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
totalSizePlutusCore.Value
ToTheLeftPlutusCore.Pretty
ToTheRightPlutusCore.Pretty
toTypeAstPlutusCore.Builtin
TracePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
tracePlutusPrelude
traceShowIdPlutusPrelude
TrackCostsPlutusCore.Examples.Builtins
trailingWhitespacePlutusCore.Parser
traverse_PlutusPrelude
treeDataPlutusCore.Examples.Data.TreeForest
treeFolderContentsPlutusCore.FsTree
treeNodePlutusCore.Examples.Data.TreeForest
truePlutusCore.StdLib.Data.Bool
tryUniApplyPlutusCore.Builtin.Debug PlutusCore.Default Universe
TuplePlutusCore.StdLib.Meta.Data.Tuple
TuplePlutusCore.StdLib.Meta.Data.Tuple
tupleDefAtPlutusCore.StdLib.Meta.Data.Tuple
tupleTermAtPlutusCore.StdLib.Meta.Data.Tuple
tupleTypeTermAtPlutusCore.StdLib.Meta.Data.Tuple
tvTermPlutusCore.Subst
tvTyPlutusCore.Subst
TwoVariableLinearFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
TwoVariableLinearFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
twoVariableLinearFunctionInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableLinearFunctionSlope1PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableLinearFunctionSlope2PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
TwoVariableQuadraticFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
TwoVariableQuadraticFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
twoVariableQuadraticFunctionC00PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableQuadraticFunctionC01PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableQuadraticFunctionC02PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableQuadraticFunctionC10PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableQuadraticFunctionC11PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableQuadraticFunctionC20PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableQuadraticFunctionMinimumPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
TwoVariableWithInteractionFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
TwoVariableWithInteractionFunctionPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
twoVariableWithInteractionFunctionC00PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableWithInteractionFunctionC01PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableWithInteractionFunctionC10PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
twoVariableWithInteractionFunctionC11PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
TyAbsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyAbsPlutusCore.MkPlc
TyAppPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyAppRepPlutusCore.Builtin PlutusCore.Builtin.Debug
TyBuiltinPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyDeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
TyDeBruijnPlutusCore PlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
TyDeclPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
TyDeclPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
tyDeclAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyDeclKindPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyDeclTypePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyDeclVarPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
TyForallPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyForallRepPlutusCore.Builtin PlutusCore.Builtin.Debug
TyFunPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyIFixPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyInstPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyInstPlutusCore.MkPlc
TyLamPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyNamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
TyNamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
tyNamePlutusCore.Parser
TyNameMismatchPlutusCore.Error
TyNameRepPlutusCore.Builtin PlutusCore.Builtin.Debug
TyNameRepPlutusCore.Builtin PlutusCore.Builtin.Debug
tyNameToDeBruijnPlutusCore.DeBruijn.Internal
TypePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TypePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TypeablePlutusCore.Builtin PlutusPrelude
typeAstPlutusCore.Builtin
typeAstSizePlutusCore PlutusCore.AstSize
TypecheckablePlutusCore PlutusCore.TypeCheck
TypeCheckConfigPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
TypeCheckConfigPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
typeCheckConfigPlutusCore.TypeCheck.Internal
TypeCheckEnvPlutusCore.TypeCheck.Internal
TypeCheckEnvPlutusCore.TypeCheck.Internal
TypeCheckTPlutusCore.TypeCheck.Internal
TypeDefPlutusCore.MkPlc
TypeErrorPlutusCore PlutusCore.Error
TypeErrorEPlutusCore PlutusCore.Error
TypeErrorPlcPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
TypeHolePlutusCore.Builtin
typeLetPlutusCore.MkPlc
typeMapNamesPlutusCore PlutusCore.Subst
TypeMismatchPlutusCore.Error
TypeNamePlutusCore.Check.Scoping
typeOfBuiltinFunctionPlutusCore.Builtin PlutusCore.Builtin.Debug
TypeParamPlutusCore.Arity
TypeRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
TypeSchemePlutusCore.Builtin
TypeSchemeAllPlutusCore.Builtin
typeSchemeArityPlutusCore.Arity
TypeSchemeArrowPlutusCore.Builtin
TypeSchemeResultPlutusCore.Builtin
typeSchemeToTypePlutusCore.Builtin
TypeScopePlutusCore.Analysis.Definitions
typeSubkindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
typeSubstClosedTypePlutusCore.Subst
typeSubstTyNamesPlutusCore.Subst
typeSubstTyNamesMPlutusCore.Subst
typeSubtypesPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
typeSubtypesDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
typeTyBindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
typeTyVarsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
TypeUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
TypeUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
typeUniquesPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
typeUniquesDeepPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
typeUsagesPlutusCore.Analysis.Usages
TySOPPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyVarPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
TyVarDeclPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
TyVarDeclPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
tyVarDeclAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyVarDeclAstSizePlutusCore.AstSize
tyVarDeclKindPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyVarDeclNamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
tyVarDeclSubkindsPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
TyVarKindsPlutusCore.TypeCheck.Internal
TyVarRepPlutusCore.Builtin PlutusCore.Builtin.Debug
tzipUntypedPlutusCore.Core.Zip
tzipWithUntypedPlutusCore.Core.Zip
UnannotatedNamePlutusCore.Check.Scoping
unAsReadablePlutusCore.Pretty
unAstSizePlutusCore.AstSize UntypedPlutusCore UntypedPlutusCore.AstSize
unavailableCaserBuiltinPlutusCore.Builtin
UnBDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
unBinderPlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
unBuiltinsRuntimePlutusCore.Builtin UntypedPlutusCore.Evaluation.Machine.Cek
unBuiltinTypesPlutusCore PlutusCore.TypeCheck PlutusCore.TypeCheck.Internal
unCaserBuiltinPlutusCore.Builtin
unCekBudgetSpenderUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
unCekMUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
UncertifiedOptStageUntypedPlutusCore.Transform.Certify.Trace
unCoefficient0PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient00PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient01PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient02PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient1PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient10PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient11PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient12PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient2PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unCoefficient20PlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
uncompressPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
unconsCostPlutusCore.Evaluation.Machine.CostStream
unConstConfigPlutusCore.Pretty
UnConstrDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
uncurryPlutusCore.StdLib.Data.Pair
unDeBruijnTermPlutusCore PlutusCore.DeBruijn UntypedPlutusCore UntypedPlutusCore.DeBruijn
unDeBruijnTermWithPlutusCore.DeBruijn UntypedPlutusCore UntypedPlutusCore.DeBruijn
unDeBruijnTyPlutusCore.DeBruijn
unDeBruijnTyWithPlutusCore.DeBruijn
unDecodeUniMPlutusCore.Builtin.Debug PlutusCore.Default Universe
UndefinedPlutusCore.Examples.Builtins
UndersaturatedUntypedPlutusCore.Contexts
underTypeErrorPlutusCore.Builtin
unDupablePlutusCore.Rename.Internal
unElementPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
unEmitterModeUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
unEvalOrderUntypedPlutusCore.Purity
unExBudgetModeUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
UnexpectedBuiltinTermArgumentMachineErrorPlutusCore.Evaluation.Machine.Exception
unExRestrictingBudgetPlutusCore.Evaluation.Machine.ExBudget
unFakeNamedDeBruijnPlutusCore.DeBruijn UntypedPlutusCore UntypedPlutusCore.DeBruijn
unFakeNamedDeBruijnPlutusCore.DeBruijn.Internal
unFlatViaSerialiseCodec.Extras.FlatViaSerialise
unFolderContentsPlutusCore.FsTree
unfoldIFixOfPlutusCore.TypeCheck.Internal
uniApplyPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
UnIDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
unIgnorePrettyConfigPlutusCore.Pretty
UnimplementedCostingFunPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unimplementedCostingFunPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unInContextMPlutusCore.Pretty
unIntegerCostedLiterallyPlutusCore.Evaluation.Machine.ExMemoryUsage
unInterceptPlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
UniOfPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
unionPlutusCore.Name.UniqueSet
UnionValuePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
unionValuePlutusCore.Value
UniquePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
UniquePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
uniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
UniqueCoherencyErrorEPlutusCore PlutusCore.Error
UniqueErrorPlutusCore PlutusCore.Check.Uniques PlutusCore.Error UntypedPlutusCore.Check.Uniques
UniqueInfosPlutusCore.Analysis.Definitions
UniqueMapPlutusCore PlutusCore.Name.UniqueMap
UniqueMapPlutusCore PlutusCore.Name.UniqueMap
UniqueSetPlutusCore PlutusCore.Name.UniqueSet
UniqueSetPlutusCore PlutusCore.Name.UniqueSet
unitPlutusCore.StdLib.Data.ScottUnit PlutusCore.StdLib.Data.Unit
unitCekMachineCostsPlutusCore.Evaluation.Machine.ExBudgetingDefaults UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts
unitCekParametersPlutusCore.Evaluation.Machine.ExBudgetingDefaults
unitDocMPlutusCore.Pretty
unitFixityPlutusCore.Pretty
unitvalPlutusCore.StdLib.Data.ScottUnit PlutusCore.StdLib.Data.Unit
unKPlutusCore.Value
UnknownUntypedPlutusCore.Purity
UnknownBuiltinFunctionPlutusCore PlutusCore.Error PlutusCore.Parser
UnknownBuiltinFunctionEPlutusCore.Error
UnliftingErrorPlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
UnliftingEvaluationErrorPlutusCore.Builtin
UnliftingMachineErrorPlutusCore.Evaluation.Machine.Exception
UnListDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
UnMapDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
unMlResultPlutusCore.Crypto.BLS12_381.Pairing
unNameDeBruijnPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal UntypedPlutusCore UntypedPlutusCore.DeBruijn
unNameTyDeBruijnPlutusCore.DeBruijn PlutusCore.DeBruijn.Internal
unNormalizedPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
unNumBytesCostedAsNumWordsPlutusCore.Evaluation.Machine.ExMemoryUsage
unOpaquePlutusCore.Builtin PlutusCore.Builtin.Debug
unpackPlutusCore.Value
unPairTPlutusPrelude
unPrettyAnyPlutusPrelude
unQuantityPlutusCore.Value
unQuoteTPlutusCore.Quote
unRenamedPlutusCore.Rename
unRenamedPlutusCore.Rename.Internal
unRenameTPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
unRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
UnrestrictedProgramUntypedPlutusCore UntypedPlutusCore.Core
UnrestrictedProgramUntypedPlutusCore UntypedPlutusCore.Core
unrollPlutusCore.StdLib.Data.Function
UnsafeCoercePlutusCore.Examples.Builtins
unsafeCoercePlutusCore.Examples.Data.Function
UnsafeCoerceElPlutusCore.Examples.Builtins
unsafeFromEitherData.Either.Extras
unsafeFromRightPlutusPrelude
unsafeSplitStructuralOperationalPlutusCore.Evaluation.Machine.Ck PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
unScopeErrorOrInfoPlutusCore.Check.Scoping
unScopeInfoPlutusCore.Check.Scoping
unSerialiseViaFlatCodec.Extras.SerialiseViaFlat
unShowPrettyPlutusPrelude
unSlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
unSolePlutusCore.Pretty
unSomeConstantPlutusCore.Builtin PlutusCore.Builtin.Debug
unSrcSpansPlutusCore.Annotation
UnsupportedCaseBuiltinPlutusCore.Error
unTermUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
unTextCostedByByteLengthPlutusCore.Evaluation.Machine.ExMemoryUsage
unTyNamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
unTypeUniquePlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
unUniquePlutusCore PlutusCore.Builtin.Debug PlutusCore.Name.Unique UntypedPlutusCore
unUniqueMapPlutusCore PlutusCore.Name.UniqueMap
unUniqueSetPlutusCore PlutusCore.Name.UniqueSet
unUnliftingErrorPlutusCore.Builtin PlutusCore.Evaluation.Machine.Exception
unUnliftingEvaluationErrorPlutusCore.Builtin
unUnrestrictedProgramUntypedPlutusCore UntypedPlutusCore.Core
UnValueDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
unValueDataPlutusCore.Value
unValueMaxDepthPlutusCore.Evaluation.Machine.ExMemoryUsage
unValueOuterSizePlutusCore.Evaluation.Machine.ExMemoryUsage
unValueTotalSizePlutusCore.Evaluation.Machine.ExMemoryUsage
UnwrapPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
unwrapPlutusCore.MkPlc
UpdateClientFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
UpwardsMPlutusCore.Unroll
upwardsMPlutusCore.Unroll
UsagesPlutusCore.Analysis.Usages
UseChoosePlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.MatchOption
UTermDefUntypedPlutusCore.MkUPlc
UVarDeclUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type UntypedPlutusCore.MkUPlc
UVarDeclUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type UntypedPlutusCore.MkUPlc
uvarDeclAnnUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type UntypedPlutusCore.MkUPlc
uvarDeclNameUntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type UntypedPlutusCore.MkUPlc
ValuePlutusCore.Value
ValueContainsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
valueContainsPlutusCore.Value
ValueDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
valueDataPlutusCore.Value
valueDataMaxSizePlutusCore.Value
ValueMaxDepthPlutusCore.Evaluation.Machine.ExMemoryUsage
ValueMaxDepthPlutusCore.Evaluation.Machine.ExMemoryUsage
ValueOfPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
ValueOfPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
ValueOuterSizePlutusCore.Evaluation.Machine.ExMemoryUsage
ValueOuterSizePlutusCore.Evaluation.Machine.ExMemoryUsage
ValueTotalSizePlutusCore.Evaluation.Machine.ExMemoryUsage
ValueTotalSizePlutusCore.Evaluation.Machine.ExMemoryUsage
VarPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
varPlutusCore.MkPlc
VarDeclPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
VarDeclPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.MkPlc
varDeclAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
varDeclAstSizePlutusCore.AstSize
varDeclNamePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
varDeclSubtypesPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Core.Plated
varDeclTypePlutusCore PlutusCore.Builtin.Debug PlutusCore.Core
varTypePlutusCore.Parser
VarTypesPlutusCore.TypeCheck.Internal
VBuiltinUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
vcatHardPrettyprinter.Custom
VConUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
VConstrUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
VDelayUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
VerifyEcdsaSecp256k1SignaturePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
verifyEcdsaSecp256k1SignaturePlutusCore.Crypto.Secp256k1
VerifyEd25519SignaturePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
verifyEd25519SignaturePlutusCore.Crypto.Ed25519
VerifySchnorrSecp256k1SignaturePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
verifySchnorrSecp256k1SignaturePlutusCore.Crypto.Secp256k1
VersionPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
VersionPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version UntypedPlutusCore UntypedPlutusCore.Core UntypedPlutusCore.Core.Type
versionPlutusCore.Parser
versionMajorPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
versionMinorPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
versionPatchPlutusCore.Builtin.Debug PlutusCore.Core PlutusCore.Version
viewPlutusPrelude
VLamAbsUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
voidPlutusPrelude
vTermPlutusCore.Subst UntypedPlutusCore
WhateverPlutusCore.Examples.Builtins
whateverPlutusCore.Examples.Builtins
whenVersionPlutusCore.Parser
whitespacePlutusCore.Parser
withApplicablePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
withDecodedUniPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
withExtendedTypeVarEnvPlutusCore.Normalize.Internal
withFreshenedNamePlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
withFreshenedTyVarDeclPlutusCore.Rename.Internal
withFreshenedVarDeclPlutusCore.Rename.Internal
WithInteractionInXAndYPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
withKnownKindPlutusCore.Builtin
withLogsPlutusCore.Builtin
withPrettyAtPlutusCore.Pretty
withPrettyInPlutusCore.Pretty
withRenamedNamePlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
withScopePlutusCore.DeBruijn.Internal
withSingKindPlutusCore.Builtin
withSpanPlutusCore.Parser
withSpan'PlutusCore.Parser
withTypeSchemeOfBuiltinFunctionPlutusCore.Builtin PlutusCore.Builtin.Debug
withTyVarPlutusCore.TypeCheck.Internal
withVarPlutusCore.TypeCheck.Internal
withVersionPlutusCore.Parser
wixData.List.Extras
Word64PlutusPrelude
Word8PlutusPrelude
WorkFreeUntypedPlutusCore.Purity
WorkFreedomUntypedPlutusCore.Purity
WriteBitsPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
writeBitsPlutusCore.Bitwise
writeCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
XorByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
xorByteStringPlutusCore.Bitwise
ZPlutusCore.Unroll
zeroPlutusCore.StdLib.Data.Nat
zeroQuantityPlutusCore.Value
zeroTPlutusCore.Examples.Data.Vec
zipCostStreamPlutusCore.Evaluation.Machine.ExBudgetStream
zipExactPlutusPrelude