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 # 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 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 # 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 #