Safe Haskell | None |
---|
Do not import this module. It is only for demonstration purposes.
Documentation
type SquareMatrix size = Square size DoubleSource
normalizeSplit :: (C sh0, C sh1, Eq sh1) => Matrix sh1 (sh0 :+: sh1) -> (Matrix sh0 sh1, SquareMatrix sh1)Source
completeIdSquare :: (C sh0, Eq sh0, C sh1, Eq sh1) => Matrix sh1 (sh0 :+: sh1) -> SquareMatrix (sh0 :+: sh1)Source
iterated :: (C sh0, Eq sh0, C sh1, Eq sh1) => Matrix sh1 (sh0 :+: sh1) -> Vector (sh0 :+: sh1) -> Vector (sh0 :+: sh1)Source