byron-spec-chain-1.0.1.1: Executable specification of the Cardano blockchain
Safe HaskellNone
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 #

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

toConstr ∷ BBODY → Constr #

dataTypeOf ∷ BBODY → DataType #

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

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

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

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

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

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

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

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

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

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

STS BBODY Source # 
Instance details

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

Associated Types

type State BBODY 
Instance details

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

type State BBODY = (UTxOState, DIState, UPIState)
type Signal BBODY 
Instance details

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

type Signal BBODY = Block
type Environment BBODY 
Instance details

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

type Environment BBODY = (PParams, Epoch, UTxO, Word8, BlockCount)
type BaseM BBODY 
Instance details

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

type BaseM BBODY = Identity
type Event BBODY 
Instance details

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

type Event BBODY = Void
type PredicateFailure BBODY 
Instance details

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

type PredicateFailure BBODY = BbodyPredicateFailure

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 #

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

toConstr ∷ BbodyPredicateFailure → Constr #

dataTypeOf ∷ BbodyPredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Show BbodyPredicateFailure Source # 
Instance details

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

Methods

showsPrec ∷ Int → BbodyPredicateFailure → ShowS #

show ∷ BbodyPredicateFailure → String #

showList ∷ [BbodyPredicateFailure] → ShowS #

Eq BbodyPredicateFailure Source # 
Instance details

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

Methods

(==) ∷ BbodyPredicateFailure → BbodyPredicateFailure → Bool #

(/=) ∷ BbodyPredicateFailure → BbodyPredicateFailure → Bool #