byron-spec-chain-1.0.2.0

• Byron
  Submodules

  • Spec
    Submodules

    • Chain
      Submodules

      • STS
        Submodules

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

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

byron-spec-chain-1.0.2.0

•  Main
• Test
  Submodules

  • Byron
    Submodules

    • AbstractSize
      Submodules

      •  Test.Byron.AbstractSize.Properties
    • Spec
      Submodules

      • Chain
        Submodules

        • STS
          Submodules

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

byron-spec-ledger-1.1.1.0

• Byron
  Submodules

  • Spec
    Submodules

    • Ledger
      Submodules

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

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

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

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

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

        •  Byron.Spec.Ledger.Update.Generatorsbyron-spec-ledger-1.1.1.0
        •  Byron.Spec.Ledger.Update.Testbyron-spec-ledger-1.1.1.0
• Data
  Submodules

  •  Data.AbstractSizebyron-spec-ledger-1.1.1.0
• Hedgehog
  Submodules

  • Gen
    Submodules

    •  Hedgehog.Gen.Doublebyron-spec-ledger-1.1.1.0

byron-spec-ledger-1.1.1.0

•  Main
• Test
  Submodules

  • Byron
    Submodules

    • Spec
      Submodules

      • 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-crypto-wrapper-1.7.0.0

• Cardano
  Submodules

  •  Cardano.Cryptocardano-crypto-wrapper-1.7.0.0
    Submodules

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

      •  Cardano.Crypto.Signing.Redeemcardano-crypto-wrapper-1.7.0.0
      •  Cardano.Crypto.Signing.Safecardano-crypto-wrapper-1.7.0.0

cardano-crypto-wrapper-1.7.0.0

•  Main
•  Paths_cardano_crypto_wrapper
• Test
  Submodules

  • Cardano
    Submodules

    • Crypto
      Submodules

      •  Test.Cardano.Crypto.Hashing
      •  Test.Cardano.Crypto.Keys
      •  Test.Cardano.Crypto.Limits
      •  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

cardano-crypto-wrapper-1.7.0.0

•  Paths_cardano_crypto_wrappercardano-crypto-wrapper-1.7.0.0
• Test
  Submodules

  • Cardano
    Submodules

    • Crypto
      Submodules

      •  Test.Cardano.Crypto.CBORcardano-crypto-wrapper-1.7.0.0
      •  Test.Cardano.Crypto.Dummycardano-crypto-wrapper-1.7.0.0
      •  Test.Cardano.Crypto.Examplecardano-crypto-wrapper-1.7.0.0
      •  Test.Cardano.Crypto.Gencardano-crypto-wrapper-1.7.0.0
      •  Test.Cardano.Crypto.Jsoncardano-crypto-wrapper-1.7.0.0
      •  Test.Cardano.Crypto.Orphanscardano-crypto-wrapper-1.7.0.0

cardano-data-1.3.2.0

• Data
  Submodules

  •  Data.CanonicalMapscardano-data-1.3.2.0
  •  Data.ListMapcardano-data-1.3.2.0
  • Map
    Submodules

    •  Data.Map.NonEmptycardano-data-1.3.2.0
  •  Data.MapExtrascardano-data-1.3.2.0
  •  Data.MonoTuplecardano-data-1.3.2.0
  • OMap
    Submodules

    •  Data.OMap.Strictcardano-data-1.3.2.0
  • OSet
    Submodules

    •  Data.OSet.Strictcardano-data-1.3.2.0
  •  Data.Pulsecardano-data-1.3.2.0
  • Set
    Submodules

    •  Data.Set.NonEmptycardano-data-1.3.2.0
  •  Data.Universecardano-data-1.3.2.0

cardano-data-1.3.2.0

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Data
      Submodules

      • JSON
        Submodules

        •  Test.Cardano.Data.JSON.Utils
      • Map
        Submodules

        •  Test.Cardano.Data.Map.NonEmpty
      •  Test.Cardano.Data.MapExtrasSpec
      • OMap
        Submodules

        •  Test.Cardano.Data.OMap.StrictSpec
      • OSet
        Submodules

        •  Test.Cardano.Data.OSet.StrictSpec
      • Set
        Submodules

        •  Test.Cardano.Data.Set.NonEmpty

cardano-data-1.3.2.0

• Test
  Submodules

  • Cardano
    Submodules

    •  Test.Cardano.Datacardano-data-1.3.2.0
      Submodules

      •  Test.Cardano.Data.Arbitrarycardano-data-1.3.2.0
      •  Test.Cardano.Data.TreeDiffcardano-data-1.3.2.0

cardano-ledger-allegra-1.10.1.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Allegracardano-ledger-allegra-1.10.1.0
      Submodules

      •  Cardano.Ledger.Allegra.Corecardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.Rulescardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.Scriptscardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.Statecardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.Transitioncardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.Translationcardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.Txcardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.TxAuxDatacardano-ledger-allegra-1.10.1.0
      •  Cardano.Ledger.Allegra.TxBodycardano-ledger-allegra-1.10.1.0

cardano-ledger-allegra-1.10.1.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Allegra
      Submodules

      •  Cardano.Ledger.Allegra.HuddleSpeccardano-ledger-allegra-1.10.1.0

cardano-ledger-allegra-1.10.1.0

•  Paths_cardano_ledger_allegracardano-ledger-allegra-1.10.1.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Allegra
        Submodules

        •  Test.Cardano.Ledger.Allegra.Arbitrarycardano-ledger-allegra-1.10.1.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Allegra.Binary.Annotatorcardano-ledger-allegra-1.10.1.0
          •  Test.Cardano.Ledger.Allegra.Binary.Cddlcardano-ledger-allegra-1.10.1.0
          •  Test.Cardano.Ledger.Allegra.Binary.Goldencardano-ledger-allegra-1.10.1.0
        •  Test.Cardano.Ledger.Allegra.Eracardano-ledger-allegra-1.10.1.0
        •  Test.Cardano.Ledger.Allegra.Examplescardano-ledger-allegra-1.10.1.0
        •  Test.Cardano.Ledger.Allegra.Impcardano-ledger-allegra-1.10.1.0
        •  Test.Cardano.Ledger.Allegra.ImpTestcardano-ledger-allegra-1.10.1.0
        •  Test.Cardano.Ledger.Allegra.TreeDiffcardano-ledger-allegra-1.10.1.0

cardano-ledger-allegra-1.10.1.0

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Allegra
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Allegra.Binary.CddlSpec
        •  Test.Cardano.Ledger.Allegra.BinarySpec

cardano-ledger-alonzo-1.17.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Alonzocardano-ledger-alonzo-1.17.0.0
      Submodules

      •  Cardano.Ledger.Alonzo.BlockBodycardano-ledger-alonzo-1.17.0.0
        Submodules

        •  Cardano.Ledger.Alonzo.BlockBody.Internalcardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Corecardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Genesiscardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.PParamscardano-ledger-alonzo-1.17.0.0
      • Plutus
        Submodules

        •  Cardano.Ledger.Alonzo.Plutus.Contextcardano-ledger-alonzo-1.17.0.0
        •  Cardano.Ledger.Alonzo.Plutus.Evaluatecardano-ledger-alonzo-1.17.0.0
        •  Cardano.Ledger.Alonzo.Plutus.TxInfocardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Rulescardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Scriptscardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Statecardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Transitioncardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Translationcardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.Txcardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.TxAuxDatacardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.TxBodycardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.TxOutcardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.TxWitscardano-ledger-alonzo-1.17.0.0
      •  Cardano.Ledger.Alonzo.UTxOcardano-ledger-alonzo-1.17.0.0

cardano-ledger-alonzo-test-1.4.0.1

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Alonzo
        Submodules

        •  Test.Cardano.Ledger.Alonzo.AlonzoEraGencardano-ledger-alonzo-test-1.4.0.1
        •  Test.Cardano.Ledger.Alonzo.EraMappingcardano-ledger-alonzo-test-1.4.0.1
        •  Test.Cardano.Ledger.Alonzo.Scriptscardano-ledger-alonzo-test-1.4.0.1
        •  Test.Cardano.Ledger.Alonzo.Tracecardano-ledger-alonzo-test-1.4.0.1

cardano-ledger-alonzo-test-1.4.0.1

•  Main
•  Paths_cardano_ledger_alonzo_test
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Alonzo
        Submodules

        •  Test.Cardano.Ledger.Alonzo.ChainTrace
        •  Test.Cardano.Ledger.Alonzo.Golden

cardano-ledger-alonzo-1.17.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Alonzo
      Submodules

      •  Cardano.Ledger.Alonzo.HuddleSpeccardano-ledger-alonzo-1.17.0.0

cardano-ledger-alonzo-1.17.0.0

•  Paths_cardano_ledger_alonzocardano-ledger-alonzo-1.17.0.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Alonzo
        Submodules

        •  Test.Cardano.Ledger.Alonzo.Arbitrarycardano-ledger-alonzo-1.17.0.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Binary.Annotatorcardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Binary.Cddlcardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Binary.CostModelsSpeccardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Binary.Goldencardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Binary.RoundTripcardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Binary.Twiddlecardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Binary.TxWitsSpeccardano-ledger-alonzo-1.17.0.0
        •  Test.Cardano.Ledger.Alonzo.Eracardano-ledger-alonzo-1.17.0.0
        •  Test.Cardano.Ledger.Alonzo.Examplescardano-ledger-alonzo-1.17.0.0
        •  Test.Cardano.Ledger.Alonzo.Impcardano-ledger-alonzo-1.17.0.0
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Imp.BbodySpeccardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Imp.UtxoSpeccardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Imp.UtxosSpeccardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Imp.UtxowSpeccardano-ledger-alonzo-1.17.0.0
            Submodules

            •  Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Invalidcardano-ledger-alonzo-1.17.0.0
            •  Test.Cardano.Ledger.Alonzo.Imp.UtxowSpec.Validcardano-ledger-alonzo-1.17.0.0
        •  Test.Cardano.Ledger.Alonzo.ImpTestcardano-ledger-alonzo-1.17.0.0
        • Translation
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Translation.Goldencardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Translation.TranslatableGencardano-ledger-alonzo-1.17.0.0
          •  Test.Cardano.Ledger.Alonzo.Translation.TranslationInstancecardano-ledger-alonzo-1.17.0.0
        •  Test.Cardano.Ledger.Alonzo.TreeDiffcardano-ledger-alonzo-1.17.0.0

cardano-ledger-alonzo-1.17.0.0

•  Main
•  Paths_cardano_ledger_alonzo
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Alonzo
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Binary.CanonicalSpec
          •  Test.Cardano.Ledger.Alonzo.Binary.CddlSpec
        •  Test.Cardano.Ledger.Alonzo.BinarySpec
        •  Test.Cardano.Ledger.Alonzo.GoldenSpec
        •  Test.Cardano.Ledger.Alonzo.GoldenTranslation
        • Imp
          Submodules

          •  Test.Cardano.Ledger.Alonzo.Imp.TxInfoSpec

cardano-ledger-api-1.15.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Apicardano-ledger-api-1.15.0.0
      Submodules

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

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

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

        •  Cardano.Ledger.Api.Tx.Addresscardano-ledger-api-1.15.0.0
        •  Cardano.Ledger.Api.Tx.AuxDatacardano-ledger-api-1.15.0.0
        •  Cardano.Ledger.Api.Tx.Bodycardano-ledger-api-1.15.0.0
        •  Cardano.Ledger.Api.Tx.Certcardano-ledger-api-1.15.0.0
        •  Cardano.Ledger.Api.Tx.Incardano-ledger-api-1.15.0.0
        •  Cardano.Ledger.Api.Tx.Outcardano-ledger-api-1.15.0.0
        •  Cardano.Ledger.Api.Tx.Witscardano-ledger-api-1.15.0.0
      •  Cardano.Ledger.Api.UTxOcardano-ledger-api-1.15.0.0

cardano-ledger-api-1.15.0.0

•  Main
•  Paths_cardano_ledger_api
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Api
        Submodules

        • State
          Submodules

          • Imp
            Submodules

            •  Test.Cardano.Ledger.Api.State.Imp.QuerySpec
          •  Test.Cardano.Ledger.Api.State.QuerySpec
        •  Test.Cardano.Ledger.Api.Tx
          Submodules

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

cardano-ledger-api-1.15.0.0

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Api
        Submodules

        •  Test.Cardano.Ledger.Api.Arbitrarycardano-ledger-api-1.15.0.0
        •  Test.Cardano.Ledger.Api.DebugToolscardano-ledger-api-1.15.0.0
        • State
          Submodules

          • Query
            Submodules

            •  Test.Cardano.Ledger.Api.State.Query.Examplescardano-ledger-api-1.15.0.0
        •  Test.Cardano.Ledger.Api.Upgradecardano-ledger-api-1.15.0.0

cardano-ledger-babbage-1.15.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Babbagecardano-ledger-babbage-1.15.0.0
      Submodules

      •  Cardano.Ledger.Babbage.BlockBodycardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Collateralcardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Corecardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.PParamscardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Rulescardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Scriptscardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Statecardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Transitioncardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.Txcardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.TxBodycardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.TxInfocardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.TxOutcardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.TxWitscardano-ledger-babbage-1.15.0.0
      •  Cardano.Ledger.Babbage.UTxOcardano-ledger-babbage-1.15.0.0

cardano-ledger-babbage-1.15.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Babbage
      Submodules

      •  Cardano.Ledger.Babbage.HuddleSpeccardano-ledger-babbage-1.15.0.0

cardano-ledger-babbage-1.15.0.0

•  Paths_cardano_ledger_babbagecardano-ledger-babbage-1.15.0.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Babbage
        Submodules

        •  Test.Cardano.Ledger.Babbage.Arbitrarycardano-ledger-babbage-1.15.0.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Babbage.Binary.Annotatorcardano-ledger-babbage-1.15.0.0
          •  Test.Cardano.Ledger.Babbage.Binary.Cddlcardano-ledger-babbage-1.15.0.0
          •  Test.Cardano.Ledger.Babbage.Binary.Goldencardano-ledger-babbage-1.15.0.0
          •  Test.Cardano.Ledger.Babbage.Binary.Twiddlecardano-ledger-babbage-1.15.0.0
        •  Test.Cardano.Ledger.Babbage.Eracardano-ledger-babbage-1.15.0.0
        •  Test.Cardano.Ledger.Babbage.Examplescardano-ledger-babbage-1.15.0.0
        •  Test.Cardano.Ledger.Babbage.Impcardano-ledger-babbage-1.15.0.0
          Submodules

          •  Test.Cardano.Ledger.Babbage.Imp.PoolSpeccardano-ledger-babbage-1.15.0.0
          •  Test.Cardano.Ledger.Babbage.Imp.UtxoSpeccardano-ledger-babbage-1.15.0.0
          •  Test.Cardano.Ledger.Babbage.Imp.UtxosSpeccardano-ledger-babbage-1.15.0.0
          •  Test.Cardano.Ledger.Babbage.Imp.UtxowSpeccardano-ledger-babbage-1.15.0.0
            Submodules

            •  Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Invalidcardano-ledger-babbage-1.15.0.0
            •  Test.Cardano.Ledger.Babbage.Imp.UtxowSpec.Validcardano-ledger-babbage-1.15.0.0
        •  Test.Cardano.Ledger.Babbage.ImpTestcardano-ledger-babbage-1.15.0.0
        • Translation
          Submodules

          •  Test.Cardano.Ledger.Babbage.Translation.TranslatableGencardano-ledger-babbage-1.15.0.0
        •  Test.Cardano.Ledger.Babbage.TreeDiffcardano-ledger-babbage-1.15.0.0
        •  Test.Cardano.Ledger.Babbage.TxInfoSpeccardano-ledger-babbage-1.15.0.0

cardano-ledger-babbage-1.15.0.0

•  Main
•  Paths_cardano_ledger_babbage
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Babbage
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Babbage.Binary.CddlSpec
        •  Test.Cardano.Ledger.Babbage.BinarySpec
        •  Test.Cardano.Ledger.Babbage.GoldenSpec
        •  Test.Cardano.Ledger.Babbage.GoldenTranslation

cardano-ledger-binary-1.10.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Binarycardano-ledger-binary-1.10.0.0
      Submodules

      •  Cardano.Ledger.Binary.Coderscardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.Cryptocardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.Decodingcardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.Encodingcardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.FlatTermcardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.Groupcardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.Plaincardano-ledger-binary-1.10.0.0
      •  Cardano.Ledger.Binary.Versioncardano-ledger-binary-1.10.0.0

cardano-ledger-binary-1.10.0.0

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Test.Cardano.Ledger.Binarycardano-ledger-binary-1.10.0.0
        Submodules

        •  Test.Cardano.Ledger.Binary.Arbitrarycardano-ledger-binary-1.10.0.0
        •  Test.Cardano.Ledger.Binary.Cuddlecardano-ledger-binary-1.10.0.0
          Submodules

          •  Test.Cardano.Ledger.Binary.Cuddle.GenerateCBORcardano-ledger-binary-1.10.0.0
        •  Test.Cardano.Ledger.Binary.Goldencardano-ledger-binary-1.10.0.0
        • Plain
          Submodules

          •  Test.Cardano.Ledger.Binary.Plain.Goldencardano-ledger-binary-1.10.0.0
          •  Test.Cardano.Ledger.Binary.Plain.RoundTripcardano-ledger-binary-1.10.0.0
        •  Test.Cardano.Ledger.Binary.Randomcardano-ledger-binary-1.10.0.0
        •  Test.Cardano.Ledger.Binary.RoundTripcardano-ledger-binary-1.10.0.0
        •  Test.Cardano.Ledger.Binary.TreeDiffcardano-ledger-binary-1.10.0.0
        •  Test.Cardano.Ledger.Binary.Twiddlecardano-ledger-binary-1.10.0.0
        • Vintage
          Submodules

          •  Test.Cardano.Ledger.Binary.Vintage.Helperscardano-ledger-binary-1.10.0.0
            Submodules

            •  Test.Cardano.Ledger.Binary.Vintage.Helpers.GoldenRoundTripcardano-ledger-binary-1.10.0.0

cardano-ledger-binary-1.10.0.0

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Binary
        Submodules

        •  Test.Cardano.Ledger.Binary.Failure
        •  Test.Cardano.Ledger.Binary.PlainSpec
        •  Test.Cardano.Ledger.Binary.RoundTripSpec
        •  Test.Cardano.Ledger.Binary.Success
        • 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.RoundTrip
          •  Test.Cardano.Ledger.Binary.Vintage.Serialization

cardano-ledger-byron-1.3.0.1

• Cardano
  Submodules

  • Chain
    Submodules

    •  Cardano.Chain.Blockcardano-ledger-byron-1.3.0.1
    • Byron
      Submodules

      •  Cardano.Chain.Byron.APIcardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Commoncardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Constantscardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Delegationcardano-ledger-byron-1.3.0.1
      Submodules

      • Validation
        Submodules

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

      •  Cardano.Chain.Epoch.Filecardano-ledger-byron-1.3.0.1
      •  Cardano.Chain.Epoch.Validationcardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Genesiscardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.MempoolPayloadcardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.ProtocolConstantscardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Slottingcardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Ssccardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.UTxOcardano-ledger-byron-1.3.0.1
      Submodules

      •  Cardano.Chain.UTxO.UTxOcardano-ledger-byron-1.3.0.1
      •  Cardano.Chain.UTxO.Validationcardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.Updatecardano-ledger-byron-1.3.0.1
      Submodules

      •  Cardano.Chain.Update.Proposalcardano-ledger-byron-1.3.0.1
      • Validation
        Submodules

        •  Cardano.Chain.Update.Validation.Endorsementcardano-ledger-byron-1.3.0.1
        •  Cardano.Chain.Update.Validation.Interfacecardano-ledger-byron-1.3.0.1
        •  Cardano.Chain.Update.Validation.Registrationcardano-ledger-byron-1.3.0.1
        •  Cardano.Chain.Update.Validation.Votingcardano-ledger-byron-1.3.0.1
      •  Cardano.Chain.Update.Votecardano-ledger-byron-1.3.0.1
    •  Cardano.Chain.ValidationModecardano-ledger-byron-1.3.0.1

cardano-ledger-byron-1.3.0.1

•  Paths_cardano_ledger_byroncardano-ledger-byron-1.3.0.1
• Test
  Submodules

  • Cardano
    Submodules

    • Chain
      Submodules

      • Binary
        Submodules

        •  Test.Cardano.Chain.Binary.Cddlcardano-ledger-byron-1.3.0.1
      • Block
        Submodules

        •  Test.Cardano.Chain.Block.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Block.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Block.Modelcardano-ledger-byron-1.3.0.1
          Submodules

          •  Test.Cardano.Chain.Block.Model.Examplescardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Block.Sizecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Block.Validationcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Block.ValidationModecardano-ledger-byron-1.3.0.1
      •  Test.Cardano.Chain.Buildablecardano-ledger-byron-1.3.0.1
      • Byron
        Submodules

        •  Test.Cardano.Chain.Byron.APIcardano-ledger-byron-1.3.0.1
      • Common
        Submodules

        •  Test.Cardano.Chain.Common.Addresscardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Common.Attributescardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Common.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Common.Compactcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Common.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Common.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Common.Lovelacecardano-ledger-byron-1.3.0.1
      •  Test.Cardano.Chain.Configcardano-ledger-byron-1.3.0.1
      • Delegation
        Submodules

        •  Test.Cardano.Chain.Delegation.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Delegation.Certificatecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Delegation.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Delegation.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Delegation.Modelcardano-ledger-byron-1.3.0.1
      • Elaboration
        Submodules

        •  Test.Cardano.Chain.Elaboration.Blockcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Elaboration.Delegationcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Elaboration.Keyscardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Elaboration.UTxOcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Elaboration.Updatecardano-ledger-byron-1.3.0.1
      • Epoch
        Submodules

        •  Test.Cardano.Chain.Epoch.Filecardano-ledger-byron-1.3.0.1
      • Genesis
        Submodules

        •  Test.Cardano.Chain.Genesis.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Genesis.Dummycardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Genesis.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Genesis.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Genesis.Jsoncardano-ledger-byron-1.3.0.1
      • MempoolPayload
        Submodules

        •  Test.Cardano.Chain.MempoolPayload.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.MempoolPayload.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.MempoolPayload.Gencardano-ledger-byron-1.3.0.1
      • Slotting
        Submodules

        •  Test.Cardano.Chain.Slotting.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Slotting.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Slotting.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Slotting.Propertiescardano-ledger-byron-1.3.0.1
      • Ssc
        Submodules

        •  Test.Cardano.Chain.Ssc.CBORcardano-ledger-byron-1.3.0.1
      • UTxO
        Submodules

        •  Test.Cardano.Chain.UTxO.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.UTxO.Compactcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.UTxO.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.UTxO.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.UTxO.Modelcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.UTxO.ValidationModecardano-ledger-byron-1.3.0.1
      • Update
        Submodules

        •  Test.Cardano.Chain.Update.CBORcardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Update.Examplecardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Update.Gencardano-ledger-byron-1.3.0.1
        •  Test.Cardano.Chain.Update.Propertiescardano-ledger-byron-1.3.0.1
    •  Test.Cardano.Mirrorcardano-ledger-byron-1.3.0.1
  •  Test.Optionscardano-ledger-byron-1.3.0.1

cardano-ledger-byron-1.3.0.1

•  Main
•  Paths_cardano_ledger_byron

cardano-ledger-canonical-state-9.9.9.9

• Cardano
  Submodules

  • Ledger
    Submodules

    • CanonicalState
      Submodules

      •  Cardano.Ledger.CanonicalState.BasicTypescardano-ledger-canonical-state-9.9.9.9
      •  Cardano.Ledger.CanonicalState.Exportcardano-ledger-canonical-state-9.9.9.9
      •  Cardano.Ledger.CanonicalState.Importcardano-ledger-canonical-state-9.9.9.9
      •  Cardano.Ledger.CanonicalState.LedgerCBORcardano-ledger-canonical-state-9.9.9.9
      •  Cardano.Ledger.CanonicalState.Namespacecardano-ledger-canonical-state-9.9.9.9
        Submodules

        • Blocks
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.Blocks.V0cardano-ledger-canonical-state-9.9.9.9
        •  Cardano.Ledger.CanonicalState.Namespace.CDDLcardano-ledger-canonical-state-9.9.9.9
        • EntitiesAccounts
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.EntitiesAccounts.V0cardano-ledger-canonical-state-9.9.9.9
        • EntitiesCommittee
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.EntitiesCommittee.V0cardano-ledger-canonical-state-9.9.9.9
        • EntitiesDReps
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.EntitiesDReps.V0cardano-ledger-canonical-state-9.9.9.9
        • EntitiesStakePools
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.EntitiesStakePools.V0cardano-ledger-canonical-state-9.9.9.9
          • VRFKeyHashes
            Submodules

            •  Cardano.Ledger.CanonicalState.Namespace.EntitiesStakePools.VRFKeyHashes.V0cardano-ledger-canonical-state-9.9.9.9
        • GovCommittee
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.GovCommittee.V0cardano-ledger-canonical-state-9.9.9.9
        • GovConstitution
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.GovConstitution.V0cardano-ledger-canonical-state-9.9.9.9
        • GovPParams
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.GovPParams.V0cardano-ledger-canonical-state-9.9.9.9
        • GovProposals
          Submodules

          • Roots
            Submodules

            •  Cardano.Ledger.CanonicalState.Namespace.GovProposals.Roots.V0cardano-ledger-canonical-state-9.9.9.9
          •  Cardano.Ledger.CanonicalState.Namespace.GovProposals.V0cardano-ledger-canonical-state-9.9.9.9
        • UTxO
          Submodules

          •  Cardano.Ledger.CanonicalState.Namespace.UTxO.V0cardano-ledger-canonical-state-9.9.9.9

cardano-ledger-canonical-state-9.9.9.9

• Cardano
  Submodules

  • Ledger
    Submodules

    • CanonicalState
      Submodules

      •  Cardano.Ledger.CanonicalState.Conwaycardano-ledger-canonical-state-9.9.9.9
        Submodules

        •  Cardano.Ledger.CanonicalState.Conway.Exportcardano-ledger-canonical-state-9.9.9.9
        •  Cardano.Ledger.CanonicalState.Conway.Importcardano-ledger-canonical-state-9.9.9.9

cardano-ledger-canonical-state-9.9.9.9

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • CanonicalState
        Submodules

        •  Test.Cardano.Ledger.CanonicalState.Arbitrarycardano-ledger-canonical-state-9.9.9.9
        •  Test.Cardano.Ledger.CanonicalState.Testlibcardano-ledger-canonical-state-9.9.9.9
      • Conway
        Submodules

        • CanonicalState
          Submodules

          •  Test.Cardano.Ledger.Conway.CanonicalState.Arbitrarycardano-ledger-canonical-state-9.9.9.9

cardano-ledger-canonical-state-9.9.9.9

•  Main
•  Paths_cardano_ledger_canonical_state
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • CanonicalState
        Submodules

        •  Test.Cardano.Ledger.CanonicalState.Conformance
        •  Test.Cardano.Ledger.CanonicalState.Reference
        •  Test.Cardano.Ledger.CanonicalState.Spec

cardano-ledger-canonical-state-9.9.9.9

• Cardano
  Submodules

  • Ledger
    Submodules

    • CanonicalState
      Submodules

      • CDDL
        Submodules

        •  Cardano.Ledger.CanonicalState.CDDL.Validatecardano-ledger-canonical-state-9.9.9.9

cardano-ledger-conformance-9.9.9.9

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Test.Cardano.Ledger.Conformancecardano-ledger-conformance-9.9.9.9
        Submodules

        • ExecSpecRule
          Submodules

          •  Test.Cardano.Ledger.Conformance.ExecSpecRule.Conwaycardano-ledger-conformance-9.9.9.9
          •  Test.Cardano.Ledger.Conformance.ExecSpecRule.Corecardano-ledger-conformance-9.9.9.9
          •  Test.Cardano.Ledger.Conformance.ExecSpecRule.Dijkstracardano-ledger-conformance-9.9.9.9
        • SpecTranslate
          Submodules

          •  Test.Cardano.Ledger.Conformance.SpecTranslate.Basecardano-ledger-conformance-9.9.9.9
          •  Test.Cardano.Ledger.Conformance.SpecTranslate.Conwaycardano-ledger-conformance-9.9.9.9
          •  Test.Cardano.Ledger.Conformance.SpecTranslate.Dijkstracardano-ledger-conformance-9.9.9.9
        •  Test.Cardano.Ledger.Conformance.Utilscardano-ledger-conformance-9.9.9.9

cardano-ledger-conformance-9.9.9.9

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Conformance
        Submodules

        • Imp
          Submodules

          •  Test.Cardano.Ledger.Conformance.Imp.Conway
            Submodules

            •  Test.Cardano.Ledger.Conformance.Imp.Conway.Ratify
          •  Test.Cardano.Ledger.Conformance.Imp.Core
          •  Test.Cardano.Ledger.Conformance.Imp.Dijkstra
        • Spec
          Submodules

          •  Test.Cardano.Ledger.Conformance.Spec.Base
          •  Test.Cardano.Ledger.Conformance.Spec.Conway
            Submodules

            •  Test.Cardano.Ledger.Conformance.Spec.Conway.Ratify
          •  Test.Cardano.Ledger.Conformance.Spec.Core

cardano-ledger-conway-1.24.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Conwaycardano-ledger-conway-1.24.0.0
      Submodules

      •  Cardano.Ledger.Conway.BlockBodycardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Corecardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Genesiscardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Governancecardano-ledger-conway-1.24.0.0
        Submodules

        •  Cardano.Ledger.Conway.Governance.DRepPulsercardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.PParamscardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Rulescardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Scriptscardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Statecardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Transitioncardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.Txcardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.TxBodycardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.TxCertcardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.TxInfocardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.TxWitscardano-ledger-conway-1.24.0.0
      •  Cardano.Ledger.Conway.UTxOcardano-ledger-conway-1.24.0.0

cardano-ledger-conway-1.24.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Conway
      Submodules

      •  Cardano.Ledger.Conway.HuddleSpeccardano-ledger-conway-1.24.0.0

cardano-ledger-conway-1.24.0.0

•  Paths_cardano_ledger_conwaycardano-ledger-conway-1.24.0.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Conway
        Submodules

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

          •  Test.Cardano.Ledger.Conway.Binary.Annotatorcardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Binary.Cddlcardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Binary.Goldencardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Binary.Regressioncardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Binary.RoundTripcardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.BinarySpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.CommitteeRatifySpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.DRepRatifySpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.Eracardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.Examplescardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.Genesiscardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.GenesisSpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.GovActionReorderSpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.Impcardano-ledger-conway-1.24.0.0
          Submodules

          •  Test.Cardano.Ledger.Conway.Imp.BbodySpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.CertsSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.DelegSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.EnactSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.EpochSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.GovCertSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.GovSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.HardForkSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.LedgerSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.RatifySpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.SnapSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.UtxoSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.UtxosSpeccardano-ledger-conway-1.24.0.0
          •  Test.Cardano.Ledger.Conway.Imp.UtxowSpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.ImpTestcardano-ledger-conway-1.24.0.0
        • Plutus
          Submodules

          •  Test.Cardano.Ledger.Conway.Plutus.PlutusSpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.Proposalscardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.SPORatifySpeccardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.Speccardano-ledger-conway-1.24.0.0
        • Translation
          Submodules

          •  Test.Cardano.Ledger.Conway.Translation.TranslatableGencardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.TreeDiffcardano-ledger-conway-1.24.0.0
        •  Test.Cardano.Ledger.Conway.TxInfoSpeccardano-ledger-conway-1.24.0.0

cardano-ledger-conway-1.24.0.0

•  Main
•  Paths_cardano_ledger_conway
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Conway
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Conway.Binary.CddlSpec
        •  Test.Cardano.Ledger.Conway.GoldenSpec
        •  Test.Cardano.Ledger.Conway.GoldenTranslation

cardano-ledger-core-1.22.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Addresscardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.BHeaderViewcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.BaseTypescardano-ledger-core-1.22.0.0
      Submodules

      •  Cardano.Ledger.BaseTypes.NonZerocardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Blockcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Coincardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Compactiblecardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Corecardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Credentialcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.DRepcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Genesiscardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.HKDcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Hashescardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Keyscardano-ledger-core-1.22.0.0
      Submodules

      •  Cardano.Ledger.Keys.Bootstrapcardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Keys.WitVKeycardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.MemoBytescardano-ledger-core-1.22.0.0
      Submodules

      •  Cardano.Ledger.MemoBytes.Internalcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Metadatacardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Orphanscardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Plutuscardano-ledger-core-1.22.0.0
      Submodules

      •  Cardano.Ledger.Plutus.CostModelscardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Plutus.Datacardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Plutus.Evaluatecardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Plutus.ExUnitscardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Plutus.Languagecardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Plutus.ToPlutusDatacardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Plutus.TxInfocardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Rewardscardano-ledger-core-1.22.0.0
    • Rules
      Submodules

      •  Cardano.Ledger.Rules.ValidationModecardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Slotcardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Statecardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Toolscardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.TxIncardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Valcardano-ledger-core-1.22.0.0

cardano-ledger-core-1.22.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Core
      Submodules

      •  Cardano.Ledger.Core.HuddleSpeccardano-ledger-core-1.22.0.0
    •  Cardano.Ledger.Huddlecardano-ledger-core-1.22.0.0
      Submodules

      •  Cardano.Ledger.Huddle.Gencardano-ledger-core-1.22.0.0

cardano-ledger-core-1.22.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Internal
      Submodules

      • Definition
        Submodules

        •  Cardano.Ledger.Internal.Definition.Eracardano-ledger-core-1.22.0.0
      •  Cardano.Ledger.Internal.Eracardano-ledger-core-1.22.0.0

cardano-ledger-core-1.22.0.0

• Test
  Submodules

  •  Test.Tastycardano-ledger-core-1.22.0.0
    Submodules

    •  Test.Tasty.HUnitcardano-ledger-core-1.22.0.0
    •  Test.Tasty.QuickCheckcardano-ledger-core-1.22.0.0

cardano-ledger-core-1.22.0.0

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Test.Cardano.Ledger.BlockHeadercardano-ledger-core-1.22.0.0
      •  Test.Cardano.Ledger.Commoncardano-ledger-core-1.22.0.0
      • Core
        Submodules

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

          •  Test.Cardano.Ledger.Core.Binary.Annotatorcardano-ledger-core-1.22.0.0
          •  Test.Cardano.Ledger.Core.Binary.RoundTripcardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Core.JSONcardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Core.KeyPaircardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Core.Rationalcardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Core.Utilscardano-ledger-core-1.22.0.0
      •  Test.Cardano.Ledger.Eracardano-ledger-core-1.22.0.0
        Submodules

        •  Test.Cardano.Ledger.Era.Rulescardano-ledger-core-1.22.0.0
      • Imp
        Submodules

        •  Test.Cardano.Ledger.Imp.Commoncardano-ledger-core-1.22.0.0
      •  Test.Cardano.Ledger.Plutuscardano-ledger-core-1.22.0.0
        Submodules

        •  Test.Cardano.Ledger.Plutus.Examplescardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Plutus.Guardrailcardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Plutus.ScriptTestContextcardano-ledger-core-1.22.0.0
        •  Test.Cardano.Ledger.Plutus.ToPlutusDatacardano-ledger-core-1.22.0.0
      •  Test.Cardano.Ledger.TreeDiffcardano-ledger-core-1.22.0.0

cardano-ledger-core-1.22.0.0

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Test.Cardano.Ledger.AddressSpec
      •  Test.Cardano.Ledger.BaseTypesSpec
      •  Test.Cardano.Ledger.BinarySpec
      •  Test.Cardano.Ledger.JsonSpec
      •  Test.Cardano.Ledger.PlutusSpec
      • State
        Submodules

        •  Test.Cardano.Ledger.State.PoolDistrSpec
        •  Test.Cardano.Ledger.State.SnapShotsSpec
        •  Test.Cardano.Ledger.State.StakePoolSpec
      •  Test.Cardano.Ledger.StorableSpec
      •  Test.Cardano.Ledger.ToolsSpec

cardano-ledger-dijkstra-0.4.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Dijkstracardano-ledger-dijkstra-0.4.0.0
      Submodules

      •  Cardano.Ledger.Dijkstra.Blockcardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.BlockBodycardano-ledger-dijkstra-0.4.0.0
        Submodules

        •  Cardano.Ledger.Dijkstra.BlockBody.Internalcardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Corecardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Eracardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Genesiscardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Governancecardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.PParamscardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Rulescardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Scriptscardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Statecardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Transitioncardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.Txcardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.TxAuxDatacardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.TxBodycardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.TxCertcardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.TxInfocardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.TxOutcardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.TxWitscardano-ledger-dijkstra-0.4.0.0
      •  Cardano.Ledger.Dijkstra.UTxOcardano-ledger-dijkstra-0.4.0.0

cardano-ledger-dijkstra-0.4.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Dijkstra
      Submodules

      •  Cardano.Ledger.Dijkstra.HuddleSpeccardano-ledger-dijkstra-0.4.0.0

cardano-ledger-dijkstra-0.4.0.0

•  Paths_cardano_ledger_dijkstracardano-ledger-dijkstra-0.4.0.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Dijkstra
        Submodules

        •  Test.Cardano.Ledger.Dijkstra.Arbitrarycardano-ledger-dijkstra-0.4.0.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Dijkstra.Binary.Annotatorcardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Binary.Cddlcardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Binary.Goldencardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Binary.RoundTripcardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.Eracardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.Examplescardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.GenesisSpeccardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.Impcardano-ledger-dijkstra-0.4.0.0
          Submodules

          •  Test.Cardano.Ledger.Dijkstra.Imp.CertSpeccardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Imp.EntitiesSpeccardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Imp.LedgerSpeccardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Imp.PoolSpeccardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Imp.UtxoSpeccardano-ledger-dijkstra-0.4.0.0
          •  Test.Cardano.Ledger.Dijkstra.Imp.UtxowSpeccardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.ImpTestcardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.TreeDiffcardano-ledger-dijkstra-0.4.0.0
        •  Test.Cardano.Ledger.Dijkstra.TxInfoSpeccardano-ledger-dijkstra-0.4.0.0

cardano-ledger-dijkstra-0.4.0.0

•  Main
•  Paths_cardano_ledger_dijkstra
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Dijkstra
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Dijkstra.Binary.CddlSpec
        •  Test.Cardano.Ledger.Dijkstra.GoldenSpec
        • Plutus
          Submodules

          •  Test.Cardano.Ledger.Dijkstra.Plutus.PlutusSpec

cardano-ledger-mary-1.11.1.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Marycardano-ledger-mary-1.11.1.0
      Submodules

      •  Cardano.Ledger.Mary.Corecardano-ledger-mary-1.11.1.0
      •  Cardano.Ledger.Mary.Statecardano-ledger-mary-1.11.1.0
      •  Cardano.Ledger.Mary.Transitioncardano-ledger-mary-1.11.1.0
      •  Cardano.Ledger.Mary.TxBodycardano-ledger-mary-1.11.1.0
      •  Cardano.Ledger.Mary.TxOutcardano-ledger-mary-1.11.1.0
      •  Cardano.Ledger.Mary.UTxOcardano-ledger-mary-1.11.1.0
      •  Cardano.Ledger.Mary.Valuecardano-ledger-mary-1.11.1.0

cardano-ledger-mary-1.11.1.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Mary
      Submodules

      •  Cardano.Ledger.Mary.HuddleSpeccardano-ledger-mary-1.11.1.0

cardano-ledger-mary-1.11.1.0

•  Paths_cardano_ledger_marycardano-ledger-mary-1.11.1.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Mary
        Submodules

        •  Test.Cardano.Ledger.Mary.Arbitrarycardano-ledger-mary-1.11.1.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Mary.Binary.Annotatorcardano-ledger-mary-1.11.1.0
          •  Test.Cardano.Ledger.Mary.Binary.Cddlcardano-ledger-mary-1.11.1.0
        •  Test.Cardano.Ledger.Mary.Eracardano-ledger-mary-1.11.1.0
        •  Test.Cardano.Ledger.Mary.Examplescardano-ledger-mary-1.11.1.0
        •  Test.Cardano.Ledger.Mary.Impcardano-ledger-mary-1.11.1.0
          Submodules

          •  Test.Cardano.Ledger.Mary.Imp.UtxoSpeccardano-ledger-mary-1.11.1.0
        •  Test.Cardano.Ledger.Mary.ImpTestcardano-ledger-mary-1.11.1.0
        •  Test.Cardano.Ledger.Mary.TreeDiffcardano-ledger-mary-1.11.1.0

cardano-ledger-mary-1.11.1.0

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Mary
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Mary.Binary.CddlSpec
        •  Test.Cardano.Ledger.Mary.BinarySpec
        •  Test.Cardano.Ledger.Mary.ValueSpec

cardano-ledger-repl-environment-9.9.9.9

•  ReplEnvironmentcardano-ledger-repl-environment-9.9.9.9

cardano-ledger-shelley-1.20.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Chaincardano-ledger-shelley-1.20.0.0
    •  Cardano.Ledger.Shelleycardano-ledger-shelley-1.20.0.0
      Submodules

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

        •  Cardano.Ledger.Shelley.API.ByronTranslationcardano-ledger-shelley-1.20.0.0
        •  Cardano.Ledger.Shelley.API.Forecastcardano-ledger-shelley-1.20.0.0
        •  Cardano.Ledger.Shelley.API.Mempoolcardano-ledger-shelley-1.20.0.0
        •  Cardano.Ledger.Shelley.API.Typescardano-ledger-shelley-1.20.0.0
        •  Cardano.Ledger.Shelley.API.Validationcardano-ledger-shelley-1.20.0.0
        •  Cardano.Ledger.Shelley.API.Walletcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.AdaPotscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.BlockBodycardano-ledger-shelley-1.20.0.0
        Submodules

        •  Cardano.Ledger.Shelley.BlockBody.Internalcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Corecardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Genesiscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Governancecardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.LedgerState Operational Rulescardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.PParamscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.PoolRankcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.RewardProvenancecardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.RewardUpdatecardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Rewardscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Rulescardano-ledger-shelley-1.20.0.0
        Submodules

        •  Cardano.Ledger.Shelley.Rules.Reportscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Scriptscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.SoftForkscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.StabilityWindowcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Statecardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Transitioncardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Translationcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.Txcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.TxAuxDatacardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.TxBodycardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.TxCertcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.TxOutcardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.TxWitscardano-ledger-shelley-1.20.0.0
      •  Cardano.Ledger.Shelley.UTxOcardano-ledger-shelley-1.20.0.0

cardano-ledger-shelley-ma-test-1.4.0.3

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Test.Cardano.Ledger.AllegraEraGencardano-ledger-shelley-ma-test-1.4.0.3
      •  Test.Cardano.Ledger.EraBuffetcardano-ledger-shelley-ma-test-1.4.0.3
      • Mary
        Submodules

        •  Test.Cardano.Ledger.Mary.Golden Golden Tests for the Mary eracardano-ledger-shelley-ma-test-1.4.0.3
      •  Test.Cardano.Ledger.MaryEraGencardano-ledger-shelley-ma-test-1.4.0.3
      • ShelleyMA
        Submodules

        • Serialisation
          Submodules

          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Generatorscardano-ledger-shelley-ma-test-1.4.0.3
          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Roundtripcardano-ledger-shelley-ma-test-1.4.0.3
        •  Test.Cardano.Ledger.ShelleyMA.TxBodycardano-ledger-shelley-ma-test-1.4.0.3
      •  Test.Cardano.Ledger.TranslationToolscardano-ledger-shelley-ma-test-1.4.0.3

cardano-ledger-shelley-ma-test-1.4.0.3

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Allegra
        Submodules

        •  Test.Cardano.Ledger.Allegra.ScriptTranslation
        •  Test.Cardano.Ledger.Allegra.Translation
      • Mary
        Submodules

        •  Test.Cardano.Ledger.Mary.Examples
          Submodules

          •  Test.Cardano.Ledger.Mary.Examples.Cast Cast of characters for Mary ledger examples
          •  Test.Cardano.Ledger.Mary.Examples.MultiAssets Multi-Assets Examples
        •  Test.Cardano.Ledger.Mary.Translation
        •  Test.Cardano.Ledger.Mary.Value
      • ShelleyMA
        Submodules

        •  Test.Cardano.Ledger.ShelleyMA.Serialisation
          Submodules

          • Golden
            Submodules

            •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Golden.Encoding
          •  Test.Cardano.Ledger.ShelleyMA.Serialisation.Timelocks

cardano-ledger-shelley-test-1.10.0.0

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Shelley
        Submodules

        • Address
          Submodules

          •  Test.Cardano.Ledger.Shelley.Address.Bootstrapcardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.BenchmarkFunctionscardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.ByronTranslationcardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.ConcreteCryptoTypescardano-ledger-shelley-test-1.10.0.0
        • Examples
          Submodules

          •  Test.Cardano.Ledger.Shelley.Examples.Cast Cast of characters for Shelley ledger examplescardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Examples.Federation Core Nodes for Shelley ledger examplescardano-ledger-shelley-test-1.10.0.0
        • Generator
          Submodules

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

            •  Test.Cardano.Ledger.Shelley.Generator.Trace.Chaincardano-ledger-shelley-test-1.10.0.0
            •  Test.Cardano.Ledger.Shelley.Generator.Trace.Ledgercardano-ledger-shelley-test-1.10.0.0
            •  Test.Cardano.Ledger.Shelley.Generator.Trace.TxCertcardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Generator.TxAuxDatacardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Generator.TxCertcardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Generator.Updatecardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Generator.Utxocardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.PropertyTestscardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.Rewardscardano-ledger-shelley-test-1.10.0.0
        • Rules
          Submodules

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

          •  Test.Cardano.Ledger.Shelley.Serialisation.EraIndepGeneratorscardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Serialisation.Generatorscardano-ledger-shelley-test-1.10.0.0
          •  Test.Cardano.Ledger.Shelley.Serialisation.GoldenUtilscardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.ShelleyTranslationcardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.Utilscardano-ledger-shelley-test-1.10.0.0
        •  Test.Cardano.Ledger.Shelley.WitVKeyscardano-ledger-shelley-test-1.10.0.0
      •  Test.Cardano.Ledger.TerseToolscardano-ledger-shelley-test-1.10.0.0

cardano-ledger-shelley-test-1.10.0.0

•  Main
•  Paths_cardano_ledger_shelley_test
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Shelley
        Submodules

        • Examples
          Submodules

          •  Test.Cardano.Ledger.Shelley.Examples.Chain
          •  Test.Cardano.Ledger.Shelley.Examples.Combinators
          •  Test.Cardano.Ledger.Shelley.Examples.GenesisDelegation
          •  Test.Cardano.Ledger.Shelley.Examples.Init
          •  Test.Cardano.Ledger.Shelley.Examples.Mir
          •  Test.Cardano.Ledger.Shelley.Examples.MirTransfer
          •  Test.Cardano.Ledger.Shelley.Examples.PoolLifetime
          •  Test.Cardano.Ledger.Shelley.Examples.Updates Protocol Parameter Update Example
        •  Test.Cardano.Ledger.Shelley.MultiSigExamples
        •  Test.Cardano.Ledger.Shelley.RulesTests
        •  Test.Cardano.Ledger.Shelley.SafeHash
        •  Test.Cardano.Ledger.Shelley.Serialisation
          Submodules

          • Golden
            Submodules

            •  Test.Cardano.Ledger.Shelley.Serialisation.Golden.Address
            •  Test.Cardano.Ledger.Shelley.Serialisation.Golden.Encoding
            •  Test.Cardano.Ledger.Shelley.Serialisation.Golden.Genesis
          • Tripping
            Submodules

            •  Test.Cardano.Ledger.Shelley.Serialisation.Tripping.CBOR
            •  Test.Cardano.Ledger.Shelley.Serialisation.Tripping.JSON
        •  Test.Cardano.Ledger.Shelley.UnitTests

cardano-ledger-shelley-1.20.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    • Shelley
      Submodules

      •  Cardano.Ledger.Shelley.HuddleSpeccardano-ledger-shelley-1.20.0.0

cardano-ledger-shelley-1.20.0.0

•  Paths_cardano_ledger_shelleycardano-ledger-shelley-1.20.0.0
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Shelley
        Submodules

        •  Test.Cardano.Ledger.Shelley.Arbitrarycardano-ledger-shelley-1.20.0.0
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Shelley.Binary.Annotatorcardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Binary.Cddlcardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Binary.Goldencardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Binary.RoundTripcardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.Constantscardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.Eracardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.Examplescardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.Impcardano-ledger-shelley-1.20.0.0
          Submodules

          •  Test.Cardano.Ledger.Shelley.Imp.DelegSpeccardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Imp.EpochSpeccardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Imp.LedgerSpeccardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Imp.PoolSpeccardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Imp.UtxoSpeccardano-ledger-shelley-1.20.0.0
          •  Test.Cardano.Ledger.Shelley.Imp.UtxowSpeccardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.ImpTestcardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.JSONcardano-ledger-shelley-1.20.0.0
        •  Test.Cardano.Ledger.Shelley.TreeDiffcardano-ledger-shelley-1.20.0.0
        • UnitTests
          Submodules

          •  Test.Cardano.Ledger.Shelley.UnitTests.InstantStakeTestcardano-ledger-shelley-1.20.0.0

cardano-ledger-shelley-1.20.0.0

•  Main
•  Paths_cardano_ledger_shelley
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Shelley
        Submodules

        • Binary
          Submodules

          •  Test.Cardano.Ledger.Shelley.Binary.CddlSpec
          •  Test.Cardano.Ledger.Shelley.Binary.GoldenSpec
          •  Test.Cardano.Ledger.Shelley.Binary.RoundTripSpec
        •  Test.Cardano.Ledger.Shelley.BinarySpec

cardano-ledger-test-9.9.9.9

• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Constrained
        Submodules

        •  Test.Cardano.Ledger.Constrained.Conwaycardano-ledger-test-9.9.9.9
          Submodules

          •  Test.Cardano.Ledger.Constrained.Conway.Certcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Certscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Delegcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Epochcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Govcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.GovCertcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Instancescardano-ledger-test-9.9.9.9
            Submodules

            •  Test.Cardano.Ledger.Constrained.Conway.Instances.Basiccardano-ledger-test-9.9.9.9
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgercardano-ledger-test-9.9.9.9
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.Ledgerscardano-ledger-test-9.9.9.9
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.PParamscardano-ledger-test-9.9.9.9
            •  Test.Cardano.Ledger.Constrained.Conway.Instances.TxBodycardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Ledgercardano-ledger-test-9.9.9.9
          • LedgerTypes
            Submodules

            •  Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Specscardano-ledger-test-9.9.9.9
            •  Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.Testscardano-ledger-test-9.9.9.9
            •  Test.Cardano.Ledger.Constrained.Conway.LedgerTypes.WellFormedcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Ledgerscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.MiniTracecardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.NewEpochcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.PParamscardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.ParametricSpeccardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Poolcardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.TxBodySpeccardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.Utxocardano-ledger-test-9.9.9.9
          •  Test.Cardano.Ledger.Constrained.Conway.WitnessUniversecardano-ledger-test-9.9.9.9
      • Examples
        Submodules

        •  Test.Cardano.Ledger.Examples.AlonzoAPIcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Examples.AlonzoCollectInputscardano-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.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.Instancescardano-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.Proofcardano-ledger-test-9.9.9.9
        •  Test.Cardano.Ledger.Generic.Propertiescardano-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
      •  Test.Cardano.Ledger.NoThunkscardano-ledger-test-9.9.9.9
      •  Test.Cardano.Ledger.STScardano-ledger-test-9.9.9.9
      •  Test.Cardano.Ledger.Tickfcardano-ledger-test-9.9.9.9

cardano-protocol-0.1.1.0

• Cardano
  Submodules

  • Protocol
    Submodules

    •  Cardano.Protocol.Cryptocardano-protocol-0.1.1.0
    • Leios
      Submodules

      •  Cardano.Protocol.Leios.BlockHeadercardano-protocol-0.1.1.0
    • Praos
      Submodules

      •  Cardano.Protocol.Praos.BlockHeadercardano-protocol-0.1.1.0
      •  Cardano.Protocol.Praos.VRFcardano-protocol-0.1.1.0
    • TPraos
      Submodules

      •  Cardano.Protocol.TPraos.BlockHeadercardano-protocol-0.1.1.0
      •  Cardano.Protocol.TPraos.OCertcardano-protocol-0.1.1.0

cardano-protocol-tpraos-1.6.0.0

• Cardano
  Submodules

  • Protocol
    Submodules

    • TPraos
      Submodules

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

        •  Cardano.Protocol.TPraos.Rules.OCertcardano-protocol-tpraos-1.6.0.0
        •  Cardano.Protocol.TPraos.Rules.Overlaycardano-protocol-tpraos-1.6.0.0
        •  Cardano.Protocol.TPraos.Rules.Prtclcardano-protocol-tpraos-1.6.0.0
        •  Cardano.Protocol.TPraos.Rules.Tickncardano-protocol-tpraos-1.6.0.0
        •  Cardano.Protocol.TPraos.Rules.Updncardano-protocol-tpraos-1.6.0.0

cardano-protocol-tpraos-1.6.0.0

• Test
  Submodules

  • Cardano
    Submodules

    • Protocol
      Submodules

      • Binary
        Submodules

        •  Test.Cardano.Protocol.Binary.Annotatorcardano-protocol-tpraos-1.6.0.0
        •  Test.Cardano.Protocol.Binary.Cddlcardano-protocol-tpraos-1.6.0.0
        •  Test.Cardano.Protocol.Binary.RoundTripcardano-protocol-tpraos-1.6.0.0
      • Crypto
        Submodules

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

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

        •  Test.Cardano.Protocol.TPraos.Arbitrarycardano-protocol-tpraos-1.6.0.0
        •  Test.Cardano.Protocol.TPraos.Createcardano-protocol-tpraos-1.6.0.0
        •  Test.Cardano.Protocol.TPraos.Examplescardano-protocol-tpraos-1.6.0.0

cardano-protocol-tpraos-1.6.0.0

•  Main
• Test
  Submodules

  • Cardano
    Submodules

    • Protocol
      Submodules

      • Binary
        Submodules

        •  Test.Cardano.Protocol.Binary.BinarySpec
        •  Test.Cardano.Protocol.Binary.CddlSpec

cardano-protocol-0.1.1.0

• Test
  Submodules

  • Cardano
    Submodules

    • Protocol
      Submodules

      • Leios
        Submodules

        • BlockHeader
          Submodules

          •  Test.Cardano.Protocol.Leios.BlockHeader.Arbitrarycardano-protocol-0.1.1.0
      • Praos
        Submodules

        • BlockHeader
          Submodules

          •  Test.Cardano.Protocol.Praos.BlockHeader.Arbitrarycardano-protocol-0.1.1.0
      • TPraos
        Submodules

        • BlockHeader
          Submodules

          •  Test.Cardano.Protocol.TPraos.BlockHeader.Arbitrarycardano-protocol-0.1.1.0

ledger-state-9.9.9.9

• Cardano
  Submodules

  • Ledger
    Submodules

    • State
      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

non-integral-1.0.0.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.NonIntegralnon-integral-1.0.0.0

non-integral-1.0.0.0

•  Main
• Tests
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      •  Tests.Cardano.Ledger.NonIntegral

small-steps-1.2.0.0

• Control
  Submodules

  •  Control.Provenancesmall-steps-1.2.0.0
  • State
    Submodules

    •  Control.State.Transitionsmall-steps-1.2.0.0
      Submodules

      •  Control.State.Transition.Extendedsmall-steps-1.2.0.0
      •  Control.State.Transition.Simplesmall-steps-1.2.0.0

small-steps-1.2.0.0

• Test
  Submodules

  • Control
    Submodules

    • State
      Submodules

      • Transition
        Submodules

        •  Test.Control.State.Transition.Generatorsmall-steps-1.2.0.0
        • Invalid
          Submodules

          •  Test.Control.State.Transition.Invalid.Tracesmall-steps-1.2.0.0
        •  Test.Control.State.Transition.Tracesmall-steps-1.2.0.0
          Submodules

          • Generator
            Submodules

            •  Test.Control.State.Transition.Trace.Generator.QuickChecksmall-steps-1.2.0.0
  • Hedgehog
    Submodules

    • Extra
      Submodules

      •  Test.Hedgehog.Extra.Manualsmall-steps-1.2.0.0

small-steps-1.2.0.0

•  Main
• Test
  Submodules

  • Control
    Submodules

    • State
      Submodules

      • Transition
        Submodules

        • Examples
          Submodules

          •  Test.Control.State.Transition.Examples.CommitReveal
          •  Test.Control.State.Transition.Examples.GlobalSum
          •  Test.Control.State.Transition.Examples.Sum

vector-map-1.2.1.0

• Data
  Submodules

  •  Data.VMapvector-map-1.2.1.0

vector-map-1.2.1.0

• Test
  Submodules

  • Data
    Submodules

    • VMap
      Submodules

      •  Test.Data.VMap.Arbitraryvector-map-1.2.1.0
      •  Test.Data.VMap.TreeDiffvector-map-1.2.1.0

vector-map-1.2.1.0

•  Main
• Test
  Submodules

  •  Test.Common
  •  Test.VMap