byron-spec-chain-1.0.1.1: Executable specification of the Cardano blockchain
Safe HaskellNone
LanguageHaskell2010

Byron.Spec.Chain.STS.Rule.Pbft

Documentation

data PBFT Source #

Instances

Instances details
Data PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → PBFT → c PBFT #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c PBFT #

toConstr ∷ PBFT → Constr #

dataTypeOf ∷ PBFT → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PBFT) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PBFT) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → PBFT → PBFT #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PBFT → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PBFT → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → PBFT → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → PBFT → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → PBFT → m PBFT #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PBFT → m PBFT #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PBFT → m PBFT #

STS PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

Associated Types

type State PBFT 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type State PBFT = (Hash, Seq VKeyGenesis)
type Signal PBFT 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type Signal PBFT = BlockHeader
type Environment PBFT 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type Environment PBFT = (PParams, Bimap VKeyGenesis VKey, Slot, Slot, BlockCount)
type BaseM PBFT 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type BaseM PBFT = Identity
type Event PBFT 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type Event PBFT = Void
type PredicateFailure PBFT 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type PredicateFailure PBFT = PbftPredicateFailure

Methods

initialRules ∷ [InitialRule PBFT] Source #

transitionRules ∷ [TransitionRule PBFT] Source #

assertions ∷ [Assertion PBFT] Source #

renderAssertionViolation ∷ AssertionViolation PBFT → String Source #

Embed PBFT CHAIN Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Chain

Methods

wrapFailed ∷ PredicateFailure PBFT → PredicateFailure CHAIN Source #

wrapEvent ∷ Event PBFT → Event CHAIN Source #

Embed SIGCNT PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

Methods

wrapFailed ∷ PredicateFailure SIGCNT → PredicateFailure PBFT Source #

wrapEvent ∷ Event SIGCNT → Event PBFT Source #

type BaseM PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type BaseM PBFT = Identity
type Environment PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type Environment PBFT = (PParams, Bimap VKeyGenesis VKey, Slot, Slot, BlockCount)
type Event PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type Event PBFT = Void
type PredicateFailure PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type PredicateFailure PBFT = PbftPredicateFailure
type Signal PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type Signal PBFT = BlockHeader
type State PBFT Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

type State PBFT = (Hash, Seq VKeyGenesis)

data PbftPredicateFailure Source #

Constructors

SlotNotAfterLastBlock Slot Slot 
SlotInTheFuture Slot Slot 
PrevHashNotMatching Hash Hash 
InvalidHeaderSignature VKey (Sig Hash) 
SigCountFailure (PredicateFailure SIGCNT) 

Instances

Instances details
Data PbftPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → PbftPredicateFailure → c PbftPredicateFailure #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c PbftPredicateFailure #

toConstr ∷ PbftPredicateFailure → Constr #

dataTypeOf ∷ PbftPredicateFailure → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PbftPredicateFailure) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PbftPredicateFailure) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → PbftPredicateFailure → PbftPredicateFailure #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PbftPredicateFailure → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PbftPredicateFailure → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → PbftPredicateFailure → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → PbftPredicateFailure → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → PbftPredicateFailure → m PbftPredicateFailure #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PbftPredicateFailure → m PbftPredicateFailure #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PbftPredicateFailure → m PbftPredicateFailure #

Show PbftPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

Methods

showsPrec ∷ Int → PbftPredicateFailure → ShowS #

show ∷ PbftPredicateFailure → String #

showList ∷ [PbftPredicateFailure] → ShowS #

Eq PbftPredicateFailure Source # 
Instance details

Defined in Byron.Spec.Chain.STS.Rule.Pbft

Methods

(==) ∷ PbftPredicateFailure → PbftPredicateFailure → Bool #

(/=) ∷ PbftPredicateFailure → PbftPredicateFailure → Bool #