FRP.Rhine.TimeDomain

This module defines the TimeDomain class. Its instances model time. 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 FRP.Rhine.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 => TimeDomain (NumTimeDomain a)

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff (NumTimeDomain a) :: *

Methods

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

type Diff (NumTimeDomain a)

Defined in FRP.Rhine.TimeDomain

type Diff (NumTimeDomain a) = NumTimeDomain a

class 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.

Minimal complete definition

diffTime

Associated Types

type Diff time

Methods

diffTime :: time -> time -> Diff time

Instances

TimeDomain Double

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff Double :: *

Methods

diffTime :: Double -> Double -> Diff Double

TimeDomain Float

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff Float :: *

Methods

diffTime :: Float -> Float -> Diff Float

TimeDomain Integer

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff Integer :: *

Methods

diffTime :: Integer -> Integer -> Diff Integer

TimeDomain ()

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff () :: *

Methods

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

TimeDomain UTCTime

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff UTCTime :: *

Methods

diffTime :: UTCTime -> UTCTime -> Diff UTCTime

Num a => TimeDomain (NumTimeDomain a)

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff (NumTimeDomain a) :: *

Methods

diffTime :: NumTimeDomain a -> NumTimeDomain a -> Diff (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

Eq UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

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

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

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 :: (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

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

NFData UTCTime

Defined in Data.Time.Clock.Internal.UTCTime

Methods

rnf :: UTCTime -> ()

ParseTime UTCTime

Defined in Data.Time.Format.Parse

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe UTCTime

TimeDomain UTCTime

Defined in FRP.Rhine.TimeDomain

Associated Types

type Diff UTCTime :: *

Methods

diffTime :: UTCTime -> UTCTime -> Diff UTCTime

type Diff UTCTime

Defined in FRP.Rhine.TimeDomain

type Diff UTCTime = Double