| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Polysemy.Time.At
Description
Interceptors for fixing a specific time, Internal
Synopsis
- dateCurrentRelative :: forall diff t d r. Torsor t diff => Members [Time t d, AtomicState (t, t)] r => Sem r t
- interceptTimeAtWithStart :: forall diff t d r a. Torsor t diff => TimeUnit diff => HasDate t d => Members [Time t d, AtomicState (t, t)] r => Sem r a -> Sem r a
- interceptTimeAt :: forall (diff :: Type) t d r a. TimeUnit diff => Torsor t diff => HasDate t d => Members [Time t d, Embed IO] r => t -> Sem r a -> Sem r a
- sleepPoll :: forall t d diff u r. Ord diff => TimeUnit u => TimeUnit diff => Torsor t diff => Members [Time t d, AtomicState t] r => u -> t -> Sem r ()
- interceptTimeConstantState :: forall t d diff r a. Ord diff => HasDate t d => TimeUnit diff => Torsor t diff => Members [Time t d, AtomicState t] r => Sem r a -> Sem r a
- interceptTimeConstant :: forall t d diff r a. Ord diff => HasDate t d => TimeUnit diff => Torsor t diff => Members [Time t d, Embed IO] r => t -> Sem r a -> Sem r a
- interceptTimeConstantNow :: forall t d diff r a. Ord diff => HasDate t d => TimeUnit diff => Torsor t diff => Members [Time t d, Embed IO] r => Sem r a -> Sem r a
Documentation
dateCurrentRelative :: forall diff t d r. Torsor t diff => Members [Time t d, AtomicState (t, t)] r => Sem r t Source #
Determine the current time adjusted for the difference between a custom instant and the time at which the program was started.
interceptTimeAtWithStart :: forall diff t d r a. Torsor t diff => TimeUnit diff => HasDate t d => Members [Time t d, AtomicState (t, t)] r => Sem r a -> Sem r a Source #
interceptTimeAt :: forall (diff :: Type) t d r a. TimeUnit diff => Torsor t diff => HasDate t d => Members [Time t d, Embed IO] r => t -> Sem r a -> Sem r a Source #
Interpret Time so that the time when the program starts is startAt.
sleepPoll :: forall t d diff u r. Ord diff => TimeUnit u => TimeUnit diff => Torsor t diff => Members [Time t d, AtomicState t] r => u -> t -> Sem r () Source #
interceptTimeConstantState :: forall t d diff r a. Ord diff => HasDate t d => TimeUnit diff => Torsor t diff => Members [Time t d, AtomicState t] r => Sem r a -> Sem r a Source #
interceptTimeConstant :: forall t d diff r a. Ord diff => HasDate t d => TimeUnit diff => Torsor t diff => Members [Time t d, Embed IO] r => t -> Sem r a -> Sem r a Source #