Maintainer | Ertugrul Soeylemez <es@ertes.de> |
---|---|
Safe Haskell | None |
- data Wire s e m a b
- type WireP s e = Wire s e Identity
- type SimpleWire = Wire (Timed NominalDiffTime ()) () Identity
- delay :: a -> Wire s e m a a
- evalWith :: Strategy a -> Wire s e m a a
- force :: Wire s e m a a
- forceNF :: NFData a => Wire s e m a a
- module Control.Wire.Event
- module Control.Wire.Interval
- module Control.Wire.Run
- module Control.Wire.Session
- module Control.Wire.Switch
- module Control.Wire.Time
- module FRP.Netwire.Analyze
- module FRP.Netwire.Move
- module FRP.Netwire.Noise
- module Control.Applicative
- module Control.Arrow
- module Control.Category
- module Data.Semigroup
Netwire reexports
A wire is a signal function. It maps a reactive value to another reactive value.
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 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 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.
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