FRP.Rhine.Clock.Proxy

Documentation

data ClockProxy cl where

Witnesses the structure of a clock type, in particular whether SequentialClocks or ParallelClocks are involved.

Constructors

LeafProxy :: (cl ~ In cl, cl ~ Out cl) => ClockProxy cl

SequentialProxy :: ClockProxy cl1 -> ClockProxy cl2 -> ClockProxy (SequentialClock m cl1 cl2)

ParallelProxy :: ClockProxy clL -> ClockProxy clR -> ClockProxy (ParallelClock m clL clR)

inProxy :: ClockProxy cl -> ClockProxy (In cl)

outProxy :: ClockProxy cl -> ClockProxy (Out cl)

inTag :: ClockProxy cl -> Tag cl -> Maybe (Tag (In cl))

Return the incoming tag, assuming that the incoming clock is ticked, and Nothing otherwise.

outTag :: ClockProxy cl -> Tag cl -> Maybe (Tag (Out cl))

Return the incoming tag, assuming that the outgoing clock is ticked, and Nothing otherwise.

class GetClockProxy cl where

Clocks should be able to automatically generate a proxy for themselves.

Minimal complete definition

Nothing

Methods

getClockProxy :: ClockProxy cl

default getClockProxy :: (cl ~ In cl, cl ~ Out cl) => ClockProxy cl

Instances

GetClockProxy Busy

Defined in FRP.Rhine.Clock.Realtime.Busy

Methods

getClockProxy :: ClockProxy Busy

GetClockProxy StdinClock

Defined in FRP.Rhine.Clock.Realtime.Stdin

Methods

getClockProxy :: ClockProxy StdinClock

GetClockProxy (FixedStep n)

Defined in FRP.Rhine.Clock.FixedStep

Methods

getClockProxy :: ClockProxy (FixedStep n)

GetClockProxy (Periodic v)

Defined in FRP.Rhine.Clock.Periodic

Methods

getClockProxy :: ClockProxy (Periodic v)

GetClockProxy (PureAudioClock rate)

Defined in FRP.Rhine.Clock.Realtime.Audio

Methods

getClockProxy :: ClockProxy (PureAudioClock rate)

GetClockProxy (EventClock event)

Defined in FRP.Rhine.Clock.Realtime.Event

Methods

getClockProxy :: ClockProxy (EventClock event)

GetClockProxy (Millisecond n)

Defined in FRP.Rhine.Clock.Realtime.Millisecond

Methods

getClockProxy :: ClockProxy (Millisecond n)

GetClockProxy cl => GetClockProxy (RescaledClock cl time)

Defined in FRP.Rhine.Clock.Proxy

Methods

getClockProxy :: ClockProxy (RescaledClock cl time)

GetClockProxy (AudioClock rate bufferSize)

Defined in FRP.Rhine.Clock.Realtime.Audio

Methods

getClockProxy :: ClockProxy (AudioClock rate bufferSize)

GetClockProxy (SelectClock cl a)

Defined in FRP.Rhine.Clock.Select

Methods

getClockProxy :: ClockProxy (SelectClock cl a)

GetClockProxy cl => GetClockProxy (HoistClock m1 m2 cl)

Defined in FRP.Rhine.Clock.Proxy

Methods

getClockProxy :: ClockProxy (HoistClock m1 m2 cl)

GetClockProxy cl => GetClockProxy (RescaledClockM m cl time)

Defined in FRP.Rhine.Clock.Proxy

Methods

getClockProxy :: ClockProxy (RescaledClockM m cl time)

(GetClockProxy cl1, GetClockProxy cl2) => GetClockProxy (ParallelClock m cl1 cl2)

Defined in FRP.Rhine.Clock.Proxy

Methods

getClockProxy :: ClockProxy (ParallelClock m cl1 cl2)

(GetClockProxy cl1, GetClockProxy cl2) => GetClockProxy (SequentialClock m cl1 cl2)

Defined in FRP.Rhine.Clock.Proxy

Methods

getClockProxy :: ClockProxy (SequentialClock m cl1 cl2)

GetClockProxy cl => GetClockProxy (RescaledClockS m cl time tag)

Defined in FRP.Rhine.Clock.Proxy

Methods

getClockProxy :: ClockProxy (RescaledClockS m cl time tag)

class ToClockProxy a where

Extract a clock proxy from a type.

Minimal complete definition

Nothing

Associated Types

type Cl a :: Type

Methods

toClockProxy :: a -> ClockProxy (Cl a)

default toClockProxy :: GetClockProxy (Cl a) => a -> ClockProxy (Cl a)

Instances

GetClockProxy cl => ToClockProxy (SN m cl a b)

Defined in FRP.Rhine.SN

Associated Types

type Cl (SN m cl a b)

Methods

toClockProxy :: SN m cl a b -> ClockProxy (Cl (SN m cl a b))

GetClockProxy cl => ToClockProxy (Rhine m cl a b)

Defined in FRP.Rhine.Type

Associated Types

type Cl (Rhine m cl a b)

Methods

toClockProxy :: Rhine m cl a b -> ClockProxy (Cl (Rhine m cl a b))