Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |
| | |||
* | Export more of the sized lists, including the newtype constructors | Mikolaj Konarski | 2024-04-21 |
| | | | | | Maybe the newtype constructors can be hidden in the future and if not, maybe they should only be available from an internal module. | ||
* | Flesh out shaped sized lists | Mikolaj Konarski | 2024-04-21 |
| | |||
* | Flesh out ranked sized lists | Mikolaj Konarski | 2024-04-21 |
| | |||
* | Make index types useful for horde-ad by parameterising Int | Tom Smeding | 2024-04-21 |
| | |||
* | slice | Tom Smeding | 2024-04-20 |
| | |||
* | toList | Tom Smeding | 2024-04-20 |
| | |||
* | fromList1 (the analogue to orthotope's fromList) | Tom Smeding | 2024-04-20 |
| | |||
* | fromList | Tom Smeding | 2024-04-20 |
| | |||
* | unScalar, constant | Tom Smeding | 2024-04-14 |
| | |||
* | fromVector | Tom Smeding | 2024-04-14 |
| |