BNFC-2.8: A compiler front-end generator.

Safe HaskellNone
LanguageHaskell98

Data.Matrix.Class

Documentation

fingerprint :: (Matrix m, AbelianGroupZ a) => m a -> [[Char]] Source

(***) :: (t -> t2) -> (t1 -> t3) -> (t, t1) -> (t2, t3) Source

data Dimension Source

Constructors

XD 
YD 

quad :: (Matrix m, AbelianGroup a) => m a -> m a -> m a -> m a -> m a Source

type Extent = (Int, Int) Source

ext :: Dimension -> (t, t) -> t Source

glueExt :: (AbelianGroup t1, AbelianGroup t) => Dimension -> (t, t1) -> (t, t1) -> (t, t1) Source

splitExt :: Num t => Dimension -> t -> (t, t) -> ((t, t), (t, t)) Source

class Matrix m where Source

Methods

at :: AbelianGroupZ a => Int -> Int -> m a -> a Source

extent :: m a -> Extent Source

singleton :: AbelianGroupZ a => a -> m a Source

Sigleton matrix

glue :: AbelianGroup a => Dimension -> m a -> m a -> m a Source

split :: AbelianGroupZ a => Dimension -> Int -> m a -> (m a, m a) Source

zeroMatrix :: AbelianGroup a => Int -> Int -> m a Source

Instances

Matrix m => Matrix (O Pair m) 

(<|>) :: (AbelianGroup a, Matrix m) => m a -> m a -> m a Source

(<->) :: (AbelianGroup a, Matrix m) => m a -> m a -> m a Source

countColumns :: Matrix m => m a -> Int Source

countRows :: Matrix m => m a -> Int Source

chopLastColumn :: (AbelianGroupZ a, Matrix m) => m a -> m a Source

firstRow :: (AbelianGroupZ a, Matrix m) => m a -> m a Source

lastColumn :: (AbelianGroupZ a, Matrix m) => m a -> m a Source

chopLastRow :: (AbelianGroupZ a, Matrix m) => m a -> m a Source

chopFirstColumn :: (AbelianGroupZ a, Matrix m) => m a -> m a Source

chopFirstRow :: (AbelianGroupZ a, Matrix m) => m a -> m a Source