shelley-spec-ledger-0.1.0.0
Shelley Ledger Executable Model
Modules
- Cardano
- Shelley
- Spec
- Ledger
- Shelley.Spec.Ledger.API
- Shelley.Spec.Ledger.Address
- Shelley.Spec.Ledger.BaseTypes
- Shelley.Spec.Ledger.BlockChain
- Shelley.Spec.Ledger.Coin
- Shelley.Spec.Ledger.CompactAddr
- Shelley.Spec.Ledger.Credential
- Delegation
- Shelley.Spec.Ledger.EpochBoundary Functions and definitions for rules at epoch boundary.
- Shelley.Spec.Ledger.Genesis
- Shelley.Spec.Ledger.HardForks
- Shelley.Spec.Ledger.Hashing
- Shelley.Spec.Ledger.Keys
- Shelley.Spec.Ledger.LedgerState Operational Rules
- Shelley.Spec.Ledger.Metadata
- Shelley.Spec.Ledger.OCert
- Shelley.Spec.Ledger.Orphans
- Shelley.Spec.Ledger.OverlaySchedule
- Shelley.Spec.Ledger.PParams
- Shelley.Spec.Ledger.Rewards
- STS
- Shelley.Spec.Ledger.STS.Bbody
- Shelley.Spec.Ledger.STS.Chain
- Shelley.Spec.Ledger.STS.Deleg
- Shelley.Spec.Ledger.STS.Delegs
- Shelley.Spec.Ledger.STS.Delpl
- Shelley.Spec.Ledger.STS.Epoch
- Shelley.Spec.Ledger.STS.Ledger
- Shelley.Spec.Ledger.STS.Ledgers
- Shelley.Spec.Ledger.STS.Mir
- Shelley.Spec.Ledger.STS.NewEpoch
- Shelley.Spec.Ledger.STS.Newpp
- Shelley.Spec.Ledger.STS.Ocert
- Shelley.Spec.Ledger.STS.Overlay
- Shelley.Spec.Ledger.STS.Pool
- Shelley.Spec.Ledger.STS.PoolReap
- Shelley.Spec.Ledger.STS.Ppup
- Shelley.Spec.Ledger.STS.Prtcl
- Shelley.Spec.Ledger.STS.Rupd
- Shelley.Spec.Ledger.STS.Snap
- Shelley.Spec.Ledger.STS.Tick
- Shelley.Spec.Ledger.STS.Tickn
- Shelley.Spec.Ledger.STS.Updn
- Shelley.Spec.Ledger.STS.Utxo
- Shelley.Spec.Ledger.STS.Utxow
- Shelley.Spec.Ledger.Scripts
- Shelley.Spec.Ledger.Serialization
- Shelley.Spec.Ledger.Slot
- Shelley.Spec.Ledger.SoftForks
- Shelley.Spec.Ledger.StabilityWindow
- Shelley.Spec.Ledger.Tx
- Shelley.Spec.Ledger.TxBody
- Shelley.Spec.Ledger.UTxO Simple UTxO Ledger
- Ledger
- Spec