Safe Haskell	None
Language	Haskell2010

FRP.Rhine.Clock.Step

Contents

To be ported to dunai

Synopsis

Documentation

data Step n where Source #

A pure (side effect free) clock ticking at multiples of n. The tick rate is in the type signature, which prevents composition of signals at different rates.

Constructors

Step :: KnownNat n => Step n

Instances

Monad m => Clock m (Step n) Source #
Associated Types type TimeDomainOf (Step n) :: * Source # type Tag (Step n) :: * Source # Methods startClock :: Step n -> m (MSF m () (TimeDomainOf (Step n), Tag (Step n)), TimeDomainOf (Step n)) Source #
type TimeDomainOf (Step n) Source #
type TimeDomainOf (Step n) = Integer
type Tag (Step n) Source #
type Tag (Step n) = ()

stepsize :: Step n -> Integer Source #

Extract the type-level natural number as an integer.

scheduleStep :: Monad m => Schedule m (Step n1) (Step n2) Source #

Two Step clocks can always be scheduled without side effects.

To be ported to dunai

concatS :: Monad m => MSF m () [b] -> MSF m () b Source #