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 Source # maxBound ∷ SlotNo Source #
Enum SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ SlotNo → SlotNo Source # pred ∷ SlotNo → SlotNo Source # toEnum ∷ Int → SlotNo Source # fromEnum ∷ SlotNo → Int Source # enumFrom ∷ SlotNo → [SlotNo] Source # enumFromThen ∷ SlotNo → SlotNo → [SlotNo] Source # enumFromTo ∷ SlotNo → SlotNo → [SlotNo] Source # enumFromThenTo ∷ SlotNo → SlotNo → SlotNo → [SlotNo] Source #
Generic SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo ∷ Type → Type Source # Methods from ∷ SlotNo → Rep SlotNo x Source # to ∷ Rep SlotNo x → SlotNo Source #
Num SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (+) ∷ SlotNo → SlotNo → SlotNo Source # (-) ∷ SlotNo → SlotNo → SlotNo Source # (*) ∷ SlotNo → SlotNo → SlotNo Source # negate ∷ SlotNo → SlotNo Source # abs ∷ SlotNo → SlotNo Source # signum ∷ SlotNo → SlotNo Source # fromInteger ∷ Integer → SlotNo Source #
Show SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → SlotNo → ShowS Source # show ∷ SlotNo → String Source # showList ∷ [SlotNo] → ShowS Source #
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 → () Source #
Eq SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ SlotNo → SlotNo → Bool Source # (/=) ∷ SlotNo → SlotNo → Bool Source #
Ord SlotNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ SlotNo → SlotNo → Ordering Source # (<) ∷ SlotNo → SlotNo → Bool Source # (<=) ∷ SlotNo → SlotNo → Bool Source # (>) ∷ SlotNo → SlotNo → Bool Source # (>=) ∷ SlotNo → SlotNo → Bool Source # max ∷ SlotNo → SlotNo → SlotNo Source # min ∷ SlotNo → SlotNo → SlotNo Source #
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 Source # foldMap ∷ Monoid m ⇒ (a → m) → WithOrigin a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → WithOrigin a → m Source # foldr ∷ (a → b → b) → b → WithOrigin a → b Source # foldr' ∷ (a → b → b) → b → WithOrigin a → b Source # foldl ∷ (b → a → b) → b → WithOrigin a → b Source # foldl' ∷ (b → a → b) → b → WithOrigin a → b Source # foldr1 ∷ (a → a → a) → WithOrigin a → a Source # foldl1 ∷ (a → a → a) → WithOrigin a → a Source # toList ∷ WithOrigin a → [a] Source # null ∷ WithOrigin a → Bool Source # length ∷ WithOrigin a → Int Source # elem ∷ Eq a ⇒ a → WithOrigin a → Bool Source # maximum ∷ Ord a ⇒ WithOrigin a → a Source # minimum ∷ Ord a ⇒ WithOrigin a → a Source # sum ∷ Num a ⇒ WithOrigin a → a Source # product ∷ Num a ⇒ WithOrigin a → a Source #
Traversable WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods traverse ∷ Applicative f ⇒ (a → f b) → WithOrigin a → f (WithOrigin b) Source # sequenceA ∷ Applicative f ⇒ WithOrigin (f a) → f (WithOrigin a) Source # mapM ∷ Monad m ⇒ (a → m b) → WithOrigin a → m (WithOrigin b) Source # sequence ∷ Monad m ⇒ WithOrigin (m a) → m (WithOrigin a) Source #
Functor WithOrigin Source #
Instance details Defined in Cardano.Slotting.Slot Methods fmap ∷ (a → b) → WithOrigin a → WithOrigin b Source # (<$) ∷ a → WithOrigin b → WithOrigin a Source #
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 Source # maxBound ∷ WithOrigin t Source #
Generic (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep (WithOrigin t) ∷ Type → Type Source # Methods from ∷ WithOrigin t → Rep (WithOrigin t) x Source # to ∷ Rep (WithOrigin t) x → WithOrigin t Source #
Show t ⇒ Show (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → WithOrigin t → ShowS Source # show ∷ WithOrigin t → String Source # showList ∷ [WithOrigin t] → ShowS Source #
(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 → () Source #
Eq t ⇒ Eq (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ WithOrigin t → WithOrigin t → Bool Source # (/=) ∷ WithOrigin t → WithOrigin t → Bool Source #
Ord t ⇒ Ord (WithOrigin t) Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ WithOrigin t → WithOrigin t → Ordering Source # (<) ∷ WithOrigin t → WithOrigin t → Bool Source # (<=) ∷ WithOrigin t → WithOrigin t → Bool Source # (>) ∷ WithOrigin t → WithOrigin t → Bool Source # (>=) ∷ WithOrigin t → WithOrigin t → Bool Source # max ∷ WithOrigin t → WithOrigin t → WithOrigin t Source # min ∷ WithOrigin t → WithOrigin t → WithOrigin t Source #
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 Source # pred ∷ EpochNo → EpochNo Source # toEnum ∷ Int → EpochNo Source # fromEnum ∷ EpochNo → Int Source # enumFrom ∷ EpochNo → [EpochNo] Source # enumFromThen ∷ EpochNo → EpochNo → [EpochNo] Source # enumFromTo ∷ EpochNo → EpochNo → [EpochNo] Source # enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo] Source #
Generic EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo ∷ Type → Type Source # Methods from ∷ EpochNo → Rep EpochNo x Source # to ∷ Rep EpochNo x → EpochNo Source #
Show EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochNo → ShowS Source # show ∷ EpochNo → String Source # showList ∷ [EpochNo] → ShowS Source #
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 → () Source #
Eq EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochNo → EpochNo → Bool Source # (/=) ∷ EpochNo → EpochNo → Bool Source #
Ord EpochNo Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochNo → EpochNo → Ordering Source # (<) ∷ EpochNo → EpochNo → Bool Source # (<=) ∷ EpochNo → EpochNo → Bool Source # (>) ∷ EpochNo → EpochNo → Bool Source # (>=) ∷ EpochNo → EpochNo → Bool Source # max ∷ EpochNo → EpochNo → EpochNo Source # min ∷ EpochNo → EpochNo → EpochNo Source #
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 Source # pred ∷ EpochSize → EpochSize Source # toEnum ∷ Int → EpochSize Source # fromEnum ∷ EpochSize → Int Source # enumFrom ∷ EpochSize → [EpochSize] Source # enumFromThen ∷ EpochSize → EpochSize → [EpochSize] Source # enumFromTo ∷ EpochSize → EpochSize → [EpochSize] Source # enumFromThenTo ∷ EpochSize → EpochSize → EpochSize → [EpochSize] Source #
Generic EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochSize ∷ Type → Type Source # Methods from ∷ EpochSize → Rep EpochSize x Source # to ∷ Rep EpochSize x → EpochSize Source #
Show EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochSize → ShowS Source # show ∷ EpochSize → String Source # showList ∷ [EpochSize] → ShowS Source #
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 → () Source #
Eq EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochSize → EpochSize → Bool Source # (/=) ∷ EpochSize → EpochSize → Bool Source #
Ord EpochSize Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochSize → EpochSize → Ordering Source # (<) ∷ EpochSize → EpochSize → Bool Source # (<=) ∷ EpochSize → EpochSize → Bool Source # (>) ∷ EpochSize → EpochSize → Bool Source # (>=) ∷ EpochSize → EpochSize → Bool Source # max ∷ EpochSize → EpochSize → EpochSize Source # min ∷ EpochSize → EpochSize → EpochSize Source #
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 Source # Methods from ∷ EpochInterval → Rep EpochInterval x Source # to ∷ Rep EpochInterval x → EpochInterval Source #
Show EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochInterval → ShowS Source # show ∷ EpochInterval → String Source # showList ∷ [EpochInterval] → ShowS Source #
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 → () Source #
Eq EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochInterval → EpochInterval → Bool Source # (/=) ∷ EpochInterval → EpochInterval → Bool Source #
Ord EpochInterval Source #
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochInterval → EpochInterval → Ordering Source # (<) ∷ EpochInterval → EpochInterval → Bool Source # (<=) ∷ EpochInterval → EpochInterval → Bool Source # (>) ∷ EpochInterval → EpochInterval → Bool Source # (>=) ∷ EpochInterval → EpochInterval → Bool Source # max ∷ EpochInterval → EpochInterval → EpochInterval Source # min ∷ EpochInterval → EpochInterval → EpochInterval Source #
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