Documentation

type Time = Input UTCTime :: k1 -> Type -> Type #

getCurrentTime :: forall (effs :: EffectRow). Member (Time :: (Type -> Type) -> Type -> Type) effs => Sem effs UTCTime #

runCurrentTimeIO :: forall (effs :: EffectRow) (m :: Type -> Type) a. (Member (Embed m) effs, MonadIO m) => Sem ((Time :: (Type -> Type) -> Type -> Type) ': effs) a -> Sem effs a #

time_ :: forall (r :: EffectRow). Member (Time :: (Type -> Type) -> Type -> Type) r => Sem r () -> Sem r NominalDiffTime #