fixed-vector-0.8.0.0: Generic vectors with statically known size.

Safe HaskellNone
LanguageHaskell98

Data.Vector.Fixed.Primitive

Contents

Description

Unboxed vectors with fixed length. Vectors from Data.Vector.Fixed.Unboxed provide more flexibility at no performeance cost.

Synopsis

Immutable

data Vec n a Source

Unboxed vector with fixed length

Instances

(Arity n, Prim a) => VectorN Vec n a 
(Arity n, Prim a) => Vector (Vec n) a 
(Arity n, Prim a) => IVector (Vec n) a 
(Arity n, Prim a, Eq a) => Eq (Vec n a) 
(Typeable * n, Arity n, Prim a, Data a) => Data (Vec n a) 
(Arity n, Prim a, Ord a) => Ord (Vec n a) 
(Arity n, Prim a, Show a) => Show (Vec n a) 
(Storable a, Prim a, Arity n) => Storable (Vec n a) 
(Arity n, Prim a, Monoid a) => Monoid (Vec n a) 
(Arity n, Prim a, NFData a) => NFData (Vec n a) 
Typeable (* -> * -> *) Vec 
type Dim (Vec n) = n 
type Mutable (Vec n) = MVec n 

type Vec1 = Vec (S Z) Source

type Vec2 = Vec (S (S Z)) Source

type Vec3 = Vec (S (S (S Z))) Source

type Vec4 = Vec (S (S (S (S Z)))) Source

type Vec5 = Vec (S (S (S (S (S Z))))) Source

Mutable

data MVec n s a Source

Mutable unboxed vector with fixed length

Instances

(Arity n, Prim a) => MVector (MVec n) a 
Typeable (* -> * -> * -> *) MVec 
type DimM (MVec n) = n 

Type classes