byron-spec-ledger-1.0.1.0: Executable specification of Cardano ledger
Safe HaskellSafe-Inferred
LanguageHaskell2010

Byron.Spec.Ledger.Update.Generators

Description

Generators for the Update values.

Synopsis

Documentation

pparamsGen ∷ Gen PParams Source #

Generates valid protocol parameters

TODO: The protocol parameters still need to be aligned with the formal spec.