cardano-ledger-shelley-1.17.0.0: Shelley Ledger Executable Model

cardano-ledger-shelley-1.17.0.0

•  Paths_cardano_ledger_shelley
• Test
  Submodules

  • Cardano
    Submodules

    • Ledger
      Submodules

      • Shelley
        Submodules

        •  Test.Cardano.Ledger.Shelley.Arbitrary
        • Binary
          Submodules

          •  Test.Cardano.Ledger.Shelley.Binary.Annotator
          •  Test.Cardano.Ledger.Shelley.Binary.Cddl
          •  Test.Cardano.Ledger.Shelley.Binary.Golden
          •  Test.Cardano.Ledger.Shelley.Binary.RoundTrip
        •  Test.Cardano.Ledger.Shelley.CDDL
        •  Test.Cardano.Ledger.Shelley.Constants
        •  Test.Cardano.Ledger.Shelley.Era
        •  Test.Cardano.Ledger.Shelley.Imp
          Submodules

          •  Test.Cardano.Ledger.Shelley.Imp.EpochSpec
          •  Test.Cardano.Ledger.Shelley.Imp.LedgerSpec
          •  Test.Cardano.Ledger.Shelley.Imp.UtxoSpec
          •  Test.Cardano.Ledger.Shelley.Imp.UtxowSpec
        •  Test.Cardano.Ledger.Shelley.ImpTest
        •  Test.Cardano.Ledger.Shelley.JSON
        •  Test.Cardano.Ledger.Shelley.TreeDiff
        • UnitTests
          Submodules

          •  Test.Cardano.Ledger.Shelley.UnitTests.InstantStakeTest