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

Safe HaskellNone
LanguageHaskell98

Data.Vector.Fixed.Boxed

Contents

Description

Vector which could hold any value.

Synopsis

Immutable

data Vec n a Source

Vector with fixed length which can hold any value.

Instances

Arity n => VectorN Vec n a 
Arity n => Functor (Vec n) 
Arity n => Applicative (Vec n) 
Arity n => Foldable (Vec n) 
Arity n => Traversable (Vec n) 
Arity n => Vector (Vec n) a 
Arity n => IVector (Vec n) a 
(Arity n, Eq a) => Eq (Vec n a) 
(Typeable * n, Arity n, Data a) => Data (Vec n a) 
(Arity n, Ord a) => Ord (Vec n a) 
(Arity n, Show a) => Show (Vec n a) 
(Arity n, Monoid a) => Monoid (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 => MVector (MVec n) a 
Typeable (* -> * -> * -> *) MVec 
type DimM (MVec n) = n