time-units-1.0.0: A basic library for defining units of time as types.
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Time.Units

Description

This module defines types for many useful time periods, as well as mechanisms for converting between them.

Synopsis

Documentation

class TimeUnit a where Source #

A generic class that describes all the units of time. We use microseconds here because that tends to be what GHC (at least) tends to use as its system-level minimum tick size.

Methods

toMicroseconds :: a -> Integer Source #

Converts the given unit of time into microseconds, flooring the value if it comes to a fractional number of microseconds. (In other words: be careful, you may lose precision!)

fromMicroseconds :: Integer -> a Source #

Converts the given number of microseconds into the unit of time, flooring the value if it comes to a fraction number of the given unit. (In other words: be careful, you may lose precision!)

Instances

Instances details
TimeUnit Attosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Day Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Femtosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Fortnight Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Hour Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Microsecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Millisecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Minute Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Nanosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Picosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Second Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Week Source # 
Instance details

Defined in Data.Time.Units

data Attosecond Source #

Instances

Instances details
Data Attosecond Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Attosecond -> c Attosecond #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Attosecond #

toConstr :: Attosecond -> Constr #

dataTypeOf :: Attosecond -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Attosecond) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Attosecond) #

gmapT :: (forall b. Data b => b -> b) -> Attosecond -> Attosecond #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Attosecond -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Attosecond -> r #

gmapQ :: (forall d. Data d => d -> u) -> Attosecond -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Attosecond -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Attosecond -> m Attosecond #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Attosecond -> m Attosecond #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Attosecond -> m Attosecond #

Enum Attosecond Source # 
Instance details

Defined in Data.Time.Units

Ix Attosecond Source # 
Instance details

Defined in Data.Time.Units

Num Attosecond Source # 
Instance details

Defined in Data.Time.Units

Read Attosecond Source # 
Instance details

Defined in Data.Time.Units

Integral Attosecond Source # 
Instance details

Defined in Data.Time.Units

Real Attosecond Source # 
Instance details

Defined in Data.Time.Units

Show Attosecond Source # 
Instance details

Defined in Data.Time.Units

Eq Attosecond Source # 
Instance details

Defined in Data.Time.Units

Ord Attosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Attosecond Source # 
Instance details

Defined in Data.Time.Units

data Femtosecond Source #

Instances

Instances details
Data Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Femtosecond -> c Femtosecond #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Femtosecond #

toConstr :: Femtosecond -> Constr #

dataTypeOf :: Femtosecond -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Femtosecond) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Femtosecond) #

gmapT :: (forall b. Data b => b -> b) -> Femtosecond -> Femtosecond #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Femtosecond -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Femtosecond -> r #

gmapQ :: (forall d. Data d => d -> u) -> Femtosecond -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Femtosecond -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Femtosecond -> m Femtosecond #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Femtosecond -> m Femtosecond #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Femtosecond -> m Femtosecond #

Enum Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Ix Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Num Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Read Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Integral Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Real Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Show Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Eq Femtosecond Source # 
Instance details

Defined in Data.Time.Units

Ord Femtosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Femtosecond Source # 
Instance details

Defined in Data.Time.Units

data Picosecond Source #

Instances

Instances details
Data Picosecond Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Picosecond -> c Picosecond #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Picosecond #

toConstr :: Picosecond -> Constr #

dataTypeOf :: Picosecond -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Picosecond) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Picosecond) #

gmapT :: (forall b. Data b => b -> b) -> Picosecond -> Picosecond #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Picosecond -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Picosecond -> r #

gmapQ :: (forall d. Data d => d -> u) -> Picosecond -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Picosecond -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Picosecond -> m Picosecond #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Picosecond -> m Picosecond #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Picosecond -> m Picosecond #

Enum Picosecond Source # 
Instance details

Defined in Data.Time.Units

Ix Picosecond Source # 
Instance details

Defined in Data.Time.Units

Num Picosecond Source # 
Instance details

Defined in Data.Time.Units

Read Picosecond Source # 
Instance details

Defined in Data.Time.Units

Integral Picosecond Source # 
Instance details

Defined in Data.Time.Units

Real Picosecond Source # 
Instance details

Defined in Data.Time.Units

Show Picosecond Source # 
Instance details

Defined in Data.Time.Units

Eq Picosecond Source # 
Instance details

Defined in Data.Time.Units

Ord Picosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Picosecond Source # 
Instance details

Defined in Data.Time.Units

data Nanosecond Source #

Instances

Instances details
Data Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Nanosecond -> c Nanosecond #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Nanosecond #

toConstr :: Nanosecond -> Constr #

dataTypeOf :: Nanosecond -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Nanosecond) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Nanosecond) #

gmapT :: (forall b. Data b => b -> b) -> Nanosecond -> Nanosecond #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Nanosecond -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Nanosecond -> r #

gmapQ :: (forall d. Data d => d -> u) -> Nanosecond -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Nanosecond -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Nanosecond -> m Nanosecond #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Nanosecond -> m Nanosecond #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Nanosecond -> m Nanosecond #

Enum Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Ix Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Num Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Read Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Integral Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Real Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Show Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Eq Nanosecond Source # 
Instance details

Defined in Data.Time.Units

Ord Nanosecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Nanosecond Source # 
Instance details

Defined in Data.Time.Units

data Microsecond Source #

Instances

Instances details
Data Microsecond Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Microsecond -> c Microsecond #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Microsecond #

toConstr :: Microsecond -> Constr #

dataTypeOf :: Microsecond -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Microsecond) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Microsecond) #

gmapT :: (forall b. Data b => b -> b) -> Microsecond -> Microsecond #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Microsecond -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Microsecond -> r #

gmapQ :: (forall d. Data d => d -> u) -> Microsecond -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Microsecond -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Microsecond -> m Microsecond #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Microsecond -> m Microsecond #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Microsecond -> m Microsecond #

Enum Microsecond Source # 
Instance details

Defined in Data.Time.Units

Ix Microsecond Source # 
Instance details

Defined in Data.Time.Units

Num Microsecond Source # 
Instance details

Defined in Data.Time.Units

Read Microsecond Source # 
Instance details

Defined in Data.Time.Units

Integral Microsecond Source # 
Instance details

Defined in Data.Time.Units

Real Microsecond Source # 
Instance details

Defined in Data.Time.Units

Show Microsecond Source # 
Instance details

Defined in Data.Time.Units

Eq Microsecond Source # 
Instance details

Defined in Data.Time.Units

Ord Microsecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Microsecond Source # 
Instance details

Defined in Data.Time.Units

data Millisecond Source #

Instances

Instances details
Data Millisecond Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Millisecond -> c Millisecond #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Millisecond #

toConstr :: Millisecond -> Constr #

dataTypeOf :: Millisecond -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Millisecond) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Millisecond) #

gmapT :: (forall b. Data b => b -> b) -> Millisecond -> Millisecond #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Millisecond -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Millisecond -> r #

gmapQ :: (forall d. Data d => d -> u) -> Millisecond -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Millisecond -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Millisecond -> m Millisecond #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Millisecond -> m Millisecond #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Millisecond -> m Millisecond #

Enum Millisecond Source # 
Instance details

Defined in Data.Time.Units

Ix Millisecond Source # 
Instance details

Defined in Data.Time.Units

Num Millisecond Source # 
Instance details

Defined in Data.Time.Units

Read Millisecond Source # 
Instance details

Defined in Data.Time.Units

Integral Millisecond Source # 
Instance details

Defined in Data.Time.Units

Real Millisecond Source # 
Instance details

Defined in Data.Time.Units

Show Millisecond Source # 
Instance details

Defined in Data.Time.Units

Eq Millisecond Source # 
Instance details

Defined in Data.Time.Units

Ord Millisecond Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Millisecond Source # 
Instance details

Defined in Data.Time.Units

data Second Source #

Instances

Instances details
Data Second Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Second -> c Second #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Second #

toConstr :: Second -> Constr #

dataTypeOf :: Second -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Second) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Second) #

gmapT :: (forall b. Data b => b -> b) -> Second -> Second #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Second -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Second -> r #

gmapQ :: (forall d. Data d => d -> u) -> Second -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Second -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Second -> m Second #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Second -> m Second #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Second -> m Second #

Enum Second Source # 
Instance details

Defined in Data.Time.Units

Ix Second Source # 
Instance details

Defined in Data.Time.Units

Num Second Source # 
Instance details

Defined in Data.Time.Units

Read Second Source # 
Instance details

Defined in Data.Time.Units

Integral Second Source # 
Instance details

Defined in Data.Time.Units

Real Second Source # 
Instance details

Defined in Data.Time.Units

Show Second Source # 
Instance details

Defined in Data.Time.Units

Eq Second Source # 
Instance details

Defined in Data.Time.Units

Methods

(==) :: Second -> Second -> Bool #

(/=) :: Second -> Second -> Bool #

Ord Second Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Second Source # 
Instance details

Defined in Data.Time.Units

data Minute Source #

Instances

Instances details
Data Minute Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Minute -> c Minute #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Minute #

toConstr :: Minute -> Constr #

dataTypeOf :: Minute -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Minute) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Minute) #

gmapT :: (forall b. Data b => b -> b) -> Minute -> Minute #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Minute -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Minute -> r #

gmapQ :: (forall d. Data d => d -> u) -> Minute -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Minute -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Minute -> m Minute #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Minute -> m Minute #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Minute -> m Minute #

Enum Minute Source # 
Instance details

Defined in Data.Time.Units

Ix Minute Source # 
Instance details

Defined in Data.Time.Units

Num Minute Source # 
Instance details

Defined in Data.Time.Units

Read Minute Source # 
Instance details

Defined in Data.Time.Units

Integral Minute Source # 
Instance details

Defined in Data.Time.Units

Real Minute Source # 
Instance details

Defined in Data.Time.Units

Show Minute Source # 
Instance details

Defined in Data.Time.Units

Eq Minute Source # 
Instance details

Defined in Data.Time.Units

Methods

(==) :: Minute -> Minute -> Bool #

(/=) :: Minute -> Minute -> Bool #

Ord Minute Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Minute Source # 
Instance details

Defined in Data.Time.Units

data Hour Source #

Instances

Instances details
Data Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Hour -> c Hour #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Hour #

toConstr :: Hour -> Constr #

dataTypeOf :: Hour -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Hour) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Hour) #

gmapT :: (forall b. Data b => b -> b) -> Hour -> Hour #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Hour -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Hour -> r #

gmapQ :: (forall d. Data d => d -> u) -> Hour -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Hour -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Hour -> m Hour #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Hour -> m Hour #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Hour -> m Hour #

Enum Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

succ :: Hour -> Hour #

pred :: Hour -> Hour #

toEnum :: Int -> Hour #

fromEnum :: Hour -> Int #

enumFrom :: Hour -> [Hour] #

enumFromThen :: Hour -> Hour -> [Hour] #

enumFromTo :: Hour -> Hour -> [Hour] #

enumFromThenTo :: Hour -> Hour -> Hour -> [Hour] #

Ix Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

range :: (Hour, Hour) -> [Hour] #

index :: (Hour, Hour) -> Hour -> Int #

unsafeIndex :: (Hour, Hour) -> Hour -> Int #

inRange :: (Hour, Hour) -> Hour -> Bool #

rangeSize :: (Hour, Hour) -> Int #

unsafeRangeSize :: (Hour, Hour) -> Int #

Num Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

(+) :: Hour -> Hour -> Hour #

(-) :: Hour -> Hour -> Hour #

(*) :: Hour -> Hour -> Hour #

negate :: Hour -> Hour #

abs :: Hour -> Hour #

signum :: Hour -> Hour #

fromInteger :: Integer -> Hour #

Read Hour Source # 
Instance details

Defined in Data.Time.Units

Integral Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

quot :: Hour -> Hour -> Hour #

rem :: Hour -> Hour -> Hour #

div :: Hour -> Hour -> Hour #

mod :: Hour -> Hour -> Hour #

quotRem :: Hour -> Hour -> (Hour, Hour) #

divMod :: Hour -> Hour -> (Hour, Hour) #

toInteger :: Hour -> Integer #

Real Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

toRational :: Hour -> Rational #

Show Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

showsPrec :: Int -> Hour -> ShowS #

show :: Hour -> String #

showList :: [Hour] -> ShowS #

Eq Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

(==) :: Hour -> Hour -> Bool #

(/=) :: Hour -> Hour -> Bool #

Ord Hour Source # 
Instance details

Defined in Data.Time.Units

Methods

compare :: Hour -> Hour -> Ordering #

(<) :: Hour -> Hour -> Bool #

(<=) :: Hour -> Hour -> Bool #

(>) :: Hour -> Hour -> Bool #

(>=) :: Hour -> Hour -> Bool #

max :: Hour -> Hour -> Hour #

min :: Hour -> Hour -> Hour #

TimeUnit Hour Source # 
Instance details

Defined in Data.Time.Units

data Day Source #

Instances

Instances details
Data Day Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Day -> c Day #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Day #

toConstr :: Day -> Constr #

dataTypeOf :: Day -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Day) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Day) #

gmapT :: (forall b. Data b => b -> b) -> Day -> Day #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r #

gmapQ :: (forall d. Data d => d -> u) -> Day -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Day -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Day -> m Day #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day #

Enum Day Source # 
Instance details

Defined in Data.Time.Units

Methods

succ :: Day -> Day #

pred :: Day -> Day #

toEnum :: Int -> Day #

fromEnum :: Day -> Int #

enumFrom :: Day -> [Day] #

enumFromThen :: Day -> Day -> [Day] #

enumFromTo :: Day -> Day -> [Day] #

enumFromThenTo :: Day -> Day -> Day -> [Day] #

Ix Day Source # 
Instance details

Defined in Data.Time.Units

Methods

range :: (Day, Day) -> [Day] #

index :: (Day, Day) -> Day -> Int #

unsafeIndex :: (Day, Day) -> Day -> Int #

inRange :: (Day, Day) -> Day -> Bool #

rangeSize :: (Day, Day) -> Int #

unsafeRangeSize :: (Day, Day) -> Int #

Num Day Source # 
Instance details

Defined in Data.Time.Units

Methods

(+) :: Day -> Day -> Day #

(-) :: Day -> Day -> Day #

(*) :: Day -> Day -> Day #

negate :: Day -> Day #

abs :: Day -> Day #

signum :: Day -> Day #

fromInteger :: Integer -> Day #

Read Day Source # 
Instance details

Defined in Data.Time.Units

Integral Day Source # 
Instance details

Defined in Data.Time.Units

Methods

quot :: Day -> Day -> Day #

rem :: Day -> Day -> Day #

div :: Day -> Day -> Day #

mod :: Day -> Day -> Day #

quotRem :: Day -> Day -> (Day, Day) #

divMod :: Day -> Day -> (Day, Day) #

toInteger :: Day -> Integer #

Real Day Source # 
Instance details

Defined in Data.Time.Units

Methods

toRational :: Day -> Rational #

Show Day Source # 
Instance details

Defined in Data.Time.Units

Methods

showsPrec :: Int -> Day -> ShowS #

show :: Day -> String #

showList :: [Day] -> ShowS #

Eq Day Source # 
Instance details

Defined in Data.Time.Units

Methods

(==) :: Day -> Day -> Bool #

(/=) :: Day -> Day -> Bool #

Ord Day Source # 
Instance details

Defined in Data.Time.Units

Methods

compare :: Day -> Day -> Ordering #

(<) :: Day -> Day -> Bool #

(<=) :: Day -> Day -> Bool #

(>) :: Day -> Day -> Bool #

(>=) :: Day -> Day -> Bool #

max :: Day -> Day -> Day #

min :: Day -> Day -> Day #

TimeUnit Day Source # 
Instance details

Defined in Data.Time.Units

data Week Source #

Instances

Instances details
Data Week Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Week -> c Week #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Week #

toConstr :: Week -> Constr #

dataTypeOf :: Week -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Week) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Week) #

gmapT :: (forall b. Data b => b -> b) -> Week -> Week #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Week -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Week -> r #

gmapQ :: (forall d. Data d => d -> u) -> Week -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Week -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Week -> m Week #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Week -> m Week #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Week -> m Week #

Enum Week Source # 
Instance details

Defined in Data.Time.Units

Methods

succ :: Week -> Week #

pred :: Week -> Week #

toEnum :: Int -> Week #

fromEnum :: Week -> Int #

enumFrom :: Week -> [Week] #

enumFromThen :: Week -> Week -> [Week] #

enumFromTo :: Week -> Week -> [Week] #

enumFromThenTo :: Week -> Week -> Week -> [Week] #

Ix Week Source # 
Instance details

Defined in Data.Time.Units

Methods

range :: (Week, Week) -> [Week] #

index :: (Week, Week) -> Week -> Int #

unsafeIndex :: (Week, Week) -> Week -> Int #

inRange :: (Week, Week) -> Week -> Bool #

rangeSize :: (Week, Week) -> Int #

unsafeRangeSize :: (Week, Week) -> Int #

Num Week Source # 
Instance details

Defined in Data.Time.Units

Methods

(+) :: Week -> Week -> Week #

(-) :: Week -> Week -> Week #

(*) :: Week -> Week -> Week #

negate :: Week -> Week #

abs :: Week -> Week #

signum :: Week -> Week #

fromInteger :: Integer -> Week #

Read Week Source # 
Instance details

Defined in Data.Time.Units

Integral Week Source # 
Instance details

Defined in Data.Time.Units

Methods

quot :: Week -> Week -> Week #

rem :: Week -> Week -> Week #

div :: Week -> Week -> Week #

mod :: Week -> Week -> Week #

quotRem :: Week -> Week -> (Week, Week) #

divMod :: Week -> Week -> (Week, Week) #

toInteger :: Week -> Integer #

Real Week Source # 
Instance details

Defined in Data.Time.Units

Methods

toRational :: Week -> Rational #

Show Week Source # 
Instance details

Defined in Data.Time.Units

Methods

showsPrec :: Int -> Week -> ShowS #

show :: Week -> String #

showList :: [Week] -> ShowS #

Eq Week Source # 
Instance details

Defined in Data.Time.Units

Methods

(==) :: Week -> Week -> Bool #

(/=) :: Week -> Week -> Bool #

Ord Week Source # 
Instance details

Defined in Data.Time.Units

Methods

compare :: Week -> Week -> Ordering #

(<) :: Week -> Week -> Bool #

(<=) :: Week -> Week -> Bool #

(>) :: Week -> Week -> Bool #

(>=) :: Week -> Week -> Bool #

max :: Week -> Week -> Week #

min :: Week -> Week -> Week #

TimeUnit Week Source # 
Instance details

Defined in Data.Time.Units

data Fortnight Source #

Instances

Instances details
Data Fortnight Source # 
Instance details

Defined in Data.Time.Units

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Fortnight -> c Fortnight #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Fortnight #

toConstr :: Fortnight -> Constr #

dataTypeOf :: Fortnight -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Fortnight) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Fortnight) #

gmapT :: (forall b. Data b => b -> b) -> Fortnight -> Fortnight #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Fortnight -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Fortnight -> r #

gmapQ :: (forall d. Data d => d -> u) -> Fortnight -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Fortnight -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Fortnight -> m Fortnight #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Fortnight -> m Fortnight #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Fortnight -> m Fortnight #

Enum Fortnight Source # 
Instance details

Defined in Data.Time.Units

Ix Fortnight Source # 
Instance details

Defined in Data.Time.Units

Num Fortnight Source # 
Instance details

Defined in Data.Time.Units

Read Fortnight Source # 
Instance details

Defined in Data.Time.Units

Integral Fortnight Source # 
Instance details

Defined in Data.Time.Units

Real Fortnight Source # 
Instance details

Defined in Data.Time.Units

Show Fortnight Source # 
Instance details

Defined in Data.Time.Units

Eq Fortnight Source # 
Instance details

Defined in Data.Time.Units

Ord Fortnight Source # 
Instance details

Defined in Data.Time.Units

TimeUnit Fortnight Source # 
Instance details

Defined in Data.Time.Units

addTime :: (TimeUnit a, TimeUnit b, TimeUnit c) => a -> b -> c Source #

Add two times together to get a useful third time unit. As per usual, you'll want to make sure that you are careful regarding precision. This function goes through microseconds as an intermediary form.

subTime :: (TimeUnit a, TimeUnit b, TimeUnit c) => a -> b -> c Source #

Subtract the second time from the first, to get a useful third time unit. As per usual, you'll want to make sure that you are careful regarding precision. This function goes through microseconds as an intermediary form.

convertUnit :: (TimeUnit a, TimeUnit b) => a -> b Source #

Convert one time unit to another. Note that if you move from a smaller time unit to a larger one, or between two time units smaller than a microsecond, you will lose precision.

getCPUTimeWithUnit :: TimeUnit a => IO a Source #

Get the current CPU time in your favorite units. This is probably not very useful in itself, but is likely useful for comparison purposes ...