Change 'module Category.Arrow' to 'module Control.Arrow'
commitd00015b781917458a5ae798e36de6bbfda314a95
authorPaul Koerbitz <paul.koerbitz@theppro.com>
dateSun 6 Apr 2014, 15:56 (13 years ago)
parentd53dc76
libs/base/Control/Arrow.idr+1−2
@@ -1,4 +1,4 @@
1−module Category.Arrow
1+module Control.Arrow
22
33import Data.Morphisms
44import Control.Category
@@ -37,4 +37,3 @@ instance Monad m => Arrow (Kleislimorphism m) where
3737 (Kleisli f) &&& (Kleisli g) = Kleisli $ \a => do x <- f a
3838 y <- g a
3939 return (x, y)
40−