Combined Plutus 1.36.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
SAnnPopText.Pretty
SAnnPushText.Pretty
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.Data.Value, PlutusTx.Numeric, PlutusTx.Prelude
scaledListOfPlutusIR.Generators.QuickCheck.GenerateTerms, PlutusIR.Generators.QuickCheck
SCharText.Pretty
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.Contexts, PlutusLedgerApi.V1
2 (Data Constructor)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
3 (Type/Class)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
4 (Data Constructor)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
5 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
6 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
7 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
8 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
9 (Type/Class)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
10 (Data Constructor)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
11 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
12 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
scriptContextPurpose 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
4 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
scriptContextRedeemer 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
scriptContextScriptInfo 
1 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
scriptContextTxInfo 
1 (Function)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
2 (Function)PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V2
3 (Function)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
4 (Function)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.Data.V1
5 (Function)PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V2
6 (Function)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ScriptCredentialPlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ScriptDecodeErrorPlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ScriptErrorPlutusLedgerApi.V1.Scripts
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
scriptHashAddressPlutusLedgerApi.V1.Address
ScriptInfo 
1 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
ScriptNamedDeBruijn 
1 (Type/Class)PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common
2 (Data Constructor)PlutusLedgerApi.Common.SerialisedScript, PlutusLedgerApi.Common
ScriptPurpose 
1 (Type/Class)PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
2 (Type/Class)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Type/Class)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
4 (Type/Class)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.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
semiText.Pretty
SemigroupPlutusTx.Semigroup, PlutusTx.Prelude
SemiringPlutusTx.Numeric, PlutusTx.Prelude
SEmptyText.Pretty
sepText.Pretty
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, Text.PrettyBy.Fixity
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
SFailText.Pretty
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
ShallowText.Pretty
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
SimpleDocStreamText.Pretty
simplePassPlutusIR.Pass
simpleRecursivePlutusCore.Generators.Hedgehog.AST, PlutusIR.Generators.AST
simplifierPlutusIR.Compiler
SimplifyOpts 
1 (Type/Class)UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
2 (Data Constructor)UntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyProgramUntypedPlutusCore.Simplify, UntypedPlutusCore
simplifyTermUntypedPlutusCore.Simplify, UntypedPlutusCore
SingKindPlutusCore.Builtin.KnownKind, PlutusCore.Builtin
SingKindArrowPlutusCore.Builtin.KnownKind, PlutusCore.Builtin
singleton 
1 (Function)PlutusLedgerApi.V1.Interval
2 (Function)PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Function)PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
4 (Function)PlutusTx.Data.AssocMap
5 (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
slashText.Pretty
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
SLineText.Pretty
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
softlineText.Pretty
softline'Text.Pretty
soInlineConstantsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
soInlineHintsUntypedPlutusCore.Simplify.Opts, UntypedPlutusCore.Simplify, UntypedPlutusCore
Sole 
1 (Type/Class)PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity
2 (Data Constructor)PlutusCore.Pretty.Readable, PlutusCore.Pretty, Text.PrettyBy.Fixity
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
spaceText.Pretty
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.Contexts, PlutusLedgerApi.V2.Contexts, PlutusLedgerApi.V1, PlutusLedgerApi.V2
2 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
3 (Data Constructor)PlutusLedgerApi.V1.Data.Contexts, PlutusLedgerApi.V2.Data.Contexts, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2
4 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
SpendingScript 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
spendsOutput 
1 (Function)PlutusLedgerApi.V1.Contexts
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
split 
1 (Function)PlutusLedgerApi.V1.Value
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
squoteText.Pretty
squotesText.Pretty
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
StakePoolVoter 
1 (Data Constructor)PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
2 (Data Constructor)PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
StakingCredentialPlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
stakingCredentialPlutusLedgerApi.V1.Address
StakingHashPlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
StakingPtrPlutusLedgerApi.V1.Credential, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
StarRaw
StarsOfHeadText.PrettyBy.Internal
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
STextText.Pretty
StrictPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
strictifyBindingsPlutusIR.Transform.StrictifyBindings
strictifyBindingsPassPlutusIR.Transform.StrictifyBindings
strictLowerBoundPlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
StrictnessPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
strictUpperBoundPlutusLedgerApi.V1.Interval, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
stringToBuiltinByteStringPlutusTx.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
surroundText.Pretty
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symbolPlutusCore.Parser.ParserCommon, PlutusCore.Parser
symbols 
1 (Function)PlutusLedgerApi.V1.Value
2 (Function)PlutusLedgerApi.V1.Data.Value
symmetricDifferencePlutusCore.Check.Scoping