Safe Haskell	None
Language	Haskell2010

FRP.Rhine.Clock.Step

Synopsis

data Step (n :: Nat) where
- Step :: KnownNat n => Step n
stepsize :: Step n -> Integer
scheduleStep :: Monad m => Schedule m (Step n1) (Step n2)

Documentation

data Step (n :: Nat) 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 #
Instance details Defined in FRP.Rhine.Clock.Step 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 #
Instance details Defined in FRP.Rhine.Clock.Step type TimeDomainOf (Step n) = Integer
type Tag (Step n) Source #
Instance details Defined in FRP.Rhine.Clock.Step 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.