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

Safe HaskellNone

Data.Vector.Fixed.Boxed

Contents

Description

Boxed vector.

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 => Vector (Vec n) a 
Arity n => IVector (Vec n) a 
(Arity n, Eq a) => Eq (Vec n a) 
(Arity n, Show a) => Show (Vec n a) 

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

type Vec3 = Vec (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