ouroboros-consensus-cardano-0.20.0.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Tools.Headers

Description

Tooling to generate and validate (Praos) headers.

Documentation

data Options Source #

Constructors

Generate Int 
Validate 

data ValidationResult Source #

Constructors

Valid !Mutation 
Invalid !Mutation !String 

Instances

Instances details
Show ValidationResult Source # 
Instance details

Defined in Cardano.Tools.Headers

Methods

showsPrec ∷ Int → ValidationResult → ShowS #

show ∷ ValidationResult → String #

showList ∷ [ValidationResult] → ShowS #

Eq ValidationResult Source # 
Instance details

Defined in Cardano.Tools.Headers

Methods

(==) ∷ ValidationResult → ValidationResult → Bool #

(/=) ∷ ValidationResult → ValidationResult → Bool #

run ∷ Options → IO () Source #

validate ∷ GeneratorContext → MutatedHeader → ValidationResult Source #