Data.Vector.Hybrid.Internal

Documentation

data MVector where

Constructors

MV :: !(u s a) -> !(v s b) -> MVector u v s (a, b)

Instances

(Typeable2 u, Typeable2 v) => Typeable2 (MVector u v)

(MVector u a, MVector v b) => MVector (MVector u v) (a, b)

(Mixed u v a, Mixed u' v' b) => Mixed (MVector u u') (Vector v v') (a, b)

data Vector where

Constructors

V :: !(u a) -> !(v b) -> Vector u v (a, b)

Instances

(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)