Data.Vector.Fixed

Vector type class

Vector size

type family Dim (v :: * -> *) :: Nat

Type class

class Vector v a

class VectorN v n a

type Arity n

data Fun n a b

Constructors

Continuation-based vectors

data ContVec n a

Functions

Modifying vectors

Transformations

Indexing & lenses

Comparison

Maps

Folding

Special folds

Zips

Storable methods

defaultAlignemnt

NFData

Conversion

Data types

data VecList n a

data VecPeano n a

data Only a

data Empty a

Tuple synonyms

type Tuple2 a

type Tuple3 a

type Tuple4 a

type Tuple5 a