arrow-list 0.1.0 → 0.2.0
raw patch · 2 files changed
+4/−3 lines, 2 filesdep ~mtlPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: mtl
API changes (from Hackage documentation)
- Control.Arrow.ArrowKleisli: instance (Monad m) => ArrowKleisli m (Kleisli m)
- Control.Arrow.List: instance (Monad m) => Arrow (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => ArrowApply (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => ArrowChoice (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => ArrowKleisli m (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => ArrowList (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => ArrowPlus (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => ArrowZero (ListTArrow m)
- Control.Arrow.List: instance (Monad m) => Category (ListTArrow m)
+ Control.Arrow.ArrowKleisli: instance Monad m => ArrowKleisli m (Kleisli m)
+ Control.Arrow.List: instance Monad m => Arrow (ListTArrow m)
+ Control.Arrow.List: instance Monad m => ArrowApply (ListTArrow m)
+ Control.Arrow.List: instance Monad m => ArrowChoice (ListTArrow m)
+ Control.Arrow.List: instance Monad m => ArrowKleisli m (ListTArrow m)
+ Control.Arrow.List: instance Monad m => ArrowList (ListTArrow m)
+ Control.Arrow.List: instance Monad m => ArrowPlus (ListTArrow m)
+ Control.Arrow.List: instance Monad m => ArrowZero (ListTArrow m)
+ Control.Arrow.List: instance Monad m => Category (ListTArrow m)
- Control.Arrow.ArrowKleisli: arrM :: (ArrowKleisli m ~>) => (a -> m b) -> a ~> b
+ Control.Arrow.ArrowKleisli: arrM :: ArrowKleisli m ~> => (a -> m b) -> a ~> b
- Control.Arrow.ArrowKleisli: class (Monad m, Arrow ~>) => ArrowKleisli m ~>
+ Control.Arrow.ArrowKleisli: class (Monad m, Arrow ~>) => ArrowKleisli m ~> | ~> -> m
- Control.Arrow.ArrowList: arrL :: (ArrowList ~>) => (a -> [b]) -> a ~> b
+ Control.Arrow.ArrowList: arrL :: ArrowList ~> => (a -> [b]) -> a ~> b
- Control.Arrow.ArrowList: class (Arrow ~>) => ArrowList ~>
+ Control.Arrow.ArrowList: class Arrow ~> => ArrowList ~>
- Control.Arrow.ArrowList: concatA :: (ArrowPlus ~>) => [a ~> b] -> a ~> b
+ Control.Arrow.ArrowList: concatA :: ArrowPlus ~> => [a ~> b] -> a ~> b
- Control.Arrow.ArrowList: empty :: (ArrowList ~>) => (a ~> b) -> a ~> Bool
+ Control.Arrow.ArrowList: empty :: ArrowList ~> => (a ~> b) -> a ~> Bool
- Control.Arrow.ArrowList: isA :: (ArrowList ~>) => (a -> Bool) -> a ~> a
+ Control.Arrow.ArrowList: isA :: ArrowList ~> => (a -> Bool) -> a ~> a
- Control.Arrow.ArrowList: list :: (ArrowList ~>) => (a ~> b) -> a ~> [b]
+ Control.Arrow.ArrowList: list :: ArrowList ~> => (a ~> b) -> a ~> [b]
- Control.Arrow.ArrowList: mapL :: (ArrowList ~>) => ([b] -> [c]) -> (a ~> b) -> (a ~> c)
+ Control.Arrow.ArrowList: mapL :: ArrowList ~> => ([b] -> [c]) -> (a ~> b) -> (a ~> c)
- Control.Arrow.ArrowList: maybeL :: (ArrowList ~>) => Maybe a ~> a
+ Control.Arrow.ArrowList: maybeL :: ArrowList ~> => Maybe a ~> a
- Control.Arrow.ArrowList: none :: (ArrowList ~>) => a ~> b
+ Control.Arrow.ArrowList: none :: ArrowList ~> => a ~> b
- Control.Arrow.ArrowList: unite :: (ArrowList ~>) => (a ~> (b, b)) -> a ~> b
+ Control.Arrow.ArrowList: unite :: ArrowList ~> => (a ~> (b, b)) -> a ~> b
- Control.Arrow.ArrowList: unlist :: (ArrowList ~>) => [b] ~> b
+ Control.Arrow.ArrowList: unlist :: ArrowList ~> => [b] ~> b
Files
arrow-list.cabal view
@@ -1,5 +1,5 @@ Name: arrow-list-Version: 0.1.0+Version: 0.2.0 Synopsis: List arrows for Haskell. Description: This small Haskell library provides some type class, types and functions to work with list arrows. List arrows represent@@ -21,7 +21,7 @@ HS-Source-Dirs: src Build-Depends: base ==4.*,- mtl ==2.0.*+ mtl >= 1.1 && < 2.1 Exposed-modules: Control.Arrow.ArrowKleisli Control.Arrow.ArrowList
src/Control/Arrow/ArrowKleisli.hs view
@@ -7,12 +7,13 @@ TypeOperators , MultiParamTypeClasses , FlexibleInstances+ , FunctionalDependencies #-} module Control.Arrow.ArrowKleisli where import Control.Arrow -class (Monad m, Arrow (~>)) => ArrowKleisli m (~>) where+class (Monad m, Arrow (~>)) => ArrowKleisli m (~>) | (~>) -> m where arrM :: (a -> m b) -> a ~> b instance Monad m => ArrowKleisli m (Kleisli m) where