Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class TimeDomain td where
- type Diff td
- newtype NumTimeDomain a = NumTimeDomain {
- fromNumTimeDomain :: a
Documentation
class TimeDomain td 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.
newtype NumTimeDomain a Source #
Any Num
can be wrapped to form a TimeDomain
.
Num a => Num (NumTimeDomain a) Source # | |
Num a => TimeDomain (NumTimeDomain a) Source # | |
type Diff (NumTimeDomain a) Source # | |