data-category 0.3.0 → 0.3.0.1

raw patch · 2 files changed

+2/−2 lines, 2 files

Files

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

Data/Category/Comma.hs view

@@ -21,7 +21,7 @@  data CommaO :: * -> * -> * -> * where   CommaO :: (Cod t ~ (~>), Cod s ~ (~>))-    => Obj (Dom t) a -> (t :% a ~> s :% b) -> Obj (Dom s) b -> CommaO t s (a, b)+    => Obj (Dom t) a -> ((t :% a) ~> (s :% b)) -> Obj (Dom s) b -> CommaO t s (a, b)      data (:/\:) :: * -> * -> * -> * -> * where    CommaA ::

data-category.cabal view

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