Permalink
Browse files

Removing the unused (and incorrect) Product class.

  • Loading branch information...
roconnor committed Apr 7, 2012
1 parent d377c86 commit 80efbf651f1209d13f642bbe09c72aeabc6dac74
Showing with 1 addition and 13 deletions.
  1. +1 −1 CHANGELOG
  2. +0 −12 src/Control/Category/Product.hs
View
@@ -2,4 +2,4 @@
==========================
* Introduced partial/nullable lenses (Data.Lens.Partial).
* Altered the associativity of (^.) and (^!) from right to left.
-* Introduced Tensor and Product type-classes to Control.Category -- instanced by Lens and PartialLens.
+* Introduced Tensor type-class to Control.Category -- instanced by Lens and PartialLens.
@@ -4,7 +4,6 @@ import Prelude hiding (id)
import Control.Category
infixr 3 ***
-infixr 3 &&&
class Category c => Tensor c where
-- requires (fl *** fr) . (gl *** gr) === (fl . gl) *** (fr . gr)
@@ -17,14 +16,3 @@ class Category c => Tensor c where
instance Tensor (->) where
(***) f g (w, y) = (f w, g y)
-
-class Tensor c => Product c where
- -- requires (f &&& g) . h === (f . h) &&& (g . h)
- -- and (fst &&& snd) === id
- -- and terminal = f
- (&&&) :: c x y -> c x z -> c x (y, z)
- terminal :: c x ()
-
-instance Product (->) where
- (&&&) f g x = (f x, g x)
- terminal _ = ()

0 comments on commit 80efbf6

Please sign in to comment.