Data.Matrix.Transformations

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

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

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

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

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

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

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