plutus-core-1.0.0.1: Language library for Plutus Core

Index - B

B PlutusCore.Data
backupBenchingResultsFile PlutusCore.DataFilePaths
BadTerm PlutusCore.Error , PlutusCore.Check.Normal , PlutusCore
BadType PlutusCore.Error , PlutusCore.Check.Normal , PlutusCore
BApply UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BBuiltin UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BBuiltinApp UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BConst UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
BDelay UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
benchingResultsFile PlutusCore.DataFilePaths
beta PlutusIR.Transform.Beta
BForce UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BiconstPair PlutusCore.Examples.Builtins
Binder
1 (Type/Class) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
2 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
bindFun UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
bindFunM UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
Binding PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
bindingIds PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
bindingNames PlutusIR.Core.Plated , PlutusIR.Core
bindingSubkinds PlutusIR.Core.Plated , PlutusIR.Core
bindingSubstNames PlutusIR.Transform.Substitute
bindingSubstTyNames PlutusIR.Transform.Substitute
bindingSubterms PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
bindingSubtypes PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
bindingTyNames PlutusIR.Core.Plated , PlutusIR.Core
bindTuple PlutusCore.StdLib.Meta.Data.Tuple
Blake2b_256 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
blake2b_256 Data.ByteString.Hash
BLamAbs UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
bool
1 (Function) PlutusPrelude
2 (Function) PlutusCore.StdLib.Data.Bool
botPrettyConfigReadable PlutusCore.Pretty
braces' Prettyprinter.Custom
brackets' Prettyprinter.Custom
bring Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
BStartup UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
BStep UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
Builtin
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
3 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
builtin PlutusCore.MkPlc , PlutusIR.MkPir
BuiltinCostModel PlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModel PlutusCore.Evaluation.Machine.MachineParameters
BuiltinCostModelBase
1 (Type/Class) PlutusCore.Evaluation.Machine.BuiltinCostModel
2 (Data Constructor) PlutusCore.Evaluation.Machine.BuiltinCostModel
builtinCostModelFile PlutusCore.DataFilePaths
BuiltinErrorCall
1 (Type/Class) PlutusCore.Examples.Builtins
2 (Data Constructor) PlutusCore.Examples.Builtins
BuiltinF
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) UntypedPlutusCore.Core , UntypedPlutusCore
BuiltinMeaning
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
builtinMeaningsToTypes PlutusCore
BuiltinRuntime
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
BuiltinRuntimeOptions
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
builtins PlutusCore.Examples.Everything
BuiltinsRuntime
1 (Type/Class) PlutusCore.Builtin
2 (Data Constructor) PlutusCore.Builtin
builtinsRuntime PlutusCore.Evaluation.Machine.MachineParameters
builtinTagWidth PlutusCore.Default , PlutusCore.Builtin.Debug
BuiltinTermArgumentExpectedMachineError PlutusCore.Evaluation.Machine.Exception
BuiltinTypeNotAStar PlutusCore.Error , PlutusCore.Parser , PlutusCore
BuiltinTypes
1 (Type/Class) PlutusCore , PlutusIR.TypeCheck
2 (Data Constructor) PlutusCore , PlutusIR.TypeCheck
BVar UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek