fixed-vector-0.1.1: Generic vectors with fixed length

Safe HaskellNone

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 (Dim (Vec n)), Arity n, Prim a) => Vector (Vec n) a 
(~ * (Dim (Vec n)) (DimM (Mutable (Vec n))), MVector (Mutable (Vec n)) a, Arity n, Prim a) => IVector (Vec n) a 
(Arity n, Prim a, 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 (DimM (MVec n)), Arity n, Prim a) => MVector (MVec n) a