ouroboros-consensus:unstable-cardano-tools
Safe HaskellNone
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
Eq ValidationResult Source # 
Instance details

Defined in Cardano.Tools.Headers

Methods

(==) ∷ ValidationResult → ValidationResult → Bool #

(/=) ∷ ValidationResult → ValidationResult → Bool #

Show ValidationResult Source # 
Instance details

Defined in Cardano.Tools.Headers

Methods

showsPrec ∷ Int → ValidationResult → ShowS #

show ∷ ValidationResult → String #

showList ∷ [ValidationResult] → ShowS #

run ∷ Options → IO () Source #

validate ∷ GeneratorContext → MutatedHeader → ValidationResult Source #