aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed
Commit message (Expand)AuthorAge
* Generalise some of the lifting functions to type-changingTom Smeding2024-06-17
* Rename *LengthSNat to *RankTom Smeding2024-06-13
* Conciseness cleanupTom Smeding2024-06-10
* Make arith code aware of negative stridesTom Smeding2024-06-10
* Clean up some redundant catMaybesTom Smeding2024-06-10
* Dot productTom Smeding2024-06-10
* Rename arg{min,max} to {min,max}IndexTom Smeding2024-06-10
* Fix extremum for replicated input arraysTom Smeding2024-06-10
* argmin and argmaxTom Smeding2024-06-09
* Extract {listx,shx}FromList from IsList instancesTom Smeding2024-06-09
* Concatenation of arrays for M and RTom Smeding2024-06-09
* Fix stride handling of binary arith opsTom Smeding2024-06-09
* Generalise Ord instances to full lexicographical orderTom Smeding2024-06-07
* Properly test C reductionsTom Smeding2024-06-03
* Rename *ToSNat to *LengthSNatTom Smeding2024-06-03
* rrank, rtoOrthotopeTom Smeding2024-06-03
* Move sh*Tail to main ox-arraysTom Smeding2024-06-03
* Test permInverseTom Smeding2024-06-03
* Some more generators for testsTom Smeding2024-06-03
* Separate permCheckPermutation from permInverseTom Smeding2024-06-03
* Introduce PermR type synonymTom Smeding2024-06-03
* Clearer module purposesTom Smeding2024-05-30
* Refactor Nested (modules, function names)Tom Smeding2024-05-30
* Clean up extensionsTom Smeding2024-05-30
* Refactor Mixed (modules, regular function names)Tom Smeding2024-05-30