data-category 0.0.3 → 0.0.3.1

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

• Data/Category/Kleisli.hs +1/−1
• data-category.cabal +1/−1

@@ -36,7 +36,7 @@ instance (Monad m, Dom m ~ (->), Cod m ~ (->), FunctorA m b (F m c)) => CategoryA (Kleisli (->) m) a b c where   (Kleisli f) . (Kleisli g) = Kleisli $ \m -> unsafeCoerce (unHaskNat (join m)) . (m % f m) . g m newtype instance Funct (Kleisli (->) m) d (FunctO (Kleisli (->) m) d f) (FunctO (Kleisli (->) m) d g) = -  KleisliNat { unKleisliNat :: (forall a. CategoryO d (F f a) => Component f g a) }+  KleisliNat (forall a. CategoryO d (F f a) => Component f g a)  data KleisliAdjF ((~>) :: * -> * -> *) m = KleisliAdjF m type instance Dom (KleisliAdjF (~>) m) = (~>)

@@ -1,5 +1,5 @@ name:                data-category-version:             0.0.3+version:             0.0.3.1 synopsis:            Restricted categories description:            Data-category is a collection of categories, and some categorical constructions on them.