| S | |
| 1 (Data Constructor) | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Metadata, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtils |
| safeDeterministicKeyGen | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| SafeHash | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| safeHashTest | Test.Cardano.Ledger.Shelley.SafeHash |
| safeKeyGen | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| safeSign | Cardano.Crypto.Signing, Cardano.Crypto |
| SafeSigner | |
| 1 (Type/Class) | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| safeSignRaw | Cardano.Crypto.Signing, Cardano.Crypto |
| safeSubtract | Constrained.NumSpec |
| SafeToHash | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.SafeHash, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| safeToVerification | Cardano.Crypto.Signing.Safe, Cardano.Crypto.Signing, Cardano.Crypto |
| Same | Test.Cardano.Ledger.Generic.Same |
| same | Test.Cardano.Ledger.Generic.Same |
| sameAllegraTxBody | Test.Cardano.Ledger.Generic.Same |
| sameAlonzoTx | Test.Cardano.Ledger.Generic.Same |
| sameAlonzoTxBody | Test.Cardano.Ledger.Generic.Same |
| sameAlonzoTxSeq | Test.Cardano.Ledger.Generic.Same |
| sameAlonzoTxWits | Test.Cardano.Ledger.Generic.Same |
| sameBabbageTxBody | Test.Cardano.Ledger.Generic.Same |
| sameCertState | Test.Cardano.Ledger.Generic.Same |
| sameConwayTxBody | Test.Cardano.Ledger.Generic.Same |
| sameDomain | Control.Iterate.SetAlgebra |
| sameFst | Constrained.TheKnot |
| sameFun | Constrained.Base |
| sameFunSym | Constrained.FunctionSymbol |
| SameKey | Test.Cardano.Ledger.TerseTools |
| sameLedgerFail | Test.Cardano.Ledger.Generic.Same |
| sameMaryTxBody | Test.Cardano.Ledger.Generic.Same |
| sameName | Test.Cardano.Ledger.Constrained.Env |
| samePParams | Test.Cardano.Ledger.Generic.Same |
| samePParamsUpdate | Test.Cardano.Ledger.Generic.Same |
| samePPUP | Test.Cardano.Ledger.Generic.Same |
| sameRep | Test.Cardano.Ledger.Constrained.Solver |
| sameRng | Test.Cardano.Ledger.Constrained.Ast |
| sameShelleyTx | Test.Cardano.Ledger.Generic.Same |
| sameShelleyTxBody | Test.Cardano.Ledger.Generic.Same |
| sameShelleyTxSeq | Test.Cardano.Ledger.Generic.Same |
| sameShelleyTxWits | Test.Cardano.Ledger.Generic.Same |
| sameSnd | Constrained.TheKnot |
| sameStashedAVVMAddresses | Test.Cardano.Ledger.Generic.Same |
| sameTransCtx | Test.Cardano.Ledger.Generic.Same |
| sameTx | Test.Cardano.Ledger.Generic.Same |
| sameTxBody | Test.Cardano.Ledger.Generic.Same |
| sameTxOut | Test.Cardano.Ledger.Generic.Same |
| sameTxSeq | Test.Cardano.Ledger.Generic.Same |
| sameTxWits | Test.Cardano.Ledger.Generic.Same |
| sameUTxO | Test.Cardano.Ledger.Generic.Same |
| sameV | Test.Cardano.Ledger.Constrained.Solver |
| sameWithDependency | Test.Cardano.Ledger.Generic.Same |
| sample | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| sample' | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| sampleMaxTraceSize | Test.Control.State.Transition.Generator |
| satisfies | Constrained.Conformance, Constrained.API |
| saturate | Constrained.Base, Constrained.API |
| saturatePred | Constrained.TheKnot |
| scale | |
| 1 (Function) | Cardano.Ledger.Val |
| 2 (Function) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| scaledMinDeposit | Cardano.Ledger.Mary.TxOut |
| scaleExp | Cardano.Ledger.NonIntegral |
| scaleLovelace | Cardano.Chain.Common |
| scaleLovelaceRational | Cardano.Chain.Common |
| scaleLovelaceRationalUp | Cardano.Chain.Common |
| scaleNumSpec | Constrained.Test |
| scaleOne | Constrained.Test |
| scaleT | Constrained.GenT |
| scDeposits | Cardano.Ledger.UMap |
| scDReps | Cardano.Ledger.UMap |
| scenarioScaled | Test.Options |
| scenarioScaleDefault | Test.Options |
| scfg | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| scheduleCertificate | Cardano.Chain.Delegation.Validation.Scheduling |
| ScheduledDelegation | |
| 1 (Type/Class) | Cardano.Chain.Delegation.Validation.Scheduling |
| 2 (Data Constructor) | Cardano.Chain.Delegation.Validation.Scheduling |
| scheduledDelegations | |
| 1 (Function) | Byron.Spec.Ledger.Delegation |
| 2 (Function) | Cardano.Chain.Delegation.Validation.Scheduling |
| schedulingState | Cardano.Chain.Delegation.Validation.Interface |
| scPtrs | Cardano.Ledger.UMap |
| scPtrsInverse | Cardano.Ledger.UMap |
| scRewards | Cardano.Ledger.UMap |
| Script | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraBuffet, Test.Cardano.Ledger.EraClass |
| script | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| ScriptAllegraToMary | Test.Cardano.Ledger.Generic.Proof |
| ScriptAlonzoToConway | Test.Cardano.Ledger.Generic.Proof |
| scriptAlonzoTxWitsL | Cardano.Ledger.Alonzo.TxWits |
| ScriptClass | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| ScriptCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| ScriptF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| scriptFail | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| ScriptFailure | |
| 1 (Type/Class) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| 2 (Data Constructor) | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptFailureMessage | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptFailurePlutus | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptFailureToFailureDescription | Cardano.Ledger.Alonzo.Rules |
| scriptFL | Test.Cardano.Ledger.Constrained.Preds.TxOut |
| ScriptHash | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ScriptHashObj | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| scriptHashObjT | Test.Cardano.Ledger.Constrained.Preds.Universes |
| ScriptHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| scriptHashSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| Scriptic | Test.Cardano.Ledger.Generic.Scriptic |
| ScriptInfo | Test.Cardano.Ledger.Shelley.Generator.Core |
| ScriptIntegrity | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| ScriptIntegrityHash | Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Tx, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core |
| scriptIntegrityHash' | |
| 1 (Function) | Cardano.Ledger.Alonzo.TxBody |
| 2 (Function) | Cardano.Ledger.Babbage.TxBody |
| ScriptIntegrityHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| scriptIntegrityHashTxBodyL | Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Test.Cardano.Ledger.EraClass |
| scriptKeyCombination | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| scriptKeyCombinations | Test.Cardano.Ledger.Shelley.Generator.ScriptClass |
| scriptPass | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scriptPrefixTag | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| ScriptPurposeR | Test.Cardano.Ledger.Constrained.TypeRep |
| ScriptR | Test.Cardano.Ledger.Constrained.TypeRep |
| ScriptResult | Cardano.Ledger.Plutus.Evaluate, Cardano.Ledger.Plutus |
| scripts | Cardano.Ledger.State.UTxO |
| ScriptShelleyToShelley | Test.Cardano.Ledger.Generic.Proof |
| scriptShelleyTxWitsL | Cardano.Ledger.Shelley.TxWits |
| ScriptsNeeded | Cardano.Ledger.Allegra.State, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Api.UTxO, Cardano.Ledger.Babbage.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO, Cardano.Ledger.Shelley.UTxO |
| scriptsNeeded | Test.Cardano.Ledger.Constrained.Vars |
| scriptsNeeded' | Test.Cardano.Ledger.Generic.Functions |
| ScriptsNeededF | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Classes |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Classes |
| ScriptsNeededR | Test.Cardano.Ledger.Constrained.TypeRep |
| ScriptsNotPaidUTxO | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| ScriptSpace | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Generator.Core |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Generator.Core |
| scriptSpace | Test.Cardano.Ledger.Shelley.Generator.Presets |
| ScriptsProvided | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| scriptSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| ScriptTestContext | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| scriptTestContexts | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| scriptTxWitsL | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Wits, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Test.Cardano.Ledger.EraClass |
| scriptVersion | Byron.Spec.Ledger.Update |
| ScriptVersionTooLarge | Byron.Spec.Ledger.Update |
| ScriptVersionTooSmall | Byron.Spec.Ledger.Update |
| ScriptWit | Test.Cardano.Ledger.Generic.Proof |
| ScriptWitnessNotValidatingUTXOW | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| ScriptWits | Test.Cardano.Ledger.Generic.Fields |
| scriptWits | |
| 1 (Function) | Cardano.Ledger.Shelley.TxWits |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Vars |
| ScriptWits' | Test.Cardano.Ledger.Generic.Fields |
| scriptWitsLangs | Test.Cardano.Ledger.Constrained.Preds.Tx |
| scriptWitsNeeded' | Test.Cardano.Ledger.Generic.Functions |
| script_all | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| script_any | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 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 | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| script_n_of_k | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Alonzo.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| script_pubkey | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| script_ref | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| scSPools | Cardano.Ledger.UMap |
| sdDelegate | Cardano.Chain.Delegation.Validation.Scheduling |
| sdDelegator | Cardano.Chain.Delegation.Validation.Scheduling |
| SDELEG | Byron.Spec.Ledger.Delegation |
| SDELEGFailure | Byron.Spec.Ledger.Delegation |
| SDelegFailure | Byron.Spec.Ledger.Delegation |
| SdelegPredicateFailure | Byron.Spec.Ledger.Delegation |
| SDELEGS | Byron.Spec.Ledger.Delegation |
| SDelegSFailure | Byron.Spec.Ledger.Delegation |
| SdelegsPredicateFailure | Byron.Spec.Ledger.Delegation |
| sDelegStake | Test.Cardano.Ledger.Constrained.Preds.Certs |
| sdSlot | Cardano.Chain.Delegation.Validation.Scheduling |
| second | Control.Iterate.Exp |
| secondsToNominalDiffTimeMicro | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SecureRandom | |
| 1 (Type/Class) | Cardano.Crypto.Random, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Random, Cardano.Crypto |
| SecurityGroup | Cardano.Ledger.Conway.PParams |
| securityParameter | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Seed | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes |
| seedEta | Cardano.Protocol.TPraos.BHeader |
| seedL | Cardano.Protocol.TPraos.BHeader |
| segWitTx | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| sel | Constrained.Spec.SumProd, Constrained.API |
| select | Test.Cardano.Ledger.Constrained.Ast |
| select2 | Test.Cardano.Ledger.Constrained.Ast |
| SelectCases | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| selectMap | Cardano.Ledger.State.Query |
| Selector | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| selectVMap | Cardano.Ledger.State.Query |
| selfDelegationsRatio | Byron.Spec.Ledger.Delegation |
| Semantics | Constrained.FunctionSymbol, Constrained.API |
| semantics | Constrained.FunctionSymbol, Constrained.API |
| semigroupLaws | Test.Common |
| semigroupMonoidLaws | Test.Common |
| sendCoinTo | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| sendCoinTo_ | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| SendToOppositePotMIR | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sendValueTo | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| sendValueTo_ | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| sepn | Test.Cardano.Ledger.Constrained.Size |
| sEpoch | Byron.Spec.Chain.STS.Rule.Epoch |
| seps | Test.Cardano.Ledger.Constrained.Size |
| sepsP | Test.Cardano.Ledger.Constrained.Size |
| sequential | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| sequentialTestGroup | Test.Common |
| serialiseAddr | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address |
| serialiseRewardAccount | Cardano.Ledger.Api.Tx.Address, Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Address |
| serialize | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| serialize' | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| serializeAsHexText | Cardano.Ledger.Binary.Plain |
| serializeBuilder | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| serializeCborHash | Cardano.Crypto.Hashing, Cardano.Crypto |
| serializeEncoding | Cardano.Ledger.Binary.Plain |
| serializeEncoding' | Cardano.Ledger.Binary.Plain |
| set | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| 3 (Function) | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| setActionId | Test.Cardano.Ledger.Constrained.Preds.LedgerState |
| setAlgTest | Test.Control.Iterate.SetAlgebra |
| setBeforeSubset | Test.Cardano.Ledger.Constrained.Rewrite |
| setCompleteDRepPulsingState | Cardano.Ledger.Conway.Governance |
| setCurrentProposals | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| setDecodeA | Cardano.Ledger.Binary.Coders |
| setDelegs | Test.Cardano.Ledger.Constrained.Vars |
| setDelegsL | Test.Cardano.Ledger.Constrained.Vars |
| SetDiff | Control.Iterate.Exp |
| setdiff | Control.Iterate.Exp, Control.SetAlgebra |
| setExample | Constrained.Examples.CheatSheet |
| setFreshDRepPulsingState | Cardano.Ledger.Conway.Governance |
| setFutureGenDeleg | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| setFutureProposals | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| setMapMaybe | Test.Cardano.Ledger.Constrained.Conway.Certs, Test.Cardano.Ledger.Constrained.Conway |
| setMinCoinSizedTxOut | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api |
| setMinCoinTxOut | Cardano.Ledger.Api.Tx.Out, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Tools |
| setMinCoinTxOutWith | Cardano.Ledger.Tools |
| setMinFeeTx | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Tools |
| setMinFeeTxUtxo | Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Tools |
| SetNever | Test.Cardano.Ledger.Constrained.Spec |
| setOCertCounter | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| setOfPairLetSpec | Constrained.Examples.Set, Constrained.Examples |
| setPair | Constrained.Examples.Set, Constrained.Examples |
| setPairSpec | Constrained.Examples.Set, Constrained.Examples |
| setPoolDistr | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| setPools | Test.Cardano.Ledger.Constrained.Vars |
| setPoolsL | Test.Cardano.Ledger.Constrained.Vars |
| setPParams | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| setPrevPParams | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| SetR | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Data Constructor) | Control.Iterate.BaseTypes, Control.SetAlgebra |
| Sets | Test.Cardano.Ledger.Shelley.Generator.EraGen |
| setSem | Constrained.Spec.Set |
| SetSingle | Control.Iterate.BaseTypes, Control.SetAlgebra |
| SetSingleton | Control.Iterate.Exp |
| setSingleton | Control.Iterate.Exp, Control.SetAlgebra |
| setSingletonSpec | Constrained.Examples.Set, Constrained.Examples |
| setSized | Test.Cardano.Ledger.Constrained.Combinators |
| setSnapShotT | Test.Cardano.Ledger.Constrained.Vars |
| SetSpec | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Spec |
| 3 (Type/Class) | Constrained.Spec.Set, Constrained.API |
| 4 (Data Constructor) | Constrained.Spec.Set, Constrained.API |
| setSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Function) | Constrained.Examples.Set, Constrained.Examples |
| setStake | Test.Cardano.Ledger.Constrained.Vars |
| setStakeL | Test.Cardano.Ledger.Constrained.Vars |
| setSubSize | Constrained.Examples.Set, Constrained.Examples |
| Sett | |
| 1 (Type/Class) | Control.Iterate.BaseTypes |
| 2 (Data Constructor) | Control.Iterate.BaseTypes |
| setTag | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| setToListTarget | Test.Cardano.Ledger.Constrained.Ast |
| setupDRepWithoutStake | Test.Cardano.Ledger.Conway.ImpTest |
| setupPoolWithoutStake | Test.Cardano.Ledger.Conway.ImpTest |
| setupPoolWithStake | Test.Cardano.Ledger.Conway.ImpTest |
| setupSingleDRep | Test.Cardano.Ledger.Conway.ImpTest |
| setVar | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| SetW | Constrained.Spec.Set, Constrained.API |
| setWithSum | Test.Cardano.Ledger.Constrained.Tests |
| sfor_ | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| sgActiveSlotCoeff | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgActiveSlotsCoeff | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgEpochLength | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgGenDelegs | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgInitialFunds | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgInitialFundsL | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgMaxKESEvolutions | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgMaxLovelaceSupply | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgNetworkId | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgNetworkMagic | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgProtocolParams | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsCurPParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsCurProposals | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgSecurityParam | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsFuturePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsFutureProposals | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgSlotLength | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgSlotsPerKESPeriod | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsPools | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsPrevPParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgsStake | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgStaking | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgStakingL | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgSystemStart | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| sgUpdateQuorum | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| Shape | Data.Universe |
| shape | Data.Universe |
| Shaped | Data.Universe |
| Share | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.Binary |
| sharedSeedLength | Cardano.Chain.Constants |
| Shelley | |
| 1 (Type/Class) | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Shelley |
| 2 (Data Constructor) | Test.Cardano.Ledger.Generic.Proof, Test.Cardano.Ledger.Constrained.TypeRep |
| shelleyAddr | Test.Cardano.Ledger.Babbage.TxInfo |
| ShelleyBase | Cardano.Ledger.BaseTypes |
| ShelleyBBODY | Cardano.Ledger.Shelley.Rules |
| ShelleyBbodyEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyBbodyPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyBbodyState | Cardano.Ledger.Shelley.Rules |
| shelleyCDDL | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| shelleyCertDState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| shelleyCertDStateL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| shelleyCertPState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| shelleyCertPStateL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| ShelleyCertState | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| shelleyCertStateSpec | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| shelleyCertsTotalDepositsTxBody | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| shelleyCertsTotalRefundsTxBody | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| shelleyConsumed | Cardano.Ledger.Shelley.UTxO |
| ShelleyDELEG | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyDelegCert | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| shelleyDelegCertSpec | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| ShelleyDelegEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyDelegPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyDELEGS | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyDelegsEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyDelegsPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyDELPL | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyDelplEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyDelplPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyEPOCH | Cardano.Ledger.Shelley.Rules |
| ShelleyEpochEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyEpochPredFailure | Cardano.Ledger.Shelley.Rules |
| shelleyEqTxRaw | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| shelleyEqTxWitsRaw | Cardano.Ledger.Shelley.TxWits |
| ShelleyEra | Cardano.Ledger.Api.Era, Cardano.Ledger.Api, Cardano.Ledger.Shelley, Test.Cardano.Ledger.EraBuffet, Test.Cardano.Ledger.Generic.Proof |
| ShelleyEraImp | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| ShelleyEraScript | Cardano.Ledger.Shelley.Scripts |
| ShelleyEraTest | Test.Cardano.Ledger.Allegra.Era, Test.Cardano.Ledger.Alonzo.Era, Test.Cardano.Ledger.Babbage.Era, Test.Cardano.Ledger.Conway.Era, Test.Cardano.Ledger.Mary.Era, Test.Cardano.Ledger.Shelley.Era |
| ShelleyEraTxBody | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.TxBody, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.Core |
| ShelleyEraTxCert | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Cert, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| shelleyFixupTx | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| ShelleyGenesis | |
| 1 (Type/Class) | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Api.Transition, Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyGenesisStaking | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyGovState | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| shelleyGovStateSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| ShelleyInAlonzoBbodyPredFailure | Cardano.Ledger.Alonzo.Rules |
| ShelleyInAlonzoEvent | Cardano.Ledger.Alonzo.Rules |
| ShelleyInAlonzoUtxowPredFailure | Cardano.Ledger.Alonzo.Rules |
| shelleyInput | Test.Cardano.Ledger.Babbage.TxInfo |
| ShelleyInstantStake | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| shelleyInstantStakeCredentialsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| ShelleyLEDGER | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| shelleyLedgerAssertions | Cardano.Ledger.Shelley.Rules |
| ShelleyLedgerEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyLedgerExamples | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| ShelleyLedgerPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyLEDGERS | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyLedgersEnv | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyLedgersEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyLedgersPredFailure | Cardano.Ledger.Shelley.Rules |
| shelleyMinFeeTx | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| ShelleyMIR | Cardano.Ledger.Shelley.Rules |
| ShelleyMirEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyMirPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyNEWEPOCH | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyNewEpochEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyNewEpochPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyNEWPP | Cardano.Ledger.Shelley.Rules |
| ShelleyNewppState | Cardano.Ledger.Shelley.Rules |
| shelleyObligationCertState | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| shelleyOutput | Test.Cardano.Ledger.Babbage.TxInfo |
| ShelleyPOOL | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyPoolPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyPOOLREAP | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyPoolreapEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyPoolreapPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyPoolreapState | Cardano.Ledger.Shelley.Rules |
| ShelleyPParams | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.PParams |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.PParams |
| shelleyPParams | Cardano.Ledger.Shelley.PParams |
| ShelleyPPUP | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyPpupPredFailure | Cardano.Ledger.Shelley.Rules |
| shelleyProducedValue | Cardano.Ledger.Shelley.UTxO |
| shelleyProtVer | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes |
| ShelleyRegCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyResultExamples | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| ShelleyRUPD | Cardano.Ledger.Shelley.Rules |
| ShelleyRupdPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyScriptsNeeded | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.UTxO |
| ShelleySNAP | Cardano.Ledger.Shelley.Rules |
| ShelleySnapPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyTICK | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyTickEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyTICKF | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyTickfPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyTickPredFailure | Cardano.Ledger.Shelley.Rules |
| shelleyToAllegraAVVMsToDelete | Cardano.Ledger.Allegra.Translation |
| shelleyToAllegraUtxoPredFailure | Cardano.Ledger.Allegra.Rules |
| shelleyToConwayUtxowPredFailure | Cardano.Ledger.Conway.Rules |
| shelleyTotalDepositsTxCerts | Cardano.Ledger.Shelley.TxCert |
| shelleyTotalRefundsTxCerts | Cardano.Ledger.Shelley.TxCert |
| ShelleyTx | |
| 1 (Type/Class) | Cardano.Ledger.Mary, Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyTxAuxData | |
| 1 (Type/Class) | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Api.Tx.AuxData, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyTxAuxDataRaw | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.TxAuxData |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxAuxData |
| ShelleyTxBody | Cardano.Ledger.Mary, Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API |
| ShelleyTxBodyRaw | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.TxBody |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxBody |
| ShelleyTxBodyTypes | Test.Cardano.Ledger.Constrained.Conway.Instances.TxBody, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| ShelleyTxCert | Cardano.Ledger.Shelley.TxCert |
| ShelleyTxCertDelegCert | Cardano.Ledger.Shelley.TxCert |
| shelleyTxCertDelegDecoder | Cardano.Ledger.Shelley.TxCert |
| ShelleyTxCertGenesisDeleg | Cardano.Ledger.Shelley.TxCert |
| shelleyTxCertKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| ShelleyTxCertMir | Cardano.Ledger.Shelley.TxCert |
| ShelleyTxCertPool | Cardano.Ledger.Shelley.TxCert |
| ShelleyTxCertR | Test.Cardano.Ledger.Constrained.TypeRep |
| shelleyTxCertSpec | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway |
| ShelleyTxOut | |
| 1 (Type/Class) | Cardano.Ledger.Mary, Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxOut, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyTxRaw | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| ShelleyTxSeq | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.BlockChain |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.BlockChain |
| ShelleyTxWits | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.TxWits, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxWits |
| ShelleyTxWitsRaw | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.TxWits |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxWits |
| ShelleyUnRegCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyUPEC | Cardano.Ledger.Shelley.Rules |
| ShelleyUpecPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyUTXO | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyUtxoPredFailure | Cardano.Ledger.Shelley.Rules |
| ShelleyUTXOW | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| ShelleyUtxowEvent | Cardano.Ledger.Shelley.Rules |
| ShelleyUtxowPredFailure | Cardano.Ledger.Shelley.Rules |
| shelleyWitUniv | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| shelley_transaction_output | |
| 1 (Function) | Test.Cardano.Ledger.Babbage.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| Shift | Test.Cardano.Ledger.Constrained.Ast |
| short | Constrained.PrettyUtils |
| shortChainTrace | Test.Cardano.Ledger.Shelley.Rules.TestChain |
| shorten | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| shortHashF | Cardano.Crypto.Hashing, Cardano.Crypto |
| shortToLazy | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| shortTxOut | Test.Cardano.Ledger.Generic.Trace |
| shortVerificationKeyHexF | Cardano.Crypto.Signing, Cardano.Crypto |
| shortVoteF | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| ShouldAssertNF | Test.Options |
| shouldBe | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldBeExpr | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldBeLeft | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldBeLeftExpr | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldBeRight | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldBeRightExpr | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldContain | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| shouldContainExpr | Test.Cardano.Ledger.Imp.Common |
| shouldEndWith | |
| 1 (Function) | Test.Cardano.Ledger.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| ShouldGenDelegation | Byron.Spec.Chain.STS.Rule.Chain |
| ShouldGenUpdate | Byron.Spec.Chain.STS.Rule.Chain |
| ShouldGenUTxO | Byron.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 |
| shouldSatisfyExpr | Test.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 |
| showAddsSpec | Test.Cardano.Ledger.Constrained.Classes |
| showAllTarget | Test.Cardano.Ledger.Constrained.Ast |
| showBlock | Test.Cardano.Ledger.Generic.Trace |
| showCerts | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| showConwayTxBalance | Test.Cardano.Ledger.Conway.ImpTest |
| showCred | Cardano.Ledger.Shelley.Rules.Reports |
| showCtxWith | Constrained.Properties |
| showDecoderError | Cardano.Ledger.Binary.Plain, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| showE | Control.Iterate.Exp |
| showElemSpec | Test.Cardano.Ledger.Constrained.Spec |
| showEnv | Test.Cardano.Ledger.Constrained.Tests |
| showExpr | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.Common, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Imp.Common, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| showFailedTermsWithReSerialization | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| showGovActionType | Cardano.Ledger.Conway.Governance |
| showGraph | Test.Cardano.Ledger.Constrained.Rewrite |
| showHexBytesGrouped | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| showIR | Cardano.Ledger.Shelley.Rules.Reports |
| showKeyHash | Cardano.Ledger.Shelley.Rules.Reports |
| showL | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Control.Iterate.Exp |
| showLaws | Test.Common |
| showListSpec | Test.Cardano.Ledger.Constrained.Spec |
| showListy | Cardano.Ledger.Shelley.Rules.Reports |
| showMap | |
| 1 (Function) | Cardano.Ledger.Shelley.Rules.Reports |
| 2 (Function) | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| showMapSpec | Test.Cardano.Ledger.Constrained.Spec |
| showMaybeDecoderError | Test.Cardano.Ledger.Binary.Plain.RoundTrip |
| showMemo | Cardano.Ledger.MemoBytes.Internal, Cardano.Ledger.MemoBytes |
| showOpaqueErrorString | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance |
| showP | Control.Iterate.Exp |
| showPairSpec | Test.Cardano.Ledger.Constrained.Spec |
| showPotObl | Test.Cardano.Ledger.Constrained.Trace.DrepCertTx |
| showPred | Test.Cardano.Ledger.Constrained.Tests |
| showProtver | Test.Cardano.Ledger.Generic.PrettyCore |
| showPulserState | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| showReadLaws | Test.Common |
| showRelSpec | Test.Cardano.Ledger.Constrained.Spec |
| showRngSpec | Test.Cardano.Ledger.Constrained.Spec |
| showSafeHash | Cardano.Ledger.Shelley.Rules.Reports |
| showSetSpec | Test.Cardano.Ledger.Constrained.Spec |
| showT | Test.Cardano.Ledger.Constrained.Ast |
| showTerm | Test.Cardano.Ledger.Constrained.Tests |
| showTimelock | Cardano.Ledger.Allegra.Scripts |
| showTxCerts | Cardano.Ledger.Shelley.Rules.Reports |
| ShowType | Constrained.TypeErrors |
| showType | Constrained.PrettyUtils |
| showVal | Test.Cardano.Ledger.Constrained.Tests |
| showValue | Cardano.Ledger.Mary.Value |
| showWithdrawal | Cardano.Ledger.Shelley.Rules.Reports |
| shrink | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrink1 | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| Shrink2 | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrink2 | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkBoundedEnum | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkDecimal | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkEnv | Test.Cardano.Ledger.Constrained.Shrink |
| shrinkEnvFromPlan | Constrained.TheKnot |
| shrinkFromPreds | Constrained.TheKnot |
| Shrinking | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinking | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkInit | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkIntegral | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkLeftPreserving | Byron.Spec.Ledger.UTxO.Generators |
| shrinkList | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkMap | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkMapBy | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkNothing | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkOnePreserving | Byron.Spec.Ledger.UTxO.Generators |
| shrinkPreds | Test.Cardano.Ledger.Constrained.Tests |
| shrinkRealFrac | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkRep | Test.Cardano.Ledger.Constrained.TypeRep |
| shrinkRight | Byron.Spec.Ledger.UTxO.Generators |
| shrinkSignal | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| ShrinkState | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkState | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| shrinkTrace | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| shrinkWithNumSpec | Constrained.NumSpec |
| shrinkWithSpec | Constrained.TheKnot |
| shrinkWithTypeSpec | Constrained.Base, Constrained.API |
| shuffle | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| ShuffledGovActionStates | |
| 1 (Type/Class) | Test.Cardano.Ledger.Conway.Arbitrary |
| 2 (Data Constructor) | Test.Cardano.Ledger.Conway.Arbitrary |
| Sig | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| SIGCNT | Byron.Spec.Chain.STS.Rule.SigCnt |
| SigcntPredicateFailure | Byron.Spec.Chain.STS.Rule.SigCnt |
| sigCntT | Byron.Spec.Chain.STS.Rule.SigCnt |
| SigCountFailure | Byron.Spec.Chain.STS.Rule.Pbft |
| sigGen | |
| 1 (Function) | Test.Control.State.Transition.Trace.Generator.QuickCheck |
| 2 (Function) | Test.Control.State.Transition.Generator |
| sigGenChain | Byron.Spec.Chain.STS.Rule.Chain |
| sigmaAP | Cardano.Ledger.Shelley.RewardProvenance |
| sigmaP | Cardano.Ledger.Shelley.RewardProvenance |
| sign | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Cardano.Crypto.Signing, Cardano.Crypto |
| Signal | |
| 1 (Type/Class) | Cardano.Chain.Update.Validation.Interface |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Interface |
| 3 (Type/Class) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition |
| signal | |
| 1 (Function) | Test.Control.State.Transition.Trace |
| 2 (Function) | Test.Control.State.Transition.Invalid.Trace |
| SignalGenerator | Test.Control.State.Transition.Generator |
| signalSpec | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| Signature | |
| 1 (Type/Class) | Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing, Cardano.Crypto |
| signature | |
| 1 (Function) | Byron.Spec.Ledger.Delegation |
| 2 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 3 (Function) | Cardano.Chain.Delegation |
| 4 (Function) | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| 5 (Function) | Cardano.Chain.Block |
| signatureData | Byron.Spec.Ledger.Core.Omniscient |
| signatureForProposal | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| signatureForVote | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| signatureFromInteger | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| signatureToInteger | Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| signatureVKey | Byron.Spec.Ledger.Core.Omniscient |
| SignBlock | Cardano.Crypto.Signing, Cardano.Crypto |
| SignCertificate | Cardano.Crypto.Signing, Cardano.Crypto |
| signCertificate | Cardano.Chain.Delegation |
| SignCommitment | Cardano.Crypto.Signing, Cardano.Crypto |
| SignedDSIGN | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| signedDSIGN | Cardano.Ledger.Keys |
| SignedKES | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| signEncoded | Cardano.Crypto.Signing, Cardano.Crypto |
| signersListIsBoundedByK | Test.Byron.Spec.Chain.STS.Properties |
| SignForTestingOnly | Cardano.Crypto.Signing, Cardano.Crypto |
| SigningKey | |
| 1 (Type/Class) | Cardano.Crypto.Signing, Cardano.Crypto |
| 2 (Data Constructor) | Cardano.Crypto.Signing, Cardano.Crypto |
| SigningKeyR | Test.Cardano.Ledger.Constrained.TypeRep |
| SignKeyDSIGN | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SignKeyFakeVRF | Test.Cardano.Protocol.Crypto.VRF.Fake |
| SignKeyKES | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| signkeyKES | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Core.Binary.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| SignKeyVRF | |
| 1 (Type/Class) | Test.Cardano.Protocol.Crypto.VRF.Fake |
| 2 (Type/Class) | Cardano.Ledger.Keys, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| signProposal | Cardano.Chain.Update.Proposal, Cardano.Chain.Update |
| signRaw | Cardano.Crypto.Signing, Cardano.Crypto |
| SignRedeemTx | Cardano.Crypto.Signing, Cardano.Crypto |
| SignTag | Cardano.Crypto.Signing, Cardano.Crypto |
| signTag | Cardano.Crypto.Signing, Cardano.Crypto |
| signTagDecoded | Cardano.Crypto.Signing, Cardano.Crypto |
| SignTx | Cardano.Crypto.Signing, Cardano.Crypto |
| SignUSProposal | Cardano.Crypto.Signing, Cardano.Crypto |
| SignUSVote | Cardano.Crypto.Signing, Cardano.Crypto |
| signVote | Cardano.Chain.Update.Vote, Cardano.Chain.Update |
| SignVssCert | Cardano.Crypto.Signing, Cardano.Crypto |
| signWithGenesisKey | Byron.Spec.Ledger.Core.Omniscient |
| SigState | |
| 1 (Type/Class) | Test.Control.State.Transition.Trace |
| 2 (Data Constructor) | Test.Control.State.Transition.Trace |
| Simple | Test.Cardano.Ledger.Constrained.Ast |
| SimpleConstructor | Constrained.Generic |
| SimpleGeneric | Constrained.Generic |
| simplePairSpec | Constrained.Examples.Basic, Constrained.Examples |
| SimplePParams | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| simplePParamsSpec | Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| SimplePPUpdate | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| SimpleRep | Constrained.Generic, Constrained.API |
| simpleTx | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| simpleTxBody | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| simplify | Test.Cardano.Ledger.Constrained.Ast |
| simplifyA | Constrained.SumList |
| simplifyAtType | Test.Cardano.Ledger.Constrained.Solver |
| simplifyBinder | Constrained.TheKnot |
| simplifyList | Test.Cardano.Ledger.Constrained.Solver |
| simplifyPred | Constrained.TheKnot |
| simplifyPreds | Constrained.TheKnot |
| SimplifyRep | Constrained.Generic |
| simplifySet | Test.Cardano.Ledger.Constrained.Solver |
| simplifySpec | Constrained.TheKnot, Constrained.API |
| simplifySum | Test.Cardano.Ledger.Constrained.Ast |
| simplifyTarget | Test.Cardano.Ledger.Constrained.Ast |
| simplifyTerm | Constrained.TheKnot, Constrained.API |
| SingEP | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| Single | |
| 1 (Type/Class) | Control.Iterate.BaseTypes, Control.SetAlgebra |
| 2 (Data Constructor) | Control.Iterate.BaseTypes, Control.SetAlgebra |
| SingleHostAddr | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SingleHostName | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SingleR | Control.Iterate.BaseTypes, Control.SetAlgebra |
| singleSubst | Test.Cardano.Ledger.Constrained.Ast |
| Singleton | |
| 1 (Type/Class) | Data.Universe, Test.Cardano.Ledger.Constrained.TypeRep |
| 2 (Data Constructor) | Control.Iterate.Exp |
| singleton | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Data.OMap.Strict |
| 3 (Function) | Data.OSet.Strict |
| 4 (Function) | Constrained.Syntax |
| 5 (Function) | Control.Iterate.Exp, Control.SetAlgebra |
| singletonEnv | Constrained.Env |
| singletonErrorTooLong | Constrained.Examples.List, Constrained.Examples |
| singletonErrorTooMany | Constrained.Examples.List, Constrained.Examples |
| singletonListFn | Constrained.TheKnot |
| SingletonListW | Constrained.TheKnot |
| singletonList_ | Constrained.TheKnot, Constrained.API |
| singletons | Constrained.Spec.Set |
| singletonSubset | Constrained.Examples.List, Constrained.Examples |
| SingletonW | Constrained.Spec.Set, Constrained.API |
| singleton_ | Constrained.Spec.Set, Constrained.API |
| single_host_addr | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| single_host_name | |
| 1 (Function) | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| 2 (Function) | Test.Cardano.Ledger.Conway.CDDL |
| sisCredentialStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| sisPtrStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| Size | |
| 1 (Type/Class) | Data.AbstractSize |
| 2 (Type/Class) | Cardano.Ledger.Binary.Plain |
| 3 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| 4 (Type/Class) | Test.Cardano.Ledger.Constrained.Size |
| 5 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| size | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Data.OMap.Strict |
| 3 (Function) | Data.OSet.Strict |
| 4 (Function) | Cardano.Ledger.UMap |
| 5 (Function) | Cardano.Ledger.Val |
| 6 (Function) | Data.VMap |
| Sizeable | Test.Cardano.Ledger.Constrained.Classes |
| sizeAddOrSub1 | Constrained.Examples.Basic, Constrained.Examples |
| sizeAddOrSub2 | Constrained.Examples.Basic, Constrained.Examples |
| sizeAddOrSub3 | Constrained.Examples.Basic, Constrained.Examples |
| sizeAddOrSub4 | Constrained.Examples.Basic, Constrained.Examples |
| sizeAddOrSub5 | Constrained.Examples.Basic, Constrained.Examples |
| sizeAlonzoTxF | Cardano.Ledger.Alonzo.Tx, Cardano.Ledger.Babbage.Tx |
| sizeBeforeArg | Test.Cardano.Ledger.Constrained.Rewrite |
| SizeConstant | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| Sized | |
| 1 (Type/Class) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| 3 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 4 (Type/Class) | Constrained.TheKnot |
| sized | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| 3 (Function) | Test.Hedgehog.Extra.Manual |
| sizedCollateralReturnTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core |
| sizedNativeScriptGens | Test.Cardano.Ledger.Shelley.Arbitrary |
| sizedOutputsTxBodyL | Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.TxBody, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core |
| sizedSize | Cardano.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 | Test.Cardano.Ledger.Allegra.Arbitrary, Test.Cardano.Ledger.ShelleyMA.Serialisation.Generators |
| sizedValue | Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary |
| sizedValue_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway |
| SizeExpression | |
| 1 (Data Constructor) | Cardano.Ledger.Binary.Plain |
| 2 (Data Constructor) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| sizeForAddsSpec | Test.Cardano.Ledger.Constrained.Spec |
| sizeForElemSpec | Test.Cardano.Ledger.Constrained.Spec |
| sizeForListSpec | Test.Cardano.Ledger.Constrained.Spec |
| sizeForMapSpec | Test.Cardano.Ledger.Constrained.Spec |
| sizeForPairSpec | Test.Cardano.Ledger.Constrained.Spec |
| sizeForRel | Test.Cardano.Ledger.Constrained.Spec |
| sizeForRng | Test.Cardano.Ledger.Constrained.Spec |
| sizeForS | Test.Cardano.Ledger.Constrained.SpecClass |
| sizeForSetSpec | Test.Cardano.Ledger.Constrained.Spec |
| sizeOf | Constrained.TheKnot, Constrained.API |
| sizeOfFn | Constrained.TheKnot |
| SizeOfPoolOwners | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams |
| SizeOfPoolRelays | |
| 1 (Type/Class) | Cardano.Ledger.PoolParams |
| 2 (Data Constructor) | Cardano.Ledger.PoolParams |
| sizeOfTypeSpec | Constrained.TheKnot |
| SizeOfW | Constrained.TheKnot |
| sizeOf_ | Constrained.TheKnot, Constrained.API |
| SizeOverride | |
| 1 (Type/Class) | Cardano.Ledger.Binary.Plain |
| 2 (Type/Class) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| SizeR | Test.Cardano.Ledger.Constrained.TypeRep |
| sizeShelleyTxF | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| SizeSpec | Constrained.TheKnot |
| sizeT | Constrained.GenT |
| sizeTest | |
| 1 (Function) | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| 2 (Function) | Test.Cardano.Ledger.UMapSpec |
| SizeTestConfig | |
| 1 (Type/Class) | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| 2 (Data Constructor) | Test.Cardano.Ledger.Binary.Vintage.Helpers |
| sizeTests | |
| 1 (Function) | Test.Cardano.Ledger.Shelley.Fees |
| 2 (Function) | Constrained.Test |
| sizeTxF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| sizeTxForFeeCalculation | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| SizeW | Constrained.TheKnot |
| SJust | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SKey | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Test.Cardano.Ledger.Generic.Indexed |
| 4 (Data Constructor) | Test.Cardano.Ledger.Generic.Indexed |
| sKey | |
| 1 (Function) | Byron.Spec.Ledger.Core |
| 2 (Function) | Test.Cardano.Ledger.Core.KeyPair, Test.Cardano.Ledger.Imp.Common |
| skey | Byron.Spec.Ledger.Core.Omniscient |
| Skip | Test.Cardano.Ledger.Constrained.Examples |
| SLanguage | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| sleApplyTxError | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleBlock | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleChainDepState | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleHashHeader | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleNewEpochState | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleResultExamples | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleRewardsCredentials | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleTranslationContext | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sleTx | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| slice | Test.Cardano.Ledger.Allegra.Binary.Annotator, Test.Cardano.Ledger.Alonzo.Binary.Annotator, Test.Cardano.Ledger.Babbage.Binary.Annotator, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Test.Cardano.Ledger.Binary.Annotator, Test.Cardano.Ledger.Conway.Binary.Annotator, Test.Cardano.Ledger.Core.Binary.Annotator, Test.Cardano.Ledger.Mary.Binary.Annotator, Test.Cardano.Ledger.Shelley.Binary.Annotator, Test.Cardano.Protocol.Binary.Annotator |
| Slot | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| slot | Byron.Spec.Ledger.Delegation |
| SlotCount | |
| 1 (Type/Class) | Byron.Spec.Ledger.Core |
| 2 (Data Constructor) | Byron.Spec.Ledger.Core |
| 3 (Type/Class) | Cardano.Chain.Slotting |
| 4 (Data Constructor) | Cardano.Chain.Slotting |
| slotCount | Cardano.Chain.Slotting |
| slotDelta | Test.Cardano.Ledger.Generic.GenState |
| slotFromEpoch | Test.Cardano.Ledger.Shelley.Utils |
| slotGen | Byron.Spec.Ledger.Core.Generators |
| SlotInTheFuture | Byron.Spec.Chain.STS.Rule.Pbft |
| SlotNo | |
| 1 (Type/Class) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| 2 (Data Constructor) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Slot |
| slotNo | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SlotNo32 | |
| 1 (Type/Class) | Cardano.Ledger.Credential |
| 2 (Data Constructor) | Cardano.Ledger.Credential |
| SlotNoR | Test.Cardano.Ledger.Constrained.TypeRep |
| SlotNotAfterLastBlock | Byron.Spec.Chain.STS.Rule.Pbft |
| SlotNumber | |
| 1 (Type/Class) | Cardano.Chain.Slotting |
| 2 (Data Constructor) | Cardano.Chain.Slotting |
| slotNumberEpoch | Cardano.Chain.Slotting |
| slotsIncrease | Test.Byron.Spec.Chain.STS.Properties |
| slotsIncreaseInTrace | Test.Byron.Spec.Chain.STS.Properties |
| slotsPerEpoch | Byron.Spec.Ledger.GlobalParams |
| slotsPerEpochToK | Byron.Spec.Ledger.GlobalParams |
| slotsPerKESIteration | Test.Cardano.Ledger.Shelley.Utils |
| slotsPerKESPeriod | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API, Cardano.Protocol.TPraos.OCert |
| slotToNonce | Cardano.Ledger.Shelley.BlockChain |
| slotToPOSIXTime | Cardano.Ledger.Plutus.TxInfo, Cardano.Ledger.Plutus |
| slot_no | Test.Cardano.Ledger.Conway.CDDL |
| Small | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| small | Test.Cardano.Ledger.Generic.GenState |
| smallerOf | Test.Cardano.Ledger.Constrained.Classes |
| smallestName | Test.Cardano.Ledger.Mary.Golden |
| smallName | Test.Cardano.Ledger.Mary.Golden |
| smallSample | Constrained.SumList |
| Smart | |
| 1 (Type/Class) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| 2 (Data Constructor) | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| smart | Control.Iterate.Exp |
| smartTxBody | Test.Cardano.Ledger.Generic.Trace |
| smartUTxOState | Cardano.Ledger.Shelley.LedgerState |
| sMaybeL | Test.Cardano.Ledger.Constrained.Preds.Certs |
| smCommL | Test.Cardano.Ledger.Constrained.Vars |
| sMirShift | Test.Cardano.Ledger.Constrained.Preds.Certs |
| smNeededL | Test.Cardano.Ledger.Constrained.Vars |
| SNAP | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| SnapEnv | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SnapEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Type/Class) | Cardano.Ledger.Shelley.Rules |
| 3 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| SnapFailure | Cardano.Ledger.Shelley.Rules |
| snaps | Test.Cardano.Ledger.Generic.Trace |
| SnapShot | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 3 (Type/Class) | Cardano.Ledger.State.Schema |
| 4 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotDelegation | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotDelegationCredentialId | Cardano.Ledger.State.Schema |
| snapShotDelegationCredentialId | Cardano.Ledger.State.Schema |
| SnapShotDelegationId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotDelegationKey | Cardano.Ledger.State.Schema |
| SnapShotDelegationKeyHash | Cardano.Ledger.State.Schema |
| snapShotDelegationKeyHash | Cardano.Ledger.State.Schema |
| SnapShotDelegationSnapShotId | Cardano.Ledger.State.Schema |
| snapShotDelegationSnapShotId | Cardano.Ledger.State.Schema |
| SnapShotEpochStateId | Cardano.Ledger.State.Schema |
| snapShotEpochStateId | Cardano.Ledger.State.Schema |
| snapShotFee | Test.Cardano.Ledger.Constrained.Vars |
| snapShotFromInstantStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| SnapShotGo | Cardano.Ledger.State.Orphans |
| SnapShotId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotKey | Cardano.Ledger.State.Schema |
| SnapShotM | |
| 1 (Type/Class) | Cardano.Ledger.State.Vector |
| 2 (Data Constructor) | Cardano.Ledger.State.Vector |
| SnapShotMark | Cardano.Ledger.State.Orphans |
| SnapShotPool | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotPoolId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotPoolKey | Cardano.Ledger.State.Schema |
| SnapShotPoolKeyHashId | Cardano.Ledger.State.Schema |
| snapShotPoolKeyHashId | Cardano.Ledger.State.Schema |
| SnapShotPoolParams | Cardano.Ledger.State.Schema |
| snapShotPoolParams | Cardano.Ledger.State.Schema |
| SnapShotPoolSnapShotId | Cardano.Ledger.State.Schema |
| snapShotPoolSnapShotId | Cardano.Ledger.State.Schema |
| SnapShots | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| snapshots | Test.Cardano.Ledger.Constrained.Vars |
| SnapShotSet | Cardano.Ledger.State.Orphans |
| snapshotsL | Test.Cardano.Ledger.Constrained.Vars |
| SnapShotsM | |
| 1 (Type/Class) | Cardano.Ledger.State.Vector |
| 2 (Data Constructor) | Cardano.Ledger.State.Vector |
| snapShotSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| SnapShotsR | Test.Cardano.Ledger.Constrained.TypeRep |
| snapShotsSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specs |
| snapShotsT | Test.Cardano.Ledger.Constrained.Vars |
| SnapShotStake | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotStakeCoin | Cardano.Ledger.State.Schema |
| snapShotStakeCoin | Cardano.Ledger.State.Schema |
| SnapShotStakeCredentialId | Cardano.Ledger.State.Schema |
| snapShotStakeCredentialId | Cardano.Ledger.State.Schema |
| SnapShotStakeId | |
| 1 (Type/Class) | Cardano.Ledger.State.Schema |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| SnapShotStakeKey | Cardano.Ledger.State.Schema |
| SnapShotStakeSnapShotId | Cardano.Ledger.State.Schema |
| snapShotStakeSnapShotId | Cardano.Ledger.State.Schema |
| SnapShotStats | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| SnapShotType | |
| 1 (Type/Class) | Cardano.Ledger.State.Orphans |
| 2 (Data Constructor) | Cardano.Ledger.State.Schema |
| snapShotType | Cardano.Ledger.State.Schema |
| snapsX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| snapX | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormed |
| SND | Control.Iterate.Exp |
| sndL | Test.Cardano.Ledger.Constrained.Lenses |
| sndSpec | Constrained.Spec.Map, Constrained.API |
| sndUPIState | Byron.Spec.Ledger.Update |
| sndW | Constrained.Spec.SumProd |
| snd_ | Constrained.Spec.SumProd, Constrained.API |
| SNothing | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SoftforkRule | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| SoftwareUpdateProposal | |
| 1 (Type/Class) | Cardano.Chain.Update.Validation.Registration |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| SoftwareUpdateProposals | Cardano.Chain.Update.Validation.Registration |
| SoftwareVersion | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| SoftwareVersionApplicationNameError | Cardano.Chain.Update |
| SoftwareVersionError | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| solidifyFuturePParams | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.Conway.Core, Cardano.Ledger.State, Cardano.Ledger.Mary.Core, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.Governance, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.Core |
| solidifyNextEpochPParams | Cardano.Ledger.Shelley.Rules |
| solidifyProposals | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| Solution | Constrained.SumList |
| solvableFrom | Constrained.TheKnot |
| solveList | Test.Cardano.Ledger.Constrained.Solver |
| solveLists | Test.Cardano.Ledger.Constrained.Solver |
| solveMap | Test.Cardano.Ledger.Constrained.Solver |
| solveMaps | Test.Cardano.Ledger.Constrained.Solver |
| solveMapSummands | Test.Cardano.Ledger.Constrained.Solver |
| solveOneVar | Test.Cardano.Ledger.Constrained.Solver |
| solvePipeline | Test.Cardano.Ledger.Constrained.Stage |
| solvePipeline2 | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| solverDependencies | Constrained.Syntax |
| solverOrder | Constrained.Examples.CheatSheet |
| solverOrder' | Constrained.Examples.CheatSheet |
| SolverPlan | |
| 1 (Type/Class) | Constrained.Syntax |
| 2 (Data Constructor) | Constrained.Syntax |
| solverPlan | Constrained.Syntax |
| SolverStage | |
| 1 (Type/Class) | Constrained.Syntax |
| 2 (Data Constructor) | Constrained.Syntax |
| solveSet | Test.Cardano.Ledger.Constrained.Solver |
| solveSets | Test.Cardano.Ledger.Constrained.Solver |
| solveSum | Test.Cardano.Ledger.Constrained.Solver |
| solveSums | Test.Cardano.Ledger.Constrained.Solver |
| solveSumsTo | Test.Cardano.Ledger.Constrained.Spec |
| solveUniv | Test.Cardano.Ledger.Constrained.Preds.Universes |
| Some | |
| 1 (Type/Class) | Data.Universe, Test.Cardano.Ledger.Generic.Proof |
| 2 (Data Constructor) | Data.Universe, Test.Cardano.Ledger.Generic.Proof |
| 3 (Data Constructor) | Test.Cardano.Ledger.Constrained.Spec |
| SomeAdd | Test.Cardano.Ledger.Constrained.Spec |
| someAddr | Test.Cardano.Ledger.Examples.STSTestUtils |
| SomeD | Test.Cardano.Ledger.Generic.Same |
| SomeDepend | Test.Cardano.Ledger.Generic.Same |
| someKeyPairs | Test.Cardano.Ledger.Shelley.Generator.EraGen, Test.Cardano.Ledger.Shelley.Generator.Presets |
| someKeys | Test.Cardano.Ledger.Examples.STSTestUtils |
| someLeaf | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| 2 (Function) | Test.Cardano.Ledger.AllegraEraGen |
| SomeLens | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Spec |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Spec |
| SomeM | Test.Cardano.Ledger.Generic.Same |
| someMap | Test.Cardano.Ledger.Constrained.Spec |
| someScriptAddr | Test.Cardano.Ledger.Examples.STSTestUtils |
| someSet | Test.Cardano.Ledger.Constrained.Spec |
| SomeSTSEvent | |
| 1 (Type/Class) | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| 2 (Data Constructor) | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| someZeros | Test.Cardano.Ledger.Constrained.Conway.Deleg, Test.Cardano.Ledger.Constrained.Conway |
| SOP | Constrained.Generic |
| SOPLike | Constrained.Generic |
| SopList | Constrained.Generic |
| SOPOf | Constrained.Generic |
| Sorted | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| SortedList | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| soundSpec | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests |
| soundSpecWith | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests |
| source | Test.Control.State.Transition.Trace |
| SourceSignalTarget | |
| 1 (Type/Class) | Test.Control.State.Transition.Trace |
| 2 (Data Constructor) | Test.Control.State.Transition.Trace |
| sourceSignalTargets | Test.Control.State.Transition.Trace |
| sourceUTxO | Cardano.Ledger.State.Query |
| sourceWithSharingUTxO | Cardano.Ledger.State.Query |
| Sparse | Cardano.Ledger.Binary.Coders |
| SparseKeyed | Cardano.Ledger.Binary.Coders |
| spDel | Test.Cardano.Ledger.Constrained.Lenses |
| spDelL | Test.Cardano.Ledger.Constrained.Lenses |
| spDep | Test.Cardano.Ledger.Constrained.Lenses |
| spDepL | Test.Cardano.Ledger.Constrained.Lenses |
| spDRep | Test.Cardano.Ledger.Constrained.Lenses |
| spDRepL | Test.Cardano.Ledger.Constrained.Lenses |
| spe | Cardano.Ledger.Shelley.RewardProvenance |
| Spec | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| spec | |
| 1 (Function) | Test.Cardano.Data.OMap.StrictSpec |
| 2 (Function) | Test.Cardano.Data.OSet.StrictSpec |
| 3 (Function) | Main |
| 4 (Function) | Test.Cardano.Ledger.Allegra.Imp.UtxowSpec |
| 5 (Function) | Test.Cardano.Ledger.Allegra.Imp |
| 6 (Function) | Test.Cardano.Ledger.Allegra.Binary.CddlSpec |
| 7 (Function) | Test.Cardano.Ledger.Allegra.BinarySpec |
| 8 (Function) | Test.Cardano.Ledger.Alonzo.Binary.CostModelsSpec |
| 9 (Function) | Test.Cardano.Ledger.Alonzo.Binary.TxWitsSpec |
| 10 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Valid |
| 11 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Invalid |
| 12 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec |
| 13 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec |
| 14 (Function) | Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec |
| 15 (Function) | Test.Cardano.Ledger.Alonzo.Imp |
| 16 (Function) | Test.Cardano.Ledger.Alonzo.Binary.CddlSpec |
| 17 (Function) | Test.Cardano.Ledger.Alonzo.BinarySpec |
| 18 (Function) | Test.Cardano.Ledger.Alonzo.GoldenSpec |
| 19 (Function) | Test.Cardano.Ledger.Api.State.Imp.QuerySpec |
| 20 (Function) | Test.Cardano.Ledger.Api.State.QuerySpec |
| 21 (Function) | Test.Cardano.Ledger.Api.Tx |
| 22 (Function) | Test.Cardano.Ledger.Api.Tx.Body |
| 23 (Function) | Test.Cardano.Ledger.Api.Tx.Out |
| 24 (Function) | Test.Cardano.Ledger.Babbage.Imp.UtxowSpec |
| 25 (Function) | Test.Cardano.Ledger.Babbage.Imp |
| 26 (Function) | Test.Cardano.Ledger.Babbage.Binary.CddlSpec |
| 27 (Function) | Test.Cardano.Ledger.Babbage.BinarySpec |
| 28 (Function) | Test.Cardano.Ledger.Babbage.GoldenSpec |
| 29 (Function) | Test.Cardano.Ledger.Babbage.GoldenTranslation |
| 30 (Function) | Test.Cardano.Ledger.Binary.Failure |
| 31 (Function) | Test.Cardano.Ledger.Binary.PlainSpec |
| 32 (Function) | Test.Cardano.Ledger.Binary.RoundTripSpec |
| 33 (Function) | Test.Cardano.Ledger.Binary.Success |
| 34 (Function) | Test.Cardano.Ledger.Binary.Vintage.Coders |
| 35 (Function) | Main |
| 36 (Function) | Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace |
| 37 (Function) | Test.Cardano.Ledger.Conformance.Imp |
| 38 (Function) | Test.Cardano.Ledger.Conformance.Imp.Ratify |
| 39 (Function) | Test.Cardano.Ledger.Conformance.Spec.Conway |
| 40 (Function) | Test.Cardano.Ledger.Conformance.ConformanceSpec |
| 41 (Function) | Test.Cardano.Ledger.Conway.Imp.BbodySpec |
| 42 (Function) | Test.Cardano.Ledger.Conway.Proposals |
| 43 (Function) | Test.Cardano.Ledger.Conway.Imp.UtxosSpec |
| 44 (Function) | Test.Cardano.Ledger.Conway.Imp.UtxoSpec |
| 45 (Function) | Test.Cardano.Ledger.Conway.Imp.RatifySpec |
| 46 (Function) | Test.Cardano.Ledger.Conway.Imp.LedgerSpec |
| 47 (Function) | Test.Cardano.Ledger.Conway.Imp.GovSpec |
| 48 (Function) | Test.Cardano.Ledger.Conway.Imp.GovCertSpec |
| 49 (Function) | Test.Cardano.Ledger.Conway.Imp.EpochSpec |
| 50 (Function) | Test.Cardano.Ledger.Conway.Imp.EnactSpec |
| 51 (Function) | Test.Cardano.Ledger.Conway.Imp.DelegSpec |
| 52 (Function) | Test.Cardano.Ledger.Conway.Imp.CertsSpec |
| 53 (Function) | Test.Cardano.Ledger.Conway.Imp |
| 54 (Function) | Test.Cardano.Ledger.Conway.Binary.Regression |
| 55 (Function) | Test.Cardano.Ledger.Conway.Binary.CddlSpec |
| 56 (Function) | Test.Cardano.Ledger.Conway.BinarySpec |
| 57 (Function) | Test.Cardano.Ledger.Conway.CommitteeRatifySpec |
| 58 (Function) | Test.Cardano.Ledger.Conway.DRepRatifySpec |
| 59 (Function) | Test.Cardano.Ledger.Conway.GenesisSpec |
| 60 (Function) | Test.Cardano.Ledger.Conway.GoldenSpec |
| 61 (Function) | Test.Cardano.Ledger.Conway.GoldenTranslation |
| 62 (Function) | Test.Cardano.Ledger.Conway.GovActionReorderSpec |
| 63 (Function) | Test.Cardano.Ledger.Conway.Plutus.PlutusSpec |
| 64 (Function) | Test.Cardano.Ledger.Conway.SPORatifySpec |
| 65 (Function) | Test.Cardano.Ledger.Conway.Spec |
| 66 (Function) | Test.Cardano.Ledger.Conway.TxInfoSpec |
| 67 (Function) | Test.Cardano.Ledger.AddressSpec |
| 68 (Function) | Test.Cardano.Ledger.BaseTypesSpec |
| 69 (Function) | Test.Cardano.Ledger.BinarySpec |
| 70 (Function) | Test.Cardano.Ledger.JsonSpec |
| 71 (Function) | Test.Cardano.Ledger.PlutusSpec |
| 72 (Function) | Test.Cardano.Ledger.ToolsSpec |
| 73 (Function) | Test.Cardano.Ledger.UMapSpec |
| 74 (Function) | Test.Cardano.Ledger.Mary.Imp.UtxoSpec |
| 75 (Function) | Test.Cardano.Ledger.Mary.Imp |
| 76 (Function) | Test.Cardano.Ledger.Mary.Binary.CddlSpec |
| 77 (Function) | Test.Cardano.Ledger.Mary.BinarySpec |
| 78 (Function) | Test.Cardano.Ledger.Mary.ValueSpec |
| 79 (Function) | Test.Cardano.Ledger.Shelley.Imp.UtxowSpec |
| 80 (Function) | Test.Cardano.Ledger.Shelley.Imp.UtxoSpec |
| 81 (Function) | Test.Cardano.Ledger.Shelley.Imp.LedgerSpec |
| 82 (Function) | Test.Cardano.Ledger.Shelley.Imp.EpochSpec |
| 83 (Function) | Test.Cardano.Ledger.Shelley.UnitTests.InstantStakeTest |
| 84 (Function) | Test.Cardano.Ledger.Shelley.Imp |
| 85 (Function) | Test.Cardano.Ledger.Shelley.Binary.CddlSpec |
| 86 (Function) | Test.Cardano.Ledger.Shelley.Binary.GoldenSpec |
| 87 (Function) | Test.Cardano.Ledger.Shelley.Binary.RoundTripSpec |
| 88 (Function) | Test.Cardano.Ledger.Shelley.BinarySpec |
| 89 (Function) | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests |
| 90 (Function) | Test.Cardano.Protocol.Binary.BinarySpec |
| 91 (Function) | Test.Cardano.Protocol.Binary.CddlSpec |
| 92 (Function) | Test.Control.State.Transition.Examples.GlobalSum |
| spec1 | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| spec2 | Test.Cardano.Ledger.Constrained.Conway.WitnessUniverse |
| specialize | Test.Cardano.Ledger.Generic.Proof |
| Specification | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.SpecClass |
| 2 (Type/Class) | Constrained.Base, Constrained.API |
| SpecificationD | Constrained.AbstractSyntax, Constrained.API |
| specify | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| specInt | Constrained.Examples.CheatSheet |
| specInt' | Constrained.Examples.CheatSheet |
| specName | Constrained.SumList |
| specProd | Constrained.Examples.CheatSheet |
| specProd0 | Constrained.Examples.CheatSheet |
| specProd1 | Constrained.Examples.CheatSheet |
| specProd2 | Constrained.Examples.CheatSheet |
| SpecRep | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| specSuite | Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Tests |
| SpecTranslate | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| SpecTranslationError | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance, Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base |
| SpecTransM | Test.Cardano.Ledger.Conformance.SpecTranslate.Core, Test.Cardano.Ledger.Conformance |
| specType | Constrained.Properties |
| specUpgrade | Test.Cardano.Ledger.Core.Binary |
| SpecWith | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| specWithHuddle | Test.Cardano.Ledger.Binary.Cuddle |
| spendableInputsTxBodyF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core |
| spendCredsUniv | Test.Cardano.Ledger.Constrained.Vars |
| Spending | Test.Cardano.Ledger.Generic.GenState |
| SpendingPurpose | Cardano.Ledger.Alonzo.Scripts, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Api.Scripts, Cardano.Ledger.Api.Tx.Body, Cardano.Ledger.Api.Tx, Cardano.Ledger.Api, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core |
| spendInputs' | Cardano.Ledger.Babbage.TxBody |
| spendInputsMax | Test.Cardano.Ledger.Generic.GenState |
| spendPlutusScripts | Test.Cardano.Ledger.Constrained.Scripts |
| spendPlutusUniv | Test.Cardano.Ledger.Constrained.Vars |
| spendscriptUniv | Test.Cardano.Ledger.Constrained.Vars |
| Split | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Utils |
| 2 (Type/Class) | Test.Cardano.Ledger.Constrained.Lenses |
| 3 (Data Constructor) | Test.Cardano.Ledger.Constrained.Lenses |
| splitAt | Data.VMap |
| splitEpochs | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| splitLn | Cardano.Ledger.NonIntegral |
| splitMemberMap | Data.MapExtras |
| splitMemberSet | Data.MapExtras |
| splitProd | Constrained.Generic |
| splitsOf | Constrained.SumList |
| splitTrace | Test.Cardano.Ledger.Shelley.Rules.TestChain, Test.Control.State.Transition.Trace |
| splitUMap | Test.Cardano.Ledger.Constrained.Lenses |
| SPlutusV1 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| SPlutusV2 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| SPlutusV3 | Cardano.Ledger.Plutus.Language, Cardano.Ledger.Plutus |
| spoAccepted | Cardano.Ledger.Conway.Rules |
| spoAcceptedRatio | Cardano.Ledger.Conway.Rules |
| sPoolMap | Cardano.Ledger.UMap |
| SPoolUView | Cardano.Ledger.UMap |
| sPoolUView | Cardano.Ledger.UMap |
| sppA0 | Cardano.Ledger.Shelley.PParams |
| sppD | Cardano.Ledger.Shelley.PParams |
| sppEMax | Cardano.Ledger.Shelley.PParams |
| sppExtraEntropy | Cardano.Ledger.Shelley.PParams |
| sppKeyDeposit | Cardano.Ledger.Shelley.PParams |
| sppMaxBBSize | Cardano.Ledger.Shelley.PParams |
| sppMaxBHSize | Cardano.Ledger.Shelley.PParams |
| sppMaxTxSize | Cardano.Ledger.Shelley.PParams |
| sppMinFeeA | Cardano.Ledger.Shelley.PParams |
| sppMinFeeB | Cardano.Ledger.Shelley.PParams |
| sppMinPoolCost | Cardano.Ledger.Shelley.PParams |
| sppMinUTxOValue | Cardano.Ledger.Shelley.PParams |
| sppNOpt | Cardano.Ledger.Shelley.PParams |
| sppPoolDeposit | Cardano.Ledger.Shelley.PParams |
| sppProtocolVersion | Cardano.Ledger.Shelley.PParams |
| sppRho | Cardano.Ledger.Shelley.PParams |
| sppTau | Cardano.Ledger.Shelley.PParams |
| spPtr | Test.Cardano.Ledger.Constrained.Lenses |
| spPtrL | Test.Cardano.Ledger.Constrained.Lenses |
| spRevPtr | Test.Cardano.Ledger.Constrained.Lenses |
| spRevPtrL | Test.Cardano.Ledger.Constrained.Lenses |
| spRew | Test.Cardano.Ledger.Constrained.Lenses |
| spRewL | Test.Cardano.Ledger.Constrained.Lenses |
| srcLocToLocation | Test.Cardano.Ledger.Allegra.TreeDiff, Test.Cardano.Ledger.Alonzo.TreeDiff, Test.Cardano.Ledger.Babbage.TreeDiff, Test.Cardano.Ledger.Binary.TreeDiff, Test.Cardano.Ledger.Conway.TreeDiff, Test.Cardano.Ledger.TreeDiff, Test.Cardano.Ledger.Mary.TreeDiff, Test.Cardano.Ledger.Shelley.TreeDiff |
| sRegKey | Test.Cardano.Ledger.Constrained.Preds.Certs |
| sRegPool | Test.Cardano.Ledger.Constrained.Preds.Certs |
| sreNonMyopicRewards | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| srePoolDistr | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| srePParams | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sreProposedPPUpdates | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sreShelleyGenesis | Test.Cardano.Ledger.Shelley.Examples.Consensus |
| sRetirePool | Test.Cardano.Ledger.Constrained.Preds.Certs |
| srInitThd | Cardano.Chain.Update |
| srMinThd | Cardano.Chain.Update |
| srThdDecrement | Cardano.Chain.Update |
| ss | Test.Cardano.Ledger.Babbage.TxInfo |
| SscPayload | |
| 1 (Type/Class) | Cardano.Chain.Ssc |
| 2 (Data Constructor) | Cardano.Chain.Ssc |
| SscProof | |
| 1 (Type/Class) | Cardano.Chain.Ssc |
| 2 (Data Constructor) | Cardano.Chain.Ssc |
| ssDelegations | Cardano.Ledger.State.Vector |
| ssDelegationsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssFeeL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssFeeSS | Cardano.Ledger.State.Vector |
| ssHash2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| ssHash3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| ssPoolParams | Cardano.Ledger.State.Vector |
| ssPoolParamsL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssPstakeGo | Cardano.Ledger.State.Vector |
| ssPstakeMark | Cardano.Ledger.State.Vector |
| ssPstakeSet | Cardano.Ledger.State.Vector |
| ssScripts2 | Test.Cardano.Ledger.Shelley.Generator.Core |
| ssScripts3 | Test.Cardano.Ledger.Shelley.Generator.Core |
| sssDelegationCredential | Cardano.Ledger.State.UTxO |
| sssDelegationStakePool | Cardano.Ledger.State.UTxO |
| sssPoolParams | Cardano.Ledger.State.UTxO |
| sssPoolParamsStats | Cardano.Ledger.State.UTxO |
| sssStake | Cardano.Ledger.State.UTxO |
| ssStake | Cardano.Ledger.State.Vector |
| ssStakeDistrL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssStakeGoL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssStakeL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssStakeMarkL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssStakeMarkPoolDistrL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| ssStakeSetL | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState |
| stabilityWindow | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| stadrMetadata | Cardano.Ledger.Shelley.TxAuxData |
| STag | Byron.Spec.Ledger.Update |
| Stage | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Stage |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Stage |
| stagePreds | Constrained.Syntax |
| stageRetirement | Test.Cardano.Ledger.Shelley.Examples.Combinators |
| stageSpec | Constrained.Syntax |
| stageToGraph | Test.Cardano.Ledger.Constrained.Stage |
| stageVar | Constrained.Syntax |
| Stake | |
| 1 (Type/Class) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| stake | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| StakeAddressesMIR | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| StakeCred | Test.Cardano.Ledger.Shelley.Generator.TxCert, Test.Cardano.Ledger.Shelley.Generator.Delegation |
| stakeCredAddr | Test.Cardano.Ledger.Generic.Functions |
| StakeCredential | Cardano.Ledger.Credential |
| StakeCredentials | |
| 1 (Type/Class) | Cardano.Ledger.UMap |
| 2 (Data Constructor) | Cardano.Ledger.UMap |
| StakeDelegationImpossibleDELEG | Cardano.Ledger.Shelley.Rules |
| stakeDeposits | Test.Cardano.Ledger.Constrained.Vars |
| stakeDepositsL | Test.Cardano.Ledger.Constrained.Vars |
| stakeDepositsUMapL | Test.Cardano.Ledger.Constrained.Lenses |
| StakeDistEvent | Cardano.Ledger.Shelley.Rules |
| stakeDistr | Test.Cardano.Ledger.Shelley.Rules.IncrementalStake |
| StakeHashR | Test.Cardano.Ledger.Constrained.TypeRep |
| stakeHashUniv | Test.Cardano.Ledger.Constrained.Vars |
| stakeInvariant | Test.Cardano.Ledger.Generic.Properties |
| StakeKey | Test.Cardano.Ledger.Constrained.Conway.Cert, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| StakeKeyAlreadyRegisteredDELEG | Cardano.Ledger.Shelley.Rules |
| StakeKeyHasNonZeroRewardAccountBalanceDELEG | Cardano.Ledger.Conway.Rules |
| StakeKeyNonZeroAccountBalanceDELEG | Cardano.Ledger.Shelley.Rules |
| StakeKeyNotRegisteredDELEG | |
| 1 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rules |
| StakeKeyRegisteredDELEG | Cardano.Ledger.Conway.Rules |
| stakeKeys | Cardano.Ledger.State.UTxO |
| stakeL | Test.Cardano.Ledger.Constrained.Vars |
| StakePool | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| StakePoolCostTooLowPOOL | Cardano.Ledger.Shelley.Rules |
| StakePoolGroup | Cardano.Ledger.Conway.PParams |
| StakePoolNotRegisteredOnKeyPOOL | Cardano.Ledger.Shelley.Rules |
| StakePoolRelay | Cardano.Ledger.PoolParams, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| StakePoolRetirementWrongEpochPOOL | Cardano.Ledger.Shelley.Rules |
| StakePoolVoter | Cardano.Ledger.Api.Governance, Cardano.Ledger.Api, Cardano.Ledger.Conway.Governance |
| stakePoolVotesV | Test.Cardano.Ledger.Constrained.Vars |
| StakePoolVRF | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Protocol.Crypto |
| StakeProportion | |
| 1 (Type/Class) | Test.Cardano.Ledger.Shelley.Arbitrary |
| 2 (Data Constructor) | Test.Cardano.Ledger.Shelley.Arbitrary |
| stakePtrs | Cardano.Ledger.State.UTxO |
| StakeRefBase | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| StakeReference | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| StakeRefNull | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| StakeRefPtr | Cardano.Ledger.Credential, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| stakeScripts | Cardano.Ledger.State.UTxO |
| StakeShare | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.Rewards |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.Rewards |
| stakeSummary | Test.Cardano.Ledger.Generic.PrettyCore |
| stakeToColdCommittee | Test.Cardano.Ledger.Constrained.Preds.Universes |
| stakeToDRepRole | Test.Cardano.Ledger.Constrained.Preds.Universes |
| stakeToHotCommittee | Test.Cardano.Ledger.Constrained.Preds.Universes |
| stake_credential | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| stake_delegation | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| stake_deregistration | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| stake_registration | Test.Cardano.Ledger.Allegra.CDDL, Test.Cardano.Ledger.Alonzo.CDDL, Test.Cardano.Ledger.Babbage.CDDL, Test.Cardano.Ledger.Conway.CDDL, Test.Cardano.Ledger.Mary.CDDL, Test.Cardano.Ledger.Shelley.CDDL |
| stake_reg_deleg_cert | Test.Cardano.Ledger.Conway.CDDL |
| stake_vote_deleg_cert | Test.Cardano.Ledger.Conway.CDDL |
| stake_vote_reg_deleg_cert | Test.Cardano.Ledger.Conway.CDDL |
| Staking | Cardano.Ledger.Allegra.Core, Cardano.Ledger.Alonzo.Core, Cardano.Ledger.Babbage.Core, Cardano.Ledger.Conway.Core, Cardano.Ledger.Hashes, Cardano.Ledger.Keys, Cardano.Ledger.Core, Cardano.Ledger.Mary.Core, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| standardAddrHashSize | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| StandardCrypto | Cardano.Ledger.Crypto.Internal, Cardano.Ledger.Crypto, Cardano.Protocol.Crypto |
| standardHashSize | Test.Cardano.Ledger.Conformance.Utils, Test.Cardano.Ledger.Conformance |
| standardOrderInfo | Test.Cardano.Ledger.Constrained.Rewrite |
| startSlot | Test.Cardano.Ledger.Generic.GenState |
| startState | Test.Cardano.Ledger.Shelley.Examples |
| startStep | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.Rules |
| StashedAVVMAddresses | Cardano.Ledger.Shelley.LedgerState |
| stashedAVVMAddresses | Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| stashedAVVMAddressesZero | Test.Cardano.Ledger.Generic.ModelState |
| Stat | |
| 1 (Type/Class) | Cardano.Ledger.State.UTxO |
| 2 (Data Constructor) | Cardano.Ledger.State.UTxO |
| statCount | Cardano.Ledger.State.UTxO |
| State | |
| 1 (Type/Class) | Cardano.Chain.Delegation.Validation.Scheduling |
| 2 (Data Constructor) | Cardano.Chain.Delegation.Validation.Scheduling |
| 3 (Type/Class) | Cardano.Chain.Delegation.Validation.Activation |
| 4 (Data Constructor) | Cardano.Chain.Delegation.Validation.Activation |
| 5 (Type/Class) | Cardano.Chain.Update.Validation.Registration |
| 6 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| 7 (Type/Class) | Cardano.Chain.Update.Validation.Endorsement |
| 8 (Data Constructor) | Cardano.Chain.Update.Validation.Endorsement |
| 9 (Type/Class) | Cardano.Chain.Update.Validation.Voting |
| 10 (Data Constructor) | Cardano.Chain.Update.Validation.Voting |
| 11 (Type/Class) | Cardano.Chain.Update.Validation.Interface |
| 12 (Data Constructor) | Cardano.Chain.Update.Validation.Interface |
| 13 (Type/Class) | Cardano.Chain.Delegation.Validation.Interface |
| 14 (Data Constructor) | Cardano.Chain.Delegation.Validation.Interface |
| 15 (Type/Class) | Cardano.Ledger.Shelley.Rules, Cardano.Ledger.Shelley.Rules, Cardano.Protocol.TPraos.Rules.Prtcl, Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition |
| StatefulGen | Test.Cardano.Ledger.Imp.Common |
| stateSpec | Test.Cardano.Ledger.Conformance.ExecSpecRule.Core, Test.Cardano.Ledger.Conformance |
| stateTotalStakeNulls | Cardano.Ledger.State.UTxO |
| statFoldable | Cardano.Ledger.State.UTxO |
| staticSafeSigners | Test.Cardano.Crypto.Example |
| statMapKeys | Cardano.Ledger.State.UTxO |
| statsByronTxOuts | Cardano.Ledger.State.UTxO |
| statSet | Cardano.Ledger.State.UTxO |
| statSingleton | Cardano.Ledger.State.UTxO |
| statsTotalPaymentKeys | Cardano.Ledger.State.UTxO |
| statsTotalPaymentScripts | Cardano.Ledger.State.UTxO |
| statsTotalStakeKeys | Cardano.Ledger.State.UTxO |
| statsTotalStakePtrs | Cardano.Ledger.State.UTxO |
| statsTotalStakeScripts | Cardano.Ledger.State.UTxO |
| statsTotalTxOuts | Cardano.Ledger.State.UTxO |
| statUnique | Cardano.Ledger.State.UTxO |
| stbCerts | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbInputs | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbMDHash | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbOutputs | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbrAuxDataHash | Cardano.Ledger.Shelley.TxBody |
| stbrCerts | Cardano.Ledger.Shelley.TxBody |
| stbrFee | Cardano.Ledger.Shelley.TxBody |
| stbrInputs | Cardano.Ledger.Shelley.TxBody |
| stbrOutputs | Cardano.Ledger.Shelley.TxBody |
| stbrTtl | Cardano.Ledger.Shelley.TxBody |
| stbrUpdate | Cardano.Ledger.Shelley.TxBody |
| stbrWithdrawals | Cardano.Ledger.Shelley.TxBody |
| stbTTL | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbTxFee | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbUpdate | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stbWithdrawals | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| stcArgs | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| stcScript | Test.Cardano.Ledger.Plutus.ScriptTestContext, Test.Cardano.Ledger.Plutus |
| stdArgs | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common |
| stdConfidence | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| stepPlan | Constrained.TheKnot |
| stepProp | Test.Cardano.Ledger.Constrained.Trace.TraceMonad |
| stoi | Test.Cardano.Ledger.Constrained.Examples |
| storableLaws | Test.Common |
| storageCost | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| store | Control.Provenance |
| storeEpochState | Cardano.Ledger.State.Query |
| storeName | Test.Cardano.Ledger.Constrained.Env |
| storeVar | Test.Cardano.Ledger.Constrained.Env |
| strAuxData | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| strBody | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| Strict | Constrained.GenT |
| strictGen | Constrained.GenT |
| StrictMaybe | Cardano.Ledger.Allegra.TxBody, Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| strictMaybe | Cardano.Ledger.BaseTypes |
| strictMaybeMaybeL | Test.Cardano.Ledger.Constrained.Preds.TxOut |
| strictMaybeToMaybe | Cardano.Ledger.BaseTypes |
| strictMaybeToMaybeL | Test.Cardano.Ledger.Constrained.Lenses |
| strictSeqHeadL | Test.Cardano.Ledger.Constrained.Trace.SimpleTx |
| strictSeqListL | Test.Cardano.Ledger.Constrained.Lenses |
| StrictTriple | |
| 1 (Type/Class) | Data.MapExtras |
| 2 (Data Constructor) | Data.MapExtras |
| StringEnv | Control.Iterate.Exp |
| stringR | Test.Cardano.Ledger.Constrained.TypeRep |
| StringW | Test.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 |
| strWits | Cardano.Ledger.Shelley.Tx.Internal, Cardano.Ledger.Shelley.Tx |
| STS | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| sts | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| sts0 | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| sts1 | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| STSInterpreter | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| stsPropertyV2 | Test.Cardano.Ledger.STS |
| stsPropertyV2' | Test.Cardano.Ledger.STS |
| STSResult | |
| 1 (Type/Class) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| 2 (Data Constructor) | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| stsResultEvents | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| stsResultFailures | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| stsResultState | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| stsWithContinuations | Test.Cardano.Ledger.Constrained.Trace.Pipeline |
| STUB | Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition |
| stwrAddrTxWits | Cardano.Ledger.Shelley.TxWits |
| stwrBootAddrTxWits | Cardano.Ledger.Shelley.TxWits |
| stwrScriptTxWits | Cardano.Ledger.Shelley.TxWits |
| subFromList | Byron.Spec.Ledger.UTxO.Generators |
| SubItem | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| sublistOf | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| subLovelace | Cardano.Chain.Common |
| SubMap | Test.Cardano.Ledger.Constrained.Ast |
| subMap | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| subMapFromMapWithSize | Test.Cardano.Ledger.Constrained.Combinators |
| subMapSubDependsOnSuper | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| subMapSuperDependsOnSub | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| submitAndExpireProposalToMakeReward | Test.Cardano.Ledger.Conway.ImpTest |
| submitBootstrapAware | Test.Cardano.Ledger.Conway.ImpTest |
| submitBootstrapAwareFailingProposal | Test.Cardano.Ledger.Conway.ImpTest |
| submitBootstrapAwareFailingProposal_ | Test.Cardano.Ledger.Conway.ImpTest |
| submitBootstrapAwareFailingVote | Test.Cardano.Ledger.Conway.ImpTest |
| submitConstitution | Test.Cardano.Ledger.Conway.ImpTest |
| submitFailingGovAction | Test.Cardano.Ledger.Conway.ImpTest |
| submitFailingProposal | Test.Cardano.Ledger.Conway.ImpTest |
| submitFailingTx | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| submitFailingTxM | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| submitFailingVote | Test.Cardano.Ledger.Conway.ImpTest |
| SubmitFailureExpectation | Test.Cardano.Ledger.Conway.ImpTest |
| submitGovAction | Test.Cardano.Ledger.Conway.ImpTest |
| submitGovActionForest | Test.Cardano.Ledger.Conway.ImpTest |
| submitGovActions | Test.Cardano.Ledger.Conway.ImpTest |
| submitGovActionTree | Test.Cardano.Ledger.Conway.ImpTest |
| submitGovAction_ | Test.Cardano.Ledger.Conway.ImpTest |
| submitParameterChange | Test.Cardano.Ledger.Conway.ImpTest |
| submitPhase2Invalid | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| submitPhase2Invalid_ | Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest |
| submitProposal | Test.Cardano.Ledger.Conway.ImpTest |
| submitProposals | Test.Cardano.Ledger.Conway.ImpTest |
| submitProposal_ | Test.Cardano.Ledger.Conway.ImpTest |
| submitTreasuryWithdrawals | Test.Cardano.Ledger.Conway.ImpTest |
| submitTx | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| submitTxAnn | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| submitTxAnn_ | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| submitTx_ | Test.Cardano.Ledger.Allegra.ImpTest, Test.Cardano.Ledger.Alonzo.ImpTest, Test.Cardano.Ledger.Babbage.ImpTest, Test.Cardano.Ledger.Conway.ImpTest, Test.Cardano.Ledger.Mary.ImpTest, Test.Cardano.Ledger.Shelley.ImpTest |
| submitUpdateCommittee | Test.Cardano.Ledger.Conway.ImpTest |
| submitVote | Test.Cardano.Ledger.Conway.ImpTest |
| submitVote_ | Test.Cardano.Ledger.Conway.ImpTest |
| submitYesVoteCCs_ | Test.Cardano.Ledger.Conway.ImpTest |
| submitYesVote_ | Test.Cardano.Ledger.Conway.ImpTest |
| subNumSpec | Constrained.NumSpec |
| Subset | |
| 1 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Control.Iterate.Exp |
| subset | Control.Iterate.Exp, Control.SetAlgebra |
| subsetFromSet | Test.Cardano.Ledger.Constrained.Combinators |
| subsetFromSetWithSize | Test.Cardano.Ledger.Constrained.Combinators |
| subsetSize | Test.Cardano.Ledger.Constrained.Combinators |
| subsetToPP | 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 |
| SubsetW | Constrained.Spec.Set, Constrained.API |
| subset_ | Constrained.Spec.Set, Constrained.API |
| subSlotCount | Cardano.Chain.Slotting |
| subSpecInt | Constrained.NumSpec |
| Subst | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| 3 (Data Constructor) | Constrained.AbstractSyntax, Constrained.API |
| 4 (Type/Class) | Constrained.Syntax |
| substArg | Test.Cardano.Ledger.Constrained.Ast |
| substBinder | Constrained.Syntax |
| SubstElem | |
| 1 (Type/Class) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Data Constructor) | Test.Cardano.Ledger.Constrained.Ast |
| SubstEntry | Constrained.Syntax |
| substField | Test.Cardano.Ledger.Constrained.Ast |
| substFromNames | Test.Cardano.Ledger.Constrained.Ast |
| substFromPat | Test.Cardano.Ledger.Constrained.Ast |
| substFromTarget | Test.Cardano.Ledger.Constrained.Ast |
| substituteAndSimplifyTerm | Constrained.TheKnot |
| substituteBinder | Constrained.Syntax |
| substitutePred | Constrained.Syntax |
| substituteTerm | Constrained.Syntax |
| substituteTerm' | Constrained.Syntax |
| substitutiveEqLaws | Test.Common |
| substPat | Test.Cardano.Ledger.Constrained.Ast |
| substPred | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.Syntax |
| substPredWithVarTest | Test.Cardano.Ledger.Constrained.Ast |
| substStage | Constrained.TheKnot |
| substSum | Test.Cardano.Ledger.Constrained.Ast |
| substTarget | Test.Cardano.Ledger.Constrained.Ast |
| substTerm | |
| 1 (Function) | Test.Cardano.Ledger.Constrained.Ast |
| 2 (Function) | Constrained.Syntax |
| substToEnv | Test.Cardano.Ledger.Constrained.Ast |
| subterms | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| subtractGraph | Constrained.Graph |
| subtractSpec | Constrained.NumSpec |
| Succeed | Constrained.Examples.Fold |
| Success | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| SuccessfulPlutusScriptsEvent | |
| 1 (Data Constructor) | Cardano.Ledger.Alonzo.Rules |
| 2 (Data Constructor) | Cardano.Ledger.Conway.Rules |
| successfulTranslation | Test.Cardano.Ledger.Babbage.TxInfo |
| successiveChildren | Constrained.Examples.Tree, Constrained.Examples |
| successiveChildren8 | Constrained.Examples.Tree, Constrained.Examples |
| succVersion | Cardano.Ledger.Binary.Version, Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary.Decoding, Cardano.Ledger.Binary, Cardano.Ledger.BaseTypes |
| succV_ | Test.Cardano.Ledger.Constrained.Conway.Instances.Basic, Test.Cardano.Ledger.Constrained.Conway.Instances.PParams, Test.Cardano.Ledger.Constrained.Conway.Instances.Ledger, Test.Cardano.Ledger.Constrained.Conway.Instances, Test.Cardano.Ledger.Constrained.Conway.ParametricSpec, Test.Cardano.Ledger.Constrained.Conway |
| suchThat | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| suchThatErr | Test.Cardano.Ledger.Constrained.Combinators |
| suchThatLastState | Test.Control.State.Transition.Generator |
| suchThatMap | Test.Cardano.Ledger.Common, Test.Cardano.Ledger.Imp.Common, Test.Common |
| suchThatMaybe | |
| 1 (Function) | Test.Cardano.Ledger.Common, Test.Common |
| 2 (Function) | Test.Cardano.Ledger.Imp.Common |
| suchThatT | Constrained.GenT |
| suchThatWithTryT | Constrained.GenT |
| sufficientGenDelegs | Test.Cardano.Ledger.Constrained.Preds.Tx |
| sufficientKeyHashes | Test.Cardano.Ledger.Constrained.Preds.Tx |
| sufficientScript | Test.Cardano.Ledger.Constrained.Scripts |
| sufficientScriptKeys | Test.Cardano.Ledger.Constrained.Preds.Tx |
| sufficientTxCert | Test.Cardano.Ledger.Constrained.Preds.Tx |
| suffixedBy | Constrained.TheKnot |
| SUM | Test.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 |
| sum3 | Constrained.Examples.Fold |
| sum3WithLength | Constrained.Examples.Fold |
| sumAdaPots | Cardano.Ledger.Shelley.AdaPots |
| sumAdds | Test.Cardano.Ledger.Constrained.Classes |
| sumAllCoin | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| sumAllStake | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| sumAllStakeCompact | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| sumAllValue | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| sumBeforeParts | Test.Cardano.Ledger.Constrained.Rewrite |
| sumCoinUTxO | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| sumCoin_ | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| sumCol | Test.Cardano.Ledger.Constrained.Vars |
| sumCollateral | Test.Cardano.Ledger.Alonzo.AlonzoEraGen |
| sumCompactCoin | Cardano.Ledger.Coin, Cardano.Ledger.UMap |
| sumCompactRewards | Cardano.Ledger.Shelley.Rewards |
| SumD | Cardano.Ledger.Binary.Coders |
| sumDepositUView | Cardano.Ledger.UMap |
| sumExample | Constrained.Examples.CheatSheet |
| sumExampleTwo | Constrained.Examples.CheatSheet |
| SumLeft | Constrained.Generic |
| SumList | Test.Cardano.Ledger.Constrained.Ast |
| sumListBad | Constrained.Examples.List, Constrained.Examples |
| sumLovelace | Cardano.Chain.Common |
| summandAsInt | Test.Cardano.Ledger.Constrained.Solver |
| Summands | Cardano.Ledger.Binary.Coders |
| summandsAsInt | Test.Cardano.Ledger.Constrained.Solver |
| SumMap | Test.Cardano.Ledger.Constrained.Ast |
| summaryList | Test.Cardano.Ledger.Generic.PrettyCore |
| summaryMap | Test.Cardano.Ledger.Generic.PrettyCore |
| summaryMapCompact | Test.Cardano.Ledger.Generic.PrettyCore |
| sumObligation | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| SumOver | Constrained.Generic |
| sumPreds | Test.Cardano.Ledger.Constrained.Examples |
| sumProp | Constrained.Examples.Fold |
| sumProp2 | Constrained.Examples.Fold |
| sumRange | Constrained.Examples.Map, Constrained.Examples |
| sumRewards | Cardano.Ledger.Shelley.Rewards |
| sumRewardsUView | Cardano.Ledger.UMap |
| SumRight | Constrained.Generic |
| Sums | Test.Cardano.Ledger.Constrained.Classes |
| SumSpec | |
| 1 (Type/Class) | Constrained.TheKnot |
| 2 (Data Constructor) | Constrained.TheKnot |
| SumSpecRaw | Constrained.TheKnot |
| SumSplit | Test.Cardano.Ledger.Constrained.Ast |
| sumStakePerPool | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.EpochBoundary, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State |
| SumsTo | Test.Cardano.Ledger.Constrained.Ast |
| sumTxOut_ | Test.Cardano.Ledger.Constrained.Conway.TxBodySpec |
| sumType | Constrained.TheKnot |
| sumUTxO | Cardano.Ledger.Allegra.State, Cardano.Ledger.Alonzo.State, Cardano.Ledger.Babbage.State, Cardano.Ledger.Conway.State, Cardano.Ledger.UTxO, Cardano.Ledger.State, Cardano.Ledger.Mary.State, Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.UTxO |
| sumVal | Cardano.Ledger.Val |
| SumW | Constrained.TheKnot, Constrained.Spec.SumProd |
| sumWeightL | Constrained.TheKnot |
| sumWeightR | Constrained.TheKnot |
| sum_ | Constrained.TheKnot, Constrained.API |
| sUnRegKey | Test.Cardano.Ledger.Constrained.Preds.Certs |
| superItemFromSet | Test.Cardano.Ledger.Constrained.Combinators |
| superSetFromSet | Test.Cardano.Ledger.Constrained.Combinators |
| superSetFromSetWithSize | Test.Cardano.Ledger.Constrained.Combinators |
| SupportedLanguage | |
| 1 (Type/Class) | Cardano.Ledger.Alonzo.Plutus.Context |
| 2 (Data Constructor) | Cardano.Ledger.Alonzo.Plutus.Context |
| supportedLanguages | Cardano.Ledger.Alonzo.Plutus.Context |
| supportsNegative | Test.Cardano.Ledger.Constrained.Classes |
| supSoftwareMetadata | Cardano.Chain.Update.Validation.Registration |
| supSoftwareVersion | Cardano.Chain.Update.Validation.Registration |
| SuspendedSpec | Constrained.AbstractSyntax, Constrained.API |
| svAppName | Cardano.Chain.Update |
| svCanFollow | Byron.Spec.Ledger.Update |
| svName | Byron.Spec.Ledger.Update |
| svNumber | Cardano.Chain.Update |
| svVer | Byron.Spec.Ledger.Update |
| swapMismatch | Cardano.Ledger.BaseTypes |
| SwVer | |
| 1 (Type/Class) | Byron.Spec.Ledger.Update |
| 2 (Data Constructor) | Byron.Spec.Ledger.Update |
| synopsis | Test.Cardano.Ledger.Constrained.TypeRep |
| synopsisCoinMap | Cardano.Ledger.Shelley.Rules.Reports |
| synSet | Test.Cardano.Ledger.Constrained.Spec |
| Syntax | Constrained.AbstractSyntax, Constrained.API |
| systemStart | |
| 1 (Function) | Test.Cardano.Ledger.Alonzo.Translation.TranslatableGen |
| 2 (Function) | Cardano.Ledger.BaseTypes, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| SystemTag | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update |
| SystemTagError | |
| 1 (Type/Class) | Cardano.Chain.Update |
| 2 (Data Constructor) | Cardano.Chain.Update.Validation.Registration |
| systemTagMaxLength | Cardano.Chain.Update |
| SystemTagNotAscii | Cardano.Chain.Update |
| SystemTagTooLong | Cardano.Chain.Update |
| SzAny | Test.Cardano.Ledger.Constrained.Size |
| szBounds | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| szCases | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| szEval | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| SzExact | Test.Cardano.Ledger.Constrained.Size |
| szForce | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| szGreedy | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| szLazy | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| SzLeast | Test.Cardano.Ledger.Constrained.Size |
| SzMost | Test.Cardano.Ledger.Constrained.Size |
| SzNever | Test.Cardano.Ledger.Constrained.Size |
| SzRng | Test.Cardano.Ledger.Constrained.Size |
| szSimplify | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| szWithCtx | |
| 1 (Function) | Cardano.Ledger.Binary.Plain |
| 2 (Function) | Cardano.Ledger.Binary.Encoding, Cardano.Ledger.Binary |
| S_AfterExistingDelegation | Byron.Spec.Ledger.Delegation |
| S_AlreadyADelegateOf | Byron.Spec.Ledger.Delegation |
| S_AlreadyConfirmed | Byron.Spec.Ledger.Update |
| S_BeforeExistingDelegation | Byron.Spec.Ledger.Delegation |
| S_CfmThdNotReached | Byron.Spec.Ledger.Update |
| S_HigherThanThdAndNotAlreadyConfirmed | Byron.Spec.Ledger.Update |
| S_NoLastDelegation | Byron.Spec.Ledger.Delegation |
| S_TryNextRule | Byron.Spec.Ledger.Update |