categories 0.58.0.5 → 0.59
raw patch · 2 files changed
+3/−3 lines, 2 filesdep ~basePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base
API changes (from Hackage documentation)
- Control.Categorical.Object: class Category ~> => HasInitialObject ~> where { type family Initial ~> :: *; }
+ Control.Categorical.Object: class Category ~> => HasInitialObject ~> where type family Initial ~> :: *
- Control.Categorical.Object: class Category ~> => HasTerminalObject ~> where { type family Terminal ~> :: *; }
+ Control.Categorical.Object: class Category ~> => HasTerminalObject ~> where type family Terminal ~> :: *
- Control.Category.Cartesian: bimapProduct :: (PreCartesian k, <*> ~ (Product k)) => (a k c) -> (b k d) -> (a <*> b) k (c <*> d)
+ Control.Category.Cartesian: bimapProduct :: (PreCartesian k, <*> ~ Product k) => (a k c) -> (b k d) -> (a <*> b) k (c <*> d)
- Control.Category.Cartesian: bimapSum :: (PreCoCartesian k, (Sum k) ~ +) => (a k c) -> (b k d) -> (a + b) k (c + d)
+ Control.Category.Cartesian: bimapSum :: (PreCoCartesian k, Sum k ~ +) => (a k c) -> (b k d) -> (a + b) k (c + d)
- Control.Category.Cartesian: braidSum :: (PreCoCartesian k, + ~ (Sum k)) => (a + b) k (b + a)
+ Control.Category.Cartesian: braidSum :: (PreCoCartesian k, + ~ Sum k) => (a + b) k (b + a)
- Control.Category.Cartesian: class (Associative k (Product k), Disassociative k (Product k), Symmetric k (Product k), Braided k (Product k)) => PreCartesian k where { type family Product k :: * -> * -> *; { diag = id &&& id f &&& g = bimap f g . diag } }
+ Control.Category.Cartesian: class (Associative k (Product k), Disassociative k (Product k), Symmetric k (Product k), Braided k (Product k)) => PreCartesian k where type family Product k :: * -> * -> * diag = id &&& id f &&& g = bimap f g . diag
- Control.Category.Cartesian: class (Associative k (Sum k), Disassociative k (Sum k), Symmetric k (Product k), Braided k (Sum k)) => PreCoCartesian k where { type family Sum k :: * -> * -> *; { codiag = id ||| id f ||| g = codiag . bimap f g } }
+ Control.Category.Cartesian: class (Associative k (Sum k), Disassociative k (Sum k), Symmetric k (Product k), Braided k (Sum k)) => PreCoCartesian k where type family Sum k :: * -> * -> * codiag = id ||| id f ||| g = codiag . bimap f g
- Control.Category.Cartesian.Closed: class (Cartesian <=, Symmetric <= (Product <=), Monoidal <= (Product <=)) => CCC <= where { type family Exp <= :: * -> * -> *; }
+ Control.Category.Cartesian.Closed: class (Cartesian <=, Symmetric <= (Product <=), Monoidal <= (Product <=)) => CCC <= where type family Exp <= :: * -> * -> *
- Control.Category.Cartesian.Closed: class (CoCartesian <=, Symmetric <= (Sum <=), Comonoidal <= (Sum <=)) => CoCCC <= where { type family Coexp <= :: * -> * -> *; }
+ Control.Category.Cartesian.Closed: class (CoCartesian <=, Symmetric <= (Sum <=), Comonoidal <= (Sum <=)) => CoCCC <= where type family Coexp <= :: * -> * -> *
- Control.Category.Cartesian.Closed: counitCoCCC :: (CoCCC <=, subtract ~ (Coexp <=), + ~ (Sum <=)) => subtract b (b + a) <= a
+ Control.Category.Cartesian.Closed: counitCoCCC :: (CoCCC <=, subtract ~ Coexp <=, + ~ Sum <=) => subtract b (b + a) <= a
- Control.Category.Monoidal: class Associative k p => Monoidal k p
+ Control.Category.Monoidal: class Associative k p => Monoidal (k :: * -> * -> *) (p :: * -> * -> *)
Files
- Control/Category/Monoidal.hs +2/−2
- categories.cabal +1/−1
Control/Category/Monoidal.hs view
@@ -31,7 +31,7 @@ -- | Denotes that we have some reasonable notion of 'Identity' for a particular 'Bifunctor' in this 'Category'. This -- notion is currently used by both 'Monoidal' and 'Comonoidal'-type family Id k p :: *+type family Id (k :: * -> * -> *) (p :: * -> * -> *) :: * {- | A monoidal category. 'idl' and 'idr' are traditionally denoted lambda and rho the triangle identity holds:@@ -40,7 +40,7 @@ > second idl = first idr . associate -} -class Associative k p => Monoidal k p where+class Associative k p => Monoidal (k :: * -> * -> *) (p :: * -> * -> *) where idl :: k (p (Id k p) a) a idr :: k (p a (Id k p)) a
categories.cabal view
@@ -1,6 +1,6 @@ name: categories category: Control-version: 0.58.0.5+version: 0.59 license: BSD3 cabal-version: >= 1.2.3 license-file: LICENSE