sized-types-0.2.7.20101112: Sized types in Haskell.

Data.Sized.Vector

Documentation

data Vector ix a Source

Constructors

Vector (Array ix a) 

Instances

Bounds ix => Functor (Vector ix) 
(Show a, Bounds ix) => Show (Vector (ix, ix) a) 
(Show a, Bounds ix, Num ix) => Show (Vector ix a) 

vector :: Bounds ix => ix -> [a] -> Vector ix aSource

class Ix ix => Bounds ix whereSource

Methods

toBounds :: ix -> (ix, ix)Source

fromBounds :: (ix, ix) -> ixSource

range :: (ix, ix) -> [ix]Source

Instances

Bounds Int 
(Bounds a, Bounds b) => Bounds (a, b) 

(!) :: Bounds ix => Vector ix a -> ix -> aSource

toList :: Bounds ix => Vector ix a -> [a]Source

assocs :: Bounds ix => Vector ix a -> [(ix, a)]Source

size :: Bounds ix => Vector ix a -> ixSource

indices :: Bounds ix => Vector ix a -> [ix]Source

ixmap :: (Bounds i, Bounds j) => i -> (i -> j) -> Vector j a -> Vector i aSource

transpose :: (Bounds x, Bounds y) => Vector (x, y) a -> Vector (y, x) aSource

identity :: (Bounds ix, Num a) => ix -> Vector (ix, ix) aSource

rows :: (Bounds x, Bounds y) => Vector (x, y) a -> Vector x (Vector y a)Source

cols :: (Bounds x, Bounds y) => Vector (x, y) a -> Vector y (Vector x a)Source

above :: (Bounds x, Bounds y, Num x, Num y) => Vector (x, y) a -> Vector (x, y) a -> Vector (x, y) aSource

beside :: (Bounds x, Bounds y, Num x, Num y) => Vector (x, y) a -> Vector (x, y) a -> Vector (x, y) aSource

seeIn2D :: (Bounds ix, Num ix) => Vector ix a -> Vector (ix, ix) aSource

showMatrix' :: Bounds ix => (ix, ix) -> [[String]] -> StringSource