Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Slotting.Slot
Synopsis
- newtype SlotNo = SlotNo {}
- data WithOrigin 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 {}
- newtype EpochSize = EpochSize {}
Documentation
The 0-based index for the Ourboros time slot.
Instances
Bounded SlotNo Source # | |
Enum SlotNo Source # | |
Defined in Cardano.Slotting.Slot | |
Eq SlotNo Source # | |
Num SlotNo Source # | |
Ord SlotNo Source # | |
Show SlotNo Source # | |
Generic SlotNo Source # | |
ToJSON SlotNo Source # | |
FromJSON SlotNo Source # | |
ToCBOR SlotNo Source # | |
FromCBOR SlotNo Source # | |
NFData SlotNo Source # | |
Defined in Cardano.Slotting.Slot | |
NoThunks SlotNo Source # | |
Serialise SlotNo Source # | |
type Rep SlotNo Source # | |
Defined in Cardano.Slotting.Slot |
data WithOrigin t Source #
Instances
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 #
An epoch, i.e. the number of the epoch.
Instances
Enum EpochNo Source # | |
Eq EpochNo Source # | |
Num EpochNo Source # | |
Ord EpochNo Source # | |
Defined in Cardano.Slotting.Slot | |
Show EpochNo Source # | |
Generic EpochNo Source # | |
ToJSON EpochNo Source # | |
FromJSON EpochNo Source # | |
ToCBOR EpochNo Source # | |
FromCBOR EpochNo Source # | |
NoThunks EpochNo Source # | |
Serialise EpochNo Source # | |
type Rep EpochNo Source # | |
Defined in Cardano.Slotting.Slot |
Constructors
EpochSize | |
Fields |