Data.TimeDomain

This module defines the TimeDomain class. Its instances model time, simulated and realtime. Several instances such as UTCTime, Double and Integer are supplied here.

Documentation

newtype NumTimeDomain a

Any Num can be wrapped to form a TimeDomain.

Constructors

NumTimeDomain

Fields

• fromNumTimeDomain :: a

Instances

Num a => Num (NumTimeDomain a)

Defined in Data.TimeDomain

Methods

(+) :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

(-) :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

(*) :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

negate :: NumTimeDomain a -> NumTimeDomain a

abs :: NumTimeDomain a -> NumTimeDomain a

signum :: NumTimeDomain a -> NumTimeDomain a

fromInteger :: Integer -> NumTimeDomain a

Num a => TimeDifference (NumTimeDomain a)

Defined in Data.TimeDomain

Methods

difference :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

add :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

Num a => TimeDomain (NumTimeDomain a)

Defined in Data.TimeDomain

Associated Types

type Diff (NumTimeDomain a)

Methods

diffTime :: NumTimeDomain a -> NumTimeDomain a -> Diff (NumTimeDomain a)

addTime :: NumTimeDomain a -> Diff (NumTimeDomain a) -> NumTimeDomain a

type Diff (NumTimeDomain a)

Defined in Data.TimeDomain

type Diff (NumTimeDomain a) = NumTimeDomain a

class TimeDifference d where

A type of durations, or differences betweens time stamps.

Expected laws:

• add is commutative and associative

• (dt1 difference dt2) add dt2 = dt1

Methods

difference :: d -> d -> d

Calculate the difference between two durations, compatibly with diffTime.

add :: d -> d -> d

Add two time differences.

Instances

TimeDifference Integer

Defined in Data.TimeDomain

Methods

difference :: Integer -> Integer -> Integer

add :: Integer -> Integer -> Integer

TimeDifference ()

Defined in Data.TimeDomain

Methods

difference :: () -> () -> ()

add :: () -> () -> ()

TimeDifference Double

Defined in Data.TimeDomain

Methods

difference :: Double -> Double -> Double

add :: Double -> Double -> Double

TimeDifference Float

Defined in Data.TimeDomain

Methods

difference :: Float -> Float -> Float

add :: Float -> Float -> Float

Num a => TimeDifference (NumTimeDomain a)

Defined in Data.TimeDomain

Methods

difference :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

add :: NumTimeDomain a -> NumTimeDomain a -> NumTimeDomain a

class TimeDifference (Diff time) => TimeDomain time where

A time domain is an affine space representing a notion of time, such as real time, simulated time, steps, or a completely different notion.

Expected laws:

• (t1 diffTime t3) difference (t1 diffTime t2) = t2 diffTime t3

• (t addTime dt) diffTime t = dt

• (t addTime dt1) addTime dt2 = t addTime (dt1 add dt2)

Associated Types

type Diff time

The type of differences or durations between two timestamps

Methods

diffTime :: time -> time -> Diff time

Compute the difference between two timestamps.

Mnemonic: diffTime behaves like the (-) operator:

diffTime earlier later = later `diffTime` earlier is the duration it takes from earlier to later.

addTime :: time -> Diff time -> time

Add a time difference to a timestamp.

Instances

TimeDomain UTCTime

Differences between UTCTimes are measured in seconds.

Defined in Data.TimeDomain

Associated Types

type Diff UTCTime

Methods

diffTime :: UTCTime -> UTCTime -> Diff UTCTime

addTime :: UTCTime -> Diff UTCTime -> UTCTime

TimeDomain Integer

Defined in Data.TimeDomain

Associated Types

type Diff Integer

Methods

diffTime :: Integer -> Integer -> Diff Integer

addTime :: Integer -> Diff Integer -> Integer

TimeDomain ()

Defined in Data.TimeDomain

Associated Types

type Diff ()

Methods

diffTime :: () -> () -> Diff ()

addTime :: () -> Diff () -> ()

TimeDomain Double

Defined in Data.TimeDomain

Associated Types

type Diff Double

Methods

diffTime :: Double -> Double -> Diff Double

addTime :: Double -> Diff Double -> Double

TimeDomain Float

Defined in Data.TimeDomain

Associated Types

type Diff Float

Methods

diffTime :: Float -> Float -> Diff Float

addTime :: Float -> Diff Float -> Float

Num a => TimeDomain (NumTimeDomain a)

Defined in Data.TimeDomain

Associated Types

type Diff (NumTimeDomain a)

Methods

diffTime :: NumTimeDomain a -> NumTimeDomain a -> Diff (NumTimeDomain a)

addTime :: NumTimeDomain a -> Diff (NumTimeDomain a) -> NumTimeDomain a

data UTCTime

This is the simplest representation of UTC. It consists of the day number, and a time offset from midnight. Note that if a day has a leap second added to it, it will have 86401 seconds.

Instances

Data UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

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

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

toConstr :: UTCTime -> Constr

dataTypeOf :: UTCTime -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> UTCTime -> UTCTime

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

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

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

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

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

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

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

NFData UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

rnf :: UTCTime -> ()

Eq UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

(==) :: UTCTime -> UTCTime -> Bool

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

Ord UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

compare :: UTCTime -> UTCTime -> Ordering

(<) :: UTCTime -> UTCTime -> Bool

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

(>) :: UTCTime -> UTCTime -> Bool

(>=) :: UTCTime -> UTCTime -> Bool

max :: UTCTime -> UTCTime -> UTCTime

min :: UTCTime -> UTCTime -> UTCTime

TimeDomain UTCTime

Differences between UTCTimes are measured in seconds.

Defined in Data.TimeDomain

Associated Types

type Diff UTCTime

Methods

diffTime :: UTCTime -> UTCTime -> Diff UTCTime

addTime :: UTCTime -> Diff UTCTime -> UTCTime

type Diff UTCTime

Defined in Data.TimeDomain

type Diff UTCTime = Double