aboutsummaryrefslogtreecommitdiff
path: root/src/Data
Commit message (Collapse)AuthorAge
* Make index types useful for horde-ad by parameterising IntTom Smeding2024-04-21
|
* GHC 9.8 compatibilityTom Smeding2024-04-20
|
* Small cleanupTom Smeding2024-04-20
|
* sliceTom Smeding2024-04-20
|
* toListTom Smeding2024-04-20
|
* fromList1 (the analogue to orthotope's fromList)Tom Smeding2024-04-20
|
* Some cleanupsTom Smeding2024-04-20
|
* fromListTom Smeding2024-04-20
|
* Fix haddocks formattingTom Smeding2024-04-17
|
* Allow generating an empty arrayTom Smeding2024-04-17
|
* Remove redundant constraint from rgenerateTom Smeding2024-04-17
|
* Neater haddocksTom Smeding2024-04-17
|
* Fix bug in mgenerateTom Smeding2024-04-17
|
* Strict fields in data instancesTom Smeding2024-04-17
|
* Commented-out stub for mfromListTom Smeding2024-04-15
|
* Proper checking in *generate, plus warning in haddocksTom Smeding2024-04-15
|
* unScalar, constantTom Smeding2024-04-14
|
* fromVectorTom Smeding2024-04-14
|
* Exports, documentationTom Smeding2024-04-14
|
* scalarTom Smeding2024-04-14
|
* Add appendTom Smeding2024-04-14
|
* Add forgotten export in public interfaceTom Smeding2024-04-14
|
* Fix type signature of 'append'Tom Smeding2024-04-14
|
* Num instances for Mixed, Ranked, ShapedTom Smeding2024-04-14
|
* mlift2Tom Smeding2024-04-14
|
* Rename inductive Nat lemmas to INatTom Smeding2024-04-14
|
* Fix variable namingTom Smeding2024-04-14
|
* Make XArray a newtypeTom Smeding2024-04-14
|
* Fix constraints in Data.Array.MixedTom Smeding2024-04-14
| | | | | These were still Unbox from before the transition to orthotope's Storable API
* Rename inductive naturals to INatTom Smeding2024-04-14
|
* Move from unboxed to storable vectorsTom Smeding2024-04-14
| | | | Mikolaj requires this to interface with hmatrix
* Switch to GHC.TypeLits.Nat for shapesTom Smeding2024-04-13
|
* Remove spurious commentTom Smeding2024-04-13
| | | | | | | The reason these via-instances work is because e.g. `Mixed sh Double` and `Mixed sh (Primitive Double)` are both newtypes around `XArray sh Double`, so they are indeed Coercible without any need for special roles in orthotope.
* Transpose functions in the APITom Smeding2024-04-09
|
* Simple usage exampleTom Smeding2024-04-03
|
* Fix enumShapeTom Smeding2024-04-03
|
* Some debugging Show instancesTom Smeding2024-04-03
|
* Fix fixitiesTom Smeding2024-04-03
|
* Reorganise, documentationTom Smeding2024-04-03