sized-types-0.3.5.1: Sized types in Haskell.

Safe HaskellNone
LanguageHaskell98

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 a Source

class Ix ix => Bounds ix where Source

Methods

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

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

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

Instances

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

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

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

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

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

bounds :: Bounds s => Vector s a -> (s, s) Source

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

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

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

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

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) a Source

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

show' :: (Bounds ix, Show a) => Vector (ix, ix) a -> String Source

foo :: (Bounds ix1, Bounds ix, Show a) => Vector (ix, ix1) a -> [[String]] Source

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

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