Maintainer | Ertugrul Soeylemez <es@ertes.de> |
---|
Signal sampling wires.
Simple samplers
class Arrow >~ => WDiscrete t (>~) | >~ -> t whereSource
Sample the right signal at discrete intervals given by the left input signal.
- Depends: Current instant (left), last sampling instant (right).
(AdditiveGroup t, MonadClock t m, Ord t) => WDiscrete t (Kleisli m) |