Combined Plutus 1.39.0.0 Documentation

Index - S

SPlutusCore.Generators.NEAT.Common
safeEncodeBitsPlutusCore.Flat
safeFreshNamePlutusIR.Compiler.Names
safeFreshTyNamePlutusIR.Compiler.Names
safeFromList 
1 (Function)PlutusTx.Data.AssocMap
2 (Function)PlutusTx.AssocMap
safeIndexOneData.RandomAccessList.SkewBinary
safeIndexZero 
1 (Function)Data.RandomAccessList.SkewBinary
2 (Function)Data.RandomAccessList.SkewBinarySlab
safeLiftPlutusTx.Lift
safeLiftCodePlutusTx.Lift, PlutusTx
safeLiftProgramPlutusTx.Lift
saltFunctionPlutusLedgerApi.Test.Examples
sampleProgramValueGoldenPlutusCore.Generators.Hedgehog.Test
SatIntData.SatInt, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
SaturatedPlutusIR.Contexts
saturatesPlutusIR.Contexts
SaturationPlutusIR.Contexts
scalarMul 
1 (Function)PlutusCore.Crypto.BLS12_381.G2
2 (Function)PlutusCore.Crypto.BLS12_381.G1
scalePlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V1.Data.Value, PlutusTx.Numeric, PlutusTx.Prelude
scaledListOfPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
SchemaPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
schemaPlutusTx.Blueprint.Class, PlutusTx.Blueprint
SchemaAllOfPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaAnnPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaAnyOfPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInBooleanPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInBytesPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInDataPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInIntegerPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInListPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInPairPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInStringPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBuiltInUnitPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaBytesPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaComment 
1 (Type/Class)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
2 (Data Constructor)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
schemaCommentToStringPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaConstructorPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaDefinitionRefPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaDescription 
1 (Type/Class)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
2 (Data Constructor)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
schemaDescriptionToStringPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaInfoPlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
SchemaIntegerPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaListPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaMapPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaNotPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaOneOfPlutusTx.Blueprint.Schema, PlutusTx.Blueprint
SchemaTitle 
1 (Type/Class)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
2 (Data Constructor)PlutusTx.Blueprint.Schema.Annotation, PlutusTx.Blueprint
schemaTitleToStringPlutusTx.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
scopeCheckTyVarsPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
ScopedEqRenamePlutusCore.Eq
ScopedNamePlutusCore.Check.Scoping
ScopedRenameTPlutusCore.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
scopedRenamingTermsPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
scopedRenamingTypesPlutusCore.Rename.Monad, PlutusCore.Rename.Internal, UntypedPlutusCore.Rename.Internal
ScopeEntryPlutusCore.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
ScopeTypePlutusCore.Analysis.Definitions
ScopingPlutusCore.Check.Scoping
scottConsPlutusCore.Examples.Data.Vec
ScottEncodingPlutusIR.Compiler.Types, PlutusIR.Compiler
scottHeadPlutusCore.Examples.Data.Vec
scottNilPlutusCore.Examples.Data.Vec
scottSumHeadsOr0PlutusCore.Examples.Data.Vec
ScottToMetaUnitPlutusCore.Examples.Builtins
scottVecPlutusCore.Examples.Data.Vec
scottVecFPlutusCore.Examples.Data.Vec
scriptCBORDecoderPlutusLedgerApi.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
ScriptDecodeErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ScriptErrorPlutusLedgerApi.V1.Scripts, PlutusLedgerApi.V1
ScriptEvaluationData 
1 (Type/Class)PlutusLedgerApi.Test.EvaluationEvent
2 (Data Constructor)PlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationEventPlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationEvents 
1 (Type/Class)PlutusLedgerApi.Test.EvaluationEvent
2 (Data Constructor)PlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationFailurePlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationResultPlutusLedgerApi.Test.EvaluationEvent
ScriptEvaluationSuccessPlutusLedgerApi.Test.EvaluationEvent
ScriptForEvaluationPlutusLedgerApi.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
sdeAffectedLangPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeAffectedVersionPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeIntroPvPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeThisLangPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdeThisPvPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
sdToStrPlutusTx.Compiler.Utils
sdToTxtPlutusTx.Compiler.Utils
secondPlutusPrelude
selfDataPlutusCore.StdLib.Data.Function
SemigroupPlutusTx.Semigroup, PlutusTx.Prelude
SemiringPlutusTx.Numeric, PlutusTx.Prelude
seqAPlutusIR.Transform.RewriteRules.Common
seqPPlutusIR.Transform.RewriteRules.Common
sequPlutusCore.StdLib.Data.Unit
sequencePlutusTx.Traversable, PlutusTx.Prelude
sequenceAPlutusTx.Traversable, PlutusTx.Prelude
sequenceA_PlutusTx.Foldable, PlutusTx.Prelude
sequenceDocMPlutusCore.Pretty.Readable, PlutusCore.Pretty
serialiseCompiledCodePlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
SerialiseDataPlutusCore.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
SerialisedScriptPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
serialisedScriptPlutusLedgerApi.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
serialisePirProgramFlatPlutusCore.Executable.AstIO
serialisePlcProgramFlatPlutusCore.Executable.AstIO
serialiseUPLCPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
serialiseUplcProgramFlatPlutusCore.Executable.AstIO
SerialiseViaFlat 
1 (Type/Class)Codec.Extras.SerialiseViaFlat
2 (Data Constructor)Codec.Extras.SerialiseViaFlat
SerializedCodePlutusTx.Code
setPlutusPrelude
setOfByNamePlutusCore.Name.UniqueSet
setOfByUniquePlutusCore.Name.UniqueSet
setProvenancePlutusIR.Compiler.Provenance
setTruePlutusTx.Options
sexpPrettyprinter.Custom
Sha2_256PlutusCore.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_256PlutusCore.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
shadPlutusCore.Examples.Data.Shad
SharedNamePlutusIR.Compiler.Types
Sharp 
1 (Data Constructor)MAlonzo.RTE
2 (Data Constructor)Raw
shelleyPVPlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions
ShiftByteStringPlutusCore.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'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ShiftByteString'cpu'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ShiftByteString'memory'arguments'interceptPlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
ShiftByteString'memory'arguments'slopePlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
shouldInlinePlutusCore.Annotation, UntypedPlutusCore.Transform.Inline, UntypedPlutusCore.Simplify, UntypedPlutusCore, PlutusIR.Transform.Inline.Inline, PlutusTx.Compiler.Types
shouldUnconditionallyInlinePlutusIR.Transform.Inline.Utils
ShowPlutusTx.Show.TH, PlutusTx.Show
show 
1 (Function)PlutusCore
2 (Function)PlutusTx.Show.TH, PlutusTx.Show
showBuiltinSemanticsVariantPlutusCore.Executable.Parsers
showCommaSpacePlutusTx.Show.TH, PlutusTx.Show
ShowErrorComponentPlutusCore.Error
showErrorComponentPlutusCore.Error
ShowKindsPlutusCore.Pretty.Readable, PlutusCore.Pretty
ShowKindsNoPlutusCore.Pretty.Readable, PlutusCore.Pretty
ShowKindsNonTypePlutusCore.Pretty.Readable, PlutusCore.Pretty
ShowKindsYesPlutusCore.Pretty.Readable, PlutusCore.Pretty
showNamePlutusTx.Lift.THUtils
shownEvaluationFailurePlutusConformance.Common
shownParseErrorPlutusConformance.Common
showParamNamePlutusLedgerApi.Common.ParamName, PlutusLedgerApi.Common
showParenPlutusTx.Show.TH, PlutusTx.Show
ShowPretty 
1 (Type/Class)PlutusPrelude
2 (Data Constructor)PlutusPrelude
ShowSPlutusTx.Show.TH, PlutusTx.Show
showSpacePlutusTx.Show.TH, PlutusTx.Show
showsPrecPlutusTx.Show.TH, PlutusTx.Show
showStringPlutusTx.Show.TH, PlutusTx.Show
showTextPlutusPrelude
shrinkPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
shrinkBindPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
shrinkBuiltinPlutusCore.Generators.QuickCheck.Builtin
shrinkBuiltinSameKindPlutusCore.Generators.QuickCheck.Builtin
shrinkBuiltinTypePlutusCore.Generators.QuickCheck.Builtin
shrinkClosedTypedTermPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
shrinkDatPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
shrinkDefaultUniApplyPlutusCore.Generators.QuickCheck.Builtin
shrinkDropBuiltinPlutusCore.Generators.QuickCheck.Builtin
shrinkDropBuiltinSameKindPlutusCore.Generators.QuickCheck.Builtin
shrinkIntegralFastPlutusCore.Generators.QuickCheck.Builtin
shrinkKindAndTypePlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
shrinkSubstPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
shrinkToStarArgsPlutusCore.Generators.QuickCheck.Builtin
shrinkTypePlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
shrinkTypeAtKindPlutusCore.Generators.QuickCheck.ShrinkTypes, PlutusCore.Generators.QuickCheck
shrinkTypedTermPlutusIR.Generators.QuickCheck.ShrinkTerms, PlutusIR.Generators.QuickCheck
SilentOpts
SimplePlutusCore.Executable.Types, PlutusCore.Executable.Common
simplePassPlutusIR.Pass
simpleRecursivePlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST
Simplification 
1 (Type/Class)UntypedPlutusCore.Transform.Simplifier
2 (Data Constructor)UntypedPlutusCore.Transform.Simplifier
SimplifierUntypedPlutusCore.Transform.Simplifier
simplifierPlutusIR.Compiler
SimplifierStageUntypedPlutusCore.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
simplifierTraceUntypedPlutusCore.Transform.Simplifier
SimplifyOpts 
1 (Type/Class)UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
2 (Data Constructor)UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyProgramUntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyProgramWithTraceUntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyTermUntypedPlutusCore.Simplify, UntypedPlutusCore
SingKindPlutusCore.Builtin.KnownKind, PlutusCore.Builtin
SingKindArrowPlutusCore.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
singletonByNamePlutusCore.Name.UniqueMap
singletonNamePlutusCore.Name.UniqueSet
singletonRosePlutusCore.Evaluation.Machine.ExMemoryUsage
SingTypePlutusCore.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
sizedPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
sizeIsAcceptablePlutusIR.Transform.Inline.Utils
sizePlcPlutusTx.Code
sizeProgramUntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore
sizeTermUntypedPlutusCore.Core.Instance.Flat, UntypedPlutusCore.Core.Instance, UntypedPlutusCore.Core, UntypedPlutusCore
SliceByteStringPlutusCore.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
SlippageUntypedPlutusCore.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
smallLengthPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
smBranchesPlutusIR.Contexts
smResTyPlutusIR.Contexts
smScrutineePlutusIR.Contexts
smTyVarsPlutusIR.Contexts
snd 
1 (Function)PlutusTx.Base, PlutusTx.Prelude
2 (Function)PlutusTx.Builtins.Internal
SndPairPlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sndPairPlutusCore.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
soConservativeOptsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soInlineConstantsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soInlineHintsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
Sole 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty
2 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty
soMaxCseIterationsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soMaxSimplifierIterationsUntypedPlutusCore.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
somePlutusPrelude
SomeConstant 
1 (Type/Class)PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug
2 (Data Constructor)PlutusCore.Builtin.Polymorphism, PlutusCore.Builtin, PlutusCore.Builtin.Debug
someTypeUniverse.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
someValueUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueOfUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
someValueTypeUniverse.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
sopTypePlutusCore.Parser.Type, PlutusCore.Parser
sortPlutusTx.List, PlutusTx.Prelude
sortByPlutusTx.List, PlutusTx.Prelude
sourceColumnPlutusCore.Annotation, PlutusTx.Compiler.Types
sourceLinePlutusCore.Annotation, PlutusTx.Compiler.Types
sourceNamePlutusCore.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
SpinePlutusCore.Builtin.KnownType, PlutusCore.Builtin
SpineConsPlutusCore.Builtin.KnownType, PlutusCore.Builtin
SpineLastPlutusCore.Builtin.KnownType, PlutusCore.Builtin
split 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
splitAppContextPlutusIR.Contexts
splitApplication 
1 (Function)UntypedPlutusCore.Core, UntypedPlutusCore
2 (Function)PlutusIR.Contexts
splitAtPlutusTx.List, PlutusTx.Prelude
splitFunTyPartsPlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
SplitMatchContext 
1 (Type/Class)PlutusIR.Contexts
2 (Data Constructor)PlutusIR.Contexts
splitNormalDatatypeMatchPlutusIR.Contexts
splitParamsUntypedPlutusCore.Core, UntypedPlutusCore
splitStructuralOperationalPlutusCore.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
SqrtPlutusTx.Sqrt
SrcSpan 
1 (Type/Class)PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
2 (Data Constructor)PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
srcSpanEColPlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
srcSpanELinePlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
srcSpanFilePlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
SrcSpans 
1 (Type/Class)PlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
2 (Data Constructor)PlutusCore.Annotation, PlutusTx.Compiler.Types
srcSpanSColPlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
srcSpanSLinePlutusCore.Annotation, PlutusCore, PlutusTx.Compiler.Types
stableModuleCmpPlutusTx.Compiler.Types
stableNameCmpPlutusTx.Compiler.Types
stageUntypedPlutusCore.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
StarRaw
StartingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StayedFreeVariablesPlutusCore.Check.Scoping
StayedOutOfScopeVariablesPlutusCore.Check.Scoping
Stays 
1 (Data Constructor)PlutusCore.Check.Scoping
2 (Type/Class)PlutusCore.Check.Scoping
StaysFreeVariablePlutusCore.Check.Scoping
StaysOutOfScopeVariablePlutusCore.Check.Scoping
StdInputPlutusCore.Executable.Types, PlutusCore.Executable.Common
stdInputPlutusCore.Executable.Parsers
stdLibPlutusCore.StdLib.Everything
StdOutputPlutusCore.Executable.Types, PlutusCore.Executable.Common
stdOutputPlutusCore.Executable.Parsers
StepUntypedPlutusCore.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
StepFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepKindUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
stepTypeGPlutusCore.Generators.NEAT.Term
StrictPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
strictifyBindingsPlutusIR.Transform.StrictifyBindings
strictifyBindingsPassPlutusIR.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
StrictnessPlutusIR.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
stringToBuiltinByteStringPlutusTx.Builtins.HasOpaque
stringToBuiltinByteStringHexPlutusTx.Builtins.HasOpaque
stringToBuiltinByteStringUtf8PlutusTx.Builtins.HasOpaque
stringToBuiltinStringPlutusTx.Builtins.HasOpaque
stripPrefixData.Aeson.Extra
StructuralEvaluationErrorPlutusCore.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
subPlutusCore.Generators.NEAT.Type
sub64MAlonzo.RTE
subIntMAlonzo.RTE
sublistNPlutusCore.Generators.QuickCheck.Split, PlutusCore.Generators.QuickCheck.Utils, PlutusCore.Generators.QuickCheck
substEscapePlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substNamePlutusIR.Transform.Inline.Utils
substNormalizeTypeM 
1 (Function)PlutusCore.Normalize.Internal
2 (Function)PlutusCore.TypeCheck.Internal
substTyNamePlutusIR.Transform.Inline.Utils
substTypePlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTypeCustomPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTypeCustomGoPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTypeParallelPlutusCore.Generators.QuickCheck.Substitutions, PlutusCore.Generators.QuickCheck
substTyVarPlutusCore.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
SubtractedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SubtractIntegerPlutusCore.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
succBoolBadArgumentErrorPlutusTx.ErrorCodes
succIntegerPlutusCore.StdLib.Data.Integer
succOrderingBadArgumentErrorPlutusTx.ErrorCodes
succTPlutusCore.Examples.Data.Vec
succVoidBadArgumentErrorPlutusTx.ErrorCodes
suchThatPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
suchThatMapPlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
suchThatMaybePlutusCore.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
sumCostStreamPlutusCore.Evaluation.Machine.CostStream
sumExBudgetStreamPlutusCore.Evaluation.Machine.ExBudgetStream
SumIntegerPlutusCore.Examples.Builtins
summingFunctionPlutusLedgerApi.Test.Examples
sumr 
1 (Function)PlutusCore.StdLib.Data.ScottList
2 (Function)PlutusCore.StdLib.Data.List
SumsOfProductsPlutusIR.Compiler.Types, PlutusIR.Compiler
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symbolPlutusCore.Parser.ParserCommon, PlutusCore.Parser
symbols 
1 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V1.Data.Value
symmetricDifferencePlutusCore.Check.Scoping