Safe Haskell	Safe-Inferred
Language	Haskell2010

Byron.Spec.Chain.STS.Rule.Epoch

Synopsis

sEpoch ∷ HasCallStack ⇒ Slot → BlockCount → Epoch
data EPOCH
data EpochPredicateFailure = UPIECFailure (PredicateFailure UPIEC)

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 Source # type Signal EPOCH Source # type Environment EPOCH Source # type BaseM EPOCH ∷ Type → Type Source # type Event EPOCH Source # type PredicateFailure EPOCH Source # 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 #