FRP.Rhine.TimeDomain

Documentation

class TimeDomain td 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 td

Methods

diffTime :: td -> td -> Diff td

Instances

TimeDomain Double

Associated Types

type Diff Double :: *

Methods

diffTime :: Double -> Double -> Diff Double

TimeDomain Float

Associated Types

type Diff Float :: *

Methods

diffTime :: Float -> Float -> Diff Float

TimeDomain Integer

Associated Types

type Diff Integer :: *

Methods

diffTime :: Integer -> Integer -> Diff Integer

TimeDomain ()

Associated Types

type Diff () :: *

Methods

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

TimeDomain UTCTime

Associated Types

type Diff UTCTime :: *

Methods

diffTime :: UTCTime -> UTCTime -> Diff UTCTime

Num a => TimeDomain (NumTimeDomain a)

Associated Types

type Diff (NumTimeDomain a) :: *

Methods

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

newtype NumTimeDomain a

Any Num can be wrapped to form a TimeDomain.

Constructors

NumTimeDomain

Fields

• fromNumTimeDomain :: a

Instances

Num a => Num (NumTimeDomain a)

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)

Associated Types

type Diff (NumTimeDomain a) :: *

Methods

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

type Diff (NumTimeDomain a)

type Diff (NumTimeDomain a) = NumTimeDomain a