cardano-ledger

Index - S

S 
1 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Metadata, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils
safeDeterministicKeyGenCardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
SafeHashCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
safeHashTestTest.Cardano.Ledger.Shelley.SafeHash
safeKeyGenCardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
safeSignCardano.Crypto.Signing, Cardano.Crypto
SafeSigner 
1 (Type/Class)Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
2 (Data Constructor)Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
safeSignRawCardano.Crypto.Signing, Cardano.Crypto
SafeToHashCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
safeToVerificationCardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
sameDomainControl.Iterate.SetAlgebra
SameKeyTest.Cardano.Ledger.TerseTools
sampleTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
sample'Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
sampleMaxTraceSizeTest.Control.State.Transition.Generator
saPtrsCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sasBalanceCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sasDepositCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sasPtrCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sasStakePoolDelegationCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
saStatesCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sbbHashCardano.Ledger.Shelley.BlockBody.Internal
sbbTxsCardano.Ledger.Shelley.BlockBody.Internal
sbbTxsAuxDataBytesCardano.Ledger.Shelley.BlockBody.Internal
sbbTxsBodyBytesCardano.Ledger.Shelley.BlockBody.Internal
sbbTxsWitsBytesCardano.Ledger.Shelley.BlockBody.Internal
scale 
1 (Function)Cardano.Ledger.Val
2 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
scaledMinDepositCardano.Ledger.Mary.TxOut
scaleExpCardano.Ledger.NonIntegral
scaleLovelaceCardano.Chain.Common
scaleLovelaceRationalCardano.Chain.Common
scaleLovelaceRationalUpCardano.Chain.Common
scDepositsCardano.Ledger.UMap
scDRepsCardano.Ledger.UMap
scenarioScaledTest.Options
scenarioScaleDefaultTest.Options
scfgTest.Cardano.Ledger.Binary.Vintage.Helpers
scheduleCertificateCardano.Chain.Delegation.Validation.Scheduling
ScheduledDelegation 
1 (Type/Class)Cardano.Chain.Delegation.Validation.Scheduling
2 (Data Constructor)Cardano.Chain.Delegation.Validation.Scheduling
scheduledDelegations 
1 (Function)Byron.Spec.Ledger.Delegation
2 (Function)Cardano.Chain.Delegation.Validation.Scheduling
schedulingStateCardano.Chain.Delegation.Validation.Interface
scPtrsCardano.Ledger.UMap
scPtrsInverseCardano.Ledger.UMap
scRewardsCardano.Ledger.UMap
ScriptCardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraBuffet
ScriptAllegraToMaryTest.Cardano.Ledger.Generic.Proof
ScriptAlonzoToConwayTest.Cardano.Ledger.Generic.Proof
scriptAlonzoTxWitsLCardano.Ledger.Alonzo.TxWits
ScriptClassTest.Cardano.Ledger.Shelley.Generator.ScriptClass
ScriptCredTest.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation
scriptFailCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
ScriptFailure 
1 (Type/Class)Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
2 (Data Constructor)Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptFailureMessageCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptFailurePlutusCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptFailureToFailureDescriptionCardano.Ledger.Alonzo.Rules
ScriptHash 
1 (Type/Class)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ScriptHashObjCardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ScriptInfoTest.Cardano.Ledger.Shelley.Generator.Core
ScriptIntegrity 
1 (Type/Class)Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx
2 (Data Constructor)Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx
ScriptIntegrityHashCardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
scriptIntegrityHash' 
1 (Function)Cardano.Ledger.Alonzo.TxBody
2 (Function)Cardano.Ledger.Babbage.TxBody
ScriptIntegrityHashMismatch 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Babbage.Rules
3 (Data Constructor)Cardano.Ledger.Conway.Rules
scriptIntegrityHashTxBodyLCardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
scriptKeyCombinationTest.Cardano.Ledger.Shelley.Generator.ScriptClass
scriptKeyCombinationsTest.Cardano.Ledger.Shelley.Generator.ScriptClass
scriptPassCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptPrefixTagCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
scriptPurposeToScriptInfoCardano.Ledger.Conway.TxInfo
ScriptResultCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptsCardano.Ledger.State.UTxO
ScriptShelleyToShelleyTest.Cardano.Ledger.Generic.Proof
scriptShelleyTxWitsLCardano.Ledger.Shelley.TxWits
ScriptsNeededCardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.UTxO, Cardano.Ledger.Babbage.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.UTxO
scriptsNeeded'Test.Cardano.Ledger.Generic.Functions
ScriptsNotPaidUTxO 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
ScriptSpace 
1 (Type/Class)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Data Constructor)Test.Cardano.Ledger.Shelley.Generator.Core
scriptSpaceTest.Cardano.Ledger.Shelley.Generator.Presets
ScriptsProvided 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
ScriptTestContext 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
2 (Data Constructor)Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus
scriptTestContextsTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
scriptTxWitsLCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
scriptVersionByron.Spec.Ledger.Update
ScriptVersionTooLargeByron.Spec.Ledger.Update
ScriptVersionTooSmallByron.Spec.Ledger.Update
ScriptWitTest.Cardano.Ledger.Generic.Proof
ScriptWitnessNotValidatingUTXOW 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
scriptWitsCardano.Ledger.Shelley.TxWits
scriptWitsNeeded'Test.Cardano.Ledger.Generic.Functions
script_all 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
script_any 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
script_data_hash 
1 (Function)Test.Cardano.Ledger.Alonzo.CDDL
2 (Function)Test.Cardano.Ledger.Babbage.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL
4 (Function)Test.Cardano.Ledger.Dijkstra.CDDL
script_hashTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
script_n_of_k 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
script_pubkey 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
scSPoolsCardano.Ledger.UMap
sdDelegateCardano.Chain.Delegation.Validation.Scheduling
sdDelegatorCardano.Chain.Delegation.Validation.Scheduling
SDELEGByron.Spec.Ledger.Delegation
SDELEGFailureByron.Spec.Ledger.Delegation
SDelegFailureByron.Spec.Ledger.Delegation
SdelegPredicateFailureByron.Spec.Ledger.Delegation
SDELEGSByron.Spec.Ledger.Delegation
SDelegSFailureByron.Spec.Ledger.Delegation
SdelegsPredicateFailureByron.Spec.Ledger.Delegation
sdSlotCardano.Chain.Delegation.Validation.Scheduling
secondControl.Iterate.Exp
secondsToNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SecureRandom 
1 (Type/Class)Cardano.Crypto.Random, Cardano.Crypto
2 (Data Constructor)Cardano.Crypto.Random, Cardano.Crypto
SecurityGroupCardano.Ledger.Conway.PParams
securityParameterCardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Seed 
1 (Type/Class)Cardano.Ledger.BaseTypes
2 (Data Constructor)Cardano.Ledger.BaseTypes
seedEtaCardano.Protocol.TPraos.BHeader
seedFromByteTest.Cardano.Ledger.Shelley.Examples
seedFromWordsTest.Cardano.Ledger.Shelley.Examples
seedLCardano.Protocol.TPraos.BHeader
SelectCases 
1 (Data Constructor)Cardano.Ledger.Binary.Plain
2 (Data Constructor)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
selectMapCardano.Ledger.State.Query
SelectorTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
selectVMapCardano.Ledger.State.Query
selfDelegationsRatioByron.Spec.Ledger.Delegation
semigroupLawsTest.Common
semigroupMonoidLawsTest.Common
sendCoinToTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
sendCoinTo_Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
SendToOppositePotMIRCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sendValueToTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
sendValueTo_Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
sEpochByron.Spec.Chain.STS.Rule.Epoch
sequentialTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
sequentialTestGroupTest.Common
serialiseAddrCardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address
serialiseRewardAccountCardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address
serialize 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
serialize' 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
serializeAsHexTextCardano.Ledger.Binary.Plain
serializeBuilder 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
serializeCborHashCardano.Crypto.Hashing, Cardano.Crypto
serializeEncodingCardano.Ledger.Binary.Plain
serializeEncoding'Cardano.Ledger.Binary.Plain
set 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
3 (Function)Test.Cardano.Ledger.Shelley.Generator.EraGen
setAlgTestTest.Control.Iterate.SetAlgebra
setCollateralInputsTest.Cardano.Ledger.Generic.GenState
setCollateralReturnTest.Cardano.Ledger.Generic.GenState
setCompleteDRepPulsingStateCardano.Ledger.Conway.Governance
setCurrentProposalsTest.Cardano.Ledger.Shelley.Examples.Combinators
setDecodeACardano.Ledger.Binary.Coders
SetDiffControl.Iterate.Exp
setdiffControl.Iterate.Exp, Control.SetAlgebra
setFreshDRepPulsingStateCardano.Ledger.Conway.Governance
setFutureGenDelegTest.Cardano.Ledger.Shelley.Examples.Combinators
setFutureProposalsTest.Cardano.Ledger.Shelley.Examples.Combinators
setMapMaybeTest.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway
setMinCoinSizedTxOutCardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
setMinCoinTxOutCardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Tools
setMinCoinTxOutWithCardano.Ledger.Tools
setMinFeeTxCardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Tools
setMinFeeTxUtxoCardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Tools
setNetworkIdTxBodyTest.Cardano.Ledger.Generic.GenState
setOCertCounterTest.Cardano.Ledger.Shelley.Examples.Combinators
setPoolDistrTest.Cardano.Ledger.Shelley.Examples.Combinators
setPParamsTest.Cardano.Ledger.Shelley.Examples.Combinators
setPrevPParamsTest.Cardano.Ledger.Shelley.Examples.Combinators
SetRControl.Iterate.BaseTypes, Control.SetAlgebra
setReferenceInputsTest.Cardano.Ledger.Generic.GenState
SetsTest.Cardano.Ledger.Shelley.Generator.EraGen
setScriptIntegrityHashTest.Cardano.Ledger.Generic.GenState
SetSingleControl.Iterate.BaseTypes, Control.SetAlgebra
SetSingletonControl.Iterate.Exp
setSingletonControl.Iterate.Exp, Control.SetAlgebra
Sett 
1 (Type/Class)Control.Iterate.BaseTypes
2 (Data Constructor)Control.Iterate.BaseTypes
setTagCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
setTotalCollateralTest.Cardano.Ledger.Generic.GenState
setupDRepWithoutStakeTest.Cardano.Ledger.Conway.ImpTest
setupPoolWithoutStakeTest.Cardano.Ledger.Conway.ImpTest
setupPoolWithStakeTest.Cardano.Ledger.Conway.ImpTest
setupSingleDRepTest.Cardano.Ledger.Conway.ImpTest
setValidityTest.Cardano.Ledger.Generic.GenState
sfor_Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
sgActiveSlotCoeffCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgActiveSlotsCoeffCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgEpochLengthCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgGenDelegsCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgInitialFundsCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgInitialFundsLCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgMaxKESEvolutionsCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgMaxLovelaceSupplyCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgNetworkIdCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgNetworkMagicCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgProtocolParamsCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsCurPParamsCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsCurProposalsCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSecurityParamCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsFuturePParamsCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsFutureProposalsCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSlotLengthCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSlotsPerKESPeriodCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsPoolsCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsPrevPParamsCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsStakeCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgStakingCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgStakingLCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSystemStartCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgUpdateQuorumCardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShapeData.Universe
shapeData.Universe
ShapedData.Universe
ShareCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.Binary
sharedSeedLengthCardano.Chain.Constants
Shelley 
1 (Type/Class)Cardano.Ledger.Shelley
2 (Data Constructor)Test.Cardano.Ledger.Generic.Proof
ShelleyAccounts 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
shelleyAccountsFromAccountsMapTest.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Dijkstra.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era
ShelleyAccountState 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
shelleyAccountsToUMapTest.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Dijkstra.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era
shelleyAddAccountStateCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
ShelleyBaseCardano.Ledger.BaseTypes
ShelleyBBODYCardano.Ledger.Shelley.Rules
ShelleyBbodyEventCardano.Ledger.Shelley.Rules
ShelleyBbodyPredFailureCardano.Ledger.Shelley.Rules
ShelleyBbodyStateCardano.Ledger.Shelley.Rules
ShelleyBlockBody 
1 (Type/Class)Cardano.Ledger.Shelley.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
shelleyBlockBodyHashCardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyBlockBodyInternalCardano.Ledger.Shelley.BlockBody.Internal
shelleyBlockBodyTxsCardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
shelleyCDDLTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
shelleyCertDStateCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
shelleyCertDStateLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
shelleyCertPStateCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
shelleyCertPStateLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
ShelleyCertState 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
shelleyCertStateSpecTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
shelleyCertsTotalDepositsTxBodyCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
shelleyCertsTotalRefundsTxBodyCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
shelleyConsumedCardano.Ledger.Shelley.UTxO
ShelleyDELEGCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelegCert 
1 (Type/Class)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
shelleyDelegCertSpecTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
ShelleyDelegEventCardano.Ledger.Shelley.Rules
ShelleyDelegPredFailureCardano.Ledger.Shelley.Rules
ShelleyDELEGSCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelegsEventCardano.Ledger.Shelley.Rules
ShelleyDelegsPredFailureCardano.Ledger.Shelley.Rules
ShelleyDELPLCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelplEventCardano.Ledger.Shelley.Rules
ShelleyDelplPredFailureCardano.Ledger.Shelley.Rules
ShelleyEPOCHCardano.Ledger.Shelley.Rules
ShelleyEpochEventCardano.Ledger.Shelley.Rules
ShelleyEpochPredFailureCardano.Ledger.Shelley.Rules
shelleyEqTxWitsRawCardano.Ledger.Shelley.TxWits
ShelleyEraCardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Internal.Definition.Era, Cardano.Ledger.Internal.Era, Cardano.Ledger.Shelley, Test.Cardano.Ledger.EraBuffet, Test.Cardano.Ledger.Generic.Proof
ShelleyEraAccountsCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
ShelleyEraImpTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ShelleyEraScriptCardano.Ledger.Shelley.Scripts
ShelleyEraTestTest.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Dijkstra.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era
ShelleyEraTxBodyCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
ShelleyEraTxCertCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core
shelleyFixupTxTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
ShelleyGenesis 
1 (Type/Class)Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyGenesisStaking 
1 (Type/Class)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyGovState 
1 (Type/Class)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyInAlonzoBbodyPredFailureCardano.Ledger.Alonzo.Rules
ShelleyInAlonzoEventCardano.Ledger.Alonzo.Rules
ShelleyInAlonzoUtxowPredFailureCardano.Ledger.Alonzo.Rules
ShelleyInstantStake 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
shelleyInstantStakeCredentialsLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
ShelleyLEDGERCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
shelleyLedgerAssertionsCardano.Ledger.Shelley.Rules
ShelleyLedgerEventCardano.Ledger.Shelley.Rules
ShelleyLedgerPredFailureCardano.Ledger.Shelley.Rules
ShelleyLEDGERSCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyLedgersEnvCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyLedgersEventCardano.Ledger.Shelley.Rules
ShelleyLedgersPredFailureCardano.Ledger.Shelley.Rules
shelleyMinFeeTxCardano.Ledger.Shelley.Tx
ShelleyMIRCardano.Ledger.Shelley.Rules
ShelleyMirEventCardano.Ledger.Shelley.Rules
ShelleyMirPredFailureCardano.Ledger.Shelley.Rules
ShelleyNEWEPOCHCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyNewEpochEventCardano.Ledger.Shelley.Rules
ShelleyNewEpochPredFailureCardano.Ledger.Shelley.Rules
ShelleyNEWPPCardano.Ledger.Shelley.Rules
ShelleyNewppStateCardano.Ledger.Shelley.Rules
shelleyObligationCertStateCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
ShelleyPOOLCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPoolPredFailureCardano.Ledger.Shelley.Rules
ShelleyPOOLREAPCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPoolreapEventCardano.Ledger.Shelley.Rules
ShelleyPoolreapPredFailureCardano.Ledger.Shelley.Rules
ShelleyPoolreapStateCardano.Ledger.Shelley.Rules
ShelleyPParams 
1 (Type/Class)Cardano.Ledger.Shelley.PParams
2 (Data Constructor)Cardano.Ledger.Shelley.PParams
shelleyPParamsCardano.Ledger.Shelley.PParams
ShelleyPPUPCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPpupPredFailureCardano.Ledger.Shelley.Rules
shelleyProducedValueCardano.Ledger.Shelley.UTxO
shelleyProtVerCardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes
ShelleyRegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
shelleyRegisterInitialAccountsCardano.Ledger.Shelley.Transition
shelleyRegisterInitialFundsThenStakingCardano.Ledger.Shelley.Transition
ShelleyRUPDCardano.Ledger.Shelley.Rules
ShelleyRupdPredFailureCardano.Ledger.Shelley.Rules
ShelleyScriptsNeeded 
1 (Type/Class)Cardano.Ledger.Shelley.UTxO
2 (Data Constructor)Cardano.Ledger.Shelley.UTxO
ShelleySNAPCardano.Ledger.Shelley.Rules
ShelleySnapPredFailureCardano.Ledger.Shelley.Rules
ShelleyTICKCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTickEventCardano.Ledger.Shelley.Rules
ShelleyTICKFCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTickfPredFailureCardano.Ledger.Shelley.Rules
ShelleyTickPredFailureCardano.Ledger.Shelley.Rules
shelleyToAllegraAVVMsToDeleteCardano.Ledger.Allegra.Translation
shelleyToAllegraUtxoPredFailureCardano.Ledger.Allegra.Rules
shelleyToConwayBbodyPredFailureCardano.Ledger.Conway.Rules
shelleyToConwayUtxowPredFailureCardano.Ledger.Conway.Rules
shelleyTotalDepositsTxCertsCardano.Ledger.Shelley.TxCert
shelleyTotalRefundsTxCertsCardano.Ledger.Shelley.TxCert
ShelleyTransitionConfigCardano.Ledger.Allegra.Transition, Cardano.Ledger.Alonzo.Transition, Cardano.Ledger.Babbage.Transition, Cardano.Ledger.Conway.Transition, Cardano.Ledger.Dijkstra.Transition, Cardano.Ledger.Mary.Transition, Cardano.Ledger.Shelley.Transition
ShelleyTx 
1 (Type/Class)Cardano.Ledger.Mary, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxAuxData 
1 (Type/Class)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxAuxDataRaw 
1 (Type/Class)Cardano.Ledger.Shelley.TxAuxData
2 (Data Constructor)Cardano.Ledger.Shelley.TxAuxData
ShelleyTxBodyCardano.Ledger.Mary, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
ShelleyTxBodyRaw 
1 (Type/Class)Cardano.Ledger.Shelley.TxBody
2 (Data Constructor)Cardano.Ledger.Shelley.TxBody
ShelleyTxBodyTypesTest.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
ShelleyTxCertCardano.Ledger.Shelley.TxCert
ShelleyTxCertDelegCertCardano.Ledger.Shelley.TxCert
shelleyTxCertDelegDecoderCardano.Ledger.Shelley.TxCert
ShelleyTxCertGenesisDelegCardano.Ledger.Shelley.TxCert
shelleyTxCertKeyTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
ShelleyTxCertMirCardano.Ledger.Shelley.TxCert
ShelleyTxCertPoolCardano.Ledger.Shelley.TxCert
shelleyTxCertSpecTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
shelleyTxEqRawCardano.Ledger.Shelley.Tx
ShelleyTxOut 
1 (Type/Class)Cardano.Ledger.Mary, Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxSeq 
1 (Type/Class)Cardano.Ledger.Shelley.BlockChain
2 (Data Constructor)Cardano.Ledger.Shelley.BlockChain
ShelleyTxWits 
1 (Type/Class)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.TxWits
ShelleyTxWitsRaw 
1 (Type/Class)Cardano.Ledger.Shelley.TxWits
2 (Data Constructor)Cardano.Ledger.Shelley.TxWits
ShelleyUnRegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyUPECCardano.Ledger.Shelley.Rules
ShelleyUpecPredFailureCardano.Ledger.Shelley.Rules
ShelleyUTXOCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyUtxoPredFailureCardano.Ledger.Shelley.Rules
ShelleyUTXOWCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyUtxowEventCardano.Ledger.Shelley.Rules
ShelleyUtxowPredFailureCardano.Ledger.Shelley.Rules
shelleyWitUnivTest.Cardano.Ledger.Constrained.Conway.WitnessUniverse
shelley_auxiliary_dataTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
shelley_ma_auxiliary_dataTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
shelley_transaction_output 
1 (Function)Test.Cardano.Ledger.Babbage.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
shortChainTraceTest.Cardano.Ledger.Shelley.Rules.TestChain
shortenCardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes
shortHashFCardano.Crypto.Hashing, Cardano.Crypto
shortToLazyCardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes
shortTxOutTest.Cardano.Ledger.Generic.Trace
shortVerificationKeyHexFCardano.Crypto.Signing, Cardano.Crypto
shortVoteFCardano.Chain.Update.Vote, Cardano.Chain.Update
ShouldAssertNFTest.Options
shouldBe 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeExpr 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeLeft 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeLeftExpr 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeRight 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeRightExpr 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldContain 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldContainExprTest.Cardano.Ledger.Imp.Common
shouldEndWith 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
ShouldGenDelegationByron.Spec.Chain.STS.Rule.Chain
ShouldGenUpdateByron.Spec.Chain.STS.Rule.Chain
ShouldGenUTxOByron.Spec.Chain.STS.Rule.Chain
shouldMatchList 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldNotBe 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldNotContain 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldNotReturn 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldNotSatisfy 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldReturn 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldSatisfy 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldSatisfyExprTest.Cardano.Ledger.Imp.Common
shouldStartWith 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldThrow 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
showConwayTxBalanceTest.Cardano.Ledger.Conway.ImpTest
showCredCardano.Ledger.Shelley.Rules.Reports
showDecoderErrorCardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
showEControl.Iterate.Exp
showExprTest.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff
showFailedTermsWithReSerializationTest.Cardano.Ledger.Binary.Plain.RoundTrip
showGovActionTypeCardano.Ledger.Conway.Governance
showHexBytesGroupedTest.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff
showIRCardano.Ledger.Shelley.Rules.Reports
showKeyHashCardano.Ledger.Shelley.Rules.Reports
showLControl.Iterate.Exp
showLawsTest.Common
showListyCardano.Ledger.Shelley.Rules.Reports
showMapCardano.Ledger.Shelley.Rules.Reports
showMaybeDecoderErrorTest.Cardano.Ledger.Binary.Plain.RoundTrip
showMemoCardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes
showOpaqueErrorStringTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
showPControl.Iterate.Exp
showReadLawsTest.Common
showSafeHashCardano.Ledger.Shelley.Rules.Reports
showTimelockCardano.Ledger.Allegra.Scripts
showTxCertsCardano.Ledger.Shelley.Rules.Reports
showValueCardano.Ledger.Mary.Value
showWithdrawalCardano.Ledger.Shelley.Rules.Reports
shrinkTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrink1Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
Shrink2 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrink2Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkBoundedEnumTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkDecimalTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
Shrinking 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkingTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkInitTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkIntegralTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkLeftPreservingByron.Spec.Ledger.UTxO.Generators
shrinkListTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkMapTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkMapByTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkNothingTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkOnePreservingByron.Spec.Ledger.UTxO.Generators
shrinkRealFracTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkRightByron.Spec.Ledger.UTxO.Generators
shrinkSignalTest.Control.State.Transition.Trace.Generator.QuickCheck
ShrinkStateTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkStateTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
shrinkTraceTest.Control.State.Transition.Trace.Generator.QuickCheck
shuffleTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
ShuffledGovActionStates 
1 (Type/Class)Test.Cardano.Ledger.Conway.Arbitrary
2 (Data Constructor)Test.Cardano.Ledger.Conway.Arbitrary
Sig 
1 (Type/Class)Byron.Spec.Ledger.Core
2 (Data Constructor)Byron.Spec.Ledger.Core
SIGCNTByron.Spec.Chain.STS.Rule.SigCnt
SigcntPredicateFailureByron.Spec.Chain.STS.Rule.SigCnt
sigCntTByron.Spec.Chain.STS.Rule.SigCnt
SigCountFailureByron.Spec.Chain.STS.Rule.Pbft
sigGen 
1 (Function)Test.Control.State.Transition.Trace.Generator.QuickCheck
2 (Function)Test.Control.State.Transition.Generator
sigGenChainByron.Spec.Chain.STS.Rule.Chain
sigmaAPCardano.Ledger.Shelley.RewardProvenance
sigmaPCardano.Ledger.Shelley.RewardProvenance
sign 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Cardano.Crypto.Signing, Cardano.Crypto
Signal 
1 (Type/Class)Cardano.Chain.Update.Validation.Interface
2 (Data Constructor)Cardano.Chain.Update.Validation.Interface
3 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
signal 
1 (Function)Test.Control.State.Transition.Trace
2 (Function)Test.Control.State.Transition.Invalid.Trace
SignalGeneratorTest.Control.State.Transition.Generator
signalSpecTest.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance
Signature 
1 (Type/Class)Cardano.Crypto.Signing, Cardano.Crypto
2 (Data Constructor)Cardano.Crypto.Signing, Cardano.Crypto
signature 
1 (Function)Byron.Spec.Ledger.Delegation
2 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
3 (Function)Cardano.Chain.Delegation
4 (Function)Cardano.Chain.Update.Vote, Cardano.Chain.Update
5 (Function)Cardano.Chain.Block
signatureDataByron.Spec.Ledger.Core.Omniscient
signatureForProposalCardano.Chain.Update.Proposal, Cardano.Chain.Update
signatureForVoteCardano.Chain.Update.Vote, Cardano.Chain.Update
signatureFromIntegerTest.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base
signatureToIntegerTest.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base
signatureVKeyByron.Spec.Ledger.Core.Omniscient
SignBlockCardano.Crypto.Signing, Cardano.Crypto
SignCertificateCardano.Crypto.Signing, Cardano.Crypto
signCertificateCardano.Chain.Delegation
SignCommitmentCardano.Crypto.Signing, Cardano.Crypto
SignedDSIGNCardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
signedDSIGNCardano.Ledger.Keys
SignedKESCardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
signEncodedCardano.Crypto.Signing, Cardano.Crypto
signersListIsBoundedByKTest.Byron.Spec.Chain.STS.Properties
SignForTestingOnlyCardano.Crypto.Signing, Cardano.Crypto
SigningKey 
1 (Type/Class)Cardano.Crypto.Signing, Cardano.Crypto
2 (Data Constructor)Cardano.Crypto.Signing, Cardano.Crypto
SignKeyDSIGNCardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SignKeyFakeVRFTest.Cardano.Protocol.Crypto.VRF.Fake
SignKeyKESCardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
signkeyKESTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
SignKeyVRF 
1 (Type/Class)Test.Cardano.Protocol.Crypto.VRF.Fake
2 (Type/Class)Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
signProposalCardano.Chain.Update.Proposal, Cardano.Chain.Update
signRawCardano.Crypto.Signing, Cardano.Crypto
SignRedeemTxCardano.Crypto.Signing, Cardano.Crypto
SignTagCardano.Crypto.Signing, Cardano.Crypto
signTagCardano.Crypto.Signing, Cardano.Crypto
signTagDecodedCardano.Crypto.Signing, Cardano.Crypto
SignTxCardano.Crypto.Signing, Cardano.Crypto
SignUSProposalCardano.Crypto.Signing, Cardano.Crypto
SignUSVoteCardano.Crypto.Signing, Cardano.Crypto
signVoteCardano.Chain.Update.Vote, Cardano.Chain.Update
SignVssCertCardano.Crypto.Signing, Cardano.Crypto
signWithGenesisKeyByron.Spec.Ledger.Core.Omniscient
SigState 
1 (Type/Class)Test.Control.State.Transition.Trace
2 (Data Constructor)Test.Control.State.Transition.Trace
SimplePParams 
1 (Type/Class)Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
2 (Data Constructor)Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
simplePParamsSpecTest.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
SimplePPUpdate 
1 (Type/Class)Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
2 (Data Constructor)Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
simulateThenRestoreTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
SingEPControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
Single 
1 (Type/Class)Control.Iterate.BaseTypes, Control.SetAlgebra
2 (Data Constructor)Control.Iterate.BaseTypes, Control.SetAlgebra
SingleHostAddrCardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SingleHostNameCardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SingleRControl.Iterate.BaseTypes, Control.SetAlgebra
Singleton 
1 (Type/Class)Data.Universe
2 (Data Constructor)Control.Iterate.Exp
singleton 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Data.OMap.Strict
3 (Function)Data.OSet.Strict
4 (Function)Control.Iterate.Exp, Control.SetAlgebra
single_host_addrTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
single_host_name 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL
sisCredentialStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sisPtrStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
Size 
1 (Type/Class)Data.AbstractSize
2 (Type/Class)Cardano.Ledger.Binary.Plain
3 (Type/Class)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
size 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Data.OMap.Strict
3 (Function)Data.OSet.Strict
4 (Function)Cardano.Ledger.UMap
5 (Function)Cardano.Ledger.Val
6 (Function)Data.VMap
sizeAlonzoTxFCardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx
SizeConstant 
1 (Data Constructor)Cardano.Ledger.Binary.Plain
2 (Data Constructor)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
Sized 
1 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
sized 
1 (Function)Test.Cardano.Ledger.Common, Test.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
3 (Function)Test.Hedgehog.Extra.Manual
sizedCollateralReturnTxBodyLCardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
sizedNativeScriptGensTest.Cardano.Ledger.Shelley.Arbitrary
sizedOutputsTxBodyLCardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
sizedSizeCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
sizedSize_Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
sizedTimelockTest.Cardano.Ledger.Allegra.Arbitrary, Test.Cardano.Ledger.ShelleyMA.Serialisation.Generators
sizedValueCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
sizedValue_Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
SizeExpression 
1 (Data Constructor)Cardano.Ledger.Binary.Plain
2 (Data Constructor)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
SizeOfPoolOwners 
1 (Type/Class)Cardano.Ledger.PoolParams
2 (Data Constructor)Cardano.Ledger.PoolParams
SizeOfPoolRelays 
1 (Type/Class)Cardano.Ledger.PoolParams
2 (Data Constructor)Cardano.Ledger.PoolParams
SizeOverride 
1 (Type/Class)Cardano.Ledger.Binary.Plain
2 (Type/Class)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
sizeShelleyTxFCardano.Ledger.Shelley.Tx
sizeTestTest.Cardano.Ledger.Binary.Vintage.Helpers
SizeTestConfig 
1 (Type/Class)Test.Cardano.Ledger.Binary.Vintage.Helpers
2 (Data Constructor)Test.Cardano.Ledger.Binary.Vintage.Helpers
sizeTestsTest.Cardano.Ledger.Shelley.Fees
sizeTxFCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
sizeTxForFeeCalculationCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
SJustCardano.Ledger.Allegra.TxBody, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SKey 
1 (Type/Class)Byron.Spec.Ledger.Core
2 (Data Constructor)Byron.Spec.Ledger.Core
3 (Type/Class)Test.Cardano.Ledger.Generic.Indexed
4 (Data Constructor)Test.Cardano.Ledger.Generic.Indexed
sKey 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Test.Cardano.Ledger.Core.KeyPair, Test.Cardano.Ledger.Imp.Common
skeyByron.Spec.Ledger.Core.Omniscient
SLanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
sliceCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
Slot 
1 (Type/Class)Byron.Spec.Ledger.Core
2 (Data Constructor)Byron.Spec.Ledger.Core
slotByron.Spec.Ledger.Delegation
SlotCount 
1 (Type/Class)Byron.Spec.Ledger.Core
2 (Data Constructor)Byron.Spec.Ledger.Core
3 (Type/Class)Cardano.Chain.Slotting
4 (Data Constructor)Cardano.Chain.Slotting
slotCountCardano.Chain.Slotting
slotDeltaTest.Cardano.Ledger.Generic.GenState
slotFromEpochTest.Cardano.Ledger.Shelley.Utils
slotGenByron.Spec.Ledger.Core.Generators
SlotInTheFutureByron.Spec.Chain.STS.Rule.Pbft
SlotNo 
1 (Type/Class)Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot
2 (Data Constructor)Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot
slotNoCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SlotNo32 
1 (Type/Class)Cardano.Ledger.Credential
2 (Data Constructor)Cardano.Ledger.Credential
SlotNotAfterLastBlockByron.Spec.Chain.STS.Rule.Pbft
SlotNumber 
1 (Type/Class)Cardano.Chain.Slotting
2 (Data Constructor)Cardano.Chain.Slotting
slotNumberEpochCardano.Chain.Slotting
slotsIncreaseTest.Byron.Spec.Chain.STS.Properties
slotsIncreaseInTraceTest.Byron.Spec.Chain.STS.Properties
slotsPerEpochByron.Spec.Ledger.GlobalParams
slotsPerEpochToKByron.Spec.Ledger.GlobalParams
slotsPerKESIterationTest.Cardano.Ledger.Shelley.Utils
slotsPerKESPeriodCardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API, Cardano.Protocol.TPraos.OCert
slotToNonceCardano.Ledger.Shelley.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.BlockChain, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
slotToPOSIXTimeCardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus
slot_noTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
Small 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
smallTest.Cardano.Ledger.Generic.GenState
smallestNameTest.Cardano.Ledger.Mary.Golden
smallNameTest.Cardano.Ledger.Mary.Golden
Smart 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
smartControl.Iterate.Exp
smartTxBodyTest.Cardano.Ledger.Generic.Trace
smartUTxOStateCardano.Ledger.Shelley.LedgerState
SnapEnv 
1 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SnapEvent 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Type/Class)Cardano.Ledger.Shelley.Rules
3 (Data Constructor)Cardano.Ledger.Shelley.Rules
SnapFailureCardano.Ledger.Shelley.Rules
snapsTest.Cardano.Ledger.Generic.Trace
SnapShot 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Type/Class)Cardano.Ledger.State.Schema
4 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotDelegation 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotDelegationCredentialIdCardano.Ledger.State.Schema
snapShotDelegationCredentialIdCardano.Ledger.State.Schema
SnapShotDelegationId 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotDelegationKeyCardano.Ledger.State.Schema
SnapShotDelegationKeyHashCardano.Ledger.State.Schema
snapShotDelegationKeyHashCardano.Ledger.State.Schema
SnapShotDelegationSnapShotIdCardano.Ledger.State.Schema
snapShotDelegationSnapShotIdCardano.Ledger.State.Schema
SnapShotEpochStateIdCardano.Ledger.State.Schema
snapShotEpochStateIdCardano.Ledger.State.Schema
snapShotFromInstantStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
SnapShotGoCardano.Ledger.State.Orphans
SnapShotId 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotKeyCardano.Ledger.State.Schema
SnapShotM 
1 (Type/Class)Cardano.Ledger.State.Vector
2 (Data Constructor)Cardano.Ledger.State.Vector
SnapShotMarkCardano.Ledger.State.Orphans
SnapShotPool 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotPoolId 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotPoolKeyCardano.Ledger.State.Schema
SnapShotPoolKeyHashIdCardano.Ledger.State.Schema
snapShotPoolKeyHashIdCardano.Ledger.State.Schema
SnapShotPoolParamsCardano.Ledger.State.Schema
snapShotPoolParamsCardano.Ledger.State.Schema
SnapShotPoolSnapShotIdCardano.Ledger.State.Schema
snapShotPoolSnapShotIdCardano.Ledger.State.Schema
SnapShots 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SnapShotSetCardano.Ledger.State.Orphans
SnapShotsM 
1 (Type/Class)Cardano.Ledger.State.Vector
2 (Data Constructor)Cardano.Ledger.State.Vector
snapShotSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
snapShotsSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
SnapShotStake 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotStakeCoinCardano.Ledger.State.Schema
snapShotStakeCoinCardano.Ledger.State.Schema
SnapShotStakeCredentialIdCardano.Ledger.State.Schema
snapShotStakeCredentialIdCardano.Ledger.State.Schema
SnapShotStakeId 
1 (Type/Class)Cardano.Ledger.State.Schema
2 (Data Constructor)Cardano.Ledger.State.Schema
SnapShotStakeKeyCardano.Ledger.State.Schema
SnapShotStakeSnapShotIdCardano.Ledger.State.Schema
snapShotStakeSnapShotIdCardano.Ledger.State.Schema
SnapShotStats 
1 (Type/Class)Cardano.Ledger.State.UTxO
2 (Data Constructor)Cardano.Ledger.State.UTxO
SnapShotType 
1 (Type/Class)Cardano.Ledger.State.Orphans
2 (Data Constructor)Cardano.Ledger.State.Schema
snapShotTypeCardano.Ledger.State.Schema
snapsXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
snapXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
SNDControl.Iterate.Exp
sndUPIStateByron.Spec.Ledger.Update
SNothingCardano.Ledger.Allegra.TxBody, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SoftforkRule 
1 (Type/Class)Cardano.Chain.Update
2 (Data Constructor)Cardano.Chain.Update
SoftwareUpdateProposal 
1 (Type/Class)Cardano.Chain.Update.Validation.Registration
2 (Data Constructor)Cardano.Chain.Update.Validation.Registration
SoftwareUpdateProposalsCardano.Chain.Update.Validation.Registration
SoftwareVersion 
1 (Type/Class)Cardano.Chain.Update
2 (Data Constructor)Cardano.Chain.Update
SoftwareVersionApplicationNameErrorCardano.Chain.Update
SoftwareVersionError 
1 (Type/Class)Cardano.Chain.Update
2 (Data Constructor)Cardano.Chain.Update.Validation.Registration
solidifyFuturePParamsCardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core
solidifyNextEpochPParamsCardano.Ledger.Shelley.Rules
solidifyProposalsTest.Cardano.Ledger.Shelley.Examples.Combinators
Some 
1 (Type/Class)Data.Universe, Test.Cardano.Ledger.Generic.Proof
2 (Data Constructor)Data.Universe, Test.Cardano.Ledger.Generic.Proof
someAddrTest.Cardano.Ledger.Examples.STSTestUtils
someKeyPairsTest.Cardano.Ledger.Shelley.Generator.EraGen, Test.Cardano.Ledger.Shelley.Generator.Presets
someKeysTest.Cardano.Ledger.Examples.STSTestUtils
someLeaf 
1 (Function)Test.Cardano.Ledger.Alonzo.AlonzoEraGen
2 (Function)Test.Cardano.Ledger.AllegraEraGen
someScriptAddrTest.Cardano.Ledger.Examples.STSTestUtils
SomeSTSEvent 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
2 (Data Constructor)Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
SortedTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
SortedListTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
soundSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
soundSpecWithTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
sourceTest.Control.State.Transition.Trace
SourceSignalTarget 
1 (Type/Class)Test.Control.State.Transition.Trace
2 (Data Constructor)Test.Control.State.Transition.Trace
sourceSignalTargetsTest.Control.State.Transition.Trace
sourceUTxOCardano.Ledger.State.Query
sourceWithSharingUTxOCardano.Ledger.State.Query
SparseCardano.Ledger.Binary.Coders
SparseKeyedCardano.Ledger.Binary.Coders
speCardano.Ledger.Shelley.RewardProvenance
SpecTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
spec 
1 (Function)Test.Cardano.Data.OMap.StrictSpec
2 (Function)Test.Cardano.Data.OSet.StrictSpec
3 (Function)Main
4 (Function)Test.Cardano.Ledger.Allegra.Imp.UtxowSpec
5 (Function)Test.Cardano.Ledger.Allegra.Imp
6 (Function)Test.Cardano.Ledger.Allegra.Binary.CddlSpec
7 (Function)Test.Cardano.Ledger.Allegra.BinarySpec
8 (Function)Test.Cardano.Ledger.Alonzo.Binary.CostModelsSpec
9 (Function)Test.Cardano.Ledger.Alonzo.Binary.TxWitsSpec
10 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Valid
11 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Invalid
12 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec
13 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec
14 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec
15 (Function)Test.Cardano.Ledger.Alonzo.Imp
16 (Function)Test.Cardano.Ledger.Alonzo.Binary.CanonicalSpec
17 (Function)Test.Cardano.Ledger.Alonzo.Binary.CddlSpec
18 (Function)Test.Cardano.Ledger.Alonzo.BinarySpec
19 (Function)Test.Cardano.Ledger.Alonzo.GoldenSpec
20 (Function)Test.Cardano.Ledger.Alonzo.TxInfoSpec
21 (Function)Test.Cardano.Ledger.Api.State.Imp.QuerySpec
22 (Function)Test.Cardano.Ledger.Api.State.QuerySpec
23 (Function)Test.Cardano.Ledger.Api.Tx
24 (Function)Test.Cardano.Ledger.Api.Tx.Body
25 (Function)Test.Cardano.Ledger.Api.Tx.Out
26 (Function)Test.Cardano.Ledger.Api.Upgrade
27 (Function)Test.Cardano.Ledger.Babbage.Imp.UtxosSpec
28 (Function)Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Invalid
29 (Function)Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Valid
30 (Function)Test.Cardano.Ledger.Babbage.Imp.UtxowSpec
31 (Function)Test.Cardano.Ledger.Babbage.Imp.UtxoSpec
32 (Function)Test.Cardano.Ledger.Babbage.Imp
33 (Function)Test.Cardano.Ledger.Babbage.TxInfoSpec
34 (Function)Test.Cardano.Ledger.Babbage.Binary.CddlSpec
35 (Function)Test.Cardano.Ledger.Babbage.BinarySpec
36 (Function)Test.Cardano.Ledger.Babbage.GoldenSpec
37 (Function)Test.Cardano.Ledger.Babbage.GoldenTranslation
38 (Function)Test.Cardano.Ledger.Binary.Failure
39 (Function)Test.Cardano.Ledger.Binary.PlainSpec
40 (Function)Test.Cardano.Ledger.Binary.RoundTripSpec
41 (Function)Test.Cardano.Ledger.Binary.Success
42 (Function)Test.Cardano.Ledger.Binary.Vintage.Coders
43 (Function)Main
44 (Function)Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace
45 (Function)Test.Cardano.Ledger.Conformance.Imp
46 (Function)Test.Cardano.Ledger.Conformance.Imp.Ratify
47 (Function)Test.Cardano.Ledger.Conformance.Spec.Conway
48 (Function)Test.Cardano.Ledger.Conformance.ConformanceSpec
49 (Function)Test.Cardano.Ledger.Conway.GenesisSpec
50 (Function)Test.Cardano.Ledger.Conway.GovActionReorderSpec
51 (Function)Test.Cardano.Ledger.Conway.Imp.BbodySpec
52 (Function)Test.Cardano.Ledger.Conway.Plutus.PlutusSpec
53 (Function)Test.Cardano.Ledger.Conway.SPORatifySpec
54 (Function)Test.Cardano.Ledger.Conway.Proposals
55 (Function)Test.Cardano.Ledger.Conway.Imp.UtxowSpec
56 (Function)Test.Cardano.Ledger.Conway.Imp.UtxosSpec
57 (Function)Test.Cardano.Ledger.Conway.Imp.UtxoSpec
58 (Function)Test.Cardano.Ledger.Conway.Imp.RatifySpec
59 (Function)Test.Cardano.Ledger.Conway.Imp.LedgerSpec
60 (Function)Test.Cardano.Ledger.Conway.Imp.GovSpec
61 (Function)Test.Cardano.Ledger.Conway.Imp.GovCertSpec
62 (Function)Test.Cardano.Ledger.Conway.Imp.EpochSpec
63 (Function)Test.Cardano.Ledger.Conway.Imp.EnactSpec
64 (Function)Test.Cardano.Ledger.Conway.Imp.DelegSpec
65 (Function)Test.Cardano.Ledger.Conway.Imp.CertsSpec
66 (Function)Test.Cardano.Ledger.Conway.Imp
67 (Function)Test.Cardano.Ledger.Conway.Binary.Regression
68 (Function)Test.Cardano.Ledger.Conway.DRepRatifySpec
69 (Function)Test.Cardano.Ledger.Conway.CommitteeRatifySpec
70 (Function)Test.Cardano.Ledger.Conway.BinarySpec
71 (Function)Test.Cardano.Ledger.Conway.TxInfoSpec
72 (Function)Test.Cardano.Ledger.Conway.Spec
73 (Function)Test.Cardano.Ledger.Conway.Binary.CddlSpec
74 (Function)Test.Cardano.Ledger.Conway.GoldenSpec
75 (Function)Test.Cardano.Ledger.Conway.GoldenTranslation
76 (Function)Test.Cardano.Ledger.AddressSpec
77 (Function)Test.Cardano.Ledger.BaseTypesSpec
78 (Function)Test.Cardano.Ledger.BinarySpec
79 (Function)Test.Cardano.Ledger.JsonSpec
80 (Function)Test.Cardano.Ledger.PlutusSpec
81 (Function)Test.Cardano.Ledger.ToolsSpec
82 (Function)Test.Cardano.Ledger.Dijkstra.GoldenSpec
83 (Function)Test.Cardano.Ledger.Mary.Imp.UtxoSpec
84 (Function)Test.Cardano.Ledger.Mary.Imp
85 (Function)Test.Cardano.Ledger.Mary.Binary.CddlSpec
86 (Function)Test.Cardano.Ledger.Mary.BinarySpec
87 (Function)Test.Cardano.Ledger.Mary.ValueSpec
88 (Function)Test.Cardano.Ledger.Shelley.Imp.UtxowSpec
89 (Function)Test.Cardano.Ledger.Shelley.Imp.UtxoSpec
90 (Function)Test.Cardano.Ledger.Shelley.Imp.LedgerSpec
91 (Function)Test.Cardano.Ledger.Shelley.Imp.EpochSpec
92 (Function)Test.Cardano.Ledger.Shelley.UnitTests.InstantStakeTest
93 (Function)Test.Cardano.Ledger.Shelley.Imp
94 (Function)Test.Cardano.Ledger.Shelley.Binary.CddlSpec
95 (Function)Test.Cardano.Ledger.Shelley.Binary.GoldenSpec
96 (Function)Test.Cardano.Ledger.Shelley.Binary.RoundTripSpec
97 (Function)Test.Cardano.Ledger.Shelley.BinarySpec
98 (Function)Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
99 (Function)Test.Cardano.Protocol.Binary.BinarySpec
100 (Function)Test.Cardano.Protocol.Binary.CddlSpec
101 (Function)Test.Control.State.Transition.Examples.GlobalSum
spec1Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
spec2Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
specializeTest.Cardano.Ledger.Generic.Proof
specifyTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
SpecRepTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base
specSuiteTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
SpecTranslateTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base
SpecTranslationErrorTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base
SpecTransMTest.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance
SpecWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
specWithHuddleTest.Cardano.Ledger.Binary.Cuddle
spendableInputsTxBodyFCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
SpendingTest.Cardano.Ledger.Examples.STSTestUtils, Test.Cardano.Ledger.Generic.GenState
SpendingPurposeCardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core
spendInputs'Cardano.Ledger.Babbage.TxBody
spendInputsMaxTest.Cardano.Ledger.Generic.GenState
SplitTest.Cardano.Ledger.Shelley.Utils
splitAtData.VMap
splitLnCardano.Ledger.NonIntegral
splitMemberMapData.MapExtras
splitMemberSetData.MapExtras
splitTraceTest.Cardano.Ledger.Shelley.Rules.TestChain, Test.Control.State.Transition.Trace
SPlutusV1Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
SPlutusV2Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
SPlutusV3Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
SPlutusV4Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
spoAcceptedCardano.Ledger.Conway.Rules
spoAcceptedRatioCardano.Ledger.Conway.Rules
sPoolMapCardano.Ledger.UMap
SPoolUViewCardano.Ledger.UMap
sPoolUViewCardano.Ledger.UMap
sppA0Cardano.Ledger.Shelley.PParams
sppDCardano.Ledger.Shelley.PParams
sppEMaxCardano.Ledger.Shelley.PParams
sppExtraEntropyCardano.Ledger.Shelley.PParams
sppKeyDepositCardano.Ledger.Shelley.PParams
sppMaxBBSizeCardano.Ledger.Shelley.PParams
sppMaxBHSizeCardano.Ledger.Shelley.PParams
sppMaxTxSizeCardano.Ledger.Shelley.PParams
sppMinFeeACardano.Ledger.Shelley.PParams
sppMinFeeBCardano.Ledger.Shelley.PParams
sppMinPoolCostCardano.Ledger.Shelley.PParams
sppMinUTxOValueCardano.Ledger.Shelley.PParams
sppNOptCardano.Ledger.Shelley.PParams
sppPoolDepositCardano.Ledger.Shelley.PParams
sppProtocolVersionCardano.Ledger.Shelley.PParams
sppRhoCardano.Ledger.Shelley.PParams
sppTauCardano.Ledger.Shelley.PParams
srcLocToLocationTest.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff
srInitThdCardano.Chain.Update
srMinThdCardano.Chain.Update
srThdDecrementCardano.Chain.Update
SscPayload 
1 (Type/Class)Cardano.Chain.Ssc
2 (Data Constructor)Cardano.Chain.Ssc
SscProof 
1 (Type/Class)Cardano.Chain.Ssc
2 (Data Constructor)Cardano.Chain.Ssc
ssDelegationsCardano.Ledger.State.Vector
ssDelegationsLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssFeeLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssFeeSSCardano.Ledger.State.Vector
ssHash2Test.Cardano.Ledger.Shelley.Generator.Core
ssHash3Test.Cardano.Ledger.Shelley.Generator.Core
ssPoolParamsCardano.Ledger.State.Vector
ssPoolParamsLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssPstakeGoCardano.Ledger.State.Vector
ssPstakeMarkCardano.Ledger.State.Vector
ssPstakeSetCardano.Ledger.State.Vector
ssScripts2Test.Cardano.Ledger.Shelley.Generator.Core
ssScripts3Test.Cardano.Ledger.Shelley.Generator.Core
sssDelegationCredentialCardano.Ledger.State.UTxO
sssDelegationStakePoolCardano.Ledger.State.UTxO
sssPoolParamsCardano.Ledger.State.UTxO
sssPoolParamsStatsCardano.Ledger.State.UTxO
sssStakeCardano.Ledger.State.UTxO
ssStakeCardano.Ledger.State.Vector
ssStakeDistrLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeGoLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeMarkLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeMarkPoolDistrLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeSetLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
stabilityWindowCardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stadrMetadataCardano.Ledger.Shelley.TxAuxData
STagByron.Spec.Ledger.Update
stageRetirementTest.Cardano.Ledger.Shelley.Examples.Combinators
Stake 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Data Constructor)Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stakeCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
StakeAddressesMIRCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeCredTest.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation
stakeCredAddrTest.Cardano.Ledger.Generic.Functions
StakeCredentialCardano.Ledger.Credential
StakeCredentials 
1 (Type/Class)Cardano.Ledger.UMap
2 (Data Constructor)Cardano.Ledger.UMap
StakeDelegationImpossibleDELEGCardano.Ledger.Shelley.Rules
StakeDistEventCardano.Ledger.Shelley.Rules
stakeDistrTest.Cardano.Ledger.Shelley.Rules.IncrementalStake
stakeInvariantTest.Cardano.Ledger.Generic.Properties
StakeKeyTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
StakeKeyAlreadyRegisteredDELEGCardano.Ledger.Shelley.Rules
StakeKeyHasNonZeroRewardAccountBalanceDELEGCardano.Ledger.Conway.Rules
StakeKeyNonZeroAccountBalanceDELEGCardano.Ledger.Shelley.Rules
StakeKeyNotRegisteredDELEG 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
StakeKeyRegisteredDELEGCardano.Ledger.Conway.Rules
stakeKeysCardano.Ledger.State.UTxO
StakePoolCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakePoolCostTooLowPOOLCardano.Ledger.Shelley.Rules
stakePoolDelegationAccountStateLCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
stakePoolDelegationsSpecTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
StakePoolGroupCardano.Ledger.Conway.PParams
StakePoolNotRegisteredOnKeyPOOLCardano.Ledger.Shelley.Rules
StakePoolRelayCardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakePoolRetirementWrongEpochPOOLCardano.Ledger.Shelley.Rules
StakePoolVoterCardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance
StakePoolVRFCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Protocol.Crypto
StakeProportion 
1 (Type/Class)Test.Cardano.Ledger.Shelley.Arbitrary
2 (Data Constructor)Test.Cardano.Ledger.Shelley.Arbitrary
stakePtrsCardano.Ledger.State.UTxO
StakeRefBaseCardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeReferenceCardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeRefNullCardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeRefPtrCardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stakeScriptsCardano.Ledger.State.UTxO
StakeShare 
1 (Type/Class)Cardano.Ledger.Shelley.Rewards
2 (Data Constructor)Cardano.Ledger.Shelley.Rewards
stake_credentialTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
stake_delegationTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
stake_deregistrationTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
stake_registrationTest.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL
stake_reg_deleg_certTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
stake_vote_deleg_certTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
stake_vote_reg_deleg_certTest.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Dijkstra.CDDL
StakingCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
standardAddrHashSizeCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
StandardCryptoCardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Protocol.Crypto
standardHashSizeCardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Dijkstra.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core
startSlotTest.Cardano.Ledger.Generic.GenState
startStateTest.Cardano.Ledger.Shelley.Examples.Chain
startStepCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules
StashedAVVMAddressesCardano.Ledger.Shelley.LedgerState
stashedAVVMAddressesCardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stashedAVVMAddressesZeroTest.Cardano.Ledger.Generic.ModelState
Stat 
1 (Type/Class)Cardano.Ledger.State.UTxO
2 (Data Constructor)Cardano.Ledger.State.UTxO
statCountCardano.Ledger.State.UTxO
State 
1 (Type/Class)Cardano.Chain.Delegation.Validation.Scheduling
2 (Data Constructor)Cardano.Chain.Delegation.Validation.Scheduling
3 (Type/Class)Cardano.Chain.Delegation.Validation.Activation
4 (Data Constructor)Cardano.Chain.Delegation.Validation.Activation
5 (Type/Class)Cardano.Chain.Update.Validation.Registration
6 (Data Constructor)Cardano.Chain.Update.Validation.Registration
7 (Type/Class)Cardano.Chain.Update.Validation.Endorsement
8 (Data Constructor)Cardano.Chain.Update.Validation.Endorsement
9 (Type/Class)Cardano.Chain.Update.Validation.Voting
10 (Data Constructor)Cardano.Chain.Update.Validation.Voting
11 (Type/Class)Cardano.Chain.Update.Validation.Interface
12 (Data Constructor)Cardano.Chain.Update.Validation.Interface
13 (Type/Class)Cardano.Chain.Delegation.Validation.Interface
14 (Data Constructor)Cardano.Chain.Delegation.Validation.Interface
15 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Protocol.TPraos.Rules.Prtcl, Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
StatefulGenTest.Cardano.Ledger.Imp.Common
stateSpecTest.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance
stateTotalStakeNullsCardano.Ledger.State.UTxO
statFoldableCardano.Ledger.State.UTxO
staticSafeSignersTest.Cardano.Crypto.Example
statMapKeysCardano.Ledger.State.UTxO
statsByronTxOutsCardano.Ledger.State.UTxO
statSetCardano.Ledger.State.UTxO
statSingletonCardano.Ledger.State.UTxO
statsTotalPaymentKeysCardano.Ledger.State.UTxO
statsTotalPaymentScriptsCardano.Ledger.State.UTxO
statsTotalStakeKeysCardano.Ledger.State.UTxO
statsTotalStakePtrsCardano.Ledger.State.UTxO
statsTotalStakeScriptsCardano.Ledger.State.UTxO
statsTotalTxOutsCardano.Ledger.State.UTxO
statUniqueCardano.Ledger.State.UTxO
stAuxDataCardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbCertsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stbInputsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stbMDHashCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stBodyCardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbOutputsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stbrAuxDataHashCardano.Ledger.Shelley.TxBody
stbrCertsCardano.Ledger.Shelley.TxBody
stbrFeeCardano.Ledger.Shelley.TxBody
stbrInputsCardano.Ledger.Shelley.TxBody
stbrOutputsCardano.Ledger.Shelley.TxBody
stbrTtlCardano.Ledger.Shelley.TxBody
stbrUpdateCardano.Ledger.Shelley.TxBody
stbrWithdrawalsCardano.Ledger.Shelley.TxBody
stbTTLCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stbTxFeeCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stbUpdateCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stbWithdrawalsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley
stcArgsTest.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus
stcScriptTest.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus
stdArgsTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
stdConfidenceTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
storableLawsTest.Common
storageCostTest.Cardano.Ledger.Alonzo.AlonzoEraGen
storeControl.Provenance
storeEpochStateCardano.Ledger.State.Query
StrictMaybeCardano.Ledger.Allegra.TxBody, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
strictMaybeCardano.Ledger.BaseTypes
strictMaybeToMaybeCardano.Ledger.BaseTypes
StrictTriple 
1 (Type/Class)Data.MapExtras
2 (Data Constructor)Data.MapExtras
StringEnvControl.Iterate.Exp
StringWTest.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
strLen_Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway
STSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
STSInterpreterControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stsPropertyV2Test.Cardano.Ledger.STS
stsPropertyV2'Test.Cardano.Ledger.STS
STSResult 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stsResultEventsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stsResultFailuresControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stsResultStateControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
STUBControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stWitsCardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stwrAddrTxWitsCardano.Ledger.Shelley.TxWits
stwrBootAddrTxWitsCardano.Ledger.Shelley.TxWits
stwrScriptTxWitsCardano.Ledger.Shelley.TxWits
subFromListByron.Spec.Ledger.UTxO.Generators
sublistOfTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
subLovelaceCardano.Chain.Common
subMapTest.Cardano.Ledger.Constrained.Conway.TxBodySpec
subMapSubDependsOnSuperTest.Cardano.Ledger.Constrained.Conway.TxBodySpec
subMapSuperDependsOnSubTest.Cardano.Ledger.Constrained.Conway.TxBodySpec
submitAndExpireProposalToMakeRewardTest.Cardano.Ledger.Conway.ImpTest
submitBootstrapAwareTest.Cardano.Ledger.Conway.ImpTest
submitBootstrapAwareFailingProposalTest.Cardano.Ledger.Conway.ImpTest
submitBootstrapAwareFailingProposal_Test.Cardano.Ledger.Conway.ImpTest
submitBootstrapAwareFailingVoteTest.Cardano.Ledger.Conway.ImpTest
submitCommitteeElectionTest.Cardano.Ledger.Conway.ImpTest
submitConstitutionTest.Cardano.Ledger.Conway.ImpTest
submitFailingGovActionTest.Cardano.Ledger.Conway.ImpTest
submitFailingProposalTest.Cardano.Ledger.Conway.ImpTest
submitFailingTxTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
submitFailingTxMTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
submitFailingVoteTest.Cardano.Ledger.Conway.ImpTest
SubmitFailureExpectationTest.Cardano.Ledger.Conway.ImpTest
submitGovActionTest.Cardano.Ledger.Conway.ImpTest
submitGovActionForestTest.Cardano.Ledger.Conway.ImpTest
submitGovActionsTest.Cardano.Ledger.Conway.ImpTest
submitGovActionTreeTest.Cardano.Ledger.Conway.ImpTest
submitGovAction_Test.Cardano.Ledger.Conway.ImpTest
submitParameterChangeTest.Cardano.Ledger.Conway.ImpTest
submitPhase2InvalidTest.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
submitPhase2Invalid_Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
submitProposalTest.Cardano.Ledger.Conway.ImpTest
submitProposalsTest.Cardano.Ledger.Conway.ImpTest
submitProposal_Test.Cardano.Ledger.Conway.ImpTest
submitTreasuryWithdrawalsTest.Cardano.Ledger.Conway.ImpTest
submitTxTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
submitTxAnnTest.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
submitTxAnn_Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
submitTxWithRefInputsTest.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest
submitTx_Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest
submitUpdateCommitteeTest.Cardano.Ledger.Conway.ImpTest
submitVoteTest.Cardano.Ledger.Conway.ImpTest
submitVote_Test.Cardano.Ledger.Conway.ImpTest
submitYesVoteCCs_Test.Cardano.Ledger.Conway.ImpTest
submitYesVote_Test.Cardano.Ledger.Conway.ImpTest
SubsetControl.Iterate.Exp
subsetControl.Iterate.Exp, Control.SetAlgebra
subsetToPPTest.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
subSlotCountCardano.Chain.Slotting
substitutiveEqLawsTest.Common
subtermsTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
SuccessTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
SuccessfulPlutusScriptsEvent 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
succVersionCardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes
succV_Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway
suchThat 
1 (Function)Test.Cardano.Ledger.Common, Test.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
suchThatLastStateTest.Control.State.Transition.Generator
suchThatMapTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common
suchThatMaybe 
1 (Function)Test.Cardano.Ledger.Common, Test.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
SUMTest.Control.State.Transition.Examples.Sum
SumCardano.Ledger.Binary.Coders
sumAdaPotsCardano.Ledger.Shelley.AdaPots
sumAllCoinCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
sumAllStakeCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sumAllStakeCompactCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sumAllValueCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
sumBalancesAccountsCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sumCoinUTxOCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
sumCoin_Test.Cardano.Ledger.Constrained.Conway.TxBodySpec
sumCollateralTest.Cardano.Ledger.Alonzo.AlonzoEraGen
sumCompactCoinCardano.Ledger.Coin, Cardano.Ledger.UMap
sumCompactRewardsCardano.Ledger.Shelley.Rewards
SumDCardano.Ledger.Binary.Coders
sumDepositsAccountsCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sumDepositUViewCardano.Ledger.UMap
sumLovelaceCardano.Chain.Common
SummandsCardano.Ledger.Binary.Coders
sumObligationCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sumRewardsCardano.Ledger.Shelley.Rewards
sumRewardsUViewCardano.Ledger.UMap
sumStakePerPoolCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State
sumTxOut_Test.Cardano.Ledger.Constrained.Conway.TxBodySpec
sumUTxOCardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Dijkstra.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
sumValCardano.Ledger.Val
SupportedLanguage 
1 (Type/Class)Cardano.Ledger.Alonzo.Plutus.Context
2 (Data Constructor)Cardano.Ledger.Alonzo.Plutus.Context
supportedLanguagesCardano.Ledger.Alonzo.Plutus.Context
supSoftwareMetadataCardano.Chain.Update.Validation.Registration
supSoftwareVersionCardano.Chain.Update.Validation.Registration
svAppNameCardano.Chain.Update
svCanFollowByron.Spec.Ledger.Update
svNameByron.Spec.Ledger.Update
svNumberCardano.Chain.Update
svVerByron.Spec.Ledger.Update
swapMismatchCardano.Ledger.BaseTypes
SwVer 
1 (Type/Class)Byron.Spec.Ledger.Update
2 (Data Constructor)Byron.Spec.Ledger.Update
synopsisCoinMapCardano.Ledger.Shelley.Rules.Reports
systemStart 
1 (Function)Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen
2 (Function)Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SystemTag 
1 (Type/Class)Cardano.Chain.Update
2 (Data Constructor)Cardano.Chain.Update
SystemTagError 
1 (Type/Class)Cardano.Chain.Update
2 (Data Constructor)Cardano.Chain.Update.Validation.Registration
systemTagMaxLengthCardano.Chain.Update
SystemTagNotAsciiCardano.Chain.Update
SystemTagTooLongCardano.Chain.Update
szBounds 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szCases 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szEval 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szForce 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szGreedy 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szLazy 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szSimplify 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
szWithCtx 
1 (Function)Cardano.Ledger.Binary.Plain
2 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
S_AfterExistingDelegationByron.Spec.Ledger.Delegation
S_AlreadyADelegateOfByron.Spec.Ledger.Delegation
S_AlreadyConfirmedByron.Spec.Ledger.Update
S_BeforeExistingDelegationByron.Spec.Ledger.Delegation
S_CfmThdNotReachedByron.Spec.Ledger.Update
S_HigherThanThdAndNotAlreadyConfirmedByron.Spec.Ledger.Update
S_NoLastDelegationByron.Spec.Ledger.Delegation
S_TryNextRuleByron.Spec.Ledger.Update