Some cleanup

This commit is contained in:
Matthias Schiffer 2011-08-21 03:59:18 +02:00
parent 26c51b9e15
commit 4c485dd062

View file

@ -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)