caseData
|
PlutusCore.StdLib.Data.Data
|
caseList
|
PlutusCore.StdLib.Data.List
|
ccEnclosing
|
PlutusIR.Compiler
|
ccOpts
|
PlutusIR.Compiler
|
ccTypeCheckConfig
|
PlutusIR.Compiler
|
cekApplyCost
|
PlutusCore
|
CekBudgetSpender
|
|
1 (Type/Class)
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
2 (Data Constructor)
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
cekBuiltinCost
|
PlutusCore
|
cekConstCost
|
PlutusCore
|
cekDelayCost
|
PlutusCore
|
CekEmitter
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
|
CekEmitterInfo
|
|
1 (Type/Class)
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
|
2 (Data Constructor)
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
|
CekEvaluationException
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
CekEvaluationFailure
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
CekExTally
|
|
1 (Type/Class)
|
UntypedPlutusCore.Evaluation.Machine.Cek
|
2 (Data Constructor)
|
UntypedPlutusCore.Evaluation.Machine.Cek
|
cekForceCost
|
PlutusCore
|
cekLamCost
|
PlutusCore
|
CekM
|
|
1 (Type/Class)
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
|
2 (Data Constructor)
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
|
CekMachineCosts
|
|
1 (Type/Class)
|
PlutusCore.Evaluation.Machine.CostModelInterface
,
UntypedPlutusCore.Evaluation.Machine.Cek
,
PlutusCore
|
2 (Data Constructor)
|
PlutusCore
|
cekMachineCostsFile
|
PlutusCore.DataFilePaths
|
cekMachineCostsPrefix
|
PlutusCore
|
CekOutOfExError
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
cekStartupCost
|
PlutusCore
|
CekUserError
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
CekValue
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
cekVarCost
|
PlutusCore
|
checkEmpty
|
PlutusCore.Check.Scoping
|
checkKind
|
PlutusCore
|
checkProgram
|
|
1 (Function)
|
PlutusCore.Check.Normal
|
2 (Function)
|
PlutusCore.Check.Uniques
|
3 (Function)
|
UntypedPlutusCore.Check.Uniques
|
checkRespectsScoping
|
PlutusCore.Check.Scoping
|
checkScope
|
UntypedPlutusCore.Check.Scope
|
checkScopeInfo
|
PlutusCore.Check.Scoping
|
checkStar
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
checkTerm
|
|
1 (Function)
|
PlutusCore.Check.Normal
|
2 (Function)
|
PlutusCore.Check.Uniques
|
3 (Function)
|
UntypedPlutusCore.Check.Uniques
|
checkType
|
|
1 (Function)
|
PlutusCore.Check.Uniques
|
2 (Function)
|
PlutusCore
|
3 (Function)
|
PlutusIR.TypeCheck
|
checkTypeOfProgram
|
|
1 (Function)
|
PlutusCore
|
2 (Function)
|
PlutusIR.TypeCheck
|
ChooseData
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
ChooseList
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
ChooseUnit
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
churchConcat
|
PlutusCore.Examples.Data.Vec
|
churchCons
|
PlutusCore.Examples.Data.Vec
|
churchNat
|
PlutusCore.StdLib.Data.ChurchNat
|
churchNil
|
PlutusCore.Examples.Data.Vec
|
churchSucc
|
PlutusCore.StdLib.Data.ChurchNat
|
churchVec
|
PlutusCore.Examples.Data.Vec
|
churchZero
|
PlutusCore.StdLib.Data.ChurchNat
|
CkEvaluationException
|
PlutusCore.Evaluation.Machine.Ck
|
CkM
|
PlutusCore.Evaluation.Machine.Ck
|
CkValue
|
PlutusCore.Evaluation.Machine.Ck
|
Closed
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
CMInternalReadError
|
PlutusCore.Evaluation.Machine.CostModelInterface
|
CMInternalWriteError
|
PlutusCore.Evaluation.Machine.CostModelInterface
|
CMUnknownParamError
|
PlutusCore.Evaluation.Machine.CostModelInterface
|
coDebug
|
PlutusIR.Compiler
|
coDoSimplifierBeta
|
PlutusIR.Compiler
|
coDoSimplifierInline
|
PlutusIR.Compiler
|
coDoSimplifierUnwrapCancel
|
PlutusIR.Compiler
|
coerce
|
PlutusPrelude
|
Coercible
|
PlutusPrelude
|
coInlineHints
|
PlutusIR.Compiler
|
CollectScopeInfo
|
PlutusCore.Check.Scoping
|
collectScopeInfo
|
PlutusCore.Check.Scoping
|
coMaxSimplifierIterations
|
PlutusIR.Compiler
|
Comma
|
PlutusCore.Examples.Builtins
|
CompilationCtx
|
PlutusIR.Compiler
|
CompilationError
|
PlutusIR.Error
,
PlutusIR.Compiler
|
CompilationOpts
|
PlutusIR.Compiler
|
compileNonStrictBindings
|
PlutusIR.Transform.NonStrict
|
compileReadableToPlc
|
PlutusIR.Compiler
|
compileTerm
|
PlutusIR.Compiler
|
compileToReadable
|
PlutusIR.Compiler
|
Compiling
|
PlutusIR.Compiler
|
CondensedErrors
|
PlutusCore.Pretty
|
CondensedErrorsNo
|
PlutusCore.Pretty
|
CondensedErrorsYes
|
PlutusCore.Pretty
|
cons
|
PlutusCore.StdLib.Data.ScottList
|
consAnnIf
|
PlutusCore.Pretty
|
ConsByteString
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
Const
|
PlutusCore.Examples.Builtins
|
const
|
PlutusCore.StdLib.Data.Function
|
Constant
|
|
1 (Data Constructor)
|
PlutusCore.Core
, PlutusCore.Builtin.Debug,
PlutusCore
|
2 (Data Constructor)
|
UntypedPlutusCore.Core.Type
, UntypedPlutusCore.Core,
UntypedPlutusCore
|
3 (Data Constructor)
|
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
|
constant
|
PlutusCore.MkPlc
, PlutusIR.MkPir
|
ConstantF
|
|
1 (Data Constructor)
|
PlutusCore.Core
, PlutusCore.Builtin.Debug,
PlutusCore
|
2 (Data Constructor)
|
UntypedPlutusCore.Core
, UntypedPlutusCore
|
ConstConfig
|
|
1 (Type/Class)
|
PlutusCore.Pretty
|
2 (Data Constructor)
|
PlutusCore.Pretty
|
constPartial
|
PlutusCore.StdLib.Meta.Data.Function
|
Constr
|
PlutusCore.Data
|
ConstrData
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
Constructor
|
PlutusIR.Compiler
|
ConstructorType
|
PlutusIR.Compiler
|
Contains
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
coOptimize
|
PlutusIR.Compiler
|
coPedantic
|
PlutusIR.Compiler
|
coProfile
|
PlutusIR.Compiler
|
CostingFun
|
|
1 (Type/Class)
|
PlutusCore.Evaluation.Machine.BuiltinCostModel
|
2 (Data Constructor)
|
PlutusCore.Evaluation.Machine.BuiltinCostModel
|
costingFunCpu
|
PlutusCore.Evaluation.Machine.BuiltinCostModel
|
costingFunMemory
|
PlutusCore.Evaluation.Machine.BuiltinCostModel
|
CostingInteger
|
PlutusCore.Evaluation.Machine.ExMemory
|
CostingPart
|
PlutusCore.Builtin
,
PlutusCore.Builtin
|
CostModel
|
|
1 (Type/Class)
|
PlutusCore.Evaluation.Machine.MachineParameters
|
2 (Data Constructor)
|
PlutusCore.Evaluation.Machine.MachineParameters
|
CostModelApplyError
|
PlutusCore.Evaluation.Machine.CostModelInterface
|
costModelDataDir
|
PlutusCore.DataFilePaths
|
CostModelParams
|
PlutusCore.Evaluation.Machine.CostModelInterface
|
counting
|
UntypedPlutusCore.Evaluation.Machine.Cek
|
CountingSt
|
|
1 (Type/Class)
|
UntypedPlutusCore.Evaluation.Machine.Cek
|
2 (Data Constructor)
|
UntypedPlutusCore.Evaluation.Machine.Cek
|
coVerbose
|
PlutusIR.Compiler
|