aboutsummaryrefslogtreecommitdiff
path: root/devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs
diff options
context:
space:
mode:
Diffstat (limited to 'devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs')
-rw-r--r--devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs21
1 files changed, 11 insertions, 10 deletions
diff --git a/devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs b/devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs
index 6c53c4280011..395aefb4fbc0 100644
--- a/devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs
+++ b/devel/hs-reactive/files/patch-src__FRP__Reactive__PrimReactive.hs
@@ -1,5 +1,5 @@
--- ./src/FRP/Reactive/PrimReactive.hs.orig 2010-07-28 18:48:55.000000000 +0200
-+++ ./src/FRP/Reactive/PrimReactive.hs 2012-05-13 12:51:24.045468968 +0200
++++ ./src/FRP/Reactive/PrimReactive.hs 2012-10-04 23:37:49.000000000 +0200
@@ -63,6 +63,8 @@
import Prelude hiding (zip,zipWith)
@@ -9,6 +9,15 @@
import Control.Applicative
import Control.Arrow (first)
import Control.Monad
+@@ -78,7 +80,7 @@
+
+ import Control.Comonad
+
+-import Test.QuickCheck
++import Test.QuickCheck hiding (once)
+ import Test.QuickCheck.Instances
+ import Test.QuickCheck.Checkers
+ import Test.QuickCheck.Classes
@@ -708,17 +710,7 @@
instance Copointed (EventG t) where
@@ -28,7 +37,7 @@
-- This frTOrf definition type-checks. Is it what we want?
frTOrf :: FutureG t (ReactiveG t a) -> ReactiveG t (FutureG t a)
-@@ -738,14 +730,14 @@
+@@ -738,7 +730,7 @@
-- Semantically: extract == extract . rat == (`rat` mempty) But mempty
-- is the earliest time (since I'm using the Max monoid *), so here's a
-- cheap alternative that also doesn't require Ord t:
@@ -37,14 +46,6 @@
-- extract r == extract (rat r) == rat r mempty
- -- * Moreover, mempty is the earliest time in the Sum monoid on
- -- non-negative values, for relative-time behaviors.
-
--instance Monoid t => Comonad (ReactiveG t) where
-+instance Monoid t => Extend (ReactiveG t) where
- duplicate r@(_ `Stepper` Event u) =
- r `Stepper` Event (duplicate <$> u)
-
@@ -872,13 +864,13 @@
toListE_ = map futVal . toListE
-}