Modulemonad-time-effectful-1.0.0.0Haskell2010

Effectful.Time

Time measurement via MonadTime.

Effect

2 declarations

datadata Time (a :: Type -> Type) b where

Provide the ability to use the MonadTime instance of Eff.

Instances1DispatchOf

type DispatchOf Time = 'DynamicDefined in monad-time-effectful-1.0.0.0 · Effectful.Time

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

Class of monads which make it possible to measure time.

Instances3MonadTime

MonadTime IODefined in monad-time-0.4.0.0 · Control.Monad.Time
Base instance for IO.
Time :> es => MonadTime (Eff es)Defined in monad-time-effectful-1.0.0.0 · Effectful.Time · orphan
(MonadTime m, MonadTrans t, Monad (t m)) => MonadTime (t m)Defined in monad-time-0.4.0.0 · Control.Monad.Time
Generic, overlapping instance.

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

Run a Time effect via IO.

valuerunFrozenTime :: 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.

1 instance