Control.Monad.Trans.Time

Documentation

class Monad m => MonadTime m where

Minimal complete definition

askTime

Methods

askTime :: m UTCTime

Instances

MonadIO m => MonadTime (TimeCacheT m)

Methods

askTime :: TimeCacheT m UTCTime

MonadIO m => MonadTime (TimeT m)

Methods

askTime :: TimeT m UTCTime

class MonadTime m => MonadTimeFormat m where

Minimal complete definition

askFormattedTime

Methods

askFormattedTime :: m Text

askTimeAndFormat :: m (UTCTime, Text)

Instances

MonadIO m => MonadTimeFormat (TimeCacheT m)

Methods

askFormattedTime :: TimeCacheT m Text

askTimeAndFormat :: TimeCacheT m (UTCTime, Text)

MonadIO m => MonadTimeFormat (TimeT m)

Methods

askFormattedTime :: TimeT m Text

askTimeAndFormat :: TimeT m (UTCTime, Text)

data TimeT m a

Instances

MonadTrans TimeT

Methods

lift :: Monad m => m a -> TimeT m a

Monad m => Monad (TimeT m)

Methods

(>>=) :: TimeT m a -> (a -> TimeT m b) -> TimeT m b

(>>) :: TimeT m a -> TimeT m b -> TimeT m b

return :: a -> TimeT m a

fail :: String -> TimeT m a

Functor m => Functor (TimeT m)

Methods

fmap :: (a -> b) -> TimeT m a -> TimeT m b

(<$) :: a -> TimeT m b -> TimeT m a

MonadFix m => MonadFix (TimeT m)

Methods

mfix :: (a -> TimeT m a) -> TimeT m a

Applicative m => Applicative (TimeT m)

Methods

pure :: a -> TimeT m a

(<*>) :: TimeT m (a -> b) -> TimeT m a -> TimeT m b

(*>) :: TimeT m a -> TimeT m b -> TimeT m b

(<*) :: TimeT m a -> TimeT m b -> TimeT m a

MonadIO m => MonadIO (TimeT m)

Methods

liftIO :: IO a -> TimeT m a

MonadIO m => MonadTimeFormat (TimeT m)

Methods

askFormattedTime :: TimeT m Text

askTimeAndFormat :: TimeT m (UTCTime, Text)

MonadIO m => MonadTime (TimeT m)

Methods

askTime :: TimeT m UTCTime

runTimeT :: TimeT m a -> TimeLocale -> String -> m a

data TimeCacheT m a

Instances

MonadTrans TimeCacheT

Methods

lift :: Monad m => m a -> TimeCacheT m a

Monad m => Monad (TimeCacheT m)

Methods

(>>=) :: TimeCacheT m a -> (a -> TimeCacheT m b) -> TimeCacheT m b

(>>) :: TimeCacheT m a -> TimeCacheT m b -> TimeCacheT m b

return :: a -> TimeCacheT m a

fail :: String -> TimeCacheT m a

Functor m => Functor (TimeCacheT m)

Methods

fmap :: (a -> b) -> TimeCacheT m a -> TimeCacheT m b

(<$) :: a -> TimeCacheT m b -> TimeCacheT m a

MonadFix m => MonadFix (TimeCacheT m)

Methods

mfix :: (a -> TimeCacheT m a) -> TimeCacheT m a

Applicative m => Applicative (TimeCacheT m)

Methods

pure :: a -> TimeCacheT m a

(<*>) :: TimeCacheT m (a -> b) -> TimeCacheT m a -> TimeCacheT m b

(*>) :: TimeCacheT m a -> TimeCacheT m b -> TimeCacheT m b

(<*) :: TimeCacheT m a -> TimeCacheT m b -> TimeCacheT m a

MonadIO m => MonadIO (TimeCacheT m)

Methods

liftIO :: IO a -> TimeCacheT m a

MonadIO m => MonadTimeFormat (TimeCacheT m)

Methods

askFormattedTime :: TimeCacheT m Text

askTimeAndFormat :: TimeCacheT m (UTCTime, Text)

MonadIO m => MonadTime (TimeCacheT m)

Methods

askTime :: TimeCacheT m UTCTime

runTimeCacheT :: (TimeUnit t, MonadIO m) => TimeCacheT m a -> t -> TimeLocale -> String -> m a

runTimeCacheTWithGetter :: TimeCacheT m a -> TimeGetter -> m a

askTimeGetter :: Monad m => TimeCacheT m TimeGetter