diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-08-21 03:59:18 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2011-08-21 03:59:18 +0200 |
| commit | 4c485dd062ad3823471e7dde1166d556bb385487 (patch) | |
| tree | 8e25813a42e19c51cd882b9c55e09df6b252a639 /src/Control | |
| parent | 26c51b9e152bce3a3ceea99763b0f7eb1e589720 (diff) | |
| download | CacheArrow-4c485dd062ad3823471e7dde1166d556bb385487.tar CacheArrow-4c485dd062ad3823471e7dde1166d556bb385487.zip | |
Diffstat (limited to 'src/Control')
| -rw-r--r-- | src/Control/CacheArrow.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Control/CacheArrow.hs b/src/Control/CacheArrow.hs index d701986..ff77112 100644 --- a/src/Control/CacheArrow.hs +++ b/src/Control/CacheArrow.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE ExistentialQuantification, FlexibleInstances, MultiParamTypeClasses, Arrows #-} +{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, Arrows #-} module Control.CacheArrow ( CacheArrow , runCache' @@ -31,7 +31,7 @@ instance Arrow a => ArrowTransformer CacheArrow a where lift = CacheArrow Nothing -runCacheAlways :: (ArrowChoice a, Eq b) => CacheArrow a b c -> a b (c, CacheArrow a b c) +runCacheAlways :: Arrow a => CacheArrow a b c -> a b (c, CacheArrow a b c) runCacheAlways (CacheArrow _ f) = proc b -> do c <- f -< b returnA -< (c, CacheArrow (Just (b, c)) f) |