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
- diffTime :: time -> time -> 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) :: Type 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.

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 :: Type Source # Methods diffTime :: Double -> Double -> Diff Double Source #
TimeDomain Float Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff Float :: Type Source # Methods diffTime :: Float -> Float -> Diff Float Source #
TimeDomain Integer Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff Integer :: Type Source # Methods diffTime :: Integer -> Integer -> Diff Integer Source #
TimeDomain () Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff () :: Type Source # Methods diffTime :: () -> () -> Diff () Source #
TimeDomain UTCTime Source #
Instance details Defined in FRP.Rhine.TimeDomain Associated Types type Diff UTCTime :: Type 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) :: Type 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 :: Type Source # Methods diffTime :: UTCTime -> UTCTime -> Diff UTCTime Source #
type Diff UTCTime Source #
Instance details Defined in FRP.Rhine.TimeDomain type Diff UTCTime = Double