Age | Commit message (Collapse) | Author |
|
|
|
* Adds missing Semigroup instances
* Adds `semigroups` to the deps of `hmatrix`
* Hides conflicting names from import list with base >= 4.11
* `(Prelude.<>)` and `GHC.TypeNats.Mod`
|
|
|
|
|
|
|
|
on square matrices.
|
|
|
|
|
|
can be verified to be square and are therefore total, compared to the determinate function from the untyped packages.
|
|
|
|
|
|
API with sameNat
|
|
|
|
|
|
|
|
|
|
|
|
|
|
instead of extract for mapX functions
|
|
columns and as inverses of toRows and toColumns
|
|
|
|
|
|
|
|
|
|
dependently typed vectors or matrices to be the same size when they were previously unknown at compile time
|
|
functions from neglect of extract
|
|
|
|
|
|
methods to Domain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|