netwire-5.0.0: Functional reactive programming library

MaintainerErtugrul Soeylemez <es@ertes.de>
Safe HaskellNone

FRP.Netwire

Contents

Description

 

Synopsis

Netwire reexports

data Wire s e m a b Source

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 IdentitySource

Pure wires.

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

Simple wires with time.

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

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 aSource

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

  • Depends: now.

force :: Wire s e m a aSource

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 aSource

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

  • Depends: now.

Additional wires

External