Maintainer | Ertugrul Soeylemez <es@ertes.de> |
---|
Supplying clocks to wires.
- class Arrow >~ => WWithDT t (>~) | >~ -> t where
- class Arrow >~ => WWithSysTime t (>~) | >~ -> t where
- passSysTime :: Wire e >~ t b -> Wire e >~ a b
- withSysTime :: Wire e >~ (a, t) b -> Wire e >~ a b
- class Arrow >~ => WWithTime t (>~) | >~ -> t where
Time deltas
class Arrow >~ => WWithDT t (>~) | >~ -> t whereSource
Passes time deltas to the given wire with respect to the clock represented by the underlying arrow. Using this wire transformer you can program in the more traditional AFRP way using time deltas instead of time offsets. Note: The first time delta is 0.
- Depends: Like argument wire.
- Inhibits: When argument wire inhibits.
passDT :: Wire e >~ t b -> Wire e >~ a bSource
Simplified variant without additional input.
withDT :: Wire e >~ (a, t) b -> Wire e >~ a bSource
Full variant.
(AdditiveGroup t, MonadClock t m) => WWithDT t (Kleisli m) |
Global time
class Arrow >~ => WWithSysTime t (>~) | >~ -> t whereSource
Passes the system time to the given wire.
- Depends: Like argument wire.
- Inhibits: When argument wire inhibits.
passSysTime :: Wire e >~ t b -> Wire e >~ a bSource
Simplified variant without additional input.
withSysTime :: Wire e >~ (a, t) b -> Wire e >~ a bSource
Full variant.
MonadClock t m => WWithSysTime t (Kleisli m) |
Local time
class Arrow >~ => WWithTime t (>~) | >~ -> t whereSource
Passes the time passed since the first instant to the given wire.
- Depends: Like argument wire.
- Inhibits: When argument wire inhibits.
passTime :: Wire e >~ t b -> Wire e >~ a bSource
Simplified variant without additional input.
withTime :: Wire e >~ (a, t) b -> Wire e >~ a bSource
Full variant.
(AdditiveGroup t, MonadClock t m) => WWithTime t (Kleisli m) |