Safe Haskell	None
Language	Haskell98

Data.Vector.Hybrid.Internal

Documentation

data MVector :: (* -> * -> *) -> (* -> * -> *) -> * -> * -> * where Source

Constructors

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

Instances

Typeable ((* -> * -> ) -> ( -> * -> ) -> -> * -> *) MVector
(MVector u a, MVector v b) => MVector (MVector u v) (a, b)

data Vector :: (* -> *) -> (* -> *) -> * -> * where Source

Constructors

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

Instances

Typeable ((* -> ) -> ( -> ) -> -> *) Vector
(Vector u a, Vector v b) => Vector (Vector u 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, Typeable (* -> ) u, Typeable ( -> ) 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)
type Mutable (Vector u v) = MVector (Mutable u) (Mutable v)