Safe Haskell	None
Language	Haskell2010

FRP.Rhine.TimeDomain

Description

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

Synopsis

newtype NumTimeDomain a = NumTimeDomain {
- fromNumTimeDomain :: a
}
class TimeDomain time where
- type Diff time
data UTCTime

Documentation

newtype NumTimeDomain a Source #

Any Num can be wrapped to form a TimeDomain.

Constructors

NumTimeDomain
Fields fromNumTimeDomain :: a

Instances

Num a => Num (NumTimeDomain a) Source #
Instance details 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) Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff (NumTimeDomain a) :: * Source # Methods diffTime :: NumTimeDomain a -> NumTimeDomain a -> Diff (NumTimeDomain a) Source #
type Diff (NumTimeDomain a) Source #
Instance details Defined in FRP.Rhine.TimeDomain type Diff (NumTimeDomain a) = NumTimeDomain a

class TimeDomain time where Source #

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 Source #

Methods

diffTime :: time -> time -> Diff time Source #

Instances

TimeDomain Double Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff Double :: * Source # Methods diffTime :: Double -> Double -> Diff Double Source #
TimeDomain Float Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff Float :: * Source # Methods diffTime :: Float -> Float -> Diff Float Source #
TimeDomain Integer Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff Integer :: * Source # Methods diffTime :: Integer -> Integer -> Diff Integer Source #
TimeDomain () Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff () :: * Source # Methods diffTime :: () -> () -> Diff () Source #
TimeDomain UTCTime Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff UTCTime :: * Source # Methods diffTime :: UTCTime -> UTCTime -> Diff UTCTime Source #
Num a => TimeDomain (NumTimeDomain a) Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff (NumTimeDomain a) :: * Source # Methods diffTime :: NumTimeDomain a -> NumTimeDomain a -> Diff (NumTimeDomain a) Source #

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
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods (==) :: UTCTime -> UTCTime -> Bool # (/=) :: UTCTime -> UTCTime -> Bool #
Data UTCTime
Instance details 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
Instance details 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
Instance details Defined in Data.Time.Clock.Internal.UTCTime Methods rnf :: UTCTime -> () #
ParseTime UTCTime
Instance details Defined in Data.Time.Format.Parse Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe UTCTime #
TimeDomain UTCTime Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff UTCTime :: * Source # Methods diffTime :: UTCTime -> UTCTime -> Diff UTCTime Source #
type Diff UTCTime Source #
Instance details Defined in FRP.Rhine.TimeDomain type Diff UTCTime = Double