byron-spec-chain-1.0.1.0: Executable specification of the Cardano blockchain
Safe HaskellSafe-Inferred
LanguageHaskell2010

Byron.Spec.Chain.STS.Rule.BBody

Synopsis

Documentation

data BBODY Source #

Instances

Instances details
Data BBODY Source # 
Instance details

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

Methods

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

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

toConstr ∷ BBODY → Constr Source #

dataTypeOf ∷ BBODY → DataType Source #

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

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

gmapT ∷ (∀ b. Data b ⇒ b → b) → BBODY → BBODY Source #

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

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

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

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

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

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

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

STS BBODY Source # 
Instance details

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

Associated Types

type State BBODY Source #

type Signal BBODY Source #

type Environment BBODY Source #

type BaseM BBODY ∷ Type → Type Source #

type Event BBODY Source #

type PredicateFailure BBODY Source #

Methods

initialRules ∷ [InitialRule BBODY] Source #

transitionRules ∷ [TransitionRule BBODY] Source #

assertions ∷ [Assertion BBODY] Source #

renderAssertionViolation ∷ AssertionViolation BBODY → String Source #

Embed BBODY CHAIN Source # 
Instance details

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

Methods

wrapFailed ∷ PredicateFailure BBODY → PredicateFailure CHAIN Source #

wrapEvent ∷ Event BBODY → Event CHAIN 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 DELEG BBODY Source # 
Instance details

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

Methods

wrapFailed ∷ PredicateFailure DELEG → PredicateFailure BBODY Source #

wrapEvent ∷ Event DELEG → Event BBODY Source #

Embed UTXOWS BBODY Source # 
Instance details

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

Methods

wrapFailed ∷ PredicateFailure UTXOWS → PredicateFailure BBODY Source #

wrapEvent ∷ Event UTXOWS → Event BBODY Source #

type BaseM BBODY Source # 
Instance details

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

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

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

type Environment BBODY = (PParams, Epoch, UTxO, Word8, BlockCount)
type Event BBODY Source # 
Instance details

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

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

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

type PredicateFailure BBODY = BbodyPredicateFailure
type Signal BBODY Source # 
Instance details

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

type Signal BBODY = Block
type State BBODY Source # 
Instance details

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

type State BBODY = (UTxOState, DIState, UPIState)

data BbodyPredicateFailure Source #

These PredicateFailures are all throwable.

Constructors

InvalidBlockSize 
InvalidUtxoHash 
InvalidDelegationHash 
InvalidUpdateProposalHash 
BUPIFailure (PredicateFailure BUPI) 
DelegationFailure (PredicateFailure DELEG) 
UTXOWSFailure (PredicateFailure UTXOWS) 

Instances

Instances details
Data BbodyPredicateFailure Source # 
Instance details

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

Methods

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

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

toConstr ∷ BbodyPredicateFailure → Constr Source #

dataTypeOf ∷ BbodyPredicateFailure → DataType Source #

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

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

gmapT ∷ (∀ b. Data b ⇒ b → b) → BbodyPredicateFailure → BbodyPredicateFailure Source #

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

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

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

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

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

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

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

Show BbodyPredicateFailure Source # 
Instance details

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

Methods

showsPrec ∷ Int → BbodyPredicateFailure → ShowS Source #

show ∷ BbodyPredicateFailure → String Source #

showList ∷ [BbodyPredicateFailure] → ShowS Source #

Eq BbodyPredicateFailure Source # 
Instance details

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

Methods

(==) ∷ BbodyPredicateFailure → BbodyPredicateFailure → Bool Source #

(/=) ∷ BbodyPredicateFailure → BbodyPredicateFailure → Bool Source #