Merge pull request #1037 from paulkoerbitz/fix-control-module-names
Fix control module names
commitdcdebfc7b0b98c8c7add7ff483bb4d759d623584
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 9 Apr 2014, 13:38 (13 years ago)
parent6857d73f2cf4d8
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−
libs/base/Control/Catchable.idr+1−1
@@ -1,4 +1,4 @@
1−module Prelude.Catchable
1+module Control.Catchable
22
33import Control.IOExcept
44