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

Modules

• 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.Genesis
        •  Cardano.Ledger.Shelley.API.Mempool
        •  Cardano.Ledger.Shelley.API.Types
        •  Cardano.Ledger.Shelley.API.Validation
        •  Cardano.Ledger.Shelley.API.Wallet
      •  Cardano.Ledger.Shelley.AdaPots
      • Address
        Submodules

        •  Cardano.Ledger.Shelley.Address.Bootstrap
      •  Cardano.Ledger.Shelley.BlockChain
      •  Cardano.Ledger.Shelley.Core
      • Delegation
        Submodules

        •  Cardano.Ledger.Shelley.Delegation.Certificates
      •  Cardano.Ledger.Shelley.EpochBoundary
      •  Cardano.Ledger.Shelley.Genesis
      •  Cardano.Ledger.Shelley.Governance
      •  Cardano.Ledger.Shelley.HardForks
      •  Cardano.Ledger.Shelley.LedgerState Operational Rules
      •  Cardano.Ledger.Shelley.Metadata
      •  Cardano.Ledger.Shelley.PParams
      •  Cardano.Ledger.Shelley.PoolParams
      •  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.Transition
      •  Cardano.Ledger.Shelley.Translation
      •  Cardano.Ledger.Shelley.Tx
        Submodules

        •  Cardano.Ledger.Shelley.Tx.Internal
      •  Cardano.Ledger.Shelley.TxAuxData
      •  Cardano.Ledger.Shelley.TxBody
      •  Cardano.Ledger.Shelley.TxCert
      •  Cardano.Ledger.Shelley.TxOut
      •  Cardano.Ledger.Shelley.TxWits
      •  Cardano.Ledger.Shelley.UTxO