Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Export *fromListPrimLinear | Tom Smeding | 2024-10-09 |
| | |||
* | Export Product | Tom Smeding | 2024-10-09 |
| | |||
* | Add rToMixed and stoMixed | Tom Smeding | 2024-10-09 |
| | | | | | | These are somewhat redundant because one can just open up the Ranked and Shaped newtype constructors, but let's complete the triangle of conversion functions. | ||
* | Export Rank | Tom Smeding | 2024-10-09 |
| | |||
* | Add {m,r,s}dot1Inner | Tom Smeding | 2024-06-19 |
| | |||
* | sumAllPrim | Tom Smeding | 2024-06-17 |
| | |||
* | Export shape types for Mixed | Tom Smeding | 2024-06-14 |
| | |||
* | [mrs]{from,to}ListLinear | Tom Smeding | 2024-06-14 |
| | |||
* | Export full [mrs]{shape,rank,size} set | Tom Smeding | 2024-06-14 |
| | |||
* | s{from,to}Orthotope | Tom Smeding | 2024-06-13 |
| | |||
* | Add (temporary version of) more general mdot | Tom Smeding | 2024-06-10 |
| | |||
* | Add *flatten | Tom Smeding | 2024-06-10 |
| | |||
* | Dot product | Tom Smeding | 2024-06-10 |
| | |||
* | Add {max,min}IndexPrim to Nested export | Tom Smeding | 2024-06-10 |
| | |||
* | nest, unNest | Tom Smeding | 2024-06-09 |
| | |||
* | Concatenation of arrays for M and R | Tom Smeding | 2024-06-09 |
| | | | | What should the type of sconcat be? | ||
* | Export KnownElt from public Nested module | Tom Smeding | 2024-06-09 |
| | |||
* | rrank, rtoOrthotope | Tom Smeding | 2024-06-03 |
| | |||
* | *asXArrayPrim -> *toXArrayPrim | Tom Smeding | 2024-06-03 |
| | | | | This name makes much more sense in combination with *fromXArrayPrim. | ||
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
| | | | | Thanks Mikolaj for discussion | ||
* | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
| | |||
* | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 |
| | |||
* | Export NumElt and FloatElt publicly | Tom Smeding | 2024-05-27 |
| | |||
* | Re-add KnownNatList for convenience with transpose functions | Tom Smeding | 2024-05-27 |
| | |||
* | replicate -> replicateScal; add proper generic replicate | Tom Smeding | 2024-05-25 |
| | |||
* | fromList1Prim | Tom Smeding | 2024-05-23 |
| | |||
* | msumOuter1 | Tom Smeding | 2024-05-23 |
| | |||
* | iota | Tom Smeding | 2024-05-20 |
| | |||
* | Some missing operations (rlift2, slift2) | Tom Smeding | 2024-05-20 |
| | |||
* | Reorganise exports | Tom Smeding | 2024-05-20 |
| | |||
* | Better {from,to}List set | Tom Smeding | 2024-05-20 |
| | |||
* | rfromOrthotope | Tom Smeding | 2024-05-20 |
| | |||
* | Rerank on primitive arrays | Tom Smeding | 2024-05-20 |
| | |||
* | constant -> replicate | Tom Smeding | 2024-05-20 |
| | |||
* | Some conversions | Tom Smeding | 2024-05-20 |
| | |||
* | Export the two non-Foldable toList functions publicly | Tom Smeding | 2024-05-19 |
| | |||
* | Finish singletons refactor? | Tom Smeding | 2024-05-18 |
| | |||
* | Convert arrays <-> XArray | Tom Smeding | 2024-05-16 |
| | |||
* | WIP stranspose type | Tom Smeding | 2024-05-15 |
| | |||
* | The code compiles with only GHC nats | Tom Smeding | 2024-05-15 |
| | |||
* | reshapelast-with-inat | Tom Smeding | 2024-05-14 |
| | |||
* | rev1 | Tom Smeding | 2024-05-14 |
| | |||
* | Fixup *fromList* names | Tom Smeding | 2024-05-14 |
| | |||
* | toVector | Tom Smeding | 2024-05-14 |
| | |||
* | Introduce EltRepr (no more Primitive/Coercible in API) | Tom Smeding | 2024-05-14 |
| | |||
* | Bundle patterns with Ix/Sh data types (haddock) | Tom Smeding | 2024-05-14 |
| | |||
* | Shape/index hygiene | Tom Smeding | 2024-05-13 |
| | |||
* | Replace SShape with ShS | Tom Smeding | 2024-05-13 |
| | |||
* | Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime info | Tom Smeding | 2024-05-13 |
| | | | | ShS is a borderline case, though | ||
* | Define and expose the recomputing of KnownINat for ranks | Mikolaj Konarski | 2024-04-23 |
| |