Safe Haskell	Safe-Inferred
Language	Haskell2010

FRP.Rhine.Clock.Periodic

Description

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.

Synopsis

data Periodic (v :: [Nat]) where
- Periodic :: Periodic (n ': ns)

Documentation

data Periodic (v :: [Nat]) where Source #

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

Instances details

GetClockProxy (Periodic v) Source #
Instance details Defined in FRP.Rhine.Clock.Periodic Methods getClockProxy :: ClockProxy (Periodic v) Source #
(Monad m, NonemptyNatList v) => Clock (ScheduleT Integer m) (Periodic v) Source #
Instance details Defined in FRP.Rhine.Clock.Periodic Associated Types type Time (Periodic v) Source # type Tag (Periodic v) Source # Methods initClock :: Periodic v -> RunningClockInit (ScheduleT Integer m) (Time (Periodic v)) (Tag (Periodic v)) Source #
type Tag (Periodic v) Source #
Instance details Defined in FRP.Rhine.Clock.Periodic type Tag (Periodic v) = ()
type Time (Periodic v) Source #
Instance details Defined in FRP.Rhine.Clock.Periodic type Time (Periodic v) = Integer