Indexplutus-core-1.70.0.0

S

SUntypedPlutusCore.Transform.Inline
SPlutusCore.Unroll UntypedPlutusCore.Transform.Inline
safeEncodeBitsPlutusCore.FlatInstances
SafeToDropPlutusCore.Annotation
SafeToInlinePlutusCore.Annotation
SaturatedUntypedPlutusCore.Contexts
saturatesUntypedPlutusCore.Contexts
SaturationUntypedPlutusCore.Contexts
scalarMulPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
scalarMulEPlutusCore.Crypto.BLS12_381.G1 PlutusCore.Crypto.BLS12_381.G2
ScaleValuePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
scaleValuePlutusCore.Value
ScopeCheckErrorPlutusCore.Check.Scoping
ScopeCheckErrorPlutusCore.Check.Scoping
ScopedNamePlutusCore.Check.Scoping
ScopedRenameTPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
ScopedRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
ScopedRenamingPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
scopedRenamingTermsPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
scopedRenamingTypesPlutusCore.Rename.Internal PlutusCore.Rename.Monad UntypedPlutusCore.Rename.Internal
ScopeEntryPlutusCore.Check.Scoping
ScopeErrorPlutusCore.Check.Scoping
ScopeErrorOrInfoPlutusCore.Check.Scoping
ScopeErrorOrInfoPlutusCore.Check.Scoping
ScopeInfoPlutusCore.Check.Scoping
ScopeInfoPlutusCore.Check.Scoping
ScopeTypePlutusCore.Analysis.Definitions
ScopingPlutusCore.Check.Scoping
scottConsPlutusCore.Examples.Data.Vec
scottHeadPlutusCore.Examples.Data.Vec
scottNilPlutusCore.Examples.Data.Vec
scottSumHeadsOr0PlutusCore.Examples.Data.Vec
ScottToMetaUnitPlutusCore.Examples.Builtins
scottVecPlutusCore.Examples.Data.Vec
scottVecFPlutusCore.Examples.Data.Vec
secondPlutusPrelude
selfDataPlutusCore.StdLib.Data.Function
sequPlutusCore.StdLib.Data.Unit
sequenceDocMPlutusCore.Pretty
serialisedAstSizePlutusCore.AstSize
SerialiseDataPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
SerialiseViaFlatCodec.Extras.SerialiseViaFlat
SerialiseViaFlatCodec.Extras.SerialiseViaFlat
setPlutusPrelude
setAnnPlutusCore PlutusCore.Builtin.Debug PlutusCore.Core PlutusPrelude
setOfByNamePlutusCore.Name.UniqueSet
setOfByUniquePlutusCore.Name.UniqueSet
sexpPrettyprinter.Custom
Sha2_256PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
sha2_256PlutusCore.Crypto.Hash
Sha3_256PlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
sha3_256PlutusCore.Crypto.Hash
shadPlutusCore.Examples.Data.Shad
ShiftByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
shiftByteStringPlutusCore.Bitwise
shouldInlinePlutusCore.Annotation UntypedPlutusCore UntypedPlutusCore.Transform.Inline
showPlutusCore
ShowErrorComponentPlutusCore.Error
showErrorComponentPlutusCore.Error
ShowKindsPlutusCore.Pretty
ShowKindsNoPlutusCore.Pretty
ShowKindsNonTypePlutusCore.Pretty
ShowKindsYesPlutusCore.Pretty
ShowPrettyPlutusPrelude
ShowPrettyPlutusPrelude
showTextPlutusPrelude
SingKindPlutusCore.Builtin
SingKindArrowPlutusCore.Builtin
singletonByNamePlutusCore.Name.UniqueMap
singletonNamePlutusCore.Name.UniqueSet
singletonRosePlutusCore.Evaluation.Machine.ExMemoryUsage
SingTypePlutusCore.Builtin
sizePlutusCore.Examples.Builtins
sizeProgramUntypedPlutusCore UntypedPlutusCore.Core
sizeTermUntypedPlutusCore UntypedPlutusCore.Core
SliceByteStringPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
SlippageUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
SlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
SlopePlutusCore.Evaluation.Machine.BuiltinCostModel PlutusCore.Evaluation.Machine.CostingFun.Core
slope1_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
slope2_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
slope_PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SndPairPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
sndPairPlutusCore.StdLib.Data.Pair
SolePlutusCore.Pretty
SolePlutusCore.Pretty
SomePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
SomePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
somePlutusPrelude
SomeConstantPlutusCore.Builtin PlutusCore.Builtin.Debug
SomeConstantPlutusCore.Builtin PlutusCore.Builtin.Debug
someTypePlutusCore.Builtin.Debug PlutusCore.Default Universe
SomeTypeInPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
SomeTypeInPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
someValuePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
someValueOfPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
someValueTypePlutusCore PlutusCore.Builtin.Debug PlutusCore.Default Universe
sopTypePlutusCore.Parser
sourceColumnPlutusCore.Annotation
sourceLinePlutusCore.Annotation
sourceNamePlutusCore.Annotation
SourcePosPlutusCore PlutusCore.Annotation PlutusCore.Parser UntypedPlutusCore.Parser
SourcePosPlutusCore.Annotation
SpinePlutusCore.Builtin
SpineConsPlutusCore.Builtin
SpineLastPlutusCore.Builtin
splitAppCtxUntypedPlutusCore.Contexts
splitApplicationUntypedPlutusCore UntypedPlutusCore.Core
splitFunTyPartsPlutusCore.Builtin.Debug PlutusCore.Core
splitParamsUntypedPlutusCore UntypedPlutusCore.Core
splitStructuralOperationalPlutusCore.Evaluation.Machine.Ck PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
SrcSpanPlutusCore PlutusCore.Annotation
SrcSpanPlutusCore PlutusCore.Annotation
srcSpanEColPlutusCore PlutusCore.Annotation
srcSpanELinePlutusCore PlutusCore.Annotation
srcSpanFilePlutusCore PlutusCore.Annotation
SrcSpansPlutusCore PlutusCore.Annotation
SrcSpansPlutusCore.Annotation
srcSpanSColPlutusCore PlutusCore.Annotation
srcSpanSLinePlutusCore PlutusCore.Annotation
stageUntypedPlutusCore UntypedPlutusCore.Transform.Certify.Trace UntypedPlutusCore.Transform.Optimizer
StartingUntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StayedFreeVariablesPlutusCore.Check.Scoping
StayedOutOfScopeVariablesPlutusCore.Check.Scoping
StaysPlutusCore.Check.Scoping
StaysPlutusCore.Check.Scoping
StaysFreeVariablePlutusCore.Check.Scoping
StaysOutOfScopeVariablePlutusCore.Check.Scoping
stdLibPlutusCore.StdLib.Everything
StepUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepCounterUntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StepCounterUntypedPlutusCore.Evaluation.Machine.Cek.StepCounter
StepFUntypedPlutusCore.Evaluation.Machine.SteppableCek.DebugDriver
StepKindUntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
StructuralErrorPlutusCore.Builtin PlutusCore.Evaluation.Error PlutusCore.Evaluation.Machine.Exception UntypedPlutusCore.Evaluation.Machine.Cek UntypedPlutusCore.Evaluation.Machine.Cek.Internal UntypedPlutusCore.Evaluation.Machine.SteppableCek UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal
structuralUnliftingErrorPlutusCore.Builtin
SubstUntypedPlutusCore.Transform.Inline
SubstUntypedPlutusCore.Transform.Inline
substConstantPlutusCore.Subst UntypedPlutusCore
substConstantAPlutusCore.Subst UntypedPlutusCore
substNormalizeTypeMPlutusCore.Normalize.Internal PlutusCore.TypeCheck.Internal
substTyVarPlutusCore.Subst
substTyVarAPlutusCore.Subst
substVarPlutusCore.Subst UntypedPlutusCore
substVarAPlutusCore.Subst UntypedPlutusCore
SubtractedSizesPlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
SubtractIntegerPlutusCore PlutusCore.Builtin.Debug PlutusCore.Default PlutusCore.Default.Builtins
succPlutusCore.StdLib.Data.Nat
succIntegerPlutusCore.StdLib.Data.Integer
succTPlutusCore.Examples.Data.Vec
sumPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList PlutusCore.StdLib.Data.Sum
sumCostStreamPlutusCore.Evaluation.Machine.CostStream
sumExBudgetStreamPlutusCore.Evaluation.Machine.ExBudgetStream
SumIntegerPlutusCore.Examples.Builtins
sumrPlutusCore.StdLib.Data.List PlutusCore.StdLib.Data.ScottList
SwapPlutusCore.Examples.Builtins
SwapElsPlutusCore.Examples.Builtins
symbolPlutusCore.Parser
symmetricDifferencePlutusCore.Check.Scoping