FRP.Netwire

Netwire reexports

data Wire s e m a b

A wire is a signal function. It maps a reactive value to another reactive value.

Instances

Monad m => Arrow (Wire s e m)

(Monad m, Monoid e) => ArrowZero (Wire s e m)

(Monad m, Monoid e) => ArrowPlus (Wire s e m)

(Monad m, Monoid e) => ArrowChoice (Wire s e m)

MonadFix m => ArrowLoop (Wire s e m)

Monad m => Category (Wire s e m)

Monad m => Functor (Wire s e m a)

Monad m => Applicative (Wire s e m a)

(Monad m, Monoid e) => Alternative (Wire s e m a)

(Monad m, Floating b) => Floating (Wire s e m a b)

(Monad m, Fractional b) => Fractional (Wire s e m a b)

(Monad m, Num b) => Num (Wire s e m a b)

(Monad m, IsString b) => IsString (Wire s e m a b)

(Monad m, Monoid b) => Monoid (Wire s e m a b)

(Monad m, Semigroup b) => Semigroup (Wire s e m a b)

type WireP s e = Wire s e Identity

Pure wires.

type SimpleWire = Wire (Timed NominalDiffTime ()) () Identity

Simple wires with time.

delay :: a -> Wire s e m a a

This wire delays its input signal by the smallest possible (semantically infinitesimal) amount of time. You can use it when you want to use feedback (ArrowLoop): If the user of the feedback depends on now, delay the value before feeding it back. The argument value is the replacement signal at the beginning.

• Depends: before now.

evalWith :: Strategy a -> Wire s e m a a

Evaluate the input signal using the given Strategy here. This wire evaluates only produced values.

• Depends: now.

force :: Wire s e m a a

Force the input signal to WHNF here. This wire forces both produced values and inhibition values.

• Depends: now.

forceNF :: NFData a => Wire s e m a a

Force the input signal to NF here. This wire forces only produced values.

• Depends: now.

module Control.Wire.Event

module Control.Wire.Interval

module Control.Wire.Run

module Control.Wire.Session

module Control.Wire.Switch

module Control.Wire.Time

Additional wires

module FRP.Netwire.Analyze

module FRP.Netwire.Move

module FRP.Netwire.Noise

External

module Control.Applicative

module Control.Arrow

module Control.Category

module Data.Semigroup