S | PlutusCore.Generators.NEAT.Common |
safeEncodeBits | PlutusCore.Flat |
safeFreshName | PlutusIR.Compiler.Names |
safeFreshTyName | PlutusIR.Compiler.Names |
safeFromList | |
1 (Function) | PlutusTx.Data.AssocMap |
2 (Function) | PlutusTx.AssocMap |
safeIndexOne | Data.RandomAccessList.SkewBinary |
safeIndexZero | |
1 (Function) | Data.RandomAccessList.SkewBinary |
2 (Function) | Data.RandomAccessList.SkewBinarySlab |
safeLift | PlutusTx.Lift |
safeLiftCode | PlutusTx.Lift, PlutusTx |
safeLiftProgram | PlutusTx.Lift |
saltFunction | PlutusLedgerApi.Test.Examples |
sampleProgramValueGolden | PlutusCore.Generators.Hedgehog.Test |
SatInt | Data.SatInt, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
Saturated | PlutusIR.Contexts |
saturates | PlutusIR.Contexts |
Saturation | PlutusIR.Contexts |
scalarMul | |
1 (Function) | PlutusCore.Crypto.BLS12_381.G2 |
2 (Function) | PlutusCore.Crypto.BLS12_381.G1 |
scale | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V1.Data.Value, PlutusTx.Numeric, PlutusTx.Prelude |
scaledListOf | PlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck |
Schema | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
schema | PlutusTx.Blueprint.Class, PlutusTx.Blueprint |
SchemaAllOf | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaAnn | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
SchemaAnyOf | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInBoolean | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInBytes | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInData | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInInteger | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInList | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInPair | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInString | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBuiltInUnit | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaBytes | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaComment | |
1 (Type/Class) | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
2 (Data Constructor) | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
schemaCommentToString | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
SchemaConstructor | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaDefinitionRef | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaDescription | |
1 (Type/Class) | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
2 (Data Constructor) | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
schemaDescriptionToString | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
SchemaInfo | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
SchemaInteger | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaList | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaMap | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaNot | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaOneOf | PlutusTx.Blueprint.Schema, PlutusTx.Blueprint |
SchemaTitle | |
1 (Type/Class) | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
2 (Data Constructor) | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
schemaTitleToString | PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint |
Scope | |
1 (Type/Class) | PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusTx.Compiler.Types |
ScopeCheckError | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Data Constructor) | PlutusCore.Check.Scoping |
scopeCheckTyVars | PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck |
ScopedEqRename | PlutusCore.Eq |
ScopedName | PlutusCore.Check.Scoping |
ScopedRenameT | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
ScopedRenaming | |
1 (Type/Class) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
2 (Data Constructor) | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
scopedRenamingTerms | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
scopedRenamingTypes | PlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal |
ScopeEntry | PlutusCore.Check.Scoping |
ScopeError | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Type/Class) | Raw |
3 (Data Constructor) | Raw |
ScopeErrorOrInfo | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Data Constructor) | PlutusCore.Check.Scoping |
ScopeInfo | |
1 (Type/Class) | PlutusCore.Check.Scoping |
2 (Data Constructor) | PlutusCore.Check.Scoping |
ScopeType | PlutusCore.Analysis.Definitions |
Scoping | PlutusCore.Check.Scoping |
scottCons | PlutusCore.Examples.Data.Vec |
ScottEncoding | PlutusIR.Compiler.Types, PlutusIR.Compiler |
scottHead | PlutusCore.Examples.Data.Vec |
scottNil | PlutusCore.Examples.Data.Vec |
scottSumHeadsOr0 | PlutusCore.Examples.Data.Vec |
ScottToMetaUnit | PlutusCore.Examples.Builtins |
scottVec | PlutusCore.Examples.Data.Vec |
scottVecF | PlutusCore.Examples.Data.Vec |
scriptCBORDecoder | PlutusLedgerApi.Common.SerialisedScript |
ScriptContext | |
1 (Type/Class) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
3 (Type/Class) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
4 (Data Constructor) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
5 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
6 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
7 (Type/Class) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
8 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
9 (Type/Class) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
10 (Data Constructor) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
11 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
12 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
scriptContextPurpose | |
1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
3 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
4 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
scriptContextRedeemer | |
1 (Function) | PlutusLedgerApi.V3.Data.Contexts |
2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
scriptContextScriptInfo | |
1 (Function) | PlutusLedgerApi.V3.Data.Contexts |
2 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
scriptContextTxInfo | |
1 (Function) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1 |
2 (Function) | PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2 |
3 (Function) | PlutusLedgerApi.V3.Data.Contexts |
4 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
5 (Function) | PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2 |
6 (Function) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
ScriptCredential | |
1 (Data Constructor) | PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
ScriptDecodeError | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
ScriptError | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1 |
ScriptEvaluationData | |
1 (Type/Class) | PlutusLedgerApi.Test.EvaluationEvent |
2 (Data Constructor) | PlutusLedgerApi.Test.EvaluationEvent |
ScriptEvaluationEvent | PlutusLedgerApi.Test.EvaluationEvent |
ScriptEvaluationEvents | |
1 (Type/Class) | PlutusLedgerApi.Test.EvaluationEvent |
2 (Data Constructor) | PlutusLedgerApi.Test.EvaluationEvent |
ScriptEvaluationFailure | PlutusLedgerApi.Test.EvaluationEvent |
ScriptEvaluationResult | PlutusLedgerApi.Test.EvaluationEvent |
ScriptEvaluationSuccess | PlutusLedgerApi.Test.EvaluationEvent |
ScriptForEvaluation | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
ScriptHash | |
1 (Type/Class) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
scriptHashAddress | |
1 (Function) | PlutusLedgerApi.V1.Data.Address |
2 (Function) | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1 |
ScriptInfo | |
1 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
2 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
ScriptNamedDeBruijn | |
1 (Type/Class) | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1 |
2 (Data Constructor) | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1 |
ScriptPurpose | |
1 (Type/Class) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
2 (Type/Class) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
3 (Type/Class) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
4 (Type/Class) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
ScriptTag | |
1 (Type/Class) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
2 (Type/Class) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
sdeAffectedLang | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
sdeAffectedVersion | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
sdeIntroPv | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
sdeThisLang | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
sdeThisPv | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
sdToStr | PlutusTx.Compiler.Utils |
sdToTxt | PlutusTx.Compiler.Utils |
second | PlutusPrelude |
selfData | PlutusCore.StdLib.Data.Function |
Semigroup | PlutusTx.Semigroup, PlutusTx.Prelude |
Semiring | PlutusTx.Numeric, PlutusTx.Prelude |
seqA | PlutusIR.Transform.RewriteRules.Common |
seqP | PlutusIR.Transform.RewriteRules.Common |
sequ | PlutusCore.StdLib.Data.Unit |
sequence | PlutusTx.Traversable, PlutusTx.Prelude |
sequenceA | PlutusTx.Traversable, PlutusTx.Prelude |
sequenceA_ | PlutusTx.Foldable, PlutusTx.Prelude |
sequenceDocM | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
serialiseCompiledCode | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
SerialiseData | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
serialiseData | |
1 (Function) | PlutusTx.Builtins.Internal |
2 (Function) | PlutusTx.Builtins |
SerialiseData'cpu'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SerialiseData'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SerialiseData'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SerialiseData'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SerialisedScript | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
serialisedScript | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
serialisedSize | |
1 (Function) | PlutusCore.Size, PlutusCore |
2 (Function) | UntypedPlutusCore.Size, UntypedPlutusCore |
serialisePirProgramFlat | PlutusCore.Executable.AstIO |
serialisePlcProgramFlat | PlutusCore.Executable.AstIO |
serialiseUPLC | PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
serialiseUplcProgramFlat | PlutusCore.Executable.AstIO |
SerialiseViaFlat | |
1 (Type/Class) | Codec.Extras.SerialiseViaFlat |
2 (Data Constructor) | Codec.Extras.SerialiseViaFlat |
SerializedCode | PlutusTx.Code |
set | PlutusPrelude |
setOfByName | PlutusCore.Name.UniqueSet |
setOfByUnique | PlutusCore.Name.UniqueSet |
setProvenance | PlutusIR.Compiler.Provenance |
setTrue | PlutusTx.Options |
sexp | Prettyprinter.Custom |
Sha2_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sha2_256 | |
1 (Function) | PlutusCore.Crypto.Hash |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
Sha2_256'cpu'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Sha2_256'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Sha2_256'memory'arguments | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Sha3_256 | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sha3_256 | |
1 (Function) | PlutusCore.Crypto.Hash |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
Sha3_256'cpu'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Sha3_256'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Sha3_256'memory'arguments | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
shad | PlutusCore.Examples.Data.Shad |
SharedName | PlutusIR.Compiler.Types |
Sharp | |
1 (Data Constructor) | MAlonzo.RTE |
2 (Data Constructor) | Raw |
shelleyPV | PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions |
ShiftByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
shiftByteString | |
1 (Function) | PlutusCore.Bitwise |
2 (Function) | PlutusTx.Builtins.Internal |
3 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
ShiftByteString'cpu'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ShiftByteString'cpu'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ShiftByteString'memory'arguments'intercept | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
ShiftByteString'memory'arguments'slope | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
shouldInline | PlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore.Simplify, UntypedPlutusCore, PlutusIR.Transform.Inline.Inline, PlutusTx.Compiler.Types |
shouldUnconditionallyInline | PlutusIR.Transform.Inline.Utils |
Show | PlutusTx.Show.TH, PlutusTx.Show |
show | |
1 (Function) | PlutusCore |
2 (Function) | PlutusTx.Show.TH, PlutusTx.Show |
showBuiltinSemanticsVariant | PlutusCore.Executable.Parsers |
showCommaSpace | PlutusTx.Show.TH, PlutusTx.Show |
ShowErrorComponent | PlutusCore.Error |
showErrorComponent | PlutusCore.Error |
ShowKinds | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
ShowKindsNo | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
ShowKindsNonType | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
ShowKindsYes | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
showName | PlutusTx.Lift.THUtils |
shownEvaluationFailure | PlutusConformance.Common |
shownParseError | PlutusConformance.Common |
showParamName | PlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common |
showParen | PlutusTx.Show.TH, PlutusTx.Show |
ShowPretty | |
1 (Type/Class) | PlutusPrelude |
2 (Data Constructor) | PlutusPrelude |
ShowS | PlutusTx.Show.TH, PlutusTx.Show |
showSpace | PlutusTx.Show.TH, PlutusTx.Show |
showsPrec | PlutusTx.Show.TH, PlutusTx.Show |
showString | PlutusTx.Show.TH, PlutusTx.Show |
showText | PlutusPrelude |
shrink | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
shrinkBind | PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck |
shrinkBuiltin | PlutusCore.Generators.QuickCheck.Builtin |
shrinkBuiltinSameKind | PlutusCore.Generators.QuickCheck.Builtin |
shrinkBuiltinType | PlutusCore.Generators.QuickCheck.Builtin |
shrinkClosedTypedTerm | PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck |
shrinkDat | PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck |
shrinkDefaultUniApply | PlutusCore.Generators.QuickCheck.Builtin |
shrinkDropBuiltin | PlutusCore.Generators.QuickCheck.Builtin |
shrinkDropBuiltinSameKind | PlutusCore.Generators.QuickCheck.Builtin |
shrinkIntegralFast | PlutusCore.Generators.QuickCheck.Builtin |
shrinkKindAndType | PlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck |
shrinkSubst | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
shrinkToStarArgs | PlutusCore.Generators.QuickCheck.Builtin |
shrinkType | PlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck |
shrinkTypeAtKind | PlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck |
shrinkTypedTerm | PlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck |
Silent | Opts |
Simple | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
simplePass | PlutusIR.Pass |
simpleRecursive | PlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST |
Simplification | |
1 (Type/Class) | UntypedPlutusCore.Transform.Simplifier |
2 (Data Constructor) | UntypedPlutusCore.Transform.Simplifier |
Simplifier | UntypedPlutusCore.Transform.Simplifier |
simplifier | PlutusIR.Compiler |
SimplifierStage | UntypedPlutusCore.Transform.Simplifier |
SimplifierT | |
1 (Type/Class) | UntypedPlutusCore.Transform.Simplifier |
2 (Data Constructor) | UntypedPlutusCore.Transform.Simplifier |
SimplifierTrace | |
1 (Type/Class) | UntypedPlutusCore.Transform.Simplifier |
2 (Data Constructor) | UntypedPlutusCore.Transform.Simplifier |
simplifierTrace | UntypedPlutusCore.Transform.Simplifier |
SimplifyOpts | |
1 (Type/Class) | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
2 (Data Constructor) | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
simplifyProgram | UntypedPlutusCore.Simplify, UntypedPlutusCore |
simplifyProgramWithTrace | UntypedPlutusCore.Simplify, UntypedPlutusCore |
simplifyTerm | UntypedPlutusCore.Simplify, UntypedPlutusCore |
SingKind | PlutusCore.Builtin.KnownKind, PlutusCore.Builtin |
SingKindArrow | PlutusCore.Builtin.KnownKind, PlutusCore.Builtin |
singleton | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval |
2 (Function) | PlutusLedgerApi.V1.Interval |
3 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
4 (Function) | PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
5 (Function) | PlutusTx.Data.AssocMap |
6 (Function) | PlutusTx.AssocMap |
singletonByName | PlutusCore.Name.UniqueMap |
singletonName | PlutusCore.Name.UniqueSet |
singletonRose | PlutusCore.Evaluation.Machine.ExMemoryUsage |
SingType | PlutusCore.Builtin.KnownKind, PlutusCore.Builtin |
Size | |
1 (Type/Class) | PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore, PlutusIR.Analysis.Size, PlutusIR.Analysis.RetainedSize |
2 (Data Constructor) | PlutusCore.Size, UntypedPlutusCore.Size, UntypedPlutusCore, PlutusIR.Analysis.Size, PlutusIR.Analysis.RetainedSize |
size | |
1 (Function) | PlutusCore.Examples.Builtins |
2 (Function) | MAlonzo.Code.Cost.Size |
sized | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
sizeIsAcceptable | PlutusIR.Transform.Inline.Utils |
sizePlc | PlutusTx.Code |
sizeProgram | UntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore |
sizeTerm | UntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore |
SliceByteString | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sliceByteString | |
1 (Function) | PlutusTx.Builtins.Internal |
2 (Function) | PlutusTx.Builtins, PlutusTx.Prelude |
SliceByteString'cpu'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SliceByteString'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SliceByteString'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SliceByteString'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
Slippage | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
Slope | |
1 (Type/Class) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
2 (Data Constructor) | PlutusCore.Evaluation.Machine.CostingFun.Core, PlutusCore.Evaluation.Machine.BuiltinCostModel |
slope1_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
slope2_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
slope_ | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
smallLength | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
smBranches | PlutusIR.Contexts |
smResTy | PlutusIR.Contexts |
smScrutinee | PlutusIR.Contexts |
smTyVars | PlutusIR.Contexts |
snd | |
1 (Function) | PlutusTx.Base, PlutusTx.Prelude |
2 (Function) | PlutusTx.Builtins.Internal |
SndPair | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sndPair | PlutusCore.StdLib.Data.Pair |
SndPair'cpu'arguments | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SndPair'memory'arguments | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
soConservativeOpts | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
soInlineConstants | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
soInlineHints | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
Sole | |
1 (Type/Class) | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
2 (Data Constructor) | PlutusCore.Pretty.Readable, PlutusCore.Pretty |
soMaxCseIterations | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
soMaxSimplifierIterations | UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore |
Some | |
1 (Type/Class) | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
some | PlutusPrelude |
SomeConstant | |
1 (Type/Class) | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
2 (Data Constructor) | PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug |
someType | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug |
SomeTypeIn | |
1 (Type/Class) | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
2 (Data Constructor) | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
someValue | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
someValueOf | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
someValueType | Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
sopType | PlutusCore.Parser.Type, PlutusCore.Parser |
sort | PlutusTx.List, PlutusTx.Prelude |
sortBy | PlutusTx.List, PlutusTx.Prelude |
sourceColumn | PlutusCore.Annotation, PlutusTx.Compiler.Types |
sourceLine | PlutusCore.Annotation, PlutusTx.Compiler.Types |
sourceName | PlutusCore.Annotation, PlutusTx.Compiler.Types |
SourcePos | |
1 (Type/Class) | PlutusCore.Annotation, PlutusCore.Parser, PlutusCore, UntypedPlutusCore.Parser, PlutusIR.Parser, PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusCore.Annotation, PlutusTx.Compiler.Types |
Spend | |
1 (Data Constructor) | PlutusLedgerApi.V1.Tx, PlutusLedgerApi.V2.Tx |
2 (Data Constructor) | PlutusLedgerApi.V1.Data.Tx, PlutusLedgerApi.V2.Data.Tx |
3 (Data Constructor) | PlutusTx.Blueprint.Purpose, PlutusTx.Blueprint |
Spending | |
1 (Data Constructor) | PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2 |
2 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
3 (Data Constructor) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2 |
4 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
SpendingScript | |
1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
spendsOutput | |
1 (Function) | PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V2.Contexts |
3 (Function) | PlutusLedgerApi.V3.Contexts |
4 (Function) | PlutusLedgerApi.V1.Data.Contexts |
5 (Function) | PlutusLedgerApi.V2.Data.Contexts |
6 (Function) | PlutusLedgerApi.V3.Data.Contexts |
Spine | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
SpineCons | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
SpineLast | PlutusCore.Builtin.KnownType, PlutusCore.Builtin |
split | |
1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V1.Data.Value |
splitAppContext | PlutusIR.Contexts |
splitApplication | |
1 (Function) | UntypedPlutusCore.Core, UntypedPlutusCore |
2 (Function) | PlutusIR.Contexts |
splitAt | PlutusTx.List, PlutusTx.Prelude |
splitFunTyParts | PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug |
SplitMatchContext | |
1 (Type/Class) | PlutusIR.Contexts |
2 (Data Constructor) | PlutusIR.Contexts |
splitNormalDatatypeMatch | PlutusIR.Contexts |
splitParams | UntypedPlutusCore.Core, UntypedPlutusCore |
splitStructuralOperational | PlutusCore.Evaluation.Machine.Exception, PlutusCore.Evaluation.Machine.Ck, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
Sqrt | PlutusTx.Sqrt |
SrcSpan | |
1 (Type/Class) | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
srcSpanECol | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
srcSpanELine | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
srcSpanFile | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
SrcSpans | |
1 (Type/Class) | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
2 (Data Constructor) | PlutusCore.Annotation, PlutusTx.Compiler.Types |
srcSpanSCol | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
srcSpanSLine | PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types |
stableModuleCmp | PlutusTx.Compiler.Types |
stableNameCmp | PlutusTx.Compiler.Types |
stage | UntypedPlutusCore.Transform.Simplifier |
StakePoolVoter | |
1 (Data Constructor) | PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3 |
StakingCredential | |
1 (Type/Class) | PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Type/Class) | PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
stakingCredential | |
1 (Function) | PlutusLedgerApi.V1.Data.Address |
2 (Function) | PlutusLedgerApi.V1.Address, PlutusLedgerApi.V1 |
StakingHash | |
1 (Data Constructor) | PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
StakingPtr | |
1 (Data Constructor) | PlutusLedgerApi.V1.Data.Credential, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Data Constructor) | PlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
Star | Raw |
Starting | UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
StayedFreeVariables | PlutusCore.Check.Scoping |
StayedOutOfScopeVariables | PlutusCore.Check.Scoping |
Stays | |
1 (Data Constructor) | PlutusCore.Check.Scoping |
2 (Type/Class) | PlutusCore.Check.Scoping |
StaysFreeVariable | PlutusCore.Check.Scoping |
StaysOutOfScopeVariable | PlutusCore.Check.Scoping |
StdInput | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
stdInput | PlutusCore.Executable.Parsers |
stdLib | PlutusCore.StdLib.Everything |
StdOutput | PlutusCore.Executable.Types, PlutusCore.Executable.Common |
stdOutput | PlutusCore.Executable.Parsers |
Step | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
StepCounter | |
1 (Type/Class) | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal |
2 (Data Constructor) | UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter |
StepF | UntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver |
StepKind | UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
stepTypeG | PlutusCore.Generators.NEAT.Term |
Strict | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
strictifyBindings | PlutusIR.Transform.StrictifyBindings |
strictifyBindingsPass | PlutusIR.Transform.StrictifyBindings |
strictLowerBound | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
Strictness | PlutusIR.Core.Type, PlutusIR.Core, PlutusIR |
strictUpperBound | |
1 (Function) | PlutusLedgerApi.V1.Data.Interval, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3 |
2 (Function) | PlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3 |
stringToBuiltinByteString | PlutusTx.Builtins.HasOpaque |
stringToBuiltinByteStringHex | PlutusTx.Builtins.HasOpaque |
stringToBuiltinByteStringUtf8 | PlutusTx.Builtins.HasOpaque |
stringToBuiltinString | PlutusTx.Builtins.HasOpaque |
stripPrefix | Data.Aeson.Extra |
StructuralEvaluationError | PlutusCore.Evaluation.Error, PlutusCore.Builtin.Result, PlutusCore.Evaluation.Machine.Exception, PlutusCore.Builtin, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek |
sub | PlutusCore.Generators.NEAT.Type |
sub64 | MAlonzo.RTE |
subInt | MAlonzo.RTE |
sublistN | PlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck |
substEscape | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
substName | PlutusIR.Transform.Inline.Utils |
substNormalizeTypeM | |
1 (Function) | PlutusCore.Normalize.Internal |
2 (Function) | PlutusCore.TypeCheck.Internal |
substTyName | PlutusIR.Transform.Inline.Utils |
substType | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
substTypeCustom | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
substTypeCustomGo | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
substTypeParallel | PlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck |
substTyVar | PlutusCore.Subst |
substTyVarA | |
1 (Function) | PlutusCore.Subst |
2 (Function) | PlutusIR.Transform.Substitute |
substVar | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
substVarA | |
1 (Function) | PlutusCore.Subst |
2 (Function) | UntypedPlutusCore.Subst, UntypedPlutusCore |
3 (Function) | PlutusIR.Transform.Substitute |
SubtractedSizes | PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON |
SubtractInteger | PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore |
subtractInteger | |
1 (Function) | PlutusTx.Builtins.Internal |
2 (Function) | PlutusTx.Builtins |
SubtractInteger'cpu'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SubtractInteger'cpu'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SubtractInteger'memory'arguments'intercept | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
SubtractInteger'memory'arguments'slope | |
1 (Data Constructor) | PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1 |
2 (Data Constructor) | PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2 |
3 (Data Constructor) | PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3 |
succ | |
1 (Function) | PlutusCore.StdLib.Data.Nat |
2 (Function) | PlutusTx.Enum, PlutusTx.Prelude |
succBoolBadArgumentError | PlutusTx.ErrorCodes |
succInteger | PlutusCore.StdLib.Data.Integer |
succOrderingBadArgumentError | PlutusTx.ErrorCodes |
succT | PlutusCore.Examples.Data.Vec |
succVoidBadArgumentError | PlutusTx.ErrorCodes |
suchThat | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
suchThatMap | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
suchThatMaybe | PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck |
sum | |
1 (Function) | PlutusCore.StdLib.Data.Sum |
2 (Function) | PlutusCore.StdLib.Data.ScottList |
3 (Function) | PlutusCore.StdLib.Data.List |
4 (Function) | PlutusTx.Foldable, PlutusTx.Prelude |
sumCostStream | PlutusCore.Evaluation.Machine.CostStream |
sumExBudgetStream | PlutusCore.Evaluation.Machine.ExBudgetStream |
SumInteger | PlutusCore.Examples.Builtins |
summingFunction | PlutusLedgerApi.Test.Examples |
sumr | |
1 (Function) | PlutusCore.StdLib.Data.ScottList |
2 (Function) | PlutusCore.StdLib.Data.List |
SumsOfProducts | PlutusIR.Compiler.Types, PlutusIR.Compiler |
Swap | PlutusCore.Examples.Builtins |
SwapEls | PlutusCore.Examples.Builtins |
symbol | PlutusCore.Parser.ParserCommon, PlutusCore.Parser |
symbols | |
1 (Function) | PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1 |
2 (Function) | PlutusLedgerApi.V1.Data.Value |
symmetricDifference | PlutusCore.Check.Scoping |