(Typeable1 u, Typeable1 v) => Typeable1 (Vector u v) | |
(Vector u a, Vector v b) => Vector (Vector u v) (a, b) | |
(Mixed u v a, Mixed u' v' b) => Mixed (MVector u u') (Vector v v') (a, b) | |
(Vector u a, Vector v b, Eq a, Eq b, ~ * c (a, b)) => Eq (Vector u v c) | |
(Data a, Data b, Typeable1 u, Typeable1 v, Vector u a, Vector v b, ~ * c (a, b)) => Data (Vector u v c) | |
(Vector u a, Vector v b, Ord a, Ord b, ~ * c (a, b)) => Ord (Vector u v c) | |
(Vector u a, Vector v b, Read a, Read b, ~ * c (a, b)) => Read (Vector u v c) | |
(Vector u a, Vector v b, Show a, Show b, ~ * c (a, b)) => Show (Vector u v c) | |
(Vector u a, Vector v b, ~ * c (a, b)) => Monoid (Vector u v c) | |