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

Byron.Spec.Chain.STS.Rule.Epoch

Synopsis

Documentation

sEpoch ∷ HasCallStack ⇒ Slot → BlockCount → Epoch Source #

Compute the epoch for the given _absolute_ slot and chain stability parameter.

data EPOCH Source #

Instances

Instances details
Data EPOCH Source # 
Instance details

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

Methods

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

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

toConstr ∷ EPOCH → Constr #

dataTypeOf ∷ EPOCH → DataType #

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

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

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

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

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

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

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

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

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

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

STS EPOCH Source # 
Instance details

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

Associated Types

type State EPOCH 
Instance details

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

type State EPOCH = UPIState
type Signal EPOCH 
Instance details

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

type Signal EPOCH = Slot
type Environment EPOCH 
Instance details

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

type Environment EPOCH = (Epoch, BlockCount)
type BaseM EPOCH 
Instance details

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

type BaseM EPOCH = Identity
type Event EPOCH 
Instance details

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

type Event EPOCH = Void
type PredicateFailure EPOCH 
Instance details

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

type PredicateFailure EPOCH = EpochPredicateFailure

Methods

initialRules ∷ [InitialRule EPOCH] Source #

transitionRules ∷ [TransitionRule EPOCH] Source #

assertions ∷ [Assertion EPOCH] Source #

renderAssertionViolation ∷ AssertionViolation EPOCH → String Source #

Embed EPOCH CHAIN Source # 
Instance details

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

Methods

wrapFailed ∷ PredicateFailure EPOCH → PredicateFailure CHAIN Source #

wrapEvent ∷ Event EPOCH → Event CHAIN Source #

Embed UPIEC EPOCH Source # 
Instance details

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

Methods

wrapFailed ∷ PredicateFailure UPIEC → PredicateFailure EPOCH Source #

wrapEvent ∷ Event UPIEC → Event EPOCH Source #

type BaseM EPOCH Source # 
Instance details

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

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

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

type Environment EPOCH = (Epoch, BlockCount)
type Event EPOCH Source # 
Instance details

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

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

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

type PredicateFailure EPOCH = EpochPredicateFailure
type Signal EPOCH Source # 
Instance details

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

type Signal EPOCH = Slot
type State EPOCH Source # 
Instance details

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

type State EPOCH = UPIState

data EpochPredicateFailure Source #

Constructors

UPIECFailure (PredicateFailure UPIEC) 

Instances

Instances details
Data EpochPredicateFailure Source # 
Instance details

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

Methods

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

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

toConstr ∷ EpochPredicateFailure → Constr #

dataTypeOf ∷ EpochPredicateFailure → DataType #

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

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

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

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

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

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

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

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

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

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

Show EpochPredicateFailure Source # 
Instance details

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

Methods

showsPrec ∷ Int → EpochPredicateFailure → ShowS #

show ∷ EpochPredicateFailure → String #

showList ∷ [EpochPredicateFailure] → ShowS #

Eq EpochPredicateFailure Source # 
Instance details

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

Methods

(==) ∷ EpochPredicateFailure → EpochPredicateFailure → Bool #

(/=) ∷ EpochPredicateFailure → EpochPredicateFailure → Bool #