S
|
PlutusCore.Builtin
|
safeEncodeBits
|
PlutusCore.Flat
|
safeFreshName
|
PlutusIR.Compiler.Names
|
safeFreshTyName
|
PlutusIR.Compiler.Names
|
SatInt
|
Data.SatInt
|
ScopedName
|
PlutusCore.Check.Scoping
|
ScopedRenameT
|
PlutusCore.Rename.Monad
, PlutusCore.Rename.Internal
|
ScopedRenaming
|
|
1 (Type/Class)
|
PlutusCore.Rename.Monad
, PlutusCore.Rename.Internal
|
2 (Data Constructor)
|
PlutusCore.Rename.Monad
, PlutusCore.Rename.Internal
|
scopedRenamingTerms
|
PlutusCore.Rename.Monad
, PlutusCore.Rename.Internal
|
scopedRenamingTypes
|
PlutusCore.Rename.Monad
, PlutusCore.Rename.Internal
|
ScopeEntry
|
PlutusCore.Check.Scoping
|
ScopeError
|
PlutusCore.Check.Scoping
|
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
|
Scoping
|
PlutusCore.Check.Scoping
|
scottCons
|
PlutusCore.Examples.Data.Vec
|
scottHead
|
PlutusCore.Examples.Data.Vec
|
scottNil
|
PlutusCore.Examples.Data.Vec
|
scottSumHeadsOr0
|
PlutusCore.Examples.Data.Vec
|
scottVec
|
PlutusCore.Examples.Data.Vec
|
scottVecF
|
PlutusCore.Examples.Data.Vec
|
second
|
PlutusPrelude
|
selfData
|
PlutusCore.StdLib.Data.Function
|
sequ
|
PlutusCore.StdLib.Data.Unit
|
SerialiseData
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
serialisedSize
|
|
1 (Function)
|
PlutusCore
|
2 (Function)
|
UntypedPlutusCore
|
set
|
PlutusPrelude
|
sexp
|
Prettyprinter.Custom
|
Sha2_256
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
sha2_256
|
Data.ByteString.Hash
|
Sha3_256
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
sha3_256
|
Data.ByteString.Hash
|
shad
|
PlutusCore.Examples.Data.Shad
|
shouldInline
|
PlutusIR.Transform.Inline
,
UntypedPlutusCore
|
show
|
PlutusCore
|
ShowErrorComponent
|
PlutusCore.Error
|
showErrorComponent
|
PlutusCore.Error
|
ShowKinds
|
PlutusCore.Pretty
|
ShowKindsNo
|
PlutusCore.Pretty
|
ShowKindsYes
|
PlutusCore.Pretty
|
ShowPretty
|
|
1 (Type/Class)
|
PlutusPrelude
|
2 (Data Constructor)
|
PlutusPrelude
|
showText
|
PlutusPrelude
|
SimplifyOpts
|
|
1 (Type/Class)
|
UntypedPlutusCore
|
2 (Data Constructor)
|
UntypedPlutusCore
|
simplifyProgram
|
UntypedPlutusCore
|
simplifyTerm
|
UntypedPlutusCore
|
SingKind
|
PlutusCore.Builtin
|
SingKindArrow
|
PlutusCore.Builtin
|
SingType
|
PlutusCore.Builtin
|
Size
|
|
1 (Type/Class)
|
PlutusIR.Analysis.RetainedSize
|
2 (Data Constructor)
|
PlutusIR.Analysis.RetainedSize
|
size
|
PlutusCore.Examples.Builtins
|
sizeTerm
|
UntypedPlutusCore.Core
, UntypedPlutusCore
|
SliceByteString
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
SndPair
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
sndPair
|
PlutusCore.StdLib.Data.Pair
|
soInlineHints
|
UntypedPlutusCore
|
soMaxSimplifierIterations
|
UntypedPlutusCore
|
Some
|
|
1 (Data Constructor)
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
2 (Type/Class)
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
some
|
PlutusPrelude
|
SomeConstant
|
|
1 (Type/Class)
|
PlutusCore.Builtin
,
PlutusCore.Builtin.Debug
|
2 (Data Constructor)
|
PlutusCore.Builtin
,
PlutusCore.Builtin.Debug
|
SomeTypeIn
|
|
1 (Type/Class)
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
2 (Data Constructor)
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
someValue
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
someValueOf
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
someValueType
|
Universe
, PlutusCore.Default, PlutusCore.Builtin.Debug,
PlutusCore
|
SourcePos
|
PlutusCore
,
PlutusIR.Parser
,
UntypedPlutusCore.Parser
|
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
|
stdLib
|
PlutusCore.StdLib.Everything
|
StepKind
|
UntypedPlutusCore.Evaluation.Machine.Cek.Internal
,
UntypedPlutusCore.Evaluation.Machine.Cek
|
Strict
|
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
|
Strictness
|
PlutusIR.Core.Type
, PlutusIR.Core,
PlutusIR
|
substNormalizeTypeM
|
PlutusCore.Normalize.Internal
|
substTyVar
|
PlutusCore.Subst
,
PlutusIR.Transform.Substitute
|
substTyVarA
|
PlutusCore.Subst
|
substVar
|
|
1 (Function)
|
PlutusCore.Subst
|
2 (Function)
|
PlutusIR.Transform.Substitute
|
3 (Function)
|
UntypedPlutusCore
|
substVarA
|
|
1 (Function)
|
PlutusCore.Subst
|
2 (Function)
|
UntypedPlutusCore
|
SubtractInteger
|
PlutusCore.Default
, PlutusCore.Builtin.Debug,
PlutusCore
|
succ
|
PlutusCore.StdLib.Data.Nat
|
succInteger
|
PlutusCore.StdLib.Data.Integer
|
succT
|
PlutusCore.Examples.Data.Vec
|
sum
|
|
1 (Function)
|
PlutusCore.StdLib.Data.Sum
|
2 (Function)
|
PlutusCore.StdLib.Data.ScottList
|
3 (Function)
|
PlutusCore.StdLib.Data.List
|
SumInteger
|
PlutusCore.Examples.Builtins
|
sumr
|
|
1 (Function)
|
PlutusCore.StdLib.Data.ScottList
|
2 (Function)
|
PlutusCore.StdLib.Data.List
|
Swap
|
PlutusCore.Examples.Builtins
|
SwapEls
|
PlutusCore.Examples.Builtins
|
symmetricDifference
|
PlutusCore.Check.Scoping
|