Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Slotting.Slot

Synopsis

newtype SlotNo = SlotNo {
- unSlotNo ∷ Word64
}
data WithOrigin t
- = Origin
- | At !t
at ∷ t → WithOrigin t
origin ∷ WithOrigin t
fromWithOrigin ∷ t → WithOrigin t → t
withOrigin ∷ b → (t → b) → WithOrigin t → b
withOriginToMaybe ∷ WithOrigin t → Maybe t
withOriginFromMaybe ∷ Maybe t → WithOrigin t
newtype EpochNo = EpochNo {
- unEpochNo ∷ Word64
}
newtype EpochSize = EpochSize {
- unEpochSize ∷ Word64
}
newtype EpochInterval = EpochInterval {
- unEpochInterval ∷ Word32
}
binOpEpochNo ∷ (Word64 → Word64 → Word64) → EpochNo → EpochNo → EpochNo
addEpochInterval ∷ EpochNo → EpochInterval → EpochNo

Documentation

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo ∷ Word64

Instances

Instances details

FromJSON SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser SlotNo Source # parseJSONList ∷ Value → Parser [SlotNo] Source # omittedField ∷ Maybe SlotNo Source #
ToJSON SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ SlotNo → Value Source # toEncoding ∷ SlotNo → Encoding Source # toJSONList ∷ [SlotNo] → Value Source # toEncodingList ∷ [SlotNo] → Encoding Source # omitField ∷ SlotNo → Bool Source #
Bounded SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods minBound ∷ SlotNo maxBound ∷ SlotNo
Enum SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ SlotNo → SlotNo pred ∷ SlotNo → SlotNo toEnum ∷ Int → SlotNo fromEnum ∷ SlotNo → Int enumFrom ∷ SlotNo → [SlotNo] enumFromThen ∷ SlotNo → SlotNo → [SlotNo] enumFromTo ∷ SlotNo → SlotNo → [SlotNo] enumFromThenTo ∷ SlotNo → SlotNo → SlotNo → [SlotNo]
Generic SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo ∷ Type → Type Methods from ∷ SlotNo → Rep SlotNo x to ∷ Rep SlotNo x → SlotNo
Num SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (+) ∷ SlotNo → SlotNo → SlotNo (-) ∷ SlotNo → SlotNo → SlotNo (*) ∷ SlotNo → SlotNo → SlotNo negate ∷ SlotNo → SlotNo abs ∷ SlotNo → SlotNo signum ∷ SlotNo → SlotNo fromInteger ∷ Integer → SlotNo
Show SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → SlotNo → ShowS show ∷ SlotNo → String showList ∷ [SlotNo] → ShowS
FromCBOR SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s SlotNo Source # label ∷ Proxy SlotNo → Text Source #
ToCBOR SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ SlotNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotNo] → Size Source #
NFData SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ SlotNo → ()
Eq SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ SlotNo → SlotNo → Bool (/=) ∷ SlotNo → SlotNo → Bool
Ord SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ SlotNo → SlotNo → Ordering (<) ∷ SlotNo → SlotNo → Bool (<=) ∷ SlotNo → SlotNo → Bool (>) ∷ SlotNo → SlotNo → Bool (>=) ∷ SlotNo → SlotNo → Bool max ∷ SlotNo → SlotNo → SlotNo min ∷ SlotNo → SlotNo → SlotNo
NoThunks SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotNo → String Source #
Serialise SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ SlotNo → Encoding Source # decode ∷ Decoder s SlotNo Source # encodeList ∷ [SlotNo] → Encoding Source # decodeList ∷ Decoder s [SlotNo] Source #
type Rep SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data WithOrigin t Source #

Constructors

Origin
At !t

Instances

Instances details

Foldable WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods fold ∷ Monoid m ⇒ WithOrigin m → m foldMap ∷ Monoid m ⇒ (a → m) → WithOrigin a → m foldMap' ∷ Monoid m ⇒ (a → m) → WithOrigin a → m foldr ∷ (a → b → b) → b → WithOrigin a → b foldr' ∷ (a → b → b) → b → WithOrigin a → b foldl ∷ (b → a → b) → b → WithOrigin a → b foldl' ∷ (b → a → b) → b → WithOrigin a → b foldr1 ∷ (a → a → a) → WithOrigin a → a foldl1 ∷ (a → a → a) → WithOrigin a → a toList ∷ WithOrigin a → [a] null ∷ WithOrigin a → Bool length ∷ WithOrigin a → Int elem ∷ Eq a ⇒ a → WithOrigin a → Bool maximum ∷ Ord a ⇒ WithOrigin a → a minimum ∷ Ord a ⇒ WithOrigin a → a sum ∷ Num a ⇒ WithOrigin a → a product ∷ Num a ⇒ WithOrigin a → a
Traversable WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods traverse ∷ Applicative f ⇒ (a → f b) → WithOrigin a → f (WithOrigin b) sequenceA ∷ Applicative f ⇒ WithOrigin (f a) → f (WithOrigin a) mapM ∷ Monad m ⇒ (a → m b) → WithOrigin a → m (WithOrigin b) sequence ∷ Monad m ⇒ WithOrigin (m a) → m (WithOrigin a)
Functor WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods fmap ∷ (a → b) → WithOrigin a → WithOrigin b # (<$) ∷ a → WithOrigin b → WithOrigin a #
FromJSON a ⇒ FromJSON (WithOrigin a) Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser (WithOrigin a) Source # parseJSONList ∷ Value → Parser [WithOrigin a] Source # omittedField ∷ Maybe (WithOrigin a) Source #
ToJSON a ⇒ ToJSON (WithOrigin a) Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ WithOrigin a → Value Source # toEncoding ∷ WithOrigin a → Encoding Source # toJSONList ∷ [WithOrigin a] → Value Source # toEncodingList ∷ [WithOrigin a] → Encoding Source # omitField ∷ WithOrigin a → Bool Source #
Bounded t ⇒ Bounded (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods minBound ∷ WithOrigin t maxBound ∷ WithOrigin t
Generic (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep (WithOrigin t) ∷ Type → Type Methods from ∷ WithOrigin t → Rep (WithOrigin t) x to ∷ Rep (WithOrigin t) x → WithOrigin t
Show t ⇒ Show (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → WithOrigin t → ShowS show ∷ WithOrigin t → String showList ∷ [WithOrigin t] → ShowS
(Serialise t, Typeable t) ⇒ FromCBOR (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s (WithOrigin t) Source # label ∷ Proxy (WithOrigin t) → Text Source #
(Serialise t, Typeable t) ⇒ ToCBOR (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ WithOrigin t → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (WithOrigin t) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [WithOrigin t] → Size Source #
NFData a ⇒ NFData (WithOrigin a) Source #
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ WithOrigin a → ()
Eq t ⇒ Eq (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ WithOrigin t → WithOrigin t → Bool (/=) ∷ WithOrigin t → WithOrigin t → Bool
Ord t ⇒ Ord (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ WithOrigin t → WithOrigin t → Ordering (<) ∷ WithOrigin t → WithOrigin t → Bool (<=) ∷ WithOrigin t → WithOrigin t → Bool (>) ∷ WithOrigin t → WithOrigin t → Bool (>=) ∷ WithOrigin t → WithOrigin t → Bool max ∷ WithOrigin t → WithOrigin t → WithOrigin t min ∷ WithOrigin t → WithOrigin t → WithOrigin t
NoThunks t ⇒ NoThunks (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithOrigin t → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithOrigin t) → String Source #
Serialise t ⇒ Serialise (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ WithOrigin t → Encoding Source # decode ∷ Decoder s (WithOrigin t) Source # encodeList ∷ [WithOrigin t] → Encoding Source # decodeList ∷ Decoder s [WithOrigin t] Source #
type Rep (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot type Rep (WithOrigin t) = D1 ('MetaData "WithOrigin" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-inplace" 'False) (C1 ('MetaCons "Origin" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "At" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 t)))

at ∷ t → WithOrigin t Source #

origin ∷ WithOrigin t Source #

fromWithOrigin ∷ t → WithOrigin t → t Source #

withOrigin ∷ b → (t → b) → WithOrigin t → b Source #

withOriginToMaybe ∷ WithOrigin t → Maybe t Source #

withOriginFromMaybe ∷ Maybe t → WithOrigin t Source #

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo ∷ Word64

Instances

Instances details

FromJSON EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochNo Source # parseJSONList ∷ Value → Parser [EpochNo] Source # omittedField ∷ Maybe EpochNo Source #
ToJSON EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochNo → Value Source # toEncoding ∷ EpochNo → Encoding Source # toJSONList ∷ [EpochNo] → Value Source # toEncodingList ∷ [EpochNo] → Encoding Source # omitField ∷ EpochNo → Bool Source #
Enum EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ EpochNo → EpochNo pred ∷ EpochNo → EpochNo toEnum ∷ Int → EpochNo fromEnum ∷ EpochNo → Int enumFrom ∷ EpochNo → [EpochNo] enumFromThen ∷ EpochNo → EpochNo → [EpochNo] enumFromTo ∷ EpochNo → EpochNo → [EpochNo] enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo]
Generic EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo ∷ Type → Type Methods from ∷ EpochNo → Rep EpochNo x to ∷ Rep EpochNo x → EpochNo
Show EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochNo → ShowS show ∷ EpochNo → String showList ∷ [EpochNo] → ShowS
FromCBOR EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochNo Source # label ∷ Proxy EpochNo → Text Source #
ToCBOR EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochNo] → Size Source #
NFData EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochNo → ()
Eq EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochNo → EpochNo → Bool (/=) ∷ EpochNo → EpochNo → Bool
Ord EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochNo → EpochNo → Ordering (<) ∷ EpochNo → EpochNo → Bool (<=) ∷ EpochNo → EpochNo → Bool (>) ∷ EpochNo → EpochNo → Bool (>=) ∷ EpochNo → EpochNo → Bool max ∷ EpochNo → EpochNo → EpochNo min ∷ EpochNo → EpochNo → EpochNo
NoThunks EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochNo → String Source #
Serialise EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ EpochNo → Encoding Source # decode ∷ Decoder s EpochNo Source # encodeList ∷ [EpochNo] → Encoding Source # decodeList ∷ Decoder s [EpochNo] Source #
type Rep EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSize Source #

Constructors

EpochSize
Fields unEpochSize ∷ Word64

Instances

Instances details

FromJSON EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochSize Source # parseJSONList ∷ Value → Parser [EpochSize] Source # omittedField ∷ Maybe EpochSize Source #
ToJSON EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochSize → Value Source # toEncoding ∷ EpochSize → Encoding Source # toJSONList ∷ [EpochSize] → Value Source # toEncodingList ∷ [EpochSize] → Encoding Source # omitField ∷ EpochSize → Bool Source #
Enum EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ EpochSize → EpochSize pred ∷ EpochSize → EpochSize toEnum ∷ Int → EpochSize fromEnum ∷ EpochSize → Int enumFrom ∷ EpochSize → [EpochSize] enumFromThen ∷ EpochSize → EpochSize → [EpochSize] enumFromTo ∷ EpochSize → EpochSize → [EpochSize] enumFromThenTo ∷ EpochSize → EpochSize → EpochSize → [EpochSize]
Generic EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochSize ∷ Type → Type Methods from ∷ EpochSize → Rep EpochSize x to ∷ Rep EpochSize x → EpochSize
Show EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochSize → ShowS show ∷ EpochSize → String showList ∷ [EpochSize] → ShowS
FromCBOR EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochSize Source # label ∷ Proxy EpochSize → Text Source #
ToCBOR EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochSize → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochSize → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochSize] → Size Source #
NFData EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochSize → ()
Eq EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochSize → EpochSize → Bool (/=) ∷ EpochSize → EpochSize → Bool
Ord EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochSize → EpochSize → Ordering (<) ∷ EpochSize → EpochSize → Bool (<=) ∷ EpochSize → EpochSize → Bool (>) ∷ EpochSize → EpochSize → Bool (>=) ∷ EpochSize → EpochSize → Bool max ∷ EpochSize → EpochSize → EpochSize min ∷ EpochSize → EpochSize → EpochSize
NoThunks EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochSize → String Source #
type Rep EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochInterval Source #

Constructors

EpochInterval
Fields unEpochInterval ∷ Word32

Instances

Instances details

FromJSON EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochInterval Source # parseJSONList ∷ Value → Parser [EpochInterval] Source # omittedField ∷ Maybe EpochInterval Source #
ToJSON EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochInterval → Value Source # toEncoding ∷ EpochInterval → Encoding Source # toJSONList ∷ [EpochInterval] → Value Source # toEncodingList ∷ [EpochInterval] → Encoding Source # omitField ∷ EpochInterval → Bool Source #
Generic EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochInterval ∷ Type → Type Methods from ∷ EpochInterval → Rep EpochInterval x to ∷ Rep EpochInterval x → EpochInterval
Show EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochInterval → ShowS show ∷ EpochInterval → String showList ∷ [EpochInterval] → ShowS
FromCBOR EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochInterval Source # label ∷ Proxy EpochInterval → Text Source #
ToCBOR EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochInterval → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochInterval → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochInterval] → Size Source #
NFData EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochInterval → ()
Eq EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochInterval → EpochInterval → Bool (/=) ∷ EpochInterval → EpochInterval → Bool
Ord EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochInterval → EpochInterval → Ordering (<) ∷ EpochInterval → EpochInterval → Bool (<=) ∷ EpochInterval → EpochInterval → Bool (>) ∷ EpochInterval → EpochInterval → Bool (>=) ∷ EpochInterval → EpochInterval → Bool max ∷ EpochInterval → EpochInterval → EpochInterval min ∷ EpochInterval → EpochInterval → EpochInterval
NoThunks EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochInterval → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochInterval → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochInterval → String Source #
type Rep EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot type Rep EpochInterval = D1 ('MetaData "EpochInterval" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "EpochInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochInterval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32)))

binOpEpochNo ∷ (Word64 → Word64 → Word64) → EpochNo → EpochNo → EpochNo Source #

Convenience function for doing binary operations on two EpochNos

addEpochInterval ∷ EpochNo → EpochInterval → EpochNo Source #

Add a EpochInterval (a positive change) to an EpochNo to get a new EpochNo