byron-spec-ledger-1.0.1.0: Executable specification of Cardano ledger

Modules

• Byron
  Submodules

  • Spec
    Submodules

    • Ledger
      Submodules

      •  Byron.Spec.Ledger.Core
        Submodules

        •  Byron.Spec.Ledger.Core.Generators
        •  Byron.Spec.Ledger.Core.Omniscient
      •  Byron.Spec.Ledger.Delegation
        Submodules

        •  Byron.Spec.Ledger.Delegation.Test
      •  Byron.Spec.Ledger.GlobalParams
      • STS
        Submodules

        •  Byron.Spec.Ledger.STS.UTXO
        •  Byron.Spec.Ledger.STS.UTXOW
        •  Byron.Spec.Ledger.STS.UTXOWS
      •  Byron.Spec.Ledger.UTxO
        Submodules

        •  Byron.Spec.Ledger.UTxO.Generators
      •  Byron.Spec.Ledger.Update
        Submodules

        •  Byron.Spec.Ledger.Update.Generators
        •  Byron.Spec.Ledger.Update.Test
• Data
  Submodules

  •  Data.AbstractSize
• Hedgehog
  Submodules

  • Gen
    Submodules

    •  Hedgehog.Gen.Double