FRP.NetWire

Arrowized FRP implementation for networking applications. The aim of this library is to provide a convenient FRP implementation, which should enable you to write entirely pure network sessions.

Wires

data Wire

A wire is a network of signal transformers.

Instances

Monad m => Arrow (Wire m)

Monad m => ArrowZero (Wire m)

Monad m => ArrowPlus (Wire m)

Monad m => ArrowChoice (Wire m)

Monad m => Category (Wire m)

Monad m => Functor (Wire m a)

Monad m => Applicative (Wire m a)

Monad m => Alternative (Wire m a)

type Event = Maybe

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

type Output = Either SomeException

The output of a wire. When the wire inhibits, then this will be a Left value with an exception.

type Time = Double

Time.

Reactive sessions

data Session a b

Reactive sessions with the given time type.

stepWire :: a -> Session a b -> IO (Output b)

Feed the given input value into the reactive system performing the next instant using real time.

stepWireDelta :: NominalDiffTime -> a -> Session a b -> IO (Output b)

Feed the given input value into the reactive system performing the next instant using the given time delta.

stepWireTime :: UTCTime -> a -> Session a b -> IO (Output b)

Feed the given input value into the reactive system performing the next instant, which is at the given time. This function is thread-safe.

withWire :: Wire IO a b -> (Session a b -> IO c) -> IO c

Initialize a reactive session and pass it to the given continuation.

Pure wires

type SF = Wire Identity

Signal functions are wires over the identity monad.

stepSF :: Time -> a -> SF a b -> (Output b, SF a b)

Perform the next instant of a pure wire over the identity monad.

stepWirePure :: Monad m => Time -> a -> Wire m a b -> m (Output b, Wire m a b)

Perform the next instant of a pure wire.

Netwire Reexports

module FRP.NetWire.Analyze

module FRP.NetWire.Calculus

module FRP.NetWire.Concurrent

module FRP.NetWire.Event

module FRP.NetWire.IO

module FRP.NetWire.Random

module FRP.NetWire.Request

module FRP.NetWire.Switch

module FRP.NetWire.Tools

Other convenience reexports

module Data.Functor.Identity