cardano-ledger

Modules

• Byron
  Submodules

  • Spec
    Submodules

    • Chain
      Submodules

      • STS
        Submodules

        •  Byron.Spec.Chain.STS.Blockbyron-spec-chain-1.0.0.1
        • Rule
          Submodules

          •  Byron.Spec.Chain.STS.Rule.BBodybyron-spec-chain-1.0.0.1
          •  Byron.Spec.Chain.STS.Rule.Bupibyron-spec-chain-1.0.0.1
          •  Byron.Spec.Chain.STS.Rule.Chainbyron-spec-chain-1.0.0.1
          •  Byron.Spec.Chain.STS.Rule.Epochbyron-spec-chain-1.0.0.1
          •  Byron.Spec.Chain.STS.Rule.Pbftbyron-spec-chain-1.0.0.1
          •  Byron.Spec.Chain.STS.Rule.SigCntbyron-spec-chain-1.0.0.1
    • Ledger
      Submodules

      •  Byron.Spec.Ledger.Corebyron-spec-ledger-1.0.0.1
        Submodules

        •  Byron.Spec.Ledger.Core.Generatorsbyron-spec-ledger-1.0.0.1
        •  Byron.Spec.Ledger.Core.Omniscientbyron-spec-ledger-1.0.0.1
      •  Byron.Spec.Ledger.Delegationbyron-spec-ledger-1.0.0.1
        Submodules

        •  Byron.Spec.Ledger.Delegation.Testbyron-spec-ledger-1.0.0.1
      •  Byron.Spec.Ledger.GlobalParamsbyron-spec-ledger-1.0.0.1
      • STS
        Submodules

        •  Byron.Spec.Ledger.STS.UTXObyron-spec-ledger-1.0.0.1
        •  Byron.Spec.Ledger.STS.UTXOWbyron-spec-ledger-1.0.0.1
        •  Byron.Spec.Ledger.STS.UTXOWSbyron-spec-ledger-1.0.0.1
      •  Byron.Spec.Ledger.UTxObyron-spec-ledger-1.0.0.1
        Submodules

        •  Byron.Spec.Ledger.UTxO.Generatorsbyron-spec-ledger-1.0.0.1
      •  Byron.Spec.Ledger.Updatebyron-spec-ledger-1.0.0.1
        Submodules

        •  Byron.Spec.Ledger.Update.Generatorsbyron-spec-ledger-1.0.0.1
        •  Byron.Spec.Ledger.Update.Testbyron-spec-ledger-1.0.0.1
• Cardano
  Submodules

  • Chain
    Submodules

    •  Cardano.Chain.Blockcardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.Block.Blockcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Block.Bodycardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Block.Boundarycardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Block.Headercardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Block.Proofcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Block.Validationcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Block.ValidationModecardano-ledger-byron-1.0.0.2
    • Byron
      Submodules

      •  Cardano.Chain.Byron.APIcardano-ledger-byron-1.0.0.2
        Submodules

        •  Cardano.Chain.Byron.API.Commoncardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Byron.API.Mempoolcardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Byron.API.Protocolcardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Byron.API.Validationcardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Commoncardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.Common.AddrAttributescardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.AddrSpendingDatacardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.Addresscardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.AddressHashcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.Attributescardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.BlockCountcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.CBORcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.ChainDifficultycardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.Compactcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.KeyHashcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.Lovelacecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.LovelacePortioncardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.Merklecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.NetworkMagiccardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.TxFeePolicycardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Common.TxSizeLinearcardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Constantscardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Delegationcardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.Delegation.Certificatecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Delegation.Mapcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Delegation.Payloadcardano-ledger-byron-1.0.0.2
      • Validation
        Submodules

        •  Cardano.Chain.Delegation.Validation.Activationcardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Delegation.Validation.Interfacecardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Delegation.Validation.Schedulingcardano-ledger-byron-1.0.0.2
    • Epoch
      Submodules

      •  Cardano.Chain.Epoch.Filecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Epoch.Validationcardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Genesiscardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.Genesis.AvvmBalancescardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Configcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Datacardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Delegationcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Generatecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Hashcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Initializercardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.KeyHashescardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.NonAvvmBalancescardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Genesis.Speccardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.MempoolPayloadcardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.ProtocolConstantscardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Slottingcardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.Slotting.EpochAndSlotCountcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Slotting.EpochNumbercardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Slotting.EpochSlotscardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Slotting.SlotCountcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Slotting.SlotNumbercardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Ssccardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.UTxOcardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.UTxO.Compactcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.GenesisUTxOcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.Txcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.TxAuxcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.TxPayloadcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.TxProofcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.TxWitnesscardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.UTxOcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.UTxOConfigurationcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.Validationcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.UTxO.ValidationModecardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.Updatecardano-ledger-byron-1.0.0.2
      Submodules

      •  Cardano.Chain.Update.ApplicationNamecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.InstallerHashcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.Payloadcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.Proofcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.Proposalcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.ProtocolParameterscardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.ProtocolParametersUpdatecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.ProtocolVersioncardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.SoftforkRulecardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.SoftwareVersioncardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.SystemTagcardano-ledger-byron-1.0.0.2
      • Validation
        Submodules

        •  Cardano.Chain.Update.Validation.Endorsementcardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Update.Validation.Interfacecardano-ledger-byron-1.0.0.2
          Submodules

          •  Cardano.Chain.Update.Validation.Interface.ProtocolVersionBumpcardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Update.Validation.Registrationcardano-ledger-byron-1.0.0.2
        •  Cardano.Chain.Update.Validation.Votingcardano-ledger-byron-1.0.0.2
      •  Cardano.Chain.Update.Votecardano-ledger-byron-1.0.0.2
    •  Cardano.Chain.ValidationModecardano-ledger-byron-1.0.0.2
  •  Cardano.Cryptocardano-crypto-wrapper-1.5.1.0
    Submodules

    •  Cardano.Crypto.Hashingcardano-crypto-wrapper-1.5.1.0
    •  Cardano.Crypto.Orphanscardano-crypto-wrapper-1.5.1.0
    •  Cardano.Crypto.ProtocolMagiccardano-crypto-wrapper-1.5.1.0
    •  Cardano.Crypto.Randomcardano-crypto-wrapper-1.5.1.0
    •  Cardano.Crypto.Rawcardano-crypto-wrapper-1.5.1.0
    •  Cardano.Crypto.Signingcardano-crypto-wrapper-1.5.1.0
      Submodules

      •  Cardano.Crypto.Signing.KeyGencardano-crypto-wrapper-1.5.1.0
      •  Cardano.Crypto.Signing.Redeemcardano-crypto-wrapper-1.5.1.0
        Submodules

        •  Cardano.Crypto.Signing.Redeem.Compactcardano-crypto-wrapper-1.5.1.0
        •  Cardano.Crypto.Signing.Redeem.KeyGencardano-crypto-wrapper-1.5.1.0
        •  Cardano.Crypto.Signing.Redeem.Signaturecardano-crypto-wrapper-1.5.1.0
        •  Cardano.Crypto.Signing.Redeem.SigningKeycardano-crypto-wrapper-1.5.1.0
        •  Cardano.Crypto.Signing.Redeem.VerificationKeycardano-crypto-wrapper-1.5.1.0
      •  Cardano.Crypto.Signing.Safecardano-crypto-wrapper-1.5.1.0
        Submodules

        •  Cardano.Crypto.Signing.Safe.KeyGencardano-crypto-wrapper-1.5.1.0
        •  Cardano.Crypto.Signing.Safe.PassPhrasecardano-crypto-wrapper-1.5.1.0
        •  Cardano.Crypto.Signing.Safe.SafeSignercardano-crypto-wrapper-1.5.1.0
      •  Cardano.Crypto.Signing.Signaturecardano-crypto-wrapper-1.5.1.0
      •  Cardano.Crypto.Signing.SigningKeycardano-crypto-wrapper-1.5.1.0
      •  Cardano.Crypto.Signing.Tagcardano-crypto-wrapper-1.5.1.0
      •  Cardano.Crypto.Signing.VerificationKeycardano-crypto-wrapper-1.5.1.0
  • Ledger
    Submodules

    •  Cardano.Ledger.Addresscardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Allegracardano-ledger-allegra-1.2.2.1
      Submodules

      •  Cardano.Ledger.Allegra.Corecardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.Eracardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.PParamscardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.Rulescardano-ledger-allegra-1.2.2.1
        Submodules

        •  Cardano.Ledger.Allegra.Rules.Utxocardano-ledger-allegra-1.2.2.1
        •  Cardano.Ledger.Allegra.Rules.Utxowcardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.Scriptscardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.Translationcardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.Txcardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.TxAuxDatacardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.TxBodycardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.TxCertcardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.TxOutcardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.TxSeqcardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.TxWitscardano-ledger-allegra-1.2.2.1
      •  Cardano.Ledger.Allegra.UTxOcardano-ledger-allegra-1.2.2.1
    •  Cardano.Ledger.Alonzocardano-ledger-alonzo-1.4.2.0
      Submodules

      •  Cardano.Ledger.Alonzo.Corecardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Datacardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Eracardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Genesiscardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Languagecardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.PParamscardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.PlutusScriptApicardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Rulescardano-ledger-alonzo-1.4.2.0
        Submodules

        •  Cardano.Ledger.Alonzo.Rules.Bbodycardano-ledger-alonzo-1.4.2.0
        •  Cardano.Ledger.Alonzo.Rules.Ledgercardano-ledger-alonzo-1.4.2.0
        •  Cardano.Ledger.Alonzo.Rules.Utxocardano-ledger-alonzo-1.4.2.0
        •  Cardano.Ledger.Alonzo.Rules.Utxoscardano-ledger-alonzo-1.4.2.0
        •  Cardano.Ledger.Alonzo.Rules.Utxowcardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Scriptscardano-ledger-alonzo-1.4.2.0
        Submodules

        •  Cardano.Ledger.Alonzo.Scripts.Datacardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Translationcardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.Txcardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxAuxDatacardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxBodycardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxCertcardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxInfocardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxOutcardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxSeqcardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.TxWitscardano-ledger-alonzo-1.4.2.0
      •  Cardano.Ledger.Alonzo.UTxOcardano-ledger-alonzo-1.4.2.0
    •  Cardano.Ledger.Apcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Apicardano-ledger-api-1.6.0.0
      Submodules

      •  Cardano.Ledger.Api.Eracardano-ledger-api-1.6.0.0
      •  Cardano.Ledger.Api.Governancecardano-ledger-api-1.6.0.0
      •  Cardano.Ledger.Api.PParamscardano-ledger-api-1.6.0.0
      •  Cardano.Ledger.Api.Scriptscardano-ledger-api-1.6.0.0
        Submodules

        •  Cardano.Ledger.Api.Scripts.Datacardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Scripts.ExUnitscardano-ledger-api-1.6.0.0
      • State
        Submodules

        •  Cardano.Ledger.Api.State.Querycardano-ledger-api-1.6.0.0
      •  Cardano.Ledger.Api.Txcardano-ledger-api-1.6.0.0
        Submodules

        •  Cardano.Ledger.Api.Tx.Addresscardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Tx.AuxDatacardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Tx.Bodycardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Tx.Certcardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Tx.Incardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Tx.Outcardano-ledger-api-1.6.0.0
        •  Cardano.Ledger.Api.Tx.Witscardano-ledger-api-1.6.0.0
      •  Cardano.Ledger.Api.UTxOcardano-ledger-api-1.6.0.0
    •  Cardano.Ledger.AuxiliaryDatacardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.BHeaderViewcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Babbagecardano-ledger-babbage-1.4.4.0
      Submodules

      •  Cardano.Ledger.Babbage.Collateralcardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.Corecardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.Eracardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.PParamscardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.Rulescardano-ledger-babbage-1.4.4.0
        Submodules

        •  Cardano.Ledger.Babbage.Rules.Ledgercardano-ledger-babbage-1.4.4.0
        •  Cardano.Ledger.Babbage.Rules.Utxocardano-ledger-babbage-1.4.4.0
        •  Cardano.Ledger.Babbage.Rules.Utxoscardano-ledger-babbage-1.4.4.0
        •  Cardano.Ledger.Babbage.Rules.Utxowcardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.Scriptscardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.Translationcardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.Txcardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.TxAuxDatacardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.TxBodycardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.TxCertcardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.TxInfocardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.TxOutcardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.TxWitscardano-ledger-babbage-1.4.4.0
      •  Cardano.Ledger.Babbage.UTxOcardano-ledger-babbage-1.4.4.0
    •  Cardano.Ledger.BaseTypescardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Binarycardano-ledger-binary-1.1.3.0
      Submodules

      •  Cardano.Ledger.Binary.Coderscardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.Cryptocardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.Decodingcardano-ledger-binary-1.1.3.0
        Submodules

        •  Cardano.Ledger.Binary.Decoding.Annotatedcardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Decoding.Coderscardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Decoding.DecCBORcardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Decoding.Decodercardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Decoding.Dropcardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Decoding.Sharingcardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Decoding.Sizedcardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.Encodingcardano-ledger-binary-1.1.3.0
        Submodules

        •  Cardano.Ledger.Binary.Encoding.Coderscardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Encoding.EncCBORcardano-ledger-binary-1.1.3.0
        •  Cardano.Ledger.Binary.Encoding.Encodercardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.FlatTermcardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.Groupcardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.Plaincardano-ledger-binary-1.1.3.0
      •  Cardano.Ledger.Binary.Versioncardano-ledger-binary-1.1.3.0
    •  Cardano.Ledger.Blockcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.CertStatecardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Chaincardano-ledger-shelley-1.6.1.0
    •  Cardano.Ledger.Coincardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.CompactAddresscardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Compactiblecardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Conwaycardano-ledger-conway-1.9.0.0
      Submodules

      •  Cardano.Ledger.Conway.Corecardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Eracardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Genesiscardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Governancecardano-ledger-conway-1.9.0.0
        Submodules

        •  Cardano.Ledger.Conway.Governance.Procedurescardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Governance.Snapshotscardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.PParamscardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Rulescardano-ledger-conway-1.9.0.0
        Submodules

        •  Cardano.Ledger.Conway.Rules.Certcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Certscardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Delegcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Enactcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Epochcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Govcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.GovCertcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Ledgercardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.NewEpochcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Poolcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Ratifycardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Tickfcardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Utxoscardano-ledger-conway-1.9.0.0
        •  Cardano.Ledger.Conway.Rules.Utxowcardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Scriptscardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Translationcardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.Txcardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.TxAuxDatacardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.TxBodycardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.TxCertcardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.TxInfocardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.TxOutcardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.TxWitscardano-ledger-conway-1.9.0.0
      •  Cardano.Ledger.Conway.UTxOcardano-ledger-conway-1.9.0.0
    •  Cardano.Ledger.Corecardano-ledger-core-1.7.0.0
      Submodules

      •  Cardano.Ledger.Core.Eracardano-ledger-core-1.7.0.0
      •  Cardano.Ledger.Core.PParamscardano-ledger-core-1.7.0.0
      •  Cardano.Ledger.Core.Translationcardano-ledger-core-1.7.0.0
      •  Cardano.Ledger.Core.TxCertcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Credentialcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Cryptocardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.DRepDistrcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.EpochBoundary Functions and definitions for rules at epoch boundary.cardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Eracardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.HKDcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Hashescardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Keyscardano-ledger-core-1.7.0.0
      Submodules

      •  Cardano.Ledger.Keys.Bootstrapcardano-ledger-core-1.7.0.0
      •  Cardano.Ledger.Keys.WitVKeycardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Languagecardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Marycardano-ledger-mary-1.3.3.1
      Submodules

      •  Cardano.Ledger.Mary.Corecardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.Eracardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.PParamscardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.Scriptscardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.Translationcardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.Txcardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.TxAuxDatacardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.TxBodycardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.TxCertcardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.TxOutcardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.TxSeqcardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.TxWitscardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.UTxOcardano-ledger-mary-1.3.3.1
      •  Cardano.Ledger.Mary.Valuecardano-ledger-mary-1.3.3.1
    •  Cardano.Ledger.MemoBytescardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.NonIntegralnon-integral-1.0.0.0
    •  Cardano.Ledger.Orphanscardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.PoolDistrcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.PoolParamscardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Prettycardano-ledger-pretty-1.3.2.0
      Submodules

      •  Cardano.Ledger.Pretty.Alonzocardano-ledger-pretty-1.3.2.0
      •  Cardano.Ledger.Pretty.Babbagecardano-ledger-pretty-1.3.2.0
      •  Cardano.Ledger.Pretty.Conwaycardano-ledger-pretty-1.3.2.0
      •  Cardano.Ledger.Pretty.Marycardano-ledger-pretty-1.3.2.0
    •  Cardano.Ledger.Rewardscardano-ledger-core-1.7.0.0
    • Rules
      Submodules

      •  Cardano.Ledger.Rules.ValidationModecardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.SafeHashcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Serializationcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Shelleycardano-ledger-shelley-1.6.1.0
      Submodules

      •  Cardano.Ledger.Shelley.APIcardano-ledger-shelley-1.6.1.0
        Submodules

        •  Cardano.Ledger.Shelley.API.ByronTranslationcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.API.Genesiscardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.API.Mempoolcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.API.Typescardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.API.Validationcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.API.Walletcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.AdaPotscardano-ledger-shelley-1.6.1.0
      • Address
        Submodules

        •  Cardano.Ledger.Shelley.Address.Bootstrapcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.BlockChaincardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Corecardano-ledger-shelley-1.6.1.0
      • Delegation
        Submodules

        •  Cardano.Ledger.Shelley.Delegation.Certificatescardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Delegation.PoolParamscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.EpochBoundarycardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Eracardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Genesiscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Governancecardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.HardForkscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Internalcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.LedgerState Operational Rulescardano-ledger-shelley-1.6.1.0
        Submodules

        •  Cardano.Ledger.Shelley.LedgerState.IncrementalStakecardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.LedgerState.NewEpochStatecardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.LedgerState.PulsingRewardcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.LedgerState.RefundsAndDepositscardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.LedgerState.Typescardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Metadatacardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Orphanscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.PParamscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.PoolParamscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.PoolRankcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.RewardProvenancecardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.RewardUpdatecardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Rewardscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Rulescardano-ledger-shelley-1.6.1.0
        Submodules

        •  Cardano.Ledger.Shelley.Rules.Bbodycardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Delegcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Delegscardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Delplcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Epochcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Ledgercardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Ledgerscardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Mircardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.NewEpochcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Newppcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Poolcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.PoolReapcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Ppupcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Reportscardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Rupdcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Snapcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Tickcardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Upeccardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Utxocardano-ledger-shelley-1.6.1.0
        •  Cardano.Ledger.Shelley.Rules.Utxowcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Scriptscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.SoftForkscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.StabilityWindowcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Translationcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.Txcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.TxAuxDatacardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.TxBodycardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.TxCertcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.TxOutcardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.TxWitscardano-ledger-shelley-1.6.1.0
      •  Cardano.Ledger.Shelley.UTxOcardano-ledger-shelley-1.6.1.0
    •  Cardano.Ledger.Slotcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Stateledger-state-9.9.9.9
      Submodules

      •  Cardano.Ledger.State.Orphansledger-state-9.9.9.9
      •  Cardano.Ledger.State.Queryledger-state-9.9.9.9
      •  Cardano.Ledger.State.Schemaledger-state-9.9.9.9
      •  Cardano.Ledger.State.Transformledger-state-9.9.9.9
      •  Cardano.Ledger.State.UTxOledger-state-9.9.9.9
      •  Cardano.Ledger.State.Vectorledger-state-9.9.9.9
    •  Cardano.Ledger.TreeDiffcardano-ledger-binary-1.1.3.0
    •  Cardano.Ledger.TxIncardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.UMapcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.UMapCompactcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.UTxOcardano-ledger-core-1.7.0.0
    •  Cardano.Ledger.Valcardano-ledger-core-1.7.0.0
  • Protocol
    Submodules

    • TPraos
      Submodules

      •  Cardano.Protocol.TPraos.APIcardano-protocol-tpraos-1.0.3.5
      •  Cardano.Protocol.TPraos.BHeadercardano-protocol-tpraos-1.0.3.5
      •  Cardano.Protocol.TPraos.OCertcardano-protocol-tpraos-1.0.3.5
      • Rules
        Submodules

        •  Cardano.Protocol.TPraos.Rules.OCertcardano-protocol-tpraos-1.0.3.5
        •  Cardano.Protocol.TPraos.Rules.Overlaycardano-protocol-tpraos-1.0.3.5
        •  Cardano.Protocol.TPraos.Rules.Prtclcardano-protocol-tpraos-1.0.3.5
        •  Cardano.Protocol.TPraos.Rules.Tickncardano-protocol-tpraos-1.0.3.5
        •  Cardano.Protocol.TPraos.Rules.Updncardano-protocol-tpraos-1.0.3.5
• Control
  Submodules

  • Iterate
    Submodules

    •  Control.Iterate.BaseTypesset-algebra-1.1.0.1
    •  Control.Iterate.Collectset-algebra-1.1.0.1
    •  Control.Iterate.Expset-algebra-1.1.0.1
    •  Control.Iterate.SetAlgebraset-algebra-1.1.0.1
  •  Control.Provenancesmall-steps-1.0.0.0
  •  Control.SetAlgebraset-algebra-1.1.0.1
  • State
    Submodules

    •  Control.State.Transitionsmall-steps-1.0.0.0
      Submodules

      • Examples
        Submodules

        •  Control.State.Transition.Examples.CommitReveal
        •  Control.State.Transition.Examples.GlobalSum
        •  Control.State.Transition.Examples.Sum
      •  Control.State.Transition.Extendedsmall-steps-1.0.0.0
      •  Control.State.Transition.Generatorsmall-steps-test-1.0.0.1
      • Invalid
        Submodules

        •  Control.State.Transition.Invalid.Tracesmall-steps-test-1.0.0.1
      •  Control.State.Transition.Simplesmall-steps-1.0.0.0
      •  Control.State.Transition.Tracesmall-steps-test-1.0.0.1
        Submodules

        • Generator
          Submodules

          •  Control.State.Transition.Trace.Generator.QuickChecksmall-steps-test-1.0.0.1
• Data
  Submodules

  •  Data.AbstractSizebyron-spec-ledger-1.0.0.1
  •  Data.CanonicalMapscardano-data-1.1.0.0
  •  Data.ListMapcardano-data-1.1.0.0
  •  Data.MapExtrascardano-data-1.1.0.0
  •  Data.Pulsecardano-data-1.1.0.0
  •  Data.Universecardano-data-1.1.0.0
  •  Data.VMapvector-map-1.0.1.0
    Submodules

    •  Data.VMap.KVVectorvector-map-1.0.1.0
•  GetDataFileNamecardano-crypto-test-1.5.0.0
• Hedgehog
  Submodules

  • Extra
    Submodules

    •  Hedgehog.Extra.Manualsmall-steps-test-1.0.0.1
  • Gen
    Submodules

    •  Hedgehog.Gen.Doublebyron-spec-ledger-1.0.0.1
•  Main
•  Paths_cardano_crypto_testcardano-crypto-test-1.5.0.0
•  Paths_cardano_crypto_wrapper
•  Paths_cardano_ledger_alonzo_testcardano-ledger-alonzo-test-1.1.2.5
•  Paths_cardano_ledger_babbage_test
•  Paths_cardano_ledger_byron
•  Paths_cardano_ledger_byron_testcardano-ledger-byron-test-1.5.0.0
•  Paths_cardano_ledger_conway
•  Paths_cardano_ledger_conway_test
•  Paths_cardano_ledger_shelley_ma_test
•  Paths_cardano_ledger_shelley_test
• Test
  Submodules

  • Byron
    Submodules

    • AbstractSize
      Submodules

      •  Test.Byron.AbstractSize.Properties
    • Spec
      Submodules

      • Chain
        Submodules

        • STS
          Submodules

          •  Test.Byron.Spec.Chain.STS.Properties
      • Ledger
        Submodules

        • AbstractSize
          Submodules

          •  Test.Byron.Spec.Ledger.AbstractSize.Properties
        • Core
          Submodules

          • Generators
            Submodules

            •  Test.Byron.Spec.Ledger.Core.Generators.Properties
        • Delegation
          Submodules

          •  Test.Byron.Spec.Ledger.Delegation.Examples
          •  Test.Byron.Spec.Ledger.Delegation.Properties
        • Relation
          Submodules

          •  Test.Byron.Spec.Ledger.Relation.Properties
        • UTxO
          Submodules

          •  Test.Byron.Spec.Ledger.UTxO.Properties
        • Update
          Submodules

          •  Test.Byron.Spec.Ledger.Update.Examples
          •  Test.Byron.Spec.Ledger.Update.Properties
  • Cardano
    Submodules

    • Chain
      Submodules

      • Block
        Submodules

        •  Test.Cardano.Chain.Block.CBOR
        •  Test.Cardano.Chain.Block.Gen
        •  Test.Cardano.Chain.Block.Model
          Submodules

          •  Test.Cardano.Chain.Block.Model.Examples
        •  Test.Cardano.Chain.Block.Size
        •  Test.Cardano.Chain.Block.Validation
        •  Test.Cardano.Chain.Block.ValidationMode
      •  Test.Cardano.Chain.Buildable
      • Byron
        Submodules

        •  Test.Cardano.Chain.Byron.API
      • Common
        Submodules

        •  Test.Cardano.Chain.Common.Address
        •  Test.Cardano.Chain.Common.Attributes
        •  Test.Cardano.Chain.Common.CBOR
        •  Test.Cardano.Chain.Common.Compact
        •  Test.Cardano.Chain.Common.Example
        •  Test.Cardano.Chain.Common.Gen
        •  Test.Cardano.Chain.Common.Lovelace
      •  Test.Cardano.Chain.Config
      • Delegation
        Submodules

        •  Test.Cardano.Chain.Delegation.CBOR
        •  Test.Cardano.Chain.Delegation.Certificate
        •  Test.Cardano.Chain.Delegation.Example
        •  Test.Cardano.Chain.Delegation.Gen
        •  Test.Cardano.Chain.Delegation.Model
      • Elaboration
        Submodules

        •  Test.Cardano.Chain.Elaboration.Block
        •  Test.Cardano.Chain.Elaboration.Delegation
        •  Test.Cardano.Chain.Elaboration.Keys
        •  Test.Cardano.Chain.Elaboration.UTxO
        •  Test.Cardano.Chain.Elaboration.Update
      • Epoch
        Submodules

        •  Test.Cardano.Chain.Epoch.File
      • Genesis
        Submodules

        •  Test.Cardano.Chain.Genesis.CBOR
        •  Test.Cardano.Chain.Genesis.Dummy
        •  Test.Cardano.Chain.Genesis.Example
        •  Test.Cardano.Chain.Genesis.Gen
        •  Test.Cardano.Chain.Genesis.Json
      • MempoolPayload
        Submodules

        •  Test.Cardano.Chain.MempoolPayload.CBOR
        •  Test.Cardano.Chain.MempoolPayload.Example
        •  Test.Cardano.Chain.MempoolPayload.Gen
      • Slotting
        Submodules

        •  Test.Cardano.Chain.Slotting.CBOR
        •  Test.Cardano.Chain.Slotting.Example
        •  Test.Cardano.Chain.Slotting.Gen
        •  Test.Cardano.Chain.Slotting.Properties
      • Ssc
        Submodules

        •  Test.Cardano.Chain.Ssc.CBOR
      • UTxO
        Submodules

        •  Test.Cardano.Chain.UTxO.CBOR
        •  Test.Cardano.Chain.UTxO.Compact
        •  Test.Cardano.Chain.UTxO.Example
        •  Test.Cardano.Chain.UTxO.Gen
        •  Test.Cardano.Chain.UTxO.Model
        •  Test.Cardano.Chain.UTxO.ValidationMode
      • Update
        Submodules

        •  Test.Cardano.Chain.Update.CBOR
        •  Test.Cardano.Chain.Update.Example
        •  Test.Cardano.Chain.Update.Gen
        •  Test.Cardano.Chain.Update.Properties
    • Crypto
      Submodules

      •  Test.Cardano.Crypto.CBORcardano-crypto-test-1.5.0.0
      •  Test.Cardano.Crypto.Dummycardano-crypto-test-1.5.0.0
      •  Test.Cardano.Crypto.Examplecardano-crypto-test-1.5.0.0
      •  Test.Cardano.Crypto.Gencardano-crypto-test-1.5.0.0
      •  Test.Cardano.Crypto.Hashing
      •  Test.Cardano.Crypto.Jsoncardano-crypto-test-1.5.0.0
      •  Test.Cardano.Crypto.Keys
      •  Test.Cardano.Crypto.Limits
      •  Test.Cardano.Crypto.Orphanscardano-crypto-test-1.5.0.0
      •  Test.Cardano.Crypto.Random
      • Signing
        Submodules

        •  Test.Cardano.Crypto.Signing.Redeem
          Submodules

          •  Test.Cardano.Crypto.Signing.Redeem.Compact
        •  Test.Cardano.Crypto.Signing.Safe
        •  Test.Cardano.Crypto.Signing.Signing
    •  Test.Cardano.Datacardano-data-1.1.0.0
      Submodules

      •  Test.Cardano.Data.MapExtrasSpec
    • Ledger
      Submodules

      •  Test.Cardano.Ledger.AddressSpec
      • Allegra
        Submodules

        •  Test.Cardano.Ledger.Allegra.Arbitrarycardano-ledger-allegra-1.2.2.1
        •  Test.Cardano.Ledger.Allegra.BinarySpec
        • Examples
          Submodules

          •  Test.Cardano.Ledger.Allegra.Examples.Consensuscardano-ledger-shelley-ma-test-1.2.1.3
        •  Test.Cardano.Ledger.Allegra.ScriptTranslation
        •  Test.Cardano.Ledger.Allegra.Translation
      •  Test.Cardano.Ledger.AllegraEraGencardano-ledger-shelley-ma-test-1.2.1.3
      • Alonzo
        Submodules

        •  Test.Cardano.Ledger.Alonzo.AlonzoEraGencardano-ledger-alonzo-test-1.1.2.5
        •  Test.Cardano.Ledger.Alonzo.Arbitrarycardano-ledger-alonzo-1.4.2.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Binary.RoundTripcardano-ledger-alonzo-1.4.2.0
        •  Test.Cardano.Ledger.Alonzo.BinarySpec
        •  Test.Cardano.Ledger.Alonzo.ChainTrace
        •  Test.Cardano.Ledger.Alonzo.CostModelcardano-ledger-alonzo-test-1.1.2.5
        •  Test.Cardano.Ledger.Alonzo.EraMappingcardano-ledger-alonzo-test-1.1.2.5
        • Examples
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Examples.Consensuscardano-ledger-alonzo-test-1.1.2.5
        •  Test.Cardano.Ledger.Alonzo.Golden Golden Tests for the Alonzo era
        •  Test.Cardano.Ledger.Alonzo.GoldenTranslation
        •  Test.Cardano.Ledger.Alonzo.PlutusScriptExamples
        •  Test.Cardano.Ledger.Alonzo.PlutusScriptscardano-ledger-alonzo-test-1.1.2.5
        •  Test.Cardano.Ledger.Alonzo.Scriptscardano-ledger-alonzo-test-1.1.2.5
        • Serialisation
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Serialisation.CDDL
          •  Test.Cardano.Ledger.Alonzo.Serialisation.Canonical
          •  Test.Cardano.Ledger.Alonzo.Serialisation.Generatorscardano-ledger-alonzo-test-1.1.2.5
          •  Test.Cardano.Ledger.Alonzo.Serialisation.Tripping
        •  Test.Cardano.Ledger.Alonzo.Toolscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Alonzo.Tracecardano-ledger-alonzo-test-1.1.2.5
        •  Test.Cardano.Ledger.Alonzo.Translation
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Translation.Goldencardano-ledger-alonzo-test-1.1.2.5
          •  Test.Cardano.Ledger.Alonzo.Translation.TranslatableGencardano-ledger-alonzo-test-1.1.2.5
          •  Test.Cardano.Ledger.Alonzo.Translation.TranslationInstancecardano-ledger-alonzo-test-1.1.2.5
        •  Test.Cardano.Ledger.Alonzo.TxInfo
      • Api
        Submodules

        • State
          Submodules

          •  Test.Cardano.Ledger.Api.State.Querycardano-ledger-api-1.6.0.0
          •  Test.Cardano.Ledger.Api.State.QuerySpec
        • Tx
          Submodules

          •  Test.Cardano.Ledger.Api.Tx.Body
          •  Test.Cardano.Ledger.Api.Tx.Out
      • Babbage
        Submodules

        •  Test.Cardano.Ledger.Babbage.Arbitrarycardano-ledger-babbage-1.4.4.0
        •  Test.Cardano.Ledger.Babbage.BinarySpec
        • Examples
          Submodules

          •  Test.Cardano.Ledger.Babbage.Examples.Consensuscardano-ledger-babbage-test-1.1.1.5
        •  Test.Cardano.Ledger.Babbage.GoldenTranslation
        • Serialisation
          Submodules

          •  Test.Cardano.Ledger.Babbage.Serialisation.CDDL
          •  Test.Cardano.Ledger.Babbage.Serialisation.Generatorscardano-ledger-babbage-test-1.1.1.5
          •  Test.Cardano.Ledger.Babbage.Serialisation.Tripping
        • Translation
          Submodules

          •  Test.Cardano.Ledger.Babbage.Translation.TranslatableGencardano-ledger-babbage-test-1.1.1.5
        •  Test.Cardano.Ledger.Babbage.TxInfocardano-ledger-babbage-test-1.1.1.5
      •  Test.Cardano.Ledger.BaseTypesSpec
      • Binary
        Submodules

        •  Test.Cardano.Ledger.Binary.Arbitrarycardano-ledger-binary-1.1.3.0
        •  Test.Cardano.Ledger.Binary.Failure
        • Plain
          Submodules

          •  Test.Cardano.Ledger.Binary.Plain.Goldencardano-ledger-binary-1.1.3.0
          •  Test.Cardano.Ledger.Binary.Plain.RoundTripcardano-ledger-binary-1.1.3.0
        •  Test.Cardano.Ledger.Binary.PlainSpec
        •  Test.Cardano.Ledger.Binary.Randomcardano-ledger-binary-1.1.3.0
        •  Test.Cardano.Ledger.Binary.RoundTripcardano-ledger-binary-1.1.3.0
        •  Test.Cardano.Ledger.Binary.RoundTripSpec
        •  Test.Cardano.Ledger.Binary.Success
        •  Test.Cardano.Ledger.Binary.TreeDiffcardano-ledger-binary-1.1.3.0
        •  Test.Cardano.Ledger.Binary.Twiddlecardano-ledger-binary-1.1.3.0
        • Vintage
          Submodules

          •  Test.Cardano.Ledger.Binary.Vintage.Coders
          •  Test.Cardano.Ledger.Binary.Vintage.Drop
          •  Test.Cardano.Ledger.Binary.Vintage.Failure
          •  Test.Cardano.Ledger.Binary.Vintage.Helperscardano-ledger-binary-1.1.3.0
            Submodules

            •  Test.Cardano.Ledger.Binary.Vintage.Helpers.GoldenRoundTripcardano-ledger-binary-1.1.3.0
          •  Test.Cardano.Ledger.Binary.Vintage.RoundTrip
          •  Test.Cardano.Ledger.Binary.Vintage.Serialization
          •  Test.Cardano.Ledger.Binary.Vintage.SizeBounds
      •  Test.Cardano.Ledger.BinarySpec
      •  Test.Cardano.Ledger.Commoncardano-ledger-core-1.7.0.0
      • Constrained
        Submodules

        •  Test.Cardano.Ledger.Constrained.Astcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Classescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Combinatorscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Envcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Examplescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Lensescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Monadcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Pairingcardano-ledger-test-9.9.9.9
        • Preds
          Submodules

          •  Test.Cardano.Ledger.Constrained.Preds.CertStatecardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.Certscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.LedgerStatecardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.PParamscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.Replcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.Txcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.TxOutcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Preds.Universescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Rewritecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Scriptscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Shrinkcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Sizecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Solvercardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Speccardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.SpecClasscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Stagecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Testscardano-ledger-test-9.9.9.9
        • Trace
          Submodules

          •  Test.Cardano.Ledger.Constrained.Trace.Actionscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Trace.Pipelinecardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Trace.SimpleTxcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Trace.Testscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Trace.TraceMonadcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.TypeRepcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Constrained.Varscardano-ledger-test-9.9.9.9
      • Conway
        Submodules

        •  Test.Cardano.Ledger.Conway.Arbitrarycardano-ledger-conway-1.9.0.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Conway.Binary.RoundTripcardano-ledger-conway-1.9.0.0
        •  Test.Cardano.Ledger.Conway.BinarySpec
        • Examples
          Submodules

          •  Test.Cardano.Ledger.Conway.Examples.Consensuscardano-ledger-conway-test-1.2.1.0
        •  Test.Cardano.Ledger.Conway.GenesisSpec
        •  Test.Cardano.Ledger.Conway.GovActionReorderSpec
        •  Test.Cardano.Ledger.Conway.GovSnapshot
        •  Test.Cardano.Ledger.Conway.RatifySpec
        • Serialisation
          Submodules

          •  Test.Cardano.Ledger.Conway.Serialisation.CDDL
          •  Test.Cardano.Ledger.Conway.Serialisation.Generatorscardano-ledger-conway-test-1.2.1.0
          •  Test.Cardano.Ledger.Conway.Serialisation.Roundtripcardano-ledger-conway-test-1.2.1.0
        • Translation
          Submodules

          •  Test.Cardano.Ledger.Conway.Translation.TranslatableGencardano-ledger-conway-test-1.2.1.0
        •  Test.Cardano.Ledger.Conway.TxInfo
      • Core
        Submodules

        •  Test.Cardano.Ledger.Core.Addresscardano-ledger-core-1.7.0.0
        •  Test.Cardano.Ledger.Core.Arbitrarycardano-ledger-core-1.7.0.0
        •  Test.Cardano.Ledger.Core.Binarycardano-ledger-core-1.7.0.0
          Submodules

          •  Test.Cardano.Ledger.Core.Binary.RoundTripcardano-ledger-core-1.7.0.0
        •  Test.Cardano.Ledger.Core.KeyPaircardano-ledger-core-1.7.0.0
        •  Test.Cardano.Ledger.Core.Utilscardano-ledger-core-1.7.0.0
      •  Test.Cardano.Ledger.EraBuffetcardano-ledger-shelley-ma-test-1.2.1.3
      • Examples
        Submodules

        •  Test.Cardano.Ledger.Examples.AlonzoAPIcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.AlonzoBBODYcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.AlonzoCollectInputscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.AlonzoInvalidTxUTXOWcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.AlonzoValidTxUTXOWcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.BabbageFeaturescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.ConwayFeaturescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.STSTestUtilscardano-ledger-test-9.9.9.9
      • Generic
        Submodules

        •  Test.Cardano.Ledger.Generic.AggPropTestscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.ApplyTxcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Fieldscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Functionscardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.GenStatecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Indexedcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.MockChaincardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.ModelStatecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.PrettyCorecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Proofcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Propertiescardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Samecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Scripticcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Tracecardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.TxGencardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Updaterscardano-ledger-test-9.9.9.9
      • Mary
        Submodules

        •  Test.Cardano.Ledger.Mary.Arbitrarycardano-ledger-mary-1.3.3.1
        •  Test.Cardano.Ledger.Mary.BinarySpec
        •  Test.Cardano.Ledger.Mary.Examples
          Submodules

          •  Test.Cardano.Ledger.Mary.Examples.Cast Cast of characters for Mary ledger examples
          •  Test.Cardano.Ledger.Mary.Examples.Consensuscardano-ledger-shelley-ma-test-1.2.1.3
          •  Test.Cardano.Ledger.Mary.Examples.MultiAssets Multi-Assets Examples
        •  Test.Cardano.Ledger.Mary.Golden Golden Tests for the Mary eracardano-ledger-shelley-ma-test-1.2.1.3
        •  Test.Cardano.Ledger.Mary.Translation
        •  Test.Cardano.Ledger.Mary.Value
        •  Test.Cardano.Ledger.Mary.ValueSpec
      •  Test.Cardano.Ledger.MaryEraGencardano-ledger-shelley-ma-test-1.2.1.3
      •  Test.Cardano.Ledger.NoThunkscardano-ledger-test-9.9.9.9
      •  Test.Cardano.Ledger.Rationalcardano-ledger-test-9.9.9.9
      • Shelley
        Submodules

        • Address
          Submodules

          •  Test.Cardano.Ledger.Shelley.Address.Bootstrapcardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.Arbitrarycardano-ledger-shelley-1.6.1.0
        •  Test.Cardano.Ledger.Shelley.BenchmarkFunctionscardano-ledger-shelley-test-1.2.0.5
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Shelley.Binary.Goldencardano-ledger-shelley-1.6.1.0
          •  Test.Cardano.Ledger.Shelley.Binary.GoldenSpec
          •  Test.Cardano.Ledger.Shelley.Binary.RoundTripcardano-ledger-shelley-1.6.1.0
          •  Test.Cardano.Ledger.Shelley.Binary.RoundTripSpec
        •  Test.Cardano.Ledger.Shelley.BinarySpec
        •  Test.Cardano.Ledger.Shelley.ByronTranslationcardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.ConcreteCryptoTypescardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.Constantscardano-ledger-shelley-1.6.1.0
        •  Test.Cardano.Ledger.Shelley.Examples
          Submodules

          •  Test.Cardano.Ledger.Shelley.Examples.Cast Cast of characters for Shelley ledger examplescardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Examples.Combinators Chain State Combinators
          •  Test.Cardano.Ledger.Shelley.Examples.Consensuscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Examples.EmptyBlock
          •  Test.Cardano.Ledger.Shelley.Examples.Federation Core Nodes for Shelley ledger examplescardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Examples.GenesisDelegation Genesis Delegation Example
          •  Test.Cardano.Ledger.Shelley.Examples.Init Initial State for Shelley ledger examples
          •  Test.Cardano.Ledger.Shelley.Examples.Mir MIR Example
          •  Test.Cardano.Ledger.Shelley.Examples.MirTransfer
          •  Test.Cardano.Ledger.Shelley.Examples.NetworkID
          •  Test.Cardano.Ledger.Shelley.Examples.PoolLifetime Pool Lifetime Example
          •  Test.Cardano.Ledger.Shelley.Examples.PoolReReg Pool Re-Registration
          •  Test.Cardano.Ledger.Shelley.Examples.TwoPools Two Pools Example
          •  Test.Cardano.Ledger.Shelley.Examples.Updates Protocol Parameter Update Example
        •  Test.Cardano.Ledger.Shelley.Fees
        • Generator
          Submodules

          •  Test.Cardano.Ledger.Shelley.Generator.Blockcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.Constantscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.Corecardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.Delegationcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.EraGencardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.Presetscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.ScriptClasscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.ShelleyEraGencardano-ledger-shelley-test-1.2.0.5
          • Trace
            Submodules

            •  Test.Cardano.Ledger.Shelley.Generator.Trace.Chaincardano-ledger-shelley-test-1.2.0.5
            •  Test.Cardano.Ledger.Shelley.Generator.Trace.DCertcardano-ledger-shelley-test-1.2.0.5
            •  Test.Cardano.Ledger.Shelley.Generator.Trace.Ledgercardano-ledger-shelley-test-1.2.0.5
            •  Test.Cardano.Ledger.Shelley.Generator.Trace.TxCertcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.TxAuxDatacardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.TxCertcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.Updatecardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Generator.Utxocardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.LaxBlockcardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.MultiSigExamples
        •  Test.Cardano.Ledger.Shelley.Pretty
        •  Test.Cardano.Ledger.Shelley.PropertyTestscardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.Rewardscardano-ledger-shelley-test-1.2.0.5
        • Rules
          Submodules

          •  Test.Cardano.Ledger.Shelley.Rules.AdaPreservationcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.Chaincardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.ClassifyTracescardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.CollisionFreenesscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.Delegcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.Depositscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.IncrementalStakecardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.Poolcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.PoolReapcardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Rules.TestChaincardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.RulesTests
        •  Test.Cardano.Ledger.Shelley.SafeHash
        •  Test.Cardano.Ledger.Shelley.Serialisation
          Submodules

          •  Test.Cardano.Ledger.Shelley.Serialisation.CDDL
          •  Test.Cardano.Ledger.Shelley.Serialisation.CDDLUtilscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Serialisation.EraIndepGeneratorscardano-ledger-shelley-test-1.2.0.5
          •  Test.Cardano.Ledger.Shelley.Serialisation.Generatorscardano-ledger-shelley-test-1.2.0.5
          • Golden
            Submodules

            •  Test.Cardano.Ledger.Shelley.Serialisation.Golden.Address
            •  Test.Cardano.Ledger.Shelley.Serialisation.Golden.Encoding
            •  Test.Cardano.Ledger.Shelley.Serialisation.Golden.Genesis
          •  Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtilscardano-ledger-shelley-test-1.2.0.5
          • Tripping
            Submodules

            •  Test.Cardano.Ledger.Shelley.Serialisation.Tripping.CBOR
            •  Test.Cardano.Ledger.Shelley.Serialisation.Tripping.JSON
        •  Test.Cardano.Ledger.Shelley.ShelleyTranslationcardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.UnitTests
        •  Test.Cardano.Ledger.Shelley.Utilscardano-ledger-shelley-test-1.2.0.5
        •  Test.Cardano.Ledger.Shelley.WitVKeyscardano-ledger-shelley-test-1.2.0.5
      • ShelleyMA
        Submodules

        •  Test.Cardano.Ledger.ShelleyMA.Serialisation
          Submodules

          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.CDDL
          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Generatorscardano-ledger-shelley-ma-test-1.2.1.3
          • Golden
            Submodules

            •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Golden.Encoding
          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Roundtripcardano-ledger-shelley-ma-test-1.2.1.3
          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Timelocks
        •  Test.Cardano.Ledger.ShelleyMA.TxBodycardano-ledger-shelley-ma-test-1.2.1.3
      •  Test.Cardano.Ledger.TerseToolscardano-ledger-shelley-test-1.2.0.5
      •  Test.Cardano.Ledger.TestableEracardano-ledger-test-9.9.9.9
      •  Test.Cardano.Ledger.Tickfcardano-ledger-test-9.9.9.9
      •  Test.Cardano.Ledger.TranslationToolscardano-ledger-shelley-ma-test-1.2.1.3
      •  Test.Cardano.Ledger.UMapSpec
      •  Test.Cardano.Ledger.ValueFromListcardano-ledger-test-9.9.9.9
    •  Test.Cardano.Mirror
    • Protocol
      Submodules

      • Crypto
        Submodules

        •  Test.Cardano.Protocol.Crypto.KEScardano-protocol-tpraos-1.0.3.5
        •  Test.Cardano.Protocol.Crypto.VRFcardano-protocol-tpraos-1.0.3.5
          Submodules

          •  Test.Cardano.Protocol.Crypto.VRF.Fakecardano-protocol-tpraos-1.0.3.5
      • TPraos
        Submodules

        •  Test.Cardano.Protocol.TPraos.Arbitrarycardano-protocol-tpraos-1.0.3.5
        •  Test.Cardano.Protocol.TPraos.Createcardano-protocol-tpraos-1.0.3.5
  •  Test.Common
  • Control
    Submodules

    • Iterate
      Submodules

      •  Test.Control.Iterate.RelationReference
      •  Test.Control.Iterate.SetAlgebra
  •  Test.Options
  •  Test.VMap
• Tests
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Tests.Cardano.Ledger.NonIntegral