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

cardano-ledger-shelley-1.17.1.0

• Cardano
  Submodules

  • Ledger
    Submodules

    •  Cardano.Ledger.Chain
    •  Cardano.Ledger.Shelley
      Submodules

      •  Cardano.Ledger.Shelley.API
        Submodules

        •  Cardano.Ledger.Shelley.API.ByronTranslation
        •  Cardano.Ledger.Shelley.API.Mempool
        •  Cardano.Ledger.Shelley.API.Types
        •  Cardano.Ledger.Shelley.API.Validation
        •  Cardano.Ledger.Shelley.API.Wallet
      •  Cardano.Ledger.Shelley.AdaPots
      •  Cardano.Ledger.Shelley.BlockBody
        Submodules

        •  Cardano.Ledger.Shelley.BlockBody.Internal
      •  Cardano.Ledger.Shelley.BlockChain
      •  Cardano.Ledger.Shelley.Core
      •  Cardano.Ledger.Shelley.Genesis
      •  Cardano.Ledger.Shelley.Governance
      •  Cardano.Ledger.Shelley.LedgerState Operational Rules
      •  Cardano.Ledger.Shelley.PParams
      •  Cardano.Ledger.Shelley.PoolRank
      •  Cardano.Ledger.Shelley.RewardProvenance
      •  Cardano.Ledger.Shelley.RewardUpdate
      •  Cardano.Ledger.Shelley.Rewards
      •  Cardano.Ledger.Shelley.Rules
        Submodules

        •  Cardano.Ledger.Shelley.Rules.Reports
      •  Cardano.Ledger.Shelley.Scripts
      •  Cardano.Ledger.Shelley.SoftForks
      •  Cardano.Ledger.Shelley.StabilityWindow
      •  Cardano.Ledger.Shelley.State
      •  Cardano.Ledger.Shelley.Transition
      •  Cardano.Ledger.Shelley.Translation
      •  Cardano.Ledger.Shelley.Tx
      •  Cardano.Ledger.Shelley.TxAuxData
      •  Cardano.Ledger.Shelley.TxBody
      •  Cardano.Ledger.Shelley.TxCert
      •  Cardano.Ledger.Shelley.TxOut
      •  Cardano.Ledger.Shelley.TxWits
      •  Cardano.Ledger.Shelley.UTxO