diff --git a/doc/Breakout.html b/doc/Breakout.html --- a/doc/Breakout.html +++ b/doc/Breakout.html @@ -173,21 +173,14 @@ > Just dt → do join $ superstep network dt > driveNetwork network driver > Nothing → return () -

The edge transfer function takes a bool signal and emits another bool signal that turns true only at the moment when there is a rising edge on the input. We are relying on the delay introduced by the transfer primitive for this to work.

> edge b = (transfer False (\dt b _ → not b) b) &&@ b
-

A scalar integral function. Since it is based on transfer, it is delayed by one superstep, i.e. the value of the input signal in the nth step affects its output only in the (n+1)th step.

> integral v0 s = transfer v0 (\dt v v0 → v0+v*realToFrac dt) s
-

An integral function for two-dimensional vectors defined in the Vector module with the same caveat.

> integralVec v0 s = transfer v0 (\dt v v0 → v0^+^(v^*.realToFrac dt)) s
-

Logic relations lifted into signals. Useful to combine event-like signals.

> (||@) :: Signal Bool → Signal Bool → Signal Bool
-> (||@) = liftA2 (||)
-> 
-> (&&@) :: Signal Bool → Signal Bool → Signal Bool
-> (&&@) = liftA2 (&&)
+

A scalar integral function for Fractional instances.

> integral v0 s = transfer v0 (\dt v v0 → v0+v*realToFrac dt) s
+

An integral function for two-dimensional vectors defined in the Vector module.

> integralVec v0 s = transfer v0 (\dt v v0 → v0^+^(v^*.realToFrac dt)) s

Vector module

This module contains a class for two-dimensional vectors, a strict datatype to instantiate it, and another instance for signals of the same type.

> {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
 >
 > module Common.Vector where
 >
 > import Control.Applicative
 > import FRP.Elerea
-> import Graphics.Rendering.OpenGL
 >
 > data Vec = V { getX :: !Float, getY :: !Float }
 >
diff --git a/doc/Chase.html b/doc/Chase.html
--- a/doc/Chase.html
+++ b/doc/Chase.html
@@ -89,21 +89,14 @@
 >     Just dt → do join $ superstep network dt
 >                   driveNetwork network driver
 >     Nothing → return ()
-

The edge transfer function takes a bool signal and emits another bool signal that turns true only at the moment when there is a rising edge on the input. We are relying on the delay introduced by the transfer primitive for this to work.

> edge b = (transfer False (\dt b _ → not b) b) &&@ b
-

A scalar integral function. Since it is based on transfer, it is delayed by one superstep, i.e. the value of the input signal in the nth step affects its output only in the (n+1)th step.

> integral v0 s = transfer v0 (\dt v v0 → v0+v*realToFrac dt) s
-

An integral function for two-dimensional vectors defined in the Vector module with the same caveat.

> integralVec v0 s = transfer v0 (\dt v v0 → v0^+^(v^*.realToFrac dt)) s
-

Logic relations lifted into signals. Useful to combine event-like signals.

> (||@) :: Signal Bool → Signal Bool → Signal Bool
-> (||@) = liftA2 (||)
-> 
-> (&&@) :: Signal Bool → Signal Bool → Signal Bool
-> (&&@) = liftA2 (&&)
+

A scalar integral function for Fractional instances.

> integral v0 s = transfer v0 (\dt v v0 → v0+v*realToFrac dt) s
+

An integral function for two-dimensional vectors defined in the Vector module.

> integralVec v0 s = transfer v0 (\dt v v0 → v0^+^(v^*.realToFrac dt)) s

Vector module

This module contains a class for two-dimensional vectors, a strict datatype to instantiate it, and another instance for signals of the same type.

> {-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies, FlexibleInstances #-}
 >
 > module Common.Vector where
 >
 > import Control.Applicative
 > import FRP.Elerea
-> import Graphics.Rendering.OpenGL
 >
 > data Vec = V { getX :: !Float, getY :: !Float }
 >
diff --git a/elerea-examples.cabal b/elerea-examples.cabal
--- a/elerea-examples.cabal
+++ b/elerea-examples.cabal
@@ -1,5 +1,5 @@
 Name:                elerea-examples
-Version:             0.1.0
+Version:             0.2.0
 Cabal-Version:       >= 1.2
 Synopsis:            Example applications for Elerea
 Category:            reactivity, FRP
diff --git a/src/Common/Utils.lhs b/src/Common/Utils.lhs
--- a/src/Common/Utils.lhs
+++ b/src/Common/Utils.lhs
@@ -21,30 +21,11 @@
 >                   driveNetwork network driver
 >     Nothing -> return ()
 
-The `edge` transfer function takes a bool signal and emits another
-bool signal that turns true only at the moment when there is a rising
-edge on the input.  We are relying on the delay introduced by the
-`transfer` primitive for this to work.
-
-> edge b = (transfer False (\dt b _ -> not b) b) &&@ b
-
-A scalar integral function.  Since it is based on `transfer`, it is
-delayed by one superstep, i.e. the value of the input signal in the
-nth step affects its output only in the (n+1)th
-step.
+A scalar integral function for `Fractional` instances.
 
 > integral v0 s = transfer v0 (\dt v v0 -> v0+v*realToFrac dt) s
 
 An integral function for two-dimensional vectors defined in the
-`Vector` module with the same caveat.
+`Vector` module.
 
 > integralVec v0 s = transfer v0 (\dt v v0 -> v0^+^(v^*.realToFrac dt)) s
-
-Logic relations lifted into signals.  Useful to combine event-like
-signals.
-
-> (||@) :: Signal Bool -> Signal Bool -> Signal Bool
-> (||@) = liftA2 (||)
-> 
-> (&&@) :: Signal Bool -> Signal Bool -> Signal Bool
-> (&&@) = liftA2 (&&)
diff --git a/src/Common/Vector.lhs b/src/Common/Vector.lhs
--- a/src/Common/Vector.lhs
+++ b/src/Common/Vector.lhs
@@ -11,7 +11,6 @@
 >
 > import Control.Applicative
 > import FRP.Elerea
-> import Graphics.Rendering.OpenGL
 >
 > data Vec = V { getX :: !Float, getY :: !Float }
 >