FRP.NetWire.Wire

The module contains the main Wire type.

Wires

data Wire a b where

A wire is a network of signal transformers.

Constructors

WArr :: (a -> b) -> Wire a b

WConst :: b -> Wire a b

WGen :: (WireState -> a -> IO (Maybe b, Wire a b)) -> Wire a b

WId :: Wire a a

Instances

Arrow Wire

ArrowZero Wire

ArrowPlus Wire

ArrowChoice Wire

Category Wire

Functor (Wire a)

Applicative (Wire a)

Alternative (Wire a)

data WireState

The state of the wire.

Constructors

WireState

Fields

wsDTime :: Double

Time difference for current instant.

wsRndGen :: MTGen

Random number generator.

wsReqVar :: TVar Int

Request counter.

Auxilliary types

type DTime = Double

Derivative of time. In English: It's the time between two instants of an FRP session.

type Event = Maybe

Events are signals, which can be absent. They usually denote discrete occurences of certain events.

type Time = Double

Time.

Utilities

cleanupWireState :: WireState -> IO ()

Clean up wire state.

initWireState :: IO WireState

Initialize wire state.

mkGen :: (WireState -> a -> IO (Maybe b, Wire a b)) -> Wire a b

Create a generic wire from the given function. This is a smart constructor. Please use it instead of the WGen constructor.

toGen :: Wire a b -> WireState -> a -> IO (Maybe b, Wire a b)

Extract the transition function of a wire.