Safe Haskell	Safe-Inferred
Language	Haskell2010

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c PBFT Source # toConstr ∷ PBFT → Constr Source # dataTypeOf ∷ PBFT → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PBFT) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PBFT) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → PBFT → PBFT Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PBFT → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PBFT → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → PBFT → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → PBFT → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → PBFT → m PBFT Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PBFT → m PBFT Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PBFT → m PBFT Source #
STS PBFT Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Pbft Associated Types type State PBFT Source # type Signal PBFT Source # type Environment PBFT Source # type BaseM PBFT ∷ Type → Type Source # type Event PBFT Source # type PredicateFailure PBFT Source # 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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c PbftPredicateFailure Source # toConstr ∷ PbftPredicateFailure → Constr Source # dataTypeOf ∷ PbftPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c PbftPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c PbftPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → PbftPredicateFailure → PbftPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → PbftPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → PbftPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → PbftPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → PbftPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → PbftPredicateFailure → m PbftPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PbftPredicateFailure → m PbftPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → PbftPredicateFailure → m PbftPredicateFailure Source #
Show PbftPredicateFailure Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Pbft Methods showsPrec ∷ Int → PbftPredicateFailure → ShowS Source # show ∷ PbftPredicateFailure → String Source # showList ∷ [PbftPredicateFailure] → ShowS Source #
Eq PbftPredicateFailure Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Pbft Methods (==) ∷ PbftPredicateFailure → PbftPredicateFailure → Bool Source # (/=) ∷ PbftPredicateFailure → PbftPredicateFailure → Bool Source #