ouroboros-consensus-protocol-0.13.0.0: Cardano consensus protocols
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Consensus.Protocol.Praos.Header

Documentation

data GeneratorContext Source #

Constructors

GeneratorContext 

Fields

Instances

Instances details
FromJSON GeneratorContext Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

parseJSON ∷ Value → Parser GeneratorContext Source #

parseJSONList ∷ Value → Parser [GeneratorContext] Source #

omittedField ∷ Maybe GeneratorContext Source #

ToJSON GeneratorContext Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

toJSON ∷ GeneratorContext → Value Source #

toEncoding ∷ GeneratorContext → Encoding Source #

toJSONList ∷ [GeneratorContext] → Value Source #

toEncodingList ∷ [GeneratorContext] → Encoding Source #

omitField ∷ GeneratorContext → Bool Source #

Show GeneratorContext Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

showsPrec ∷ Int → GeneratorContext → ShowS #

show ∷ GeneratorContext → String #

showList ∷ [GeneratorContext] → ShowS #

Eq GeneratorContext Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

(==) ∷ GeneratorContext → GeneratorContext → Bool #

(/=) ∷ GeneratorContext → GeneratorContext → Bool #

data MutatedHeader Source #

Constructors

MutatedHeader 

Fields

Instances

Instances details
FromJSON MutatedHeader Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

parseJSON ∷ Value → Parser MutatedHeader Source #

parseJSONList ∷ Value → Parser [MutatedHeader] Source #

omittedField ∷ Maybe MutatedHeader Source #

ToJSON MutatedHeader Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

toJSON ∷ MutatedHeader → Value Source #

toEncoding ∷ MutatedHeader → Encoding Source #

toJSONList ∷ [MutatedHeader] → Value Source #

toEncodingList ∷ [MutatedHeader] → Encoding Source #

omitField ∷ MutatedHeader → Bool Source #

Show MutatedHeader Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

showsPrec ∷ Int → MutatedHeader → ShowS #

show ∷ MutatedHeader → String #

showList ∷ [MutatedHeader] → ShowS #

Eq MutatedHeader Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

(==) ∷ MutatedHeader → MutatedHeader → Bool #

(/=) ∷ MutatedHeader → MutatedHeader → Bool #

data Mutation Source #

Constructors

NoMutation

No mutation

MutateKESKey

Mutate the KES key, ie. sign the header with a different KES key.

MutateColdKey

Mutate the cold key, ie. sign the operational certificate with a different cold key.

MutateKESPeriod

Mutate the KES period in the operational certificate to be after the start of the KES period.

MutateKESPeriodBefore

Mutate KES period to be before the current KES period

MutateCounterOver1

Mutate certificate counter to be greater than expected

MutateCounterUnder

Mutate certificate counter to be lower than expected

Instances

Instances details
FromJSON Mutation Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

parseJSON ∷ Value → Parser Mutation Source #

parseJSONList ∷ Value → Parser [Mutation] Source #

omittedField ∷ Maybe Mutation Source #

ToJSON Mutation Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

toJSON ∷ Mutation → Value Source #

toEncoding ∷ Mutation → Encoding Source #

toJSONList ∷ [Mutation] → Value Source #

toEncodingList ∷ [Mutation] → Encoding Source #

omitField ∷ Mutation → Bool Source #

Generic Mutation Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Associated Types

type Rep Mutation 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

type Rep Mutation = D1 ('MetaData "Mutation" "Test.Ouroboros.Consensus.Protocol.Praos.Header" "ouroboros-consensus-protocol-0.13.0.0-inplace-unstable-protocol-testlib" 'False) ((C1 ('MetaCons "NoMutation" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MutateKESKey" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MutateColdKey" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "MutateKESPeriod" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MutateKESPeriodBefore" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MutateCounterOver1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MutateCounterUnder" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ Mutation → Rep Mutation x #

to ∷ Rep Mutation x → Mutation #

Show Mutation Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

showsPrec ∷ Int → Mutation → ShowS #

show ∷ Mutation → String #

showList ∷ [Mutation] → ShowS #

Eq Mutation Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

(==) ∷ Mutation → Mutation → Bool #

(/=) ∷ Mutation → Mutation → Bool #

type Rep Mutation Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

type Rep Mutation = D1 ('MetaData "Mutation" "Test.Ouroboros.Consensus.Protocol.Praos.Header" "ouroboros-consensus-protocol-0.13.0.0-inplace-unstable-protocol-testlib" 'False) ((C1 ('MetaCons "NoMutation" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "MutateKESKey" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MutateColdKey" 'PrefixI 'False) (U1 ∷ Type → Type))) :+: ((C1 ('MetaCons "MutateKESPeriod" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MutateKESPeriodBefore" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "MutateCounterOver1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "MutateCounterUnder" 'PrefixI 'False) (U1 ∷ Type → Type))))

newtype Sample Source #

Constructors

Sample 

Fields

Instances

Instances details
FromJSON Sample Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

parseJSON ∷ Value → Parser Sample Source #

parseJSONList ∷ Value → Parser [Sample] Source #

omittedField ∷ Maybe Sample Source #

ToJSON Sample Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

toJSON ∷ Sample → Value Source #

toEncoding ∷ Sample → Encoding Source #

toJSONList ∷ [Sample] → Value Source #

toEncodingList ∷ [Sample] → Encoding Source #

omitField ∷ Sample → Bool Source #

Show Sample Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

showsPrec ∷ Int → Sample → ShowS #

show ∷ Sample → String #

showList ∷ [Sample] → ShowS #

Eq Sample Source # 
Instance details

Defined in Test.Ouroboros.Consensus.Protocol.Praos.Header

Methods

(==) ∷ Sample → Sample → Bool #

(/=) ∷ Sample → Sample → Bool #

expectedError ∷ Mutation → PraosValidationErr StandardCrypto → Bool Source #

genContext ∷ Gen GeneratorContext Source #

genMutatedHeader ∷ GeneratorContext → Gen (GeneratorContext, MutatedHeader) Source #

genSample ∷ Gen Sample Source #

generateSamples ∷ Int → IO Sample Source #