module Test.Cardano.Chain.Slotting.Example (
  exampleEpochNumber,
  exampleEpochAndSlotCount,
  exampleSlotNumber,
)
where

import Cardano.Chain.Slotting (
  EpochAndSlotCount (..),
  EpochNumber (..),
  EpochSlots (..),
  SlotCount (..),
  SlotNumber,
  toSlotNumber,
 )

exampleEpochNumber :: EpochNumber
exampleEpochNumber :: EpochNumber
exampleEpochNumber = Word64 -> EpochNumber
EpochNumber Word64
14

exampleSlotNumber :: EpochSlots -> SlotNumber
exampleSlotNumber :: EpochSlots -> SlotNumber
exampleSlotNumber EpochSlots
es = EpochSlots -> EpochAndSlotCount -> SlotNumber
toSlotNumber EpochSlots
es EpochAndSlotCount
exampleEpochAndSlotCount

exampleEpochAndSlotCount :: EpochAndSlotCount
exampleEpochAndSlotCount :: EpochAndSlotCount
exampleEpochAndSlotCount = EpochNumber -> SlotCount -> EpochAndSlotCount
EpochAndSlotCount (Word64 -> EpochNumber
EpochNumber Word64
11) (Word64 -> SlotCount
SlotCount Word64
47)