cardano-ledger

Index - S

S 
1 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Metadata
3 (Data Constructor)Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
4 (Data Constructor)Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils
safeDeterministicKeyGenCardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
SafeHash 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
5 (Type/Class)Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
7 (Type/Class)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 (Data Constructor)Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
2 (Type/Class)Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
safeSignRawCardano.Crypto.Signing, Cardano.Crypto
safeSubtractConstrained.NumSpec
SafeToHash 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Babbage.Core
4 (Type/Class)Cardano.Ledger.Conway.Core
5 (Type/Class)Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
7 (Type/Class)Cardano.Ledger.Shelley.Core
safeToVerificationCardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto
SameTest.Cardano.Ledger.Generic.Same
sameTest.Cardano.Ledger.Generic.Same
sameAllegraTxBodyTest.Cardano.Ledger.Generic.Same
sameAlonzoTxTest.Cardano.Ledger.Generic.Same
sameAlonzoTxBodyTest.Cardano.Ledger.Generic.Same
sameAlonzoTxSeqTest.Cardano.Ledger.Generic.Same
sameAlonzoTxWitsTest.Cardano.Ledger.Generic.Same
sameBabbageTxBodyTest.Cardano.Ledger.Generic.Same
sameCertStateTest.Cardano.Ledger.Generic.Same
sameConwayTxBodyTest.Cardano.Ledger.Generic.Same
sameDomainControl.Iterate.SetAlgebra
sameFstConstrained.TheKnot
sameFunConstrained.Base
sameFunSymConstrained.Base
SameKeyTest.Cardano.Ledger.TerseTools
sameLedgerFailTest.Cardano.Ledger.Generic.Same
sameMaryTxBodyTest.Cardano.Ledger.Generic.Same
sameNameTest.Cardano.Ledger.Constrained.Env
samePParamsTest.Cardano.Ledger.Generic.Same
samePParamsUpdateTest.Cardano.Ledger.Generic.Same
samePPUPTest.Cardano.Ledger.Generic.Same
sameRepTest.Cardano.Ledger.Constrained.Solver
sameRngTest.Cardano.Ledger.Constrained.Ast
sameShelleyTxTest.Cardano.Ledger.Generic.Same
sameShelleyTxBodyTest.Cardano.Ledger.Generic.Same
sameShelleyTxSeqTest.Cardano.Ledger.Generic.Same
sameShelleyTxWitsTest.Cardano.Ledger.Generic.Same
sameSndConstrained.TheKnot
sameStashedAVVMAddressesTest.Cardano.Ledger.Generic.Same
sameTermsConstrained.Base
sameTransCtxTest.Cardano.Ledger.Generic.Same
sameTxTest.Cardano.Ledger.Generic.Same
sameTxBodyTest.Cardano.Ledger.Generic.Same
sameTxOutTest.Cardano.Ledger.Generic.Same
sameTxSeqTest.Cardano.Ledger.Generic.Same
sameTxWitsTest.Cardano.Ledger.Generic.Same
sameUTxOTest.Cardano.Ledger.Generic.Same
sameVTest.Cardano.Ledger.Constrained.Solver
sameWithDependencyTest.Cardano.Ledger.Generic.Same
sample 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
sample' 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
sampleMaxTraceSizeTest.Control.State.Transition.Generator
satisfiesConstrained.Conformance, Constrained.API
saturateConstrained.Base, Constrained.API
saturatePredConstrained.TheKnot
scale 
1 (Function)Cardano.Ledger.Val
2 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Function)Test.Common
scaledMinDepositCardano.Ledger.Mary.TxOut
scaleExpCardano.Ledger.NonIntegral
scaleLovelaceCardano.Chain.Common
scaleLovelaceRationalCardano.Chain.Common
scaleLovelaceRationalUpCardano.Chain.Common
scaleNumSpecConstrained.Test
scaleOneConstrained.Test
scaleTConstrained.GenT
scDepositsCardano.Ledger.UMap
scDRepsCardano.Ledger.UMap
scenarioScaledTest.Options
scenarioScaleDefaultTest.Options
scfgTest.Cardano.Ledger.Binary.Vintage.Helpers
scheduleCertificateCardano.Chain.Delegation.Validation.Scheduling
ScheduledDelegation 
1 (Data Constructor)Cardano.Chain.Delegation.Validation.Scheduling
2 (Type/Class)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
Script 
1 (Type/Class)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core
3 (Type/Class)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
4 (Type/Class)Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Core
7 (Type/Class)Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core
8 (Type/Class)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core
9 (Type/Class)Test.Cardano.Ledger.EraBuffet
10 (Type/Class)Test.Cardano.Ledger.EraClass
script 
1 (Function)Test.Cardano.Ledger.Babbage.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL
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
ScriptF 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Classes
2 (Type/Class)Test.Cardano.Ledger.Constrained.Classes
scriptFailCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
ScriptFailure 
1 (Data Constructor)Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
2 (Type/Class)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
scriptFLTest.Cardano.Ledger.Constrained.Preds.TxOut
ScriptHash 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Allegra.Core
3 (Data Constructor)Cardano.Ledger.Alonzo.Core
4 (Type/Class)Cardano.Ledger.Alonzo.Core
5 (Type/Class)Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
6 (Data Constructor)Cardano.Ledger.Babbage.Core
7 (Type/Class)Cardano.Ledger.Babbage.Core
8 (Data Constructor)Cardano.Ledger.Conway.Core
9 (Type/Class)Cardano.Ledger.Conway.Core
10 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Core
11 (Type/Class)Cardano.Ledger.Hashes, Cardano.Ledger.Core
12 (Data Constructor)Cardano.Ledger.Mary.Core
13 (Type/Class)Cardano.Ledger.Mary.Core
14 (Type/Class)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
15 (Data Constructor)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ScriptHashObj 
1 (Data Constructor)Cardano.Ledger.Credential
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
scriptHashObjTTest.Cardano.Ledger.Constrained.Preds.Universes
ScriptHashRTest.Cardano.Ledger.Constrained.TypeRep
scriptHashSummaryTest.Cardano.Ledger.Generic.PrettyCore
ScripticTest.Cardano.Ledger.Generic.Scriptic
ScriptInfoTest.Cardano.Ledger.Shelley.Generator.Core
ScriptIntegrity 
1 (Data Constructor)Cardano.Ledger.Alonzo.Tx
2 (Type/Class)Cardano.Ledger.Alonzo.Tx
3 (Data Constructor)Cardano.Ledger.Babbage.Tx
4 (Type/Class)Cardano.Ledger.Babbage.Tx
ScriptIntegrityHash 
1 (Type/Class)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core
2 (Type/Class)Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core
3 (Type/Class)Cardano.Ledger.Conway.Core
scriptIntegrityHash' 
1 (Function)Cardano.Ledger.Alonzo.TxBody
2 (Function)Cardano.Ledger.Babbage.TxBody
ScriptIntegrityHashRTest.Cardano.Ledger.Constrained.TypeRep
scriptIntegrityHashTxBodyL 
1 (Function)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core
2 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Test.Cardano.Ledger.EraClass
scriptKeyCombinationTest.Cardano.Ledger.Shelley.Generator.ScriptClass
scriptKeyCombinationsTest.Cardano.Ledger.Shelley.Generator.ScriptClass
scriptPassCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptPrefixTag 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
ScriptPurposeRTest.Cardano.Ledger.Constrained.TypeRep
ScriptRTest.Cardano.Ledger.Constrained.TypeRep
ScriptResultCardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus
scriptsCardano.Ledger.State.UTxO
ScriptShelleyToShelleyTest.Cardano.Ledger.Generic.Proof
scriptShelleyTxWitsLCardano.Ledger.Shelley.TxWits
ScriptsNeeded 
1 (Type/Class)Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Alonzo.State, Cardano.Ledger.Alonzo.State
3 (Type/Class)Cardano.Ledger.Api.UTxO
4 (Type/Class)Cardano.Ledger.Babbage.State, Cardano.Ledger.Babbage.State
5 (Type/Class)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.State
6 (Type/Class)Cardano.Ledger.UTxO, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.State
7 (Type/Class)Cardano.Ledger.Mary.State, Cardano.Ledger.Mary.State
8 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.UTxO
scriptsNeededTest.Cardano.Ledger.Constrained.Vars
scriptsNeeded'Test.Cardano.Ledger.Generic.Functions
ScriptsNeededF 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Classes
2 (Type/Class)Test.Cardano.Ledger.Constrained.Classes
ScriptsNeededRTest.Cardano.Ledger.Constrained.TypeRep
ScriptsNotPaidUTxO 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
ScriptSpace 
1 (Data Constructor)Test.Cardano.Ledger.Shelley.Generator.Core
2 (Type/Class)Test.Cardano.Ledger.Shelley.Generator.Core
scriptSpaceTest.Cardano.Ledger.Shelley.Generator.Presets
ScriptsProvided 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.UTxO, Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.UTxO, Cardano.Ledger.State
11 (Data Constructor)Cardano.Ledger.Mary.State
12 (Type/Class)Cardano.Ledger.Mary.State
13 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
14 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
scriptSummaryTest.Cardano.Ledger.Generic.PrettyCore
ScriptTestContext 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Type/Class)Test.Cardano.Ledger.Babbage.ImpTest
4 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
5 (Data Constructor)Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus
6 (Type/Class)Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus
7 (Type/Class)Test.Cardano.Ledger.Mary.ImpTest
8 (Type/Class)Test.Cardano.Ledger.Shelley.ImpTest
scriptTestContexts 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
scriptTxWitsL 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
9 (Function)Test.Cardano.Ledger.EraClass
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
ScriptWitsTest.Cardano.Ledger.Generic.Fields
scriptWits 
1 (Function)Cardano.Ledger.Shelley.TxWits
2 (Function)Test.Cardano.Ledger.Constrained.Vars
ScriptWits'Test.Cardano.Ledger.Generic.Fields
scriptWitsLangsTest.Cardano.Ledger.Constrained.Preds.Tx
scriptWitsNeeded'Test.Cardano.Ledger.Generic.Functions
script_all 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
script_any 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.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
script_hash 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
script_n_of_k 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Conway.CDDL
4 (Function)Test.Cardano.Ledger.Mary.CDDL
script_pubkey 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
script_ref 
1 (Function)Test.Cardano.Ledger.Babbage.CDDL
2 (Function)Test.Cardano.Ledger.Conway.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
sDelegStakeTest.Cardano.Ledger.Constrained.Preds.Certs
sdSlotCardano.Chain.Delegation.Validation.Scheduling
secondControl.Iterate.Exp
secondsToNominalDiffTimeMicroCardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SecureRandom 
1 (Data Constructor)Cardano.Crypto.Random, Cardano.Crypto
2 (Type/Class)Cardano.Crypto.Random, Cardano.Crypto
SecurityGroupCardano.Ledger.Conway.PParams
securityParameter 
1 (Function)Cardano.Ledger.BaseTypes
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
Seed 
1 (Data Constructor)Cardano.Ledger.BaseTypes
2 (Type/Class)Cardano.Ledger.BaseTypes
seedEtaCardano.Protocol.TPraos.BHeader
seedLCardano.Protocol.TPraos.BHeader
segWitTxCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
selConstrained.Spec.SumProd, Constrained.API
selectTest.Cardano.Ledger.Constrained.Ast
select2Test.Cardano.Ledger.Constrained.Ast
SelectCases 
1 (Data Constructor)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Data Constructor)Cardano.Ledger.Binary.Plain
selectMapCardano.Ledger.State.Query
SelectorTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
selectVMapCardano.Ledger.State.Query
selfDelegationsRatioByron.Spec.Ledger.Delegation
SemanticsConstrained.Base, Constrained.API
semanticsConstrained.Base, Constrained.API
semigroupLawsTest.Common
semigroupMonoidLawsTest.Common
sendCoinTo 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
sendCoinTo_ 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
SendToOppositePotMIR 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Mary.Core
6 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sendValueTo 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
sendValueTo_ 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
sepnTest.Cardano.Ledger.Constrained.Size
sEpochByron.Spec.Chain.STS.Rule.Epoch
sepsTest.Cardano.Ledger.Constrained.Size
sepsPTest.Cardano.Ledger.Constrained.Size
sequentialTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
sequentialTestGroupTest.Common
serialiseAddr 
1 (Function)Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Address
serialiseRewardAccount 
1 (Function)Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Address
serialize 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
serialize' 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
serializeAsHexTextCardano.Ledger.Binary.Plain
serializeBuilder 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
serializeCborHashCardano.Crypto.Hashing, Cardano.Crypto
serializeEncodingCardano.Ledger.Binary.Plain
serializeEncoding'Cardano.Ledger.Binary.Plain
set 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.Generator.EraGen
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
setActionIdTest.Cardano.Ledger.Constrained.Preds.LedgerState
setAlgTestTest.Control.Iterate.SetAlgebra
setBeforeSubsetTest.Cardano.Ledger.Constrained.Rewrite
setCompleteDRepPulsingStateCardano.Ledger.Conway.Governance
setCurrentProposalsTest.Cardano.Ledger.Shelley.Examples.Combinators
setDecodeACardano.Ledger.Binary.Coders
setDelegsTest.Cardano.Ledger.Constrained.Vars
setDelegsLTest.Cardano.Ledger.Constrained.Vars
SetDiffControl.Iterate.Exp
setdiffControl.Iterate.Exp, Control.SetAlgebra
setExampleConstrained.Examples.CheatSheet
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
setMinCoinTxOut 
1 (Function)Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Tools
setMinCoinTxOutWithCardano.Ledger.Tools
setMinFeeTx 
1 (Function)Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Tools
setMinFeeTxUtxo 
1 (Function)Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Tools
SetNeverTest.Cardano.Ledger.Constrained.Spec
setOCertCounterTest.Cardano.Ledger.Shelley.Examples.Combinators
setOfPairLetSpecConstrained.Examples.Set, Constrained.Examples
setPairConstrained.Examples.Set, Constrained.Examples
setPairSpecConstrained.Examples.Set, Constrained.Examples
setPoolDistrTest.Cardano.Ledger.Shelley.Examples.Combinators
setPoolsTest.Cardano.Ledger.Constrained.Vars
setPoolsLTest.Cardano.Ledger.Constrained.Vars
setPParamsTest.Cardano.Ledger.Shelley.Examples.Combinators
setPrevPParamsTest.Cardano.Ledger.Shelley.Examples.Combinators
SetR 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.TypeRep
2 (Data Constructor)Control.Iterate.BaseTypes, Control.SetAlgebra
SetsTest.Cardano.Ledger.Shelley.Generator.EraGen
setSemConstrained.Spec.Set
SetSingleControl.Iterate.BaseTypes, Control.SetAlgebra
SetSingletonControl.Iterate.Exp
setSingletonControl.Iterate.Exp, Control.SetAlgebra
setSingletonSpecConstrained.Examples.Set, Constrained.Examples
setSizedTest.Cardano.Ledger.Constrained.Combinators
setSnapShotTTest.Cardano.Ledger.Constrained.Vars
SetSpec 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Spec
2 (Type/Class)Test.Cardano.Ledger.Constrained.Spec
3 (Data Constructor)Constrained.Spec.Set, Constrained.API
4 (Type/Class)Constrained.Spec.Set, Constrained.API
setSpec 
1 (Function)Test.Cardano.Ledger.Constrained.Spec
2 (Function)Constrained.Examples.Set, Constrained.Examples
setStakeTest.Cardano.Ledger.Constrained.Vars
setStakeLTest.Cardano.Ledger.Constrained.Vars
setSubSizeConstrained.Examples.Set, Constrained.Examples
Sett 
1 (Data Constructor)Control.Iterate.BaseTypes
2 (Type/Class)Control.Iterate.BaseTypes
setTagCardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
setToListTargetTest.Cardano.Ledger.Constrained.Ast
setupDRepWithoutStakeTest.Cardano.Ledger.Conway.ImpTest
setupPoolWithoutStakeTest.Cardano.Ledger.Conway.ImpTest
setupPoolWithStakeTest.Cardano.Ledger.Conway.ImpTest
setupSingleDRepTest.Cardano.Ledger.Conway.ImpTest
setVarTest.Cardano.Ledger.Constrained.Trace.TraceMonad
SetWConstrained.Spec.Set, Constrained.API
setWithSumTest.Cardano.Ledger.Constrained.Tests
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
sgActiveSlotsCoeff 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgEpochLength 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgGenDelegs 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgInitialFunds 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)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
sgMaxKESEvolutions 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgMaxLovelaceSupply 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgNetworkId 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgNetworkMagic 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgProtocolParams 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsCurPParams 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)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
sgsCurProposals 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)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
sgSecurityParam 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgsFuturePParams 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)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
sgsFutureProposals 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)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
sgSlotLength 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgSlotsPerKESPeriod 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)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
sgsPrevPParams 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)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
sgStaking 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)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
sgSystemStart 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
sgUpdateQuorum 
1 (Function)Cardano.Ledger.Api.Transition
2 (Function)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.Api.Era, Cardano.Ledger.Api
2 (Type/Class)Cardano.Ledger.Shelley
3 (Data Constructor)Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep
shelleyAddrTest.Cardano.Ledger.Babbage.TxInfo
ShelleyBaseCardano.Ledger.BaseTypes
ShelleyBBODYCardano.Ledger.Shelley.Rules
ShelleyBbodyEventCardano.Ledger.Shelley.Rules
ShelleyBbodyPredFailureCardano.Ledger.Shelley.Rules
ShelleyBbodyStateCardano.Ledger.Shelley.Rules
shelleyCDDL 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
shelleyCertDState 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
shelleyCertDStateL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
shelleyCertPState 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
shelleyCertPStateL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
ShelleyCertState 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.Mary.State
10 (Type/Class)Cardano.Ledger.Mary.State
11 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
12 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
shelleyCertStateSpec 
1 (Function)Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
2 (Function)Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
shelleyCertsTotalDepositsTxBody 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
shelleyCertsTotalRefundsTxBody 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
shelleyCommonPParamsHKDPairsCardano.Ledger.Shelley.PParams
shelleyCommonPParamsHKDPairsV6Cardano.Ledger.Shelley.PParams
shelleyCommonPParamsHKDPairsV8Cardano.Ledger.Shelley.PParams
shelleyConsumedCardano.Ledger.Shelley.UTxO
ShelleyDELEGCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyDelegCert 
1 (Data Constructor)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)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
shelleyEqTxRawCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
shelleyEqTxWitsRawCardano.Ledger.Shelley.TxWits
ShelleyEra 
1 (Type/Class)Cardano.Ledger.Api.Era, Cardano.Ledger.Api
2 (Type/Class)Cardano.Ledger.Shelley
3 (Type/Class)Test.Cardano.Ledger.EraBuffet
4 (Type/Class)Test.Cardano.Ledger.Generic.Proof
ShelleyEraImp 
1 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Type/Class)Test.Cardano.Ledger.Babbage.ImpTest
4 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
5 (Type/Class)Test.Cardano.Ledger.Mary.ImpTest
6 (Type/Class)Test.Cardano.Ledger.Shelley.ImpTest
ShelleyEraScriptCardano.Ledger.Shelley.Scripts
ShelleyEraTxBody 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
7 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core
ShelleyEraTxCert 
1 (Type/Class)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Alonzo.Core
3 (Type/Class)Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Type/Class)Cardano.Ledger.Babbage.Core
5 (Type/Class)Cardano.Ledger.Conway.Core
6 (Type/Class)Cardano.Ledger.Mary.Core
7 (Type/Class)Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core
shelleyFixupTx 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
ShelleyGenesis 
1 (Type/Class)Cardano.Ledger.Api.Transition
2 (Data Constructor)Cardano.Ledger.Api.Transition
3 (Data Constructor)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
4 (Type/Class)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyGenesisStaking 
1 (Data Constructor)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyGovState 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Type/Class)Cardano.Ledger.Allegra.Core
3 (Data Constructor)Cardano.Ledger.Alonzo.Core
4 (Type/Class)Cardano.Ledger.Alonzo.Core
5 (Type/Class)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
6 (Data Constructor)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
7 (Data Constructor)Cardano.Ledger.Babbage.Core
8 (Type/Class)Cardano.Ledger.Babbage.Core
9 (Data Constructor)Cardano.Ledger.Conway.Core
10 (Type/Class)Cardano.Ledger.Conway.Core
11 (Data Constructor)Cardano.Ledger.Mary.Core
12 (Type/Class)Cardano.Ledger.Mary.Core
13 (Data Constructor)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
14 (Type/Class)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
shelleyGovStateSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
ShelleyInAlonzoBbodyPredFailureCardano.Ledger.Alonzo.Rules
ShelleyInAlonzoEventCardano.Ledger.Alonzo.Rules
ShelleyInAlonzoUtxowPredFailureCardano.Ledger.Alonzo.Rules
shelleyInputTest.Cardano.Ledger.Babbage.TxInfo
ShelleyInstantStake 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.Mary.State
10 (Type/Class)Cardano.Ledger.Mary.State
11 (Data Constructor)Cardano.Ledger.Shelley.State
12 (Type/Class)Cardano.Ledger.Shelley.State
shelleyInstantStakeCredentialsL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)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
ShelleyLedgerExamples 
1 (Data Constructor)Test.Cardano.Ledger.Shelley.Examples.Consensus
2 (Type/Class)Test.Cardano.Ledger.Shelley.Examples.Consensus
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.Internal, Cardano.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
shelleyObligationCertState 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
shelleyOutputTest.Cardano.Ledger.Babbage.TxInfo
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 (Data Constructor)Cardano.Ledger.Shelley.PParams
2 (Type/Class)Cardano.Ledger.Shelley.PParams
ShelleyPPUPCardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyPpupPredFailureCardano.Ledger.Shelley.Rules
shelleyProducedValueCardano.Ledger.Shelley.UTxO
shelleyProtVer 
1 (Function)Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.BaseTypes
ShelleyRegCertCardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyResultExamples 
1 (Data Constructor)Test.Cardano.Ledger.Shelley.Examples.Consensus
2 (Type/Class)Test.Cardano.Ledger.Shelley.Examples.Consensus
ShelleyRUPDCardano.Ledger.Shelley.Rules
ShelleyRupdPredFailureCardano.Ledger.Shelley.Rules
ShelleyScriptsNeeded 
1 (Data Constructor)Cardano.Ledger.Shelley.UTxO
2 (Type/Class)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
shelleyToConwayUtxowPredFailureCardano.Ledger.Conway.Rules
shelleyTotalDepositsTxCertsCardano.Ledger.Shelley.TxCert
shelleyTotalRefundsTxCertsCardano.Ledger.Shelley.TxCert
ShelleyTx 
1 (Type/Class)Cardano.Ledger.Mary
2 (Data Constructor)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Type/Class)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
ShelleyTxAuxData 
1 (Type/Class)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Data Constructor)Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
4 (Type/Class)Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
ShelleyTxAuxDataRaw 
1 (Data Constructor)Cardano.Ledger.Shelley.TxAuxData
2 (Type/Class)Cardano.Ledger.Shelley.TxAuxData
ShelleyTxBody 
1 (Data Constructor)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
ShelleyTxBodyRaw 
1 (Data Constructor)Cardano.Ledger.Shelley.TxBody
2 (Type/Class)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
ShelleyTxCertRTest.Cardano.Ledger.Constrained.TypeRep
shelleyTxCertSpecTest.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway
ShelleyTxOut 
1 (Type/Class)Cardano.Ledger.Mary
2 (Data Constructor)Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Type/Class)Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API
ShelleyTxRaw 
1 (Data Constructor)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
2 (Type/Class)Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
ShelleyTxSeq 
1 (Data Constructor)Cardano.Ledger.Shelley.BlockChain
2 (Type/Class)Cardano.Ledger.Shelley.BlockChain
ShelleyTxWits 
1 (Data Constructor)Cardano.Ledger.Shelley.TxWits
2 (Type/Class)Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
ShelleyTxWitsRaw 
1 (Data Constructor)Cardano.Ledger.Shelley.TxWits
2 (Type/Class)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_transaction_output 
1 (Function)Test.Cardano.Ledger.Babbage.CDDL
2 (Function)Test.Cardano.Ledger.Conway.CDDL
ShiftTest.Cardano.Ledger.Constrained.Ast
shortConstrained.Base
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.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
shouldBeLeft 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeLeftExpr 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
shouldBeRight 
1 (Function)Test.Cardano.Ledger.Common
2 (Function)Test.Cardano.Ledger.Imp.Common
shouldBeRightExpr 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.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
showAddsSpecTest.Cardano.Ledger.Constrained.Classes
showAllTargetTest.Cardano.Ledger.Constrained.Ast
showBlockTest.Cardano.Ledger.Generic.Trace
showCertsTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
showConwayTxBalanceTest.Cardano.Ledger.Conway.ImpTest
showCredCardano.Ledger.Shelley.Rules.Reports
showCtxWithConstrained.Properties
showDecoderErrorCardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
showEControl.Iterate.Exp
showElemSpecTest.Cardano.Ledger.Constrained.Spec
showEnvTest.Cardano.Ledger.Constrained.Tests
showExpr 
1 (Function)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Function)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Function)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Function)Test.Cardano.Ledger.Binary.TreeDiff
5 (Function)Test.Cardano.Ledger.Conway.TreeDiff
6 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
showFailedTermsWithReSerializationTest.Cardano.Ledger.Binary.Plain.RoundTrip
showGovActionTypeCardano.Ledger.Conway.Governance
showGraphTest.Cardano.Ledger.Constrained.Rewrite
showHexBytesGrouped 
1 (Function)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Function)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Function)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Function)Test.Cardano.Ledger.Binary.TreeDiff
5 (Function)Test.Cardano.Ledger.Conway.TreeDiff
6 (Function)Test.Cardano.Ledger.TreeDiff
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
showIRCardano.Ledger.Shelley.Rules.Reports
showKeyHashCardano.Ledger.Shelley.Rules.Reports
showL 
1 (Function)Test.Cardano.Ledger.Constrained.Ast
2 (Function)Control.Iterate.Exp
showLawsTest.Common
showListSpecTest.Cardano.Ledger.Constrained.Spec
showListyCardano.Ledger.Shelley.Rules.Reports
showMap 
1 (Function)Cardano.Ledger.Shelley.Rules.Reports
2 (Function)Test.Cardano.Ledger.Constrained.Trace.DrepCertTx
showMapSpecTest.Cardano.Ledger.Constrained.Spec
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
showPairSpecTest.Cardano.Ledger.Constrained.Spec
showPotOblTest.Cardano.Ledger.Constrained.Trace.DrepCertTx
showPredTest.Cardano.Ledger.Constrained.Tests
showProtverTest.Cardano.Ledger.Generic.PrettyCore
showPulserStateTest.Cardano.Ledger.Constrained.Trace.TraceMonad
showReadLawsTest.Common
showRelSpecTest.Cardano.Ledger.Constrained.Spec
showRngSpecTest.Cardano.Ledger.Constrained.Spec
showSafeHashCardano.Ledger.Shelley.Rules.Reports
showSetSpecTest.Cardano.Ledger.Constrained.Spec
showTTest.Cardano.Ledger.Constrained.Ast
showTermTest.Cardano.Ledger.Constrained.Tests
showTimelockCardano.Ledger.Allegra.Scripts
showTxCertsCardano.Ledger.Shelley.Rules.Reports
showTypeConstrained.Base
showValTest.Cardano.Ledger.Constrained.Tests
showValueCardano.Ledger.Mary.Value
showWithdrawalCardano.Ledger.Shelley.Rules.Reports
shrink 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrink1 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
Shrink2 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Test.Common
4 (Type/Class)Test.Common
shrink2 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkBoundedEnum 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkDecimal 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkEnvTest.Cardano.Ledger.Constrained.Shrink
shrinkEnvFromPlanConstrained.TheKnot
shrinkFromPredsConstrained.TheKnot
Shrinking 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Test.Common
4 (Type/Class)Test.Common
shrinking 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkInit 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkIntegral 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkLeftPreservingByron.Spec.Ledger.UTxO.Generators
shrinkList 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkMap 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkMapBy 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkNothing 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkOnePreservingByron.Spec.Ledger.UTxO.Generators
shrinkPredsTest.Cardano.Ledger.Constrained.Tests
shrinkRealFrac 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkRepTest.Cardano.Ledger.Constrained.TypeRep
shrinkRightByron.Spec.Ledger.UTxO.Generators
shrinkSignalTest.Control.State.Transition.Trace.Generator.QuickCheck
ShrinkState 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Type/Class)Test.Common
shrinkState 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
shrinkTraceTest.Control.State.Transition.Trace.Generator.QuickCheck
shrinkWithNumSpecConstrained.NumSpec
shrinkWithSpecConstrained.TheKnot
shrinkWithTypeSpecConstrained.Base, Constrained.API
shuffle 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
ShuffledGovActionStates 
1 (Data Constructor)Test.Cardano.Ledger.Conway.Arbitrary
2 (Type/Class)Test.Cardano.Ledger.Conway.Arbitrary
Sig 
1 (Data Constructor)Byron.Spec.Ledger.Core
2 (Type/Class)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.Generator
2 (Function)Test.Control.State.Transition.Trace.Generator.QuickCheck
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 (Data Constructor)Cardano.Chain.Update.Validation.Interface
2 (Type/Class)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.Invalid.Trace
2 (Function)Test.Control.State.Transition.Trace
SignalGeneratorTest.Control.State.Transition.Generator
signalSpecTest.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance
Signature 
1 (Data Constructor)Cardano.Crypto.Signing, Cardano.Crypto
2 (Type/Class)Cardano.Crypto.Signing, Cardano.Crypto
signature 
1 (Function)Byron.Spec.Ledger.Delegation
2 (Function)Test.Cardano.Ledger.Allegra.CDDL
3 (Function)Test.Cardano.Ledger.Alonzo.CDDL
4 (Function)Test.Cardano.Ledger.Babbage.CDDL
5 (Function)Cardano.Chain.Block
6 (Function)Cardano.Chain.Update.Vote, Cardano.Chain.Update
7 (Function)Cardano.Chain.Delegation
8 (Function)Test.Cardano.Ledger.Conway.CDDL
9 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
10 (Function)Test.Cardano.Ledger.Mary.CDDL
11 (Function)Test.Cardano.Ledger.Shelley.CDDL
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
SignedDSIGN 
1 (Type/Class)Cardano.Ledger.Keys
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
signedDSIGNCardano.Ledger.Keys
SignedKES 
1 (Type/Class)Cardano.Ledger.Keys
2 (Type/Class)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 (Data Constructor)Cardano.Crypto.Signing, Cardano.Crypto
2 (Type/Class)Cardano.Crypto.Signing, Cardano.Crypto
SigningKeyRTest.Cardano.Ledger.Constrained.TypeRep
SignKeyDSIGN 
1 (Type/Class)Cardano.Ledger.Keys
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SignKeyFakeVRFTest.Cardano.Protocol.Crypto.VRF.Fake
SignKeyKES 
1 (Type/Class)Cardano.Ledger.Keys
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
signkeyKES 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Core.Binary.CDDL
6 (Function)Test.Cardano.Ledger.Mary.CDDL
7 (Function)Test.Cardano.Ledger.Shelley.CDDL
SignKeyVRF 
1 (Type/Class)Cardano.Ledger.Keys
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Type/Class)Test.Cardano.Protocol.Crypto.VRF.Fake
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 (Data Constructor)Test.Control.State.Transition.Trace
2 (Type/Class)Test.Control.State.Transition.Trace
SimpleTest.Cardano.Ledger.Constrained.Ast
SimpleConstructorConstrained.Generic
SimpleGenericConstrained.Generic
simplePairSpecConstrained.Examples.Basic, Constrained.Examples
SimplePParams 
1 (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
2 (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
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 (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
2 (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
SimpleRepConstrained.Generic, Constrained.API
simpleTxTest.Cardano.Ledger.Constrained.Trace.SimpleTx
simpleTxBodyTest.Cardano.Ledger.Constrained.Trace.SimpleTx
simplifyTest.Cardano.Ledger.Constrained.Ast
simplifyAConstrained.SumList
simplifyAtTypeTest.Cardano.Ledger.Constrained.Solver
simplifyBinderConstrained.TheKnot
simplifyListTest.Cardano.Ledger.Constrained.Solver
simplifyPredConstrained.TheKnot
simplifyPredsConstrained.TheKnot
SimplifyRepConstrained.Generic
simplifySetTest.Cardano.Ledger.Constrained.Solver
simplifySpecConstrained.TheKnot, Constrained.API
simplifySumTest.Cardano.Ledger.Constrained.Ast
simplifyTargetTest.Cardano.Ledger.Constrained.Ast
simplifyTermConstrained.TheKnot, Constrained.API
SingEPControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
Single 
1 (Data Constructor)Control.Iterate.BaseTypes, Control.SetAlgebra
2 (Type/Class)Control.Iterate.BaseTypes, Control.SetAlgebra
SingleHostAddr 
1 (Data Constructor)Cardano.Ledger.PoolParams
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SingleHostName 
1 (Data Constructor)Cardano.Ledger.PoolParams
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SingleRControl.Iterate.BaseTypes, Control.SetAlgebra
singleSubstTest.Cardano.Ledger.Constrained.Ast
Singleton 
1 (Type/Class)Data.Universe
2 (Type/Class)Test.Cardano.Ledger.Constrained.TypeRep
3 (Data Constructor)Control.Iterate.Exp
singleton 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Data.OSet.Strict
3 (Function)Data.OMap.Strict
4 (Function)Constrained.Syntax
5 (Function)Control.Iterate.Exp, Control.SetAlgebra
singletonEnvConstrained.Env
singletonErrorTooLongConstrained.Examples.List, Constrained.Examples
singletonErrorTooManyConstrained.Examples.List, Constrained.Examples
singletonListFnConstrained.TheKnot
SingletonListWConstrained.TheKnot
singletonList_Constrained.TheKnot, Constrained.API
singletonsConstrained.Spec.Set
singletonSubsetConstrained.Examples.List, Constrained.Examples
SingletonWConstrained.Spec.Set, Constrained.API
singleton_Constrained.Spec.Set, Constrained.API
single_host_addr 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
single_host_name 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
sisCredentialStake 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
sisPtrStake 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.Mary.State
6 (Function)Cardano.Ledger.Shelley.State
Size 
1 (Type/Class)Data.AbstractSize
2 (Type/Class)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
3 (Type/Class)Cardano.Ledger.Binary.Plain
4 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
5 (Type/Class)Test.Cardano.Ledger.Constrained.Size
size 
1 (Function)Byron.Spec.Ledger.Core
2 (Function)Data.OSet.Strict
3 (Function)Data.OMap.Strict
4 (Function)Cardano.Ledger.Val
5 (Function)Cardano.Ledger.UMap
6 (Function)Data.VMap
SizeableTest.Cardano.Ledger.Constrained.Classes
sizeAddOrSub1Constrained.Examples.Basic, Constrained.Examples
sizeAddOrSub2Constrained.Examples.Basic, Constrained.Examples
sizeAddOrSub3Constrained.Examples.Basic, Constrained.Examples
sizeAddOrSub4Constrained.Examples.Basic, Constrained.Examples
sizeAddOrSub5Constrained.Examples.Basic, Constrained.Examples
sizeAlonzoTxF 
1 (Function)Cardano.Ledger.Alonzo.Tx
2 (Function)Cardano.Ledger.Babbage.Tx
sizeBeforeArgTest.Cardano.Ledger.Constrained.Rewrite
SizeConstant 
1 (Data Constructor)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Data Constructor)Cardano.Ledger.Binary.Plain
Sized 
1 (Data Constructor)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Type/Class)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
3 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
4 (Type/Class)Constrained.TheKnot
sized 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Hedgehog.Extra.Manual
4 (Function)Test.Common
sizedCollateralReturnTxBodyL 
1 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.Core
sizedNativeScriptGensTest.Cardano.Ledger.Shelley.Arbitrary
sizedOutputsTxBodyL 
1 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
2 (Function)Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core
3 (Function)Cardano.Ledger.Conway.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
sizedTimelock 
1 (Function)Test.Cardano.Ledger.Allegra.Arbitrary
2 (Function)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.Encoding, Cardano.Ledger.Binary
2 (Data Constructor)Cardano.Ledger.Binary.Plain
sizeForAddsSpecTest.Cardano.Ledger.Constrained.Spec
sizeForElemSpecTest.Cardano.Ledger.Constrained.Spec
sizeForListSpecTest.Cardano.Ledger.Constrained.Spec
sizeForMapSpecTest.Cardano.Ledger.Constrained.Spec
sizeForPairSpecTest.Cardano.Ledger.Constrained.Spec
sizeForRelTest.Cardano.Ledger.Constrained.Spec
sizeForRngTest.Cardano.Ledger.Constrained.Spec
sizeForSTest.Cardano.Ledger.Constrained.SpecClass
sizeForSetSpecTest.Cardano.Ledger.Constrained.Spec
sizeOfConstrained.TheKnot, Constrained.API
sizeOfFnConstrained.TheKnot
SizeOfPoolOwners 
1 (Data Constructor)Cardano.Ledger.PoolParams
2 (Type/Class)Cardano.Ledger.PoolParams
SizeOfPoolRelays 
1 (Data Constructor)Cardano.Ledger.PoolParams
2 (Type/Class)Cardano.Ledger.PoolParams
sizeOfTypeSpecConstrained.TheKnot
SizeOfWConstrained.TheKnot
sizeOf_Constrained.TheKnot, Constrained.API
SizeOverride 
1 (Type/Class)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Type/Class)Cardano.Ledger.Binary.Plain
SizeRTest.Cardano.Ledger.Constrained.TypeRep
sizeShelleyTxFCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
SizeSpecConstrained.TheKnot
sizeTConstrained.GenT
sizeTest 
1 (Function)Test.Cardano.Ledger.Binary.Vintage.Helpers
2 (Function)Test.Cardano.Ledger.UMapSpec
SizeTestConfig 
1 (Data Constructor)Test.Cardano.Ledger.Binary.Vintage.Helpers
2 (Type/Class)Test.Cardano.Ledger.Binary.Vintage.Helpers
sizeTests 
1 (Function)Test.Cardano.Ledger.Shelley.Fees
2 (Function)Constrained.Test
sizeTxF 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
sizeTxForFeeCalculation 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Babbage.Core
4 (Function)Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.Core
6 (Function)Cardano.Ledger.Mary.Core
7 (Function)Cardano.Ledger.Shelley.Core
SizeWConstrained.TheKnot
SJust 
1 (Data Constructor)Cardano.Ledger.Allegra.TxBody
2 (Data Constructor)Cardano.Ledger.BaseTypes
3 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SKey 
1 (Data Constructor)Byron.Spec.Ledger.Core
2 (Type/Class)Byron.Spec.Ledger.Core
3 (Data Constructor)Test.Cardano.Ledger.Generic.Indexed
4 (Type/Class)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
SkipTest.Cardano.Ledger.Constrained.Examples
SLanguageCardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
sleApplyTxErrorTest.Cardano.Ledger.Shelley.Examples.Consensus
sleBlockTest.Cardano.Ledger.Shelley.Examples.Consensus
sleChainDepStateTest.Cardano.Ledger.Shelley.Examples.Consensus
sleHashHeaderTest.Cardano.Ledger.Shelley.Examples.Consensus
sleNewEpochStateTest.Cardano.Ledger.Shelley.Examples.Consensus
sleResultExamplesTest.Cardano.Ledger.Shelley.Examples.Consensus
sleRewardsCredentialsTest.Cardano.Ledger.Shelley.Examples.Consensus
sleTranslationContextTest.Cardano.Ledger.Shelley.Examples.Consensus
sleTxTest.Cardano.Ledger.Shelley.Examples.Consensus
slice 
1 (Function)Test.Cardano.Ledger.Allegra.Binary.Annotator
2 (Function)Test.Cardano.Ledger.Alonzo.Binary.Annotator
3 (Function)Test.Cardano.Ledger.Babbage.Binary.Annotator
4 (Function)Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
5 (Function)Test.Cardano.Ledger.Binary.Annotator
6 (Function)Test.Cardano.Ledger.Conway.Binary.Annotator
7 (Function)Test.Cardano.Ledger.Core.Binary.Annotator
8 (Function)Test.Cardano.Ledger.Mary.Binary.Annotator
9 (Function)Test.Cardano.Ledger.Shelley.Binary.Annotator
10 (Function)Test.Cardano.Protocol.Binary.Annotator
Slot 
1 (Data Constructor)Byron.Spec.Ledger.Core
2 (Type/Class)Byron.Spec.Ledger.Core
slotByron.Spec.Ledger.Delegation
SlotCount 
1 (Data Constructor)Byron.Spec.Ledger.Core
2 (Type/Class)Byron.Spec.Ledger.Core
3 (Data Constructor)Cardano.Chain.Slotting
4 (Type/Class)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 (Data Constructor)Cardano.Ledger.Credential
2 (Type/Class)Cardano.Ledger.Credential
SlotNoRTest.Cardano.Ledger.Constrained.TypeRep
SlotNotAfterLastBlockByron.Spec.Chain.STS.Rule.Pbft
SlotNumber 
1 (Data Constructor)Cardano.Chain.Slotting
2 (Type/Class)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
slotsPerKESPeriod 
1 (Function)Cardano.Ledger.BaseTypes
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
3 (Function)Cardano.Protocol.TPraos.OCert
slotToNonceCardano.Ledger.Shelley.BlockChain
slotToPOSIXTimeCardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus
slot_noTest.Cardano.Ledger.Conway.CDDL
Small 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Test.Common
4 (Type/Class)Test.Common
smallTest.Cardano.Ledger.Generic.GenState
smallerOfTest.Cardano.Ledger.Constrained.Classes
smallestNameTest.Cardano.Ledger.Mary.Golden
smallNameTest.Cardano.Ledger.Mary.Golden
smallSampleConstrained.SumList
Smart 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
3 (Data Constructor)Test.Common
4 (Type/Class)Test.Common
smartControl.Iterate.Exp
smartTxBodyTest.Cardano.Ledger.Generic.Trace
smartUTxOStateCardano.Ledger.Shelley.LedgerState
sMaybeLTest.Cardano.Ledger.Constrained.Preds.Certs
smCommLTest.Cardano.Ledger.Constrained.Vars
sMirShiftTest.Cardano.Ledger.Constrained.Preds.Certs
smNeededLTest.Cardano.Ledger.Constrained.Vars
SNAPTest.Cardano.Ledger.Constrained.Trace.Pipeline
SnapEnv 
1 (Data Constructor)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
2 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SnapEvent 
1 (Data Constructor)Cardano.Ledger.Conway.Rules
2 (Data Constructor)Cardano.Ledger.Shelley.Rules
3 (Type/Class)Cardano.Ledger.Shelley.Rules
SnapFailureCardano.Ledger.Shelley.Rules
snapsTest.Cardano.Ledger.Generic.Trace
SnapShot 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
11 (Data Constructor)Cardano.Ledger.Mary.State
12 (Type/Class)Cardano.Ledger.Mary.State
13 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
14 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
15 (Data Constructor)Cardano.Ledger.State.Schema
16 (Type/Class)Cardano.Ledger.State.Schema
SnapShotDelegation 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
SnapShotDelegationCredentialIdCardano.Ledger.State.Schema
snapShotDelegationCredentialIdCardano.Ledger.State.Schema
SnapShotDelegationId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)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
snapShotFeeTest.Cardano.Ledger.Constrained.Vars
snapShotFromInstantStake 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
SnapShotGoCardano.Ledger.State.Orphans
SnapShotId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
SnapShotKeyCardano.Ledger.State.Schema
SnapShotM 
1 (Data Constructor)Cardano.Ledger.State.Vector
2 (Type/Class)Cardano.Ledger.State.Vector
SnapShotMarkCardano.Ledger.State.Orphans
SnapShotPool 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
SnapShotPoolId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)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 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
11 (Data Constructor)Cardano.Ledger.Mary.State
12 (Type/Class)Cardano.Ledger.Mary.State
13 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
14 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
snapshotsTest.Cardano.Ledger.Constrained.Vars
SnapShotSetCardano.Ledger.State.Orphans
snapshotsLTest.Cardano.Ledger.Constrained.Vars
SnapShotsM 
1 (Data Constructor)Cardano.Ledger.State.Vector
2 (Type/Class)Cardano.Ledger.State.Vector
snapShotSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
SnapShotsRTest.Cardano.Ledger.Constrained.TypeRep
snapShotsSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs
snapShotsTTest.Cardano.Ledger.Constrained.Vars
SnapShotStake 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
SnapShotStakeCoinCardano.Ledger.State.Schema
snapShotStakeCoinCardano.Ledger.State.Schema
SnapShotStakeCredentialIdCardano.Ledger.State.Schema
snapShotStakeCredentialIdCardano.Ledger.State.Schema
SnapShotStakeId 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Schema
SnapShotStakeKeyCardano.Ledger.State.Schema
SnapShotStakeSnapShotIdCardano.Ledger.State.Schema
snapShotStakeSnapShotIdCardano.Ledger.State.Schema
SnapShotStats 
1 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
SnapShotType 
1 (Data Constructor)Cardano.Ledger.State.Schema
2 (Type/Class)Cardano.Ledger.State.Orphans
snapShotTypeCardano.Ledger.State.Schema
snapsXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
snapXTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed
SNDControl.Iterate.Exp
sndLTest.Cardano.Ledger.Constrained.Lenses
sndSpecConstrained.Spec.Map, Constrained.API
sndUPIStateByron.Spec.Ledger.Update
sndWConstrained.Spec.SumProd
snd_Constrained.Spec.SumProd, Constrained.API
SNothing 
1 (Data Constructor)Cardano.Ledger.Allegra.TxBody
2 (Data Constructor)Cardano.Ledger.BaseTypes
3 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SoftforkRule 
1 (Data Constructor)Cardano.Chain.Update
2 (Type/Class)Cardano.Chain.Update
SoftwareUpdateProposal 
1 (Data Constructor)Cardano.Chain.Update.Validation.Registration
2 (Type/Class)Cardano.Chain.Update.Validation.Registration
SoftwareUpdateProposalsCardano.Chain.Update.Validation.Registration
SoftwareVersion 
1 (Data Constructor)Cardano.Chain.Update
2 (Type/Class)Cardano.Chain.Update
SoftwareVersionApplicationNameErrorCardano.Chain.Update
SoftwareVersionError 
1 (Data Constructor)Cardano.Chain.Update.Validation.Registration
2 (Type/Class)Cardano.Chain.Update
solidifyFuturePParams 
1 (Function)Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core
5 (Function)Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core
solidifyNextEpochPParamsCardano.Ledger.Shelley.Rules
solidifyProposalsTest.Cardano.Ledger.Shelley.Examples.Combinators
SolutionConstrained.SumList
solvableFromConstrained.TheKnot
solveListTest.Cardano.Ledger.Constrained.Solver
solveListsTest.Cardano.Ledger.Constrained.Solver
solveMapTest.Cardano.Ledger.Constrained.Solver
solveMapsTest.Cardano.Ledger.Constrained.Solver
solveMapSummandsTest.Cardano.Ledger.Constrained.Solver
solveOneVarTest.Cardano.Ledger.Constrained.Solver
solvePipelineTest.Cardano.Ledger.Constrained.Stage
solvePipeline2Test.Cardano.Ledger.Constrained.Trace.Pipeline
solverDependenciesConstrained.Syntax
solverOrderConstrained.Examples.CheatSheet
solverOrder'Constrained.Examples.CheatSheet
SolverPlan 
1 (Data Constructor)Constrained.Syntax
2 (Type/Class)Constrained.Syntax
solverPlanConstrained.Syntax
SolverStage 
1 (Data Constructor)Constrained.Syntax
2 (Type/Class)Constrained.Syntax
solveSetTest.Cardano.Ledger.Constrained.Solver
solveSetsTest.Cardano.Ledger.Constrained.Solver
solveSumTest.Cardano.Ledger.Constrained.Solver
solveSumsTest.Cardano.Ledger.Constrained.Solver
solveSumsToTest.Cardano.Ledger.Constrained.Spec
solveUnivTest.Cardano.Ledger.Constrained.Preds.Universes
Some 
1 (Data Constructor)Data.Universe
2 (Type/Class)Data.Universe
3 (Data Constructor)Test.Cardano.Ledger.Constrained.Spec
4 (Type/Class)Test.Cardano.Ledger.Generic.Proof
5 (Data Constructor)Test.Cardano.Ledger.Generic.Proof
SomeAddTest.Cardano.Ledger.Constrained.Spec
someAddrTest.Cardano.Ledger.Examples.STSTestUtils
SomeDTest.Cardano.Ledger.Generic.Same
SomeDependTest.Cardano.Ledger.Generic.Same
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
SomeLens 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Spec
2 (Type/Class)Test.Cardano.Ledger.Constrained.Spec
SomeMTest.Cardano.Ledger.Generic.Same
someMapTest.Cardano.Ledger.Constrained.Spec
someScriptAddrTest.Cardano.Ledger.Examples.STSTestUtils
someSetTest.Cardano.Ledger.Constrained.Spec
SomeSTSEvent 
1 (Data Constructor)Test.Cardano.Ledger.Allegra.ImpTest
2 (Type/Class)Test.Cardano.Ledger.Allegra.ImpTest
3 (Data Constructor)Test.Cardano.Ledger.Alonzo.ImpTest
4 (Type/Class)Test.Cardano.Ledger.Alonzo.ImpTest
5 (Data Constructor)Test.Cardano.Ledger.Babbage.ImpTest
6 (Type/Class)Test.Cardano.Ledger.Babbage.ImpTest
7 (Data Constructor)Test.Cardano.Ledger.Conway.ImpTest
8 (Type/Class)Test.Cardano.Ledger.Conway.ImpTest
9 (Data Constructor)Test.Cardano.Ledger.Mary.ImpTest
10 (Type/Class)Test.Cardano.Ledger.Mary.ImpTest
11 (Data Constructor)Test.Cardano.Ledger.Shelley.ImpTest
12 (Type/Class)Test.Cardano.Ledger.Shelley.ImpTest
someZerosTest.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway
SOPConstrained.Generic
SOPLikeConstrained.Generic
SopListConstrained.Generic
SOPOfConstrained.Generic
Sorted 
1 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Common
SortedList 
1 (Type/Class)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Type/Class)Test.Common
soundSpecTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
soundSpecWithTest.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
sourceTest.Control.State.Transition.Trace
SourceSignalTarget 
1 (Data Constructor)Test.Control.State.Transition.Trace
2 (Type/Class)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
spDelTest.Cardano.Ledger.Constrained.Lenses
spDelLTest.Cardano.Ledger.Constrained.Lenses
spDepTest.Cardano.Ledger.Constrained.Lenses
spDepLTest.Cardano.Ledger.Constrained.Lenses
spDRepTest.Cardano.Ledger.Constrained.Lenses
spDRepLTest.Cardano.Ledger.Constrained.Lenses
speCardano.Ledger.Shelley.RewardProvenance
SpecTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
spec 
1 (Function)Main
2 (Function)Test.Cardano.Data.OSet.StrictSpec
3 (Function)Test.Cardano.Data.OMap.StrictSpec
4 (Function)Test.Cardano.Ledger.Allegra.Imp
5 (Function)Test.Cardano.Ledger.Allegra.Imp.UtxowSpec
6 (Function)Test.Cardano.Ledger.Allegra.BinarySpec
7 (Function)Test.Cardano.Ledger.Allegra.Binary.CddlSpec
8 (Function)Test.Cardano.Ledger.Alonzo.Imp
9 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec
10 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec
11 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec
12 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Invalid
13 (Function)Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Valid
14 (Function)Test.Cardano.Ledger.Alonzo.Binary.TxWitsSpec
15 (Function)Test.Cardano.Ledger.Alonzo.Binary.CostModelsSpec
16 (Function)Test.Cardano.Ledger.Alonzo.GoldenSpec
17 (Function)Test.Cardano.Ledger.Alonzo.BinarySpec
18 (Function)Test.Cardano.Ledger.Alonzo.Binary.CddlSpec
19 (Function)Test.Cardano.Ledger.Api.Tx.Out
20 (Function)Test.Cardano.Ledger.Api.Tx.Body
21 (Function)Test.Cardano.Ledger.Api.Tx
22 (Function)Test.Cardano.Ledger.Api.State.QuerySpec
23 (Function)Test.Cardano.Ledger.Api.State.Imp.QuerySpec
24 (Function)Test.Cardano.Ledger.Babbage.Imp
25 (Function)Test.Cardano.Ledger.Babbage.Imp.UtxowSpec
26 (Function)Test.Cardano.Ledger.Babbage.GoldenTranslation
27 (Function)Test.Cardano.Ledger.Babbage.GoldenSpec
28 (Function)Test.Cardano.Ledger.Babbage.BinarySpec
29 (Function)Test.Cardano.Ledger.Babbage.Binary.CddlSpec
30 (Function)Main
31 (Function)Test.Cardano.Ledger.Binary.Vintage.Coders
32 (Function)Test.Cardano.Ledger.Binary.Success
33 (Function)Test.Cardano.Ledger.Binary.RoundTripSpec
34 (Function)Test.Cardano.Ledger.Binary.PlainSpec
35 (Function)Test.Cardano.Ledger.Binary.Failure
36 (Function)Test.Cardano.Ledger.Conformance.ConformanceSpec
37 (Function)Test.Cardano.Ledger.Conformance.Spec.Conway
38 (Function)Test.Cardano.Ledger.Conformance.Imp.Ratify
39 (Function)Test.Cardano.Ledger.Conformance.Imp
40 (Function)Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace
41 (Function)Test.Cardano.Ledger.Conway.Binary.Regression
42 (Function)Test.Cardano.Ledger.Conway.Imp
43 (Function)Test.Cardano.Ledger.Conway.Imp.CertsSpec
44 (Function)Test.Cardano.Ledger.Conway.Imp.DelegSpec
45 (Function)Test.Cardano.Ledger.Conway.Imp.EnactSpec
46 (Function)Test.Cardano.Ledger.Conway.Imp.EpochSpec
47 (Function)Test.Cardano.Ledger.Conway.Imp.GovCertSpec
48 (Function)Test.Cardano.Ledger.Conway.Imp.GovSpec
49 (Function)Test.Cardano.Ledger.Conway.Imp.LedgerSpec
50 (Function)Test.Cardano.Ledger.Conway.Imp.RatifySpec
51 (Function)Test.Cardano.Ledger.Conway.Imp.UtxoSpec
52 (Function)Test.Cardano.Ledger.Conway.Imp.UtxosSpec
53 (Function)Test.Cardano.Ledger.Conway.Proposals
54 (Function)Test.Cardano.Ledger.Conway.Imp.BbodySpec
55 (Function)Test.Cardano.Ledger.Conway.TxInfoSpec
56 (Function)Test.Cardano.Ledger.Conway.Spec
57 (Function)Test.Cardano.Ledger.Conway.SPORatifySpec
58 (Function)Test.Cardano.Ledger.Conway.Plutus.PlutusSpec
59 (Function)Test.Cardano.Ledger.Conway.GovActionReorderSpec
60 (Function)Test.Cardano.Ledger.Conway.GoldenTranslation
61 (Function)Test.Cardano.Ledger.Conway.GoldenSpec
62 (Function)Test.Cardano.Ledger.Conway.GenesisSpec
63 (Function)Test.Cardano.Ledger.Conway.DRepRatifySpec
64 (Function)Test.Cardano.Ledger.Conway.CommitteeRatifySpec
65 (Function)Test.Cardano.Ledger.Conway.BinarySpec
66 (Function)Test.Cardano.Ledger.Conway.Binary.CddlSpec
67 (Function)Test.Cardano.Ledger.UMapSpec
68 (Function)Test.Cardano.Ledger.ToolsSpec
69 (Function)Test.Cardano.Ledger.PlutusSpec
70 (Function)Test.Cardano.Ledger.JsonSpec
71 (Function)Test.Cardano.Ledger.BinarySpec
72 (Function)Test.Cardano.Ledger.BaseTypesSpec
73 (Function)Test.Cardano.Ledger.AddressSpec
74 (Function)Test.Cardano.Ledger.Mary.Imp
75 (Function)Test.Cardano.Ledger.Mary.Imp.UtxoSpec
76 (Function)Test.Cardano.Ledger.Mary.ValueSpec
77 (Function)Test.Cardano.Ledger.Mary.BinarySpec
78 (Function)Test.Cardano.Ledger.Mary.Binary.CddlSpec
79 (Function)Test.Cardano.Ledger.Shelley.Imp
80 (Function)Test.Cardano.Ledger.Shelley.UnitTests.InstantStakeTest
81 (Function)Test.Cardano.Ledger.Shelley.Imp.EpochSpec
82 (Function)Test.Cardano.Ledger.Shelley.Imp.LedgerSpec
83 (Function)Test.Cardano.Ledger.Shelley.Imp.UtxoSpec
84 (Function)Test.Cardano.Ledger.Shelley.Imp.UtxowSpec
85 (Function)Test.Cardano.Ledger.Shelley.BinarySpec
86 (Function)Test.Cardano.Ledger.Shelley.Binary.RoundTripSpec
87 (Function)Test.Cardano.Ledger.Shelley.Binary.GoldenSpec
88 (Function)Test.Cardano.Ledger.Shelley.Binary.CddlSpec
89 (Function)Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests
90 (Function)Test.Cardano.Protocol.Binary.CddlSpec
91 (Function)Test.Cardano.Protocol.Binary.BinarySpec
92 (Function)Test.Control.State.Transition.Examples.GlobalSum
spec1Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
spec2Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse
specializeTest.Cardano.Ledger.Generic.Proof
Specification 
1 (Type/Class)Test.Cardano.Ledger.Constrained.SpecClass
2 (Type/Class)Constrained.Base, Constrained.API
specifyTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
specIntConstrained.Examples.CheatSheet
specInt'Constrained.Examples.CheatSheet
specNameConstrained.SumList
specProdConstrained.Examples.CheatSheet
specProd0Constrained.Examples.CheatSheet
specProd1Constrained.Examples.CheatSheet
specProd2Constrained.Examples.CheatSheet
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
specTypeConstrained.Properties
specUpgradeTest.Cardano.Ledger.Core.Binary
SpecWithTest.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
specWithHuddleTest.Cardano.Ledger.Binary.Cuddle
spendableInputsTxBodyF 
1 (Function)Cardano.Ledger.Allegra.Core
2 (Function)Cardano.Ledger.Alonzo.Core
3 (Function)Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
4 (Function)Cardano.Ledger.Babbage.Core
5 (Function)Cardano.Ledger.Conway.Core
6 (Function)Cardano.Ledger.Core
7 (Function)Cardano.Ledger.Mary.Core
8 (Function)Cardano.Ledger.Shelley.Core
spendCredsUnivTest.Cardano.Ledger.Constrained.Vars
SpendingTest.Cardano.Ledger.Generic.GenState
SpendingPurpose 
1 (Data Constructor)Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core
2 (Data Constructor)Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
spendInputs'Cardano.Ledger.Babbage.TxBody
spendInputsMaxTest.Cardano.Ledger.Generic.GenState
spendPlutusScriptsTest.Cardano.Ledger.Constrained.Scripts
spendPlutusUnivTest.Cardano.Ledger.Constrained.Vars
spendscriptUnivTest.Cardano.Ledger.Constrained.Vars
Split 
1 (Type/Class)Test.Cardano.Ledger.Shelley.Utils
2 (Data Constructor)Test.Cardano.Ledger.Constrained.Lenses
3 (Type/Class)Test.Cardano.Ledger.Constrained.Lenses
splitAtData.VMap
splitEpochsTest.Cardano.Ledger.Constrained.Trace.TraceMonad
splitLnCardano.Ledger.NonIntegral
splitMemberMapData.MapExtras
splitMemberSetData.MapExtras
splitProdConstrained.Generic
splitsOfConstrained.SumList
splitTrace 
1 (Function)Test.Cardano.Ledger.Shelley.Rules.TestChain
2 (Function)Test.Control.State.Transition.Trace
splitUMapTest.Cardano.Ledger.Constrained.Lenses
SPlutusV1Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
SPlutusV2Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus
SPlutusV3Cardano.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
spPtrTest.Cardano.Ledger.Constrained.Lenses
spPtrLTest.Cardano.Ledger.Constrained.Lenses
spRevPtrTest.Cardano.Ledger.Constrained.Lenses
spRevPtrLTest.Cardano.Ledger.Constrained.Lenses
spRewTest.Cardano.Ledger.Constrained.Lenses
spRewLTest.Cardano.Ledger.Constrained.Lenses
srcLocToLocation 
1 (Function)Test.Cardano.Ledger.Allegra.TreeDiff
2 (Function)Test.Cardano.Ledger.Alonzo.TreeDiff
3 (Function)Test.Cardano.Ledger.Babbage.TreeDiff
4 (Function)Test.Cardano.Ledger.Binary.TreeDiff
5 (Function)Test.Cardano.Ledger.Conway.TreeDiff
6 (Function)Test.Cardano.Ledger.TreeDiff
7 (Function)Test.Cardano.Ledger.Mary.TreeDiff
8 (Function)Test.Cardano.Ledger.Shelley.TreeDiff
sRegKeyTest.Cardano.Ledger.Constrained.Preds.Certs
sRegPoolTest.Cardano.Ledger.Constrained.Preds.Certs
sreNonMyopicRewardsTest.Cardano.Ledger.Shelley.Examples.Consensus
srePoolDistrTest.Cardano.Ledger.Shelley.Examples.Consensus
srePParamsTest.Cardano.Ledger.Shelley.Examples.Consensus
sreProposedPPUpdatesTest.Cardano.Ledger.Shelley.Examples.Consensus
sreShelleyGenesisTest.Cardano.Ledger.Shelley.Examples.Consensus
sRetirePoolTest.Cardano.Ledger.Constrained.Preds.Certs
srInitThdCardano.Chain.Update
srMinThdCardano.Chain.Update
srThdDecrementCardano.Chain.Update
ssTest.Cardano.Ledger.Babbage.TxInfo
SscPayload 
1 (Data Constructor)Cardano.Chain.Ssc
2 (Type/Class)Cardano.Chain.Ssc
SscProof 
1 (Data Constructor)Cardano.Chain.Ssc
2 (Type/Class)Cardano.Chain.Ssc
ssDelegationsCardano.Ledger.State.Vector
ssDelegationsL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssFeeL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)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
ssPoolParamsL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)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
ssStakeDistrL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeGoL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeMarkL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeMarkPoolDistrL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
ssStakeSetL 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState
stabilityWindow 
1 (Function)Cardano.Ledger.BaseTypes
2 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stadrMetadataCardano.Ledger.Shelley.TxAuxData
STagByron.Spec.Ledger.Update
Stage 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Stage
2 (Type/Class)Test.Cardano.Ledger.Constrained.Stage
stagePredsConstrained.Syntax
stageRetirementTest.Cardano.Ledger.Shelley.Examples.Combinators
stageSpecConstrained.Syntax
stageToGraphTest.Cardano.Ledger.Constrained.Stage
stageVarConstrained.Syntax
Stake 
1 (Data Constructor)Cardano.Ledger.Allegra.State
2 (Type/Class)Cardano.Ledger.Allegra.State
3 (Data Constructor)Cardano.Ledger.Alonzo.State
4 (Type/Class)Cardano.Ledger.Alonzo.State
5 (Data Constructor)Cardano.Ledger.Babbage.State
6 (Type/Class)Cardano.Ledger.Babbage.State
7 (Data Constructor)Cardano.Ledger.Conway.State
8 (Type/Class)Cardano.Ledger.Conway.State
9 (Data Constructor)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
10 (Type/Class)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
11 (Data Constructor)Cardano.Ledger.Mary.State
12 (Type/Class)Cardano.Ledger.Mary.State
13 (Type/Class)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
14 (Data Constructor)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stakeCardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API
StakeAddressesMIR 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Mary.Core
6 (Data Constructor)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 (Data Constructor)Cardano.Ledger.UMap
2 (Type/Class)Cardano.Ledger.UMap
StakeDelegationImpossibleDELEGCardano.Ledger.Shelley.Rules
stakeDepositsTest.Cardano.Ledger.Constrained.Vars
stakeDepositsLTest.Cardano.Ledger.Constrained.Vars
stakeDepositsUMapLTest.Cardano.Ledger.Constrained.Lenses
StakeDistEventCardano.Ledger.Shelley.Rules
stakeDistrTest.Cardano.Ledger.Shelley.Rules.IncrementalStake
StakeHashRTest.Cardano.Ledger.Constrained.TypeRep
stakeHashUnivTest.Cardano.Ledger.Constrained.Vars
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
stakeLTest.Cardano.Ledger.Constrained.Vars
StakePool 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakePoolCostTooLowPOOLCardano.Ledger.Shelley.Rules
StakePoolGroupCardano.Ledger.Conway.PParams
StakePoolNotRegisteredOnKeyPOOLCardano.Ledger.Shelley.Rules
StakePoolRelay 
1 (Type/Class)Cardano.Ledger.PoolParams
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakePoolRetirementWrongEpochPOOLCardano.Ledger.Shelley.Rules
StakePoolVoter 
1 (Data Constructor)Cardano.Ledger.Api.Governance, Cardano.Ledger.Api
2 (Data Constructor)Cardano.Ledger.Conway.Governance
stakePoolVotesVTest.Cardano.Ledger.Constrained.Vars
StakePoolVRF 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.Core
8 (Data Constructor)Cardano.Protocol.Crypto
StakeProportion 
1 (Data Constructor)Test.Cardano.Ledger.Shelley.Arbitrary
2 (Type/Class)Test.Cardano.Ledger.Shelley.Arbitrary
stakePtrsCardano.Ledger.State.UTxO
StakeRefBase 
1 (Data Constructor)Cardano.Ledger.Credential
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeReference 
1 (Type/Class)Cardano.Ledger.Credential
2 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeRefNull 
1 (Data Constructor)Cardano.Ledger.Credential
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
StakeRefPtr 
1 (Data Constructor)Cardano.Ledger.Credential
2 (Data Constructor)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stakeScriptsCardano.Ledger.State.UTxO
StakeShare 
1 (Data Constructor)Cardano.Ledger.Shelley.Rewards
2 (Type/Class)Cardano.Ledger.Shelley.Rewards
stakeSummaryTest.Cardano.Ledger.Generic.PrettyCore
stakeToColdCommitteeTest.Cardano.Ledger.Constrained.Preds.Universes
stakeToDRepRoleTest.Cardano.Ledger.Constrained.Preds.Universes
stakeToHotCommitteeTest.Cardano.Ledger.Constrained.Preds.Universes
stake_credential 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
stake_delegation 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
stake_deregistration 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
stake_registration 
1 (Function)Test.Cardano.Ledger.Allegra.CDDL
2 (Function)Test.Cardano.Ledger.Alonzo.CDDL
3 (Function)Test.Cardano.Ledger.Babbage.CDDL
4 (Function)Test.Cardano.Ledger.Conway.CDDL
5 (Function)Test.Cardano.Ledger.Mary.CDDL
6 (Function)Test.Cardano.Ledger.Shelley.CDDL
stake_reg_deleg_certTest.Cardano.Ledger.Conway.CDDL
stake_vote_deleg_certTest.Cardano.Ledger.Conway.CDDL
stake_vote_reg_deleg_certTest.Cardano.Ledger.Conway.CDDL
Staking 
1 (Data Constructor)Cardano.Ledger.Allegra.Core
2 (Data Constructor)Cardano.Ledger.Alonzo.Core
3 (Data Constructor)Cardano.Ledger.Babbage.Core
4 (Data Constructor)Cardano.Ledger.Conway.Core
5 (Data Constructor)Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core
6 (Data Constructor)Cardano.Ledger.Mary.Core
7 (Data Constructor)Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
standardAddrHashSizeTest.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance
StandardCrypto 
1 (Type/Class)Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto
2 (Type/Class)Cardano.Protocol.Crypto
standardHashSizeTest.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance
standardOrderInfoTest.Cardano.Ledger.Constrained.Rewrite
startSlotTest.Cardano.Ledger.Generic.GenState
startStateTest.Cardano.Ledger.Shelley.Examples
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 (Data Constructor)Cardano.Ledger.State.UTxO
2 (Type/Class)Cardano.Ledger.State.UTxO
statCountCardano.Ledger.State.UTxO
State 
1 (Data Constructor)Cardano.Chain.Delegation.Validation.Interface
2 (Type/Class)Cardano.Chain.Delegation.Validation.Interface
3 (Data Constructor)Cardano.Chain.Update.Validation.Interface
4 (Type/Class)Cardano.Chain.Update.Validation.Interface
5 (Data Constructor)Cardano.Chain.Update.Validation.Voting
6 (Type/Class)Cardano.Chain.Update.Validation.Voting
7 (Data Constructor)Cardano.Chain.Update.Validation.Endorsement
8 (Type/Class)Cardano.Chain.Update.Validation.Endorsement
9 (Data Constructor)Cardano.Chain.Update.Validation.Registration
10 (Type/Class)Cardano.Chain.Update.Validation.Registration
11 (Data Constructor)Cardano.Chain.Delegation.Validation.Activation
12 (Type/Class)Cardano.Chain.Delegation.Validation.Activation
13 (Data Constructor)Cardano.Chain.Delegation.Validation.Scheduling
14 (Type/Class)Cardano.Chain.Delegation.Validation.Scheduling
15 (Type/Class)Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules
16 (Type/Class)Cardano.Protocol.TPraos.Rules.Prtcl
17 (Type/Class)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
stbCertsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbInputsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbMDHashCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbOutputsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
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.API.Types, Cardano.Ledger.Shelley.API
stbTxFeeCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbUpdateCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
stbWithdrawalsCardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
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
stdConfidence 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
stepPlanConstrained.TheKnot
stepPropTest.Cardano.Ledger.Constrained.Trace.TraceMonad
stoiTest.Cardano.Ledger.Constrained.Examples
storableLawsTest.Common
storageCostTest.Cardano.Ledger.Alonzo.AlonzoEraGen
storeControl.Provenance
storeEpochStateCardano.Ledger.State.Query
storeNameTest.Cardano.Ledger.Constrained.Env
storeVarTest.Cardano.Ledger.Constrained.Env
strAuxDataCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
strBodyCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
StrictConstrained.GenT
strictGenConstrained.GenT
StrictMaybe 
1 (Type/Class)Cardano.Ledger.Allegra.TxBody
2 (Type/Class)Cardano.Ledger.BaseTypes
3 (Type/Class)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
strictMaybeCardano.Ledger.BaseTypes
strictMaybeMaybeLTest.Cardano.Ledger.Constrained.Preds.TxOut
strictMaybeToMaybeCardano.Ledger.BaseTypes
strictMaybeToMaybeLTest.Cardano.Ledger.Constrained.Lenses
strictSeqHeadLTest.Cardano.Ledger.Constrained.Trace.SimpleTx
strictSeqListLTest.Cardano.Ledger.Constrained.Lenses
StrictTriple 
1 (Data Constructor)Data.MapExtras
2 (Type/Class)Data.MapExtras
StringEnvControl.Iterate.Exp
stringRTest.Cardano.Ledger.Constrained.TypeRep
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
strWitsCardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx
STSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stsTest.Cardano.Ledger.Constrained.Trace.Pipeline
sts0Test.Cardano.Ledger.Constrained.Trace.Pipeline
sts1Test.Cardano.Ledger.Constrained.Trace.Pipeline
STSInterpreterControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stsPropertyV2Test.Cardano.Ledger.STS
stsPropertyV2'Test.Cardano.Ledger.STS
STSResult 
1 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Type/Class)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
stsWithContinuationsTest.Cardano.Ledger.Constrained.Trace.Pipeline
STUBControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
stwrAddrTxWitsCardano.Ledger.Shelley.TxWits
stwrBootAddrTxWitsCardano.Ledger.Shelley.TxWits
stwrScriptTxWitsCardano.Ledger.Shelley.TxWits
subFromListByron.Spec.Ledger.UTxO.Generators
SubItem 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
2 (Type/Class)Test.Cardano.Ledger.Constrained.Ast
sublistOf 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
subLovelaceCardano.Chain.Common
SubMapTest.Cardano.Ledger.Constrained.Ast
subMapTest.Cardano.Ledger.Constrained.Conway.TxBodySpec
subMapFromMapWithSizeTest.Cardano.Ledger.Constrained.Combinators
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
submitConstitutionTest.Cardano.Ledger.Conway.ImpTest
submitFailingGovActionTest.Cardano.Ledger.Conway.ImpTest
submitFailingProposalTest.Cardano.Ledger.Conway.ImpTest
submitFailingTx 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
submitFailingTxM 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)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
submitPhase2Invalid 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)Test.Cardano.Ledger.Conway.ImpTest
submitPhase2Invalid_ 
1 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
2 (Function)Test.Cardano.Ledger.Babbage.ImpTest
3 (Function)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
submitTx 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
submitTxAnn 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
submitTxAnn_ 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)Test.Cardano.Ledger.Shelley.ImpTest
submitTx_ 
1 (Function)Test.Cardano.Ledger.Allegra.ImpTest
2 (Function)Test.Cardano.Ledger.Alonzo.ImpTest
3 (Function)Test.Cardano.Ledger.Babbage.ImpTest
4 (Function)Test.Cardano.Ledger.Conway.ImpTest
5 (Function)Test.Cardano.Ledger.Mary.ImpTest
6 (Function)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
subNumSpecConstrained.NumSpec
Subset 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
2 (Data Constructor)Control.Iterate.Exp
subsetControl.Iterate.Exp, Control.SetAlgebra
subsetFromSetTest.Cardano.Ledger.Constrained.Combinators
subsetFromSetWithSizeTest.Cardano.Ledger.Constrained.Combinators
subsetSizeTest.Cardano.Ledger.Constrained.Combinators
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
SubsetWConstrained.Spec.Set, Constrained.API
subset_Constrained.Spec.Set, Constrained.API
subSlotCountCardano.Chain.Slotting
subSpecIntConstrained.NumSpec
Subst 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
2 (Type/Class)Test.Cardano.Ledger.Constrained.Ast
3 (Type/Class)Constrained.Syntax
4 (Data Constructor)Constrained.Base, Constrained.API
substArgTest.Cardano.Ledger.Constrained.Ast
substBinderConstrained.Syntax
SubstElem 
1 (Data Constructor)Test.Cardano.Ledger.Constrained.Ast
2 (Type/Class)Test.Cardano.Ledger.Constrained.Ast
SubstEntryConstrained.Syntax
substFieldTest.Cardano.Ledger.Constrained.Ast
substFromNamesTest.Cardano.Ledger.Constrained.Ast
substFromPatTest.Cardano.Ledger.Constrained.Ast
substFromTargetTest.Cardano.Ledger.Constrained.Ast
substituteAndSimplifyTermConstrained.TheKnot
substituteBinderConstrained.Syntax
substitutePredConstrained.Syntax
substituteTermConstrained.Syntax
substituteTerm'Constrained.Syntax
substitutiveEqLawsTest.Common
substPatTest.Cardano.Ledger.Constrained.Ast
substPred 
1 (Function)Test.Cardano.Ledger.Constrained.Ast
2 (Function)Constrained.Syntax
substPredWithVarTestTest.Cardano.Ledger.Constrained.Ast
substStageConstrained.TheKnot
substSumTest.Cardano.Ledger.Constrained.Ast
substTargetTest.Cardano.Ledger.Constrained.Ast
substTerm 
1 (Function)Test.Cardano.Ledger.Constrained.Ast
2 (Function)Constrained.Syntax
substToEnvTest.Cardano.Ledger.Constrained.Ast
subterms 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
subtractGraphConstrained.Graph
subtractSpecConstrained.NumSpec
SucceedConstrained.Examples.Fold
Success 
1 (Data Constructor)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Data Constructor)Test.Common
SuccessfulPlutusScriptsEvent 
1 (Data Constructor)Cardano.Ledger.Alonzo.Rules
2 (Data Constructor)Cardano.Ledger.Conway.Rules
successfulTranslationTest.Cardano.Ledger.Babbage.TxInfo
successiveChildrenConstrained.Examples.Tree, Constrained.Examples
successiveChildren8Constrained.Examples.Tree, Constrained.Examples
succVersion 
1 (Function)Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary
2 (Function)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.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Common
suchThatErrTest.Cardano.Ledger.Constrained.Combinators
suchThatLastStateTest.Control.State.Transition.Generator
suchThatMap 
1 (Function)Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Common
suchThatMaybe 
1 (Function)Test.Cardano.Ledger.Imp.Common
2 (Function)Test.Cardano.Ledger.Common
3 (Function)Test.Common
suchThatTConstrained.GenT
suchThatWithTryTConstrained.GenT
sufficientGenDelegsTest.Cardano.Ledger.Constrained.Preds.Tx
sufficientKeyHashesTest.Cardano.Ledger.Constrained.Preds.Tx
sufficientScriptTest.Cardano.Ledger.Constrained.Scripts
sufficientScriptKeysTest.Cardano.Ledger.Constrained.Preds.Tx
sufficientTxCertTest.Cardano.Ledger.Constrained.Preds.Tx
suffixedByConstrained.TheKnot
SUMTest.Control.State.Transition.Examples.Sum
Sum 
1 (Data Constructor)Cardano.Ledger.Binary.Coders
2 (Type/Class)Test.Cardano.Ledger.Constrained.Ast
3 (Type/Class)Constrained.Generic
sum3Constrained.Examples.Fold
sum3WithLengthConstrained.Examples.Fold
sumAdaPotsCardano.Ledger.Shelley.AdaPots
sumAddsTest.Cardano.Ledger.Constrained.Classes
sumAllCoin 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
sumAllStake 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
sumAllStakeCompact 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
sumAllValue 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.UTxO, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO
sumBeforePartsTest.Cardano.Ledger.Constrained.Rewrite
sumCoin_Test.Cardano.Ledger.Constrained.Conway.TxBodySpec
sumColTest.Cardano.Ledger.Constrained.Vars
sumCollateralTest.Cardano.Ledger.Alonzo.AlonzoEraGen
sumCompactCoinCardano.Ledger.Coin, Cardano.Ledger.UMap
sumCompactRewardsCardano.Ledger.Shelley.Rewards
SumDCardano.Ledger.Binary.Coders
sumDepositUViewCardano.Ledger.UMap
sumExampleConstrained.Examples.CheatSheet
sumExampleTwoConstrained.Examples.CheatSheet
SumLeftConstrained.Generic
SumListTest.Cardano.Ledger.Constrained.Ast
sumListBadConstrained.Examples.List, Constrained.Examples
sumLovelaceCardano.Chain.Common
summandAsIntTest.Cardano.Ledger.Constrained.Solver
SummandsCardano.Ledger.Binary.Coders
summandsAsIntTest.Cardano.Ledger.Constrained.Solver
SumMapTest.Cardano.Ledger.Constrained.Ast
summaryListTest.Cardano.Ledger.Generic.PrettyCore
summaryMapTest.Cardano.Ledger.Generic.PrettyCore
summaryMapCompactTest.Cardano.Ledger.Generic.PrettyCore
sumObligation 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
SumOverConstrained.Generic
sumPredsTest.Cardano.Ledger.Constrained.Examples
sumPropConstrained.Examples.Fold
sumProp2Constrained.Examples.Fold
sumRangeConstrained.Examples.Map, Constrained.Examples
sumRewardsCardano.Ledger.Shelley.Rewards
sumRewardsUViewCardano.Ledger.UMap
SumRightConstrained.Generic
SumsTest.Cardano.Ledger.Constrained.Classes
SumSpec 
1 (Data Constructor)Constrained.TheKnot
2 (Type/Class)Constrained.TheKnot
SumSpecRawConstrained.TheKnot
SumSplitTest.Cardano.Ledger.Constrained.Ast
sumStakePerPool 
1 (Function)Cardano.Ledger.Allegra.State
2 (Function)Cardano.Ledger.Alonzo.State
3 (Function)Cardano.Ledger.Babbage.State
4 (Function)Cardano.Ledger.Conway.State
5 (Function)Cardano.Ledger.EpochBoundary, Cardano.Ledger.State
6 (Function)Cardano.Ledger.Mary.State
7 (Function)Cardano.Ledger.Shelley.State
SumsToTest.Cardano.Ledger.Constrained.Ast
sumTxOut_Test.Cardano.Ledger.Constrained.Conway.TxBodySpec
sumTypeConstrained.TheKnot
sumValCardano.Ledger.Val
SumWConstrained.TheKnot, Constrained.Spec.SumProd
sumWeightLConstrained.TheKnot
sumWeightRConstrained.TheKnot
sum_Constrained.TheKnot, Constrained.API
sUnRegKeyTest.Cardano.Ledger.Constrained.Preds.Certs
superItemFromSetTest.Cardano.Ledger.Constrained.Combinators
superSetFromSetTest.Cardano.Ledger.Constrained.Combinators
superSetFromSetWithSizeTest.Cardano.Ledger.Constrained.Combinators
supportsNegativeTest.Cardano.Ledger.Constrained.Classes
supSoftwareMetadataCardano.Chain.Update.Validation.Registration
supSoftwareVersionCardano.Chain.Update.Validation.Registration
SuspendedSpecConstrained.Base, Constrained.API
svAppNameCardano.Chain.Update
svCanFollowByron.Spec.Ledger.Update
svNameByron.Spec.Ledger.Update
svNumberCardano.Chain.Update
svVerByron.Spec.Ledger.Update
swapMismatchCardano.Ledger.BaseTypes
SwVer 
1 (Data Constructor)Byron.Spec.Ledger.Update
2 (Type/Class)Byron.Spec.Ledger.Update
synopsisTest.Cardano.Ledger.Constrained.TypeRep
synopsisCoinMapCardano.Ledger.Shelley.Rules.Reports
synSetTest.Cardano.Ledger.Constrained.Spec
SyntaxConstrained.Base, Constrained.API
systemStart 
1 (Function)Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen
2 (Function)Cardano.Ledger.BaseTypes
3 (Function)Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API
SystemTag 
1 (Data Constructor)Cardano.Chain.Update
2 (Type/Class)Cardano.Chain.Update
SystemTagError 
1 (Data Constructor)Cardano.Chain.Update.Validation.Registration
2 (Type/Class)Cardano.Chain.Update
systemTagMaxLengthCardano.Chain.Update
SystemTagNotAsciiCardano.Chain.Update
SystemTagTooLongCardano.Chain.Update
SzAnyTest.Cardano.Ledger.Constrained.Size
szBounds 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
szCases 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
szEval 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
SzExactTest.Cardano.Ledger.Constrained.Size
szForce 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
szGreedy 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
szLazy 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
SzLeastTest.Cardano.Ledger.Constrained.Size
SzMostTest.Cardano.Ledger.Constrained.Size
SzNeverTest.Cardano.Ledger.Constrained.Size
SzRngTest.Cardano.Ledger.Constrained.Size
szSimplify 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
szWithCtx 
1 (Function)Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary
2 (Function)Cardano.Ledger.Binary.Plain
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