time-units-1.0.0: A basic library for defining units of time as types.

Safe HaskellNone
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 #

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 #

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 #

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
TimeUnit Fortnight # 
Instance details

Defined in Data.Time.Units

TimeUnit Week # 
Instance details

Defined in Data.Time.Units

TimeUnit Day # 
Instance details

Defined in Data.Time.Units

TimeUnit Hour # 
Instance details

Defined in Data.Time.Units

TimeUnit Minute # 
Instance details

Defined in Data.Time.Units

TimeUnit Second # 
Instance details

Defined in Data.Time.Units

TimeUnit Millisecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Microsecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Nanosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Picosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Femtosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Attosecond # 
Instance details

Defined in Data.Time.Units

data Attosecond #

Instances
Enum Attosecond # 
Instance details

Defined in Data.Time.Units

Eq Attosecond # 
Instance details

Defined in Data.Time.Units

Integral Attosecond # 
Instance details

Defined in Data.Time.Units

Data Attosecond # 
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 :: (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 #

Num Attosecond # 
Instance details

Defined in Data.Time.Units

Ord Attosecond # 
Instance details

Defined in Data.Time.Units

Read Attosecond # 
Instance details

Defined in Data.Time.Units

Real Attosecond # 
Instance details

Defined in Data.Time.Units

Show Attosecond # 
Instance details

Defined in Data.Time.Units

Ix Attosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Attosecond # 
Instance details

Defined in Data.Time.Units

data Femtosecond #

Instances
Enum Femtosecond # 
Instance details

Defined in Data.Time.Units

Eq Femtosecond # 
Instance details

Defined in Data.Time.Units

Integral Femtosecond # 
Instance details

Defined in Data.Time.Units

Data Femtosecond # 
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 :: (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 #

Num Femtosecond # 
Instance details

Defined in Data.Time.Units

Ord Femtosecond # 
Instance details

Defined in Data.Time.Units

Read Femtosecond # 
Instance details

Defined in Data.Time.Units

Real Femtosecond # 
Instance details

Defined in Data.Time.Units

Show Femtosecond # 
Instance details

Defined in Data.Time.Units

Ix Femtosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Femtosecond # 
Instance details

Defined in Data.Time.Units

data Picosecond #

Instances
Enum Picosecond # 
Instance details

Defined in Data.Time.Units

Eq Picosecond # 
Instance details

Defined in Data.Time.Units

Integral Picosecond # 
Instance details

Defined in Data.Time.Units

Data Picosecond # 
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 :: (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 #

Num Picosecond # 
Instance details

Defined in Data.Time.Units

Ord Picosecond # 
Instance details

Defined in Data.Time.Units

Read Picosecond # 
Instance details

Defined in Data.Time.Units

Real Picosecond # 
Instance details

Defined in Data.Time.Units

Show Picosecond # 
Instance details

Defined in Data.Time.Units

Ix Picosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Picosecond # 
Instance details

Defined in Data.Time.Units

data Nanosecond #

Instances
Enum Nanosecond # 
Instance details

Defined in Data.Time.Units

Eq Nanosecond # 
Instance details

Defined in Data.Time.Units

Integral Nanosecond # 
Instance details

Defined in Data.Time.Units

Data Nanosecond # 
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 :: (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 #

Num Nanosecond # 
Instance details

Defined in Data.Time.Units

Ord Nanosecond # 
Instance details

Defined in Data.Time.Units

Read Nanosecond # 
Instance details

Defined in Data.Time.Units

Real Nanosecond # 
Instance details

Defined in Data.Time.Units

Show Nanosecond # 
Instance details

Defined in Data.Time.Units

Ix Nanosecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Nanosecond # 
Instance details

Defined in Data.Time.Units

data Microsecond #

Instances
Enum Microsecond # 
Instance details

Defined in Data.Time.Units

Eq Microsecond # 
Instance details

Defined in Data.Time.Units

Integral Microsecond # 
Instance details

Defined in Data.Time.Units

Data Microsecond # 
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 :: (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 #

Num Microsecond # 
Instance details

Defined in Data.Time.Units

Ord Microsecond # 
Instance details

Defined in Data.Time.Units

Read Microsecond # 
Instance details

Defined in Data.Time.Units

Real Microsecond # 
Instance details

Defined in Data.Time.Units

Show Microsecond # 
Instance details

Defined in Data.Time.Units

Ix Microsecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Microsecond # 
Instance details

Defined in Data.Time.Units

data Millisecond #

Instances
Enum Millisecond # 
Instance details

Defined in Data.Time.Units

Eq Millisecond # 
Instance details

Defined in Data.Time.Units

Integral Millisecond # 
Instance details

Defined in Data.Time.Units

Data Millisecond # 
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 :: (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 #

Num Millisecond # 
Instance details

Defined in Data.Time.Units

Ord Millisecond # 
Instance details

Defined in Data.Time.Units

Read Millisecond # 
Instance details

Defined in Data.Time.Units

Real Millisecond # 
Instance details

Defined in Data.Time.Units

Show Millisecond # 
Instance details

Defined in Data.Time.Units

Ix Millisecond # 
Instance details

Defined in Data.Time.Units

TimeUnit Millisecond # 
Instance details

Defined in Data.Time.Units

data Second #

Instances
Enum Second # 
Instance details

Defined in Data.Time.Units

Eq Second # 
Instance details

Defined in Data.Time.Units

Methods

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

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

Integral Second # 
Instance details

Defined in Data.Time.Units

Data Second # 
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 :: (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 #

Num Second # 
Instance details

Defined in Data.Time.Units

Ord Second # 
Instance details

Defined in Data.Time.Units

Read Second # 
Instance details

Defined in Data.Time.Units

Real Second # 
Instance details

Defined in Data.Time.Units

Show Second # 
Instance details

Defined in Data.Time.Units

Ix Second # 
Instance details

Defined in Data.Time.Units

TimeUnit Second # 
Instance details

Defined in Data.Time.Units

data Minute #

Instances
Enum Minute # 
Instance details

Defined in Data.Time.Units

Eq Minute # 
Instance details

Defined in Data.Time.Units

Methods

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

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

Integral Minute # 
Instance details

Defined in Data.Time.Units

Data Minute # 
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 :: (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 #

Num Minute # 
Instance details

Defined in Data.Time.Units

Ord Minute # 
Instance details

Defined in Data.Time.Units

Read Minute # 
Instance details

Defined in Data.Time.Units

Real Minute # 
Instance details

Defined in Data.Time.Units

Show Minute # 
Instance details

Defined in Data.Time.Units

Ix Minute # 
Instance details

Defined in Data.Time.Units

TimeUnit Minute # 
Instance details

Defined in Data.Time.Units

data Hour #

Instances
Enum Hour # 
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] #

Eq Hour # 
Instance details

Defined in Data.Time.Units

Methods

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

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

Integral Hour # 
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 #

Data Hour # 
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 :: (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 #

Num Hour # 
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 #

Ord Hour # 
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 #

Read Hour # 
Instance details

Defined in Data.Time.Units

Real Hour # 
Instance details

Defined in Data.Time.Units

Methods

toRational :: Hour -> Rational #

Show Hour # 
Instance details

Defined in Data.Time.Units

Methods

showsPrec :: Int -> Hour -> ShowS #

show :: Hour -> String #

showList :: [Hour] -> ShowS #

Ix Hour # 
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

TimeUnit Hour # 
Instance details

Defined in Data.Time.Units

data Day #

Instances
Enum Day # 
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] #

Eq Day # 
Instance details

Defined in Data.Time.Units

Methods

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

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

Integral Day # 
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 #

Data Day # 
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 :: (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 #

Num Day # 
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 #

Ord Day # 
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 #

Read Day # 
Instance details

Defined in Data.Time.Units

Real Day # 
Instance details

Defined in Data.Time.Units

Methods

toRational :: Day -> Rational #

Show Day # 
Instance details

Defined in Data.Time.Units

Methods

showsPrec :: Int -> Day -> ShowS #

show :: Day -> String #

showList :: [Day] -> ShowS #

Ix Day # 
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

TimeUnit Day # 
Instance details

Defined in Data.Time.Units

data Week #

Instances
Enum Week # 
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] #

Eq Week # 
Instance details

Defined in Data.Time.Units

Methods

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

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

Integral Week # 
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 #

Data Week # 
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 :: (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 #

Num Week # 
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 #

Ord Week # 
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 #

Read Week # 
Instance details

Defined in Data.Time.Units

Real Week # 
Instance details

Defined in Data.Time.Units

Methods

toRational :: Week -> Rational #

Show Week # 
Instance details

Defined in Data.Time.Units

Methods

showsPrec :: Int -> Week -> ShowS #

show :: Week -> String #

showList :: [Week] -> ShowS #

Ix Week # 
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

TimeUnit Week # 
Instance details

Defined in Data.Time.Units

data Fortnight #

Instances
Enum Fortnight # 
Instance details

Defined in Data.Time.Units

Eq Fortnight # 
Instance details

Defined in Data.Time.Units

Integral Fortnight # 
Instance details

Defined in Data.Time.Units

Data Fortnight # 
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 :: (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 #

Num Fortnight # 
Instance details

Defined in Data.Time.Units

Ord Fortnight # 
Instance details

Defined in Data.Time.Units

Read Fortnight # 
Instance details

Defined in Data.Time.Units

Real Fortnight # 
Instance details

Defined in Data.Time.Units

Show Fortnight # 
Instance details

Defined in Data.Time.Units

Ix Fortnight # 
Instance details

Defined in Data.Time.Units

TimeUnit Fortnight # 
Instance details

Defined in Data.Time.Units

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

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 #

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 #

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 #

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