git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1037 from paulkoerbitz/fix-control-module-names
dcdebfcEdwin Brady
libs/base/Control/Arrow.idr+1−2
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module Category.Arrow
1+module Control.Arrow
2
2
3import Data.Morphisms
3import Data.Morphisms
4import Control.Category
4import Control.Category
@@ -37,4 +37,3 @@ instance Monad m => Arrow (Kleislimorphism m) where
37 (Kleisli f) &&& (Kleisli g) = Kleisli $ \a => do x <- f a
37 (Kleisli f) &&& (Kleisli g) = Kleisli $ \a => do x <- f a
38 y <- g a
38 y <- g a
39 return (x, y)
39 return (x, y)
40−
libs/base/Control/Catchable.idr+1−1
@@ -1,4 +1,4 @@
1−module Prelude.Catchable
1+module Control.Catchable
2
2
3import Control.IOExcept
3import Control.IOExcept
4
4