Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Modulecardano-slotting-0.2.2.0

Cardano.Slotting.EpochInfo

1 type
12 values

Packagecardano-slotting-0.2.2.0
Exports13
LicenceApache-2.0

valueepochInfoEpoch :: HasCallStack => EpochInfo m -> SlotNo -> m EpochNo

valueepochInfoFirst :: HasCallStack => EpochInfo m -> EpochNo -> m SlotNo

valueepochInfoRange :: Monad m => EpochInfo m -> EpochNo -> m (SlotNo, SlotNo)

valueepochInfoSize :: HasCallStack => EpochInfo m -> EpochNo -> m EpochSize

valueepochInfoSlotLength :: HasCallStack => EpochInfo m -> SlotNo -> m SlotLength

valueepochInfoSlotToRelativeTime

:: HasCallStack
=> EpochInfo m
-> SlotNo
-> m RelativeTime

valueepochInfoSlotToUTCTime

:: (HasCallStack, Monad m)
=> EpochInfo m
-> SystemStart
-> SlotNo
-> m UTCTime

valuegeneralizeEpochInfo :: Monad m => EpochInfo Identity -> EpochInfo m

valuehoistEpochInfo :: (forall a. m a -> n a) -> EpochInfo m -> EpochInfo n

valuefixedEpochInfo :: Monad m => EpochSize -> SlotLength -> EpochInfo m

valuefixedEpochInfoEpoch :: EpochSize -> SlotNo -> EpochNo

valuefixedEpochInfoFirst :: EpochSize -> EpochNo -> SlotNo

datadata EpochInfo (m :: Type -> Type)

Constructors

EpochInfo
- epochInfoSize_ :: HasCallStack => EpochNo -> m EpochSize
- epochInfoFirst_ :: HasCallStack => EpochNo -> m SlotNo
- epochInfoEpoch_ :: HasCallStack => SlotNo -> m EpochNo
- epochInfoSlotToRelativeTime_ :: HasCallStack => SlotNo -> m RelativeTime
- epochInfoSlotLength_ :: HasCallStack => SlotNo -> m SlotLength

Instances2Show, NoThunks

Show (EpochInfo f)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.EpochInfo.API
NoThunks (EpochInfo m)Defined in cardano-slotting-0.2.2.0 · Cardano.Slotting.EpochInfo.API