FRP.Rhine.Clock.Step

Documentation

data Step (n :: Nat) where

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)

Defined in FRP.Rhine.Clock.Step

Associated Types

type TimeDomainOf (Step n) :: *

type Tag (Step n) :: *

Methods

startClock :: Step n -> m (MSF m () (TimeDomainOf (Step n), Tag (Step n)), TimeDomainOf (Step n))

type TimeDomainOf (Step n)

Defined in FRP.Rhine.Clock.Step

type TimeDomainOf (Step n) = Integer

type Tag (Step n)

Defined in FRP.Rhine.Clock.Step

type Tag (Step n) = ()

stepsize :: Step n -> Integer

Extract the type-level natural number as an integer.

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

Two Step clocks can always be scheduled without side effects.