semigroupoid-extras 0.2 → 0.2.1.0
raw patch · 2 files changed
+6/−3 lines, 2 files
Files
- Data/Semigroupoid/Ob.hs +5/−2
- semigroupoid-extras.cabal +1/−1
Data/Semigroupoid/Ob.hs view
@@ -20,8 +20,11 @@ instance (Semigroupoid l, Ob r a) => Ob (Coproduct l r) (R a) where semiid = R semiid -instance (Bind m, Monad m, Ob (->) a) => Ob (Kleisli m) a where+instance (Bind m, Monad m) => Ob (Kleisli m) a where semiid = Kleisli return -instance (Comonad w, Ob (->) a) => Ob (Cokleisli w) a where+instance Comonad w => Ob (Cokleisli w) a where semiid = Cokleisli extract++instance Ob (->) a where+ semiid = id
semigroupoid-extras.cabal view
@@ -1,6 +1,6 @@ name: semigroupoid-extras category: Control-version: 0.2+version: 0.2.1.0 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE