Safe Haskell | None |
---|---|
Language | Haskell98 |
Synopsis
- asDiagonal :: Id (FlexDiagonal diag sh a)
- asSymmetric :: Id (Symmetric sh a)
- size :: Quadratic pack property lower upper sh a -> sh
- mapSize :: (C shA, C shB) => (shA -> shB) -> Quadratic pack property lower upper shA a -> Quadratic pack property lower upper shB a
- identity :: (Quadratic pack property lower upper, C sh, Floating a) => Order -> sh -> Quadratic pack property lower upper sh a
- diagonal :: (Diagonal property, Quadratic pack property lower upper, C sh, Floating a) => Order -> Vector sh a -> Quadratic pack property lower upper sh a
- class Property property => Diagonal property
- takeDiagonal :: (C sh, Floating a) => Quadratic pack property lower upper sh a -> Vector sh a
- takeTopLeft :: (C sh0, C sh1, Floating a) => Quadratic pack property lower upper (sh0 ::+ sh1) a -> Quadratic pack property lower upper sh0 a
- takeTopRight :: (C sh0, C sh1, Floating a) => Quadratic pack property lower Filled (sh0 ::+ sh1) a -> General sh0 sh1 a
- takeBottomLeft :: (C sh0, C sh1, Floating a) => Quadratic pack property Filled upper (sh0 ::+ sh1) a -> General sh1 sh0 a
- takeBottomRight :: (C sh0, C sh1, Floating a) => Quadratic pack property lower upper (sh0 ::+ sh1) a -> Quadratic pack property lower upper sh1 a
Documentation
asDiagonal :: Id (FlexDiagonal diag sh a) Source #
asSymmetric :: Id (Symmetric sh a) Source #
mapSize :: (C shA, C shB) => (shA -> shB) -> Quadratic pack property lower upper shA a -> Quadratic pack property lower upper shB a Source #
The number of rows and columns must be maintained by the shape mapping function.
identity :: (Quadratic pack property lower upper, C sh, Floating a) => Order -> sh -> Quadratic pack property lower upper sh a Source #
diagonal :: (Diagonal property, Quadratic pack property lower upper, C sh, Floating a) => Order -> Vector sh a -> Quadratic pack property lower upper sh a Source #
class Property property => Diagonal property Source #
diagonalAux
takeDiagonal :: (C sh, Floating a) => Quadratic pack property lower upper sh a -> Vector sh a Source #
takeTopLeft :: (C sh0, C sh1, Floating a) => Quadratic pack property lower upper (sh0 ::+ sh1) a -> Quadratic pack property lower upper sh0 a Source #
takeTopRight :: (C sh0, C sh1, Floating a) => Quadratic pack property lower Filled (sh0 ::+ sh1) a -> General sh0 sh1 a Source #