Effectful.Time

Time measurement via MonadTime.

Effect

data Time :: Effect where

Provide the ability to use the MonadTime instance of Eff.

Constructors

CurrentTime :: Time m UTCTime

MonotonicTime :: Time m Double

Instances

type DispatchOf Time

Defined in Effectful.Time

type DispatchOf Time = 'Dynamic

class Monad m => MonadTime (m :: Type -> Type) where

Class of monads which make it possible to measure time.

Methods

currentTime :: m UTCTime

monotonicTime :: m Double

Instances

MonadTime IO

Base instance for IO.

Defined in Control.Monad.Time

Methods

currentTime :: IO UTCTime

monotonicTime :: IO Double

Time :> es => MonadTime (Eff es)

Defined in Effectful.Time

Methods

currentTime :: Eff es UTCTime

monotonicTime :: Eff es Double

(MonadTime m, MonadTrans t, Monad (t m)) => MonadTime (t m)

Generic, overlapping instance.

Defined in Control.Monad.Time

Methods

currentTime :: t m UTCTime

monotonicTime :: t m Double

Handlers

runTime :: IOE :> es => Eff (Time ': es) a -> Eff es a

Run a Time effect via IO.

runFrozenTime :: IOE :> es => UTCTime -> Eff (Time ': es) a -> Eff es a

Run a Time effect with a frozen value of the CurrentTime operation.

Note: the MonotonicTime operation works the same way as in runTime.

Orphan instances

Time :> es => MonadTime (Eff es)

Methods

currentTime :: Eff es UTCTime

monotonicTime :: Eff es Double