nettle-frp 0.1 → 0.1.1

raw patch · 3 files changed

+10/−10 lines, 3 filesdep +randomdep −haskell98dep ~nettle-openflow

Dependencies added: random

Dependencies removed: haskell98

Dependency ranges changed: nettle-openflow

Files

• nettle-frp.cabal +3/−3
• src/Nettle/FRPControl/AFRP.hs +2/−2
• src/Nettle/FRPControl/AFRPVectorSpace.hs +5/−5

@@ -1,5 +1,5 @@ Name:           nettle-frp-Version:        0.1+Version:        0.1.1 Synopsis:       FRP for controlling networks of OpenFlow switches. Cabal-Version:  >=1.2 Build-Type:     Simple@@ -57,7 +57,7 @@    build-depends:     base >= 4 && < 5-    , nettle-openflow+    , nettle-openflow < 0.2     , mtl     , bytestring     , containers@@ -65,5 +65,5 @@     , binary     , time     , network-    , haskell98     , network-data+    , random

@@ -209,8 +209,8 @@     , initDelay         -- :: initDelay :: [a] -> SF a a  ) where -import Monad (unless)-import Random (RandomGen(..), Random(..), randoms, randomRs)+import Control.Monad (unless)+import System.Random (RandomGen(..), Random(..), randoms, randomRs)  import Control.Category (Category) import qualified Control.Category as Cat

@@ -29,7 +29,7 @@ -- be Fractional (roughly a Field) rather than Floating.  -- Minimal instance: zeroVector, (*^), (^+^), dot-class Floating a => VectorSpace v a | v -> a where+class (Eq a, Floating a) => VectorSpace v a | v -> a where     zeroVector   :: v     (*^)         :: a -> v -> v     (^/)         :: v -> a -> v@@ -92,7 +92,7 @@ -- Vector space instances for small tuples of Floating ------------------------------------------------------------------------------ -instance Floating a => VectorSpace (a,a) a where+instance (Eq a,Floating a) => VectorSpace (a,a) a where     zeroVector = (0,0)      a *^ (x,y) = (a * x, a * y)@@ -108,7 +108,7 @@     (x1,y1) `dot` (x2,y2) = x1 * x2 + y1 * y2  -instance Floating a => VectorSpace (a,a,a) a where+instance (Eq a, Floating a) => VectorSpace (a,a,a) a where     zeroVector = (0,0,0)      a *^ (x,y,z) = (a * x, a * y, a * z)@@ -124,7 +124,7 @@     (x1,y1,z1) `dot` (x2,y2,z2) = x1 * x2 + y1 * y2 + z1 * z2  -instance Floating a => VectorSpace (a,a,a,a) a where+instance (Eq a, Floating a) => VectorSpace (a,a,a,a) a where     zeroVector = (0,0,0,0)      a *^ (x,y,z,u) = (a * x, a * y, a * z, a * u)@@ -140,7 +140,7 @@     (x1,y1,z1,u1) `dot` (x2,y2,z2,u2) = x1 * x2 + y1 * y2 + z1 * z2 + u1 * u2  -instance Floating a => VectorSpace (a,a,a,a,a) a where+instance (Eq a, Floating a) => VectorSpace (a,a,a,a,a) a where     zeroVector = (0,0,0,0,0)      a *^ (x,y,z,u,v) = (a * x, a * y, a * z, a * u, a * v)