FRP.Rhine.ResamplingBuffer.Timeless

Resampling buffers from asynchronous Mealy machines. These are used in many other modules implementing ResamplingBuffers.

Documentation

data AsyncMealy m s a b

An asynchronous, effectful Mealy machine description. (Input and output do not happen simultaneously.) It can be used to create ResamplingBuffers.

Constructors

AsyncMealy

Fields

• amPut :: s -> a -> m s

  Given the previous state and an input value, return the new state.

• amGet :: s -> m (b, s)

  Given the previous state, return an output value and a new state.

timelessResamplingBuffer

Arguments

:: Monad m

=> AsyncMealy m s a b

-> s

The initial state

-> ResamplingBuffer m cl1 cl2 a b

A resampling buffer that is unaware of the time information of the clock, and thus clock-polymorphic. It is built from an asynchronous Mealy machine description. Whenever get is called on timelessResamplingBuffer machine s, the method amGet is called on machine with state s, discarding the time stamp. Analogously for put.

trivialResamplingBuffer :: Monad m => ResamplingBuffer m cl1 cl2 () ()

A resampling buffer that only accepts and emits units.