FRP.Rhine.Clock.Periodic

Periodic clocks are defined by a stream of ticks with periodic time differences. They model subclocks of a fixed reference clock. The time differences are supplied at the type level.

Documentation

data Periodic (v :: [Nat]) where

A clock whose tick lengths cycle through a (nonempty) list of type-level natural numbers. E.g. Periodic '[1, 2] ticks at times 1, 3, 4, 5, 7, 8, etc.

The waiting side effect is formal, in ScheduleT. You can use e.g. runScheduleIO to produce an actual delay.

Constructors

Periodic :: Periodic (n ': ns)

Instances

GetClockProxy (Periodic v)

Defined in FRP.Rhine.Clock.Periodic

Methods

getClockProxy :: ClockProxy (Periodic v)

(Monad m, NonemptyNatList v) => Clock (ScheduleT Integer m) (Periodic v)

Defined in FRP.Rhine.Clock.Periodic

Associated Types

type Time (Periodic v)

type Tag (Periodic v)

Methods

initClock :: Periodic v -> RunningClockInit (ScheduleT Integer m) (Time (Periodic v)) (Tag (Periodic v))

type Time (Periodic v)

Defined in FRP.Rhine.Clock.Periodic

type Time (Periodic v) = Integer

type Tag (Periodic v)

Defined in FRP.Rhine.Clock.Periodic

type Tag (Periodic v) = ()