OM.Time

Basic missing time utilities.

Documentation

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

A monad that can produce the current time as a TimeSpec.

Methods

getTime :: m TimeSpec

Instances

MonadTimeSpec IO

The IO instances uses getTime MonotonicCoarse.

Defined in OM.Time

Methods

getTime :: IO TimeSpec

Monad m => MonadTimeSpec (NowT m)

Defined in OM.Time

Methods

getTime :: NowT m TimeSpec

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

Defined in OM.Time

Methods

getTime :: t m TimeSpec

newtype Time

Wrapper around UTCTime, used mainly to provide a Binary instance.

Constructors

Time

Fields

• unTime :: UTCTime

Instances

FromJSON Time

Defined in OM.Time

Methods

parseJSON :: Value -> Parser Time

parseJSONList :: Value -> Parser [Time]

omittedField :: Maybe Time

FromJSONKey Time

Defined in OM.Time

Methods

fromJSONKey :: FromJSONKeyFunction Time

fromJSONKeyList :: FromJSONKeyFunction [Time]

ToJSON Time

Defined in OM.Time

Methods

toJSON :: Time -> Value

toEncoding :: Time -> Encoding

toJSONList :: [Time] -> Value

toEncodingList :: [Time] -> Encoding

omitField :: Time -> Bool

ToJSONKey Time

Defined in OM.Time

Methods

toJSONKey :: ToJSONKeyFunction Time

toJSONKeyList :: ToJSONKeyFunction [Time]

Binary Time

Defined in OM.Time

Methods

put :: Time -> Put

get :: Get Time

putList :: [Time] -> Put

Show Time

Defined in OM.Time

Methods

showsPrec :: Int -> Time -> ShowS

show :: Time -> String

showList :: [Time] -> ShowS

Eq Time

Defined in OM.Time

Methods

(==) :: Time -> Time -> Bool

(/=) :: Time -> Time -> Bool

Ord Time

Defined in OM.Time

Methods

compare :: Time -> Time -> Ordering

(<) :: Time -> Time -> Bool

(<=) :: Time -> Time -> Bool

(>) :: Time -> Time -> Bool

(>=) :: Time -> Time -> Bool

max :: Time -> Time -> Time

min :: Time -> Time -> Time

timed :: MonadTimeSpec m => m a -> m (a, DiffTime)

Perform an action and measure how long it takes.

diffTimeSpec :: TimeSpec -> TimeSpec -> DiffTime

Take the difference of two time specs, as a DiffTime.

addTime :: DiffTime -> TimeSpec -> TimeSpec

Add a DiffTime to a TimeSpec.

data NowT (m :: Type -> Type) a

An instance of MonadTimeSpec where the time is always a constant value.

Instances

MonadTrans NowT

Defined in OM.Time

Methods

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

Applicative m => Applicative (NowT m)

Defined in OM.Time

Methods

pure :: a -> NowT m a

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

liftA2 :: (a -> b -> c) -> NowT m a -> NowT m b -> NowT m c

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

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

Functor m => Functor (NowT m)

Defined in OM.Time

Methods

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

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

Monad m => Monad (NowT m)

Defined in OM.Time

Methods

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

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

return :: a -> NowT m a

Monad m => MonadTimeSpec (NowT m)

Defined in OM.Time

Methods

getTime :: NowT m TimeSpec

runNowT :: TimeSpec -> NowT m a -> m a