FRP.Rhine.Clock.FixedStep

Implements pure clocks ticking at every multiple of a fixed number of steps, and a deterministic schedule for such clocks.

Documentation

data FixedStep (n :: Nat) where

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

Constructors

FixedStep :: KnownNat n => FixedStep n

Instances

Monad m => Clock m (FixedStep n)

Defined in FRP.Rhine.Clock.FixedStep

Associated Types

type Time (FixedStep n) :: *

type Tag (FixedStep n) :: *

Methods

initClock :: FixedStep n -> RunningClockInit m (Time (FixedStep n)) (Tag (FixedStep n))

type Time (FixedStep n)

Defined in FRP.Rhine.Clock.FixedStep

type Time (FixedStep n) = Integer

type Tag (FixedStep n)

Defined in FRP.Rhine.Clock.FixedStep

type Tag (FixedStep n) = ()

stepsize :: FixedStep n -> Integer

Extract the type-level natural number as an integer.

type Count = FixedStep 1

A singleton clock that counts the ticks.

scheduleFixedStep :: Monad m => Schedule m (FixedStep n1) (FixedStep n2)

Two FixedStep clocks can always be scheduled without side effects.

downsampleFixedStep :: (KnownNat n, Monad m) => ResamplingBuffer m (FixedStep k) (FixedStep (n * k)) a (Vector n a)