Module

Data.Matrix.Transformations

#transpose 

transpose :: forall a h w. Nat h => Nat w => Matrix h w a -> Matrix w h a

#deleteRowUnsafe 

deleteRowUnsafe :: forall h h' w a. Nat w => Nat h => Nat h' => Succ h' h => Int -> Matrix h w a -> Matrix h' w a

#deleteRow 

deleteRow :: forall h h' w i a. Nat w => Nat h => Nat h' => Nat i => Succ h' h => Lt i h => i -> Matrix h w a -> Matrix h' w a

#deleteColumn 

deleteColumn :: forall h w w' i a. Nat w => Nat h => Nat w' => Nat i => Succ w' w => Lt i w => i -> Matrix h w a -> Matrix h w' a

#resize 

resize :: forall h w h' w' a. Nat h => Nat w => Nat h' => Nat w' => LtEq h' h => LtEq w' w => Matrix h w a -> Matrix h' w' a

#swapRow 

swapRow :: forall h w a. Nat h => Nat w => Int -> Int -> Matrix h w a -> Matrix h w a

#mkPermutation 

mkPermutation :: forall h w a. CommutativeRing a => Nat h => Nat w => (Int -> Int) -> Matrix h w a

Modules