Data.Sized.Vector

Documentation

data Vector ix a

Constructors

Vector (Array ix a)

Instances

Bounds ix => Functor (Vector ix)

Methods

fmap :: (a -> b) -> Vector ix a -> Vector ix b

(<$) :: a -> Vector ix b -> Vector ix a

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

Methods

showsPrec :: Int -> Vector (ix, ix) a -> ShowS

show :: Vector (ix, ix) a -> String

showList :: [Vector (ix, ix) a] -> ShowS

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

Methods

showsPrec :: Int -> Vector ix a -> ShowS

show :: Vector ix a -> String

showList :: [Vector ix a] -> ShowS

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

class Ix ix => Bounds ix where

Minimal complete definition

toBounds, fromBounds, range

Methods

toBounds :: ix -> (ix, ix)

fromBounds :: (ix, ix) -> ix

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

Instances

Bounds Int

Methods

toBounds :: Int -> (Int, Int)

fromBounds :: (Int, Int) -> Int

range :: (Int, Int) -> [Int]

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

Methods

toBounds :: (a, b) -> ((a, b), (a, b))

fromBounds :: ((a, b), (a, b)) -> (a, b)

range :: ((a, b), (a, b)) -> [(a, b)]

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

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

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

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

bounds :: Bounds ix => Vector ix a -> (ix, ix)

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

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

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

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

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

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

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

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

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

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

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

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