Safe Haskell	Safe-Inferred
Language	Haskell2010

Byron.Spec.Chain.STS.Rule.Bupi

Documentation

type UpdatePayload = (Maybe UProp, [Vote], (ProtVer, VKey)) Source #

data BUPI Source #

Instances

Instances details

Data BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BUPI → c BUPI Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BUPI Source # toConstr ∷ BUPI → Constr Source # dataTypeOf ∷ BUPI → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BUPI) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BUPI) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → BUPI → BUPI Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BUPI → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BUPI → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → BUPI → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BUPI → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BUPI → m BUPI Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BUPI → m BUPI Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BUPI → m BUPI Source #
STS BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Associated Types type State BUPI Source # type Signal BUPI Source # type Environment BUPI Source # type BaseM BUPI ∷ Type → Type Source # type Event BUPI Source # type PredicateFailure BUPI Source # Methods initialRules ∷ [InitialRule BUPI] Source # transitionRules ∷ [TransitionRule BUPI] Source # assertions ∷ [Assertion BUPI] Source # renderAssertionViolation ∷ AssertionViolation BUPI → String Source #
Embed BUPI BBODY Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.BBody Methods wrapFailed ∷ PredicateFailure BUPI → PredicateFailure BBODY Source # wrapEvent ∷ Event BUPI → Event BBODY Source #
Embed UPIEND BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods wrapFailed ∷ PredicateFailure UPIEND → PredicateFailure BUPI Source # wrapEvent ∷ Event UPIEND → Event BUPI Source #
Embed UPIREG BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods wrapFailed ∷ PredicateFailure UPIREG → PredicateFailure BUPI Source # wrapEvent ∷ Event UPIREG → Event BUPI Source #
Embed UPIVOTES BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods wrapFailed ∷ PredicateFailure UPIVOTES → PredicateFailure BUPI Source # wrapEvent ∷ Event UPIVOTES → Event BUPI Source #
type BaseM BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi type BaseM BUPI = Identity
type Environment BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi type Environment BUPI = UPIEnv
type Event BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi type Event BUPI = Void
type PredicateFailure BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi type PredicateFailure BUPI = BupiPredicateFailure
type Signal BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi type Signal BUPI = UpdatePayload
type State BUPI Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi type State BUPI = UPIState

data BupiPredicateFailure Source #

Constructors

UPIREGFailure (PredicateFailure UPIREG)
UPIVOTESFailure (PredicateFailure UPIVOTES)
UPIENDFailure (PredicateFailure UPIEND)

Instances

Instances details

Data BupiPredicateFailure Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → BupiPredicateFailure → c BupiPredicateFailure Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c BupiPredicateFailure Source # toConstr ∷ BupiPredicateFailure → Constr Source # dataTypeOf ∷ BupiPredicateFailure → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c BupiPredicateFailure) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c BupiPredicateFailure) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → BupiPredicateFailure → BupiPredicateFailure Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → BupiPredicateFailure → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → BupiPredicateFailure → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → BupiPredicateFailure → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → BupiPredicateFailure → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → BupiPredicateFailure → m BupiPredicateFailure Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BupiPredicateFailure → m BupiPredicateFailure Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → BupiPredicateFailure → m BupiPredicateFailure Source #
Show BupiPredicateFailure Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods showsPrec ∷ Int → BupiPredicateFailure → ShowS Source # show ∷ BupiPredicateFailure → String Source # showList ∷ [BupiPredicateFailure] → ShowS Source #
Eq BupiPredicateFailure Source #
Instance details Defined in Byron.Spec.Chain.STS.Rule.Bupi Methods (==) ∷ BupiPredicateFailure → BupiPredicateFailure → Bool Source # (/=) ∷ BupiPredicateFailure → BupiPredicateFailure → Bool Source #