Data.Matrix.Class

Documentation

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

(***) :: (t1 -> a) -> (t2 -> b) -> (t1, t2) -> (a, b)

data Dimension

Constructors

XD

YD

Instances

Eq Dimension

Defined in Data.Matrix.Class

Methods

(==) :: Dimension -> Dimension -> Bool

(/=) :: Dimension -> Dimension -> Bool

Show Dimension

Defined in Data.Matrix.Class

Methods

showsPrec :: Int -> Dimension -> ShowS

show :: Dimension -> String

showList :: [Dimension] -> ShowS

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

nextDim :: Dimension -> Dimension

type Extent = (Int, Int)

ext :: Dimension -> (p, p) -> p

glueExt :: (AbelianGroup a1, AbelianGroup a2) => Dimension -> (a1, a2) -> (a1, a2) -> (a1, a2)

splitExt :: Num a => Dimension -> a -> (a, a) -> ((a, a), (a, a))

class Matrix m where

Methods

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

extent :: m a -> Extent

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

Sigleton matrix

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

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

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

Instances

Matrix m => Matrix (O Pair m)

Defined in Data.Matrix.Class

Methods

at :: AbelianGroupZ a => Int -> Int -> O Pair m a -> a

extent :: O Pair m a -> Extent

singleton :: AbelianGroupZ a => a -> O Pair m a

glue :: AbelianGroup a => Dimension -> O Pair m a -> O Pair m a -> O Pair m a

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

zeroMatrix :: AbelianGroup a => Int -> Int -> O Pair m a

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

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

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

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

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

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

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

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

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

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