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

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 #

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

toConstr ∷ BUPI → Constr #

dataTypeOf ∷ BUPI → DataType #

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

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

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

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

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

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

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

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

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

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

STS BUPI Source # 
Instance details

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

Associated Types

type State BUPI 
Instance details

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

type State BUPI = UPIState
type Signal BUPI 
Instance details

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

type Signal BUPI = UpdatePayload
type Environment BUPI 
Instance details

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

type Environment BUPI = UPIEnv
type BaseM BUPI 
Instance details

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

type BaseM BUPI = Identity
type Event BUPI 
Instance details

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

type Event BUPI = Void
type PredicateFailure BUPI 
Instance details

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

type PredicateFailure BUPI = BupiPredicateFailure

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 #

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

toConstr ∷ BupiPredicateFailure → Constr #

dataTypeOf ∷ BupiPredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Show BupiPredicateFailure Source # 
Instance details

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

Methods

showsPrec ∷ Int → BupiPredicateFailure → ShowS #

show ∷ BupiPredicateFailure → String #

showList ∷ [BupiPredicateFailure] → ShowS #

Eq BupiPredicateFailure Source # 
Instance details

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

Methods

(==) ∷ BupiPredicateFailure → BupiPredicateFailure → Bool #

(/=) ∷ BupiPredicateFailure → BupiPredicateFailure → Bool #