aboutsummaryrefslogtreecommitdiff
path: root/src/Data
Commit message (Expand)AuthorAge
...
* 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
* Rename inductive naturals to INatTom Smeding2024-04-14
* Move from unboxed to storable vectorsTom Smeding2024-04-14
* Switch to GHC.TypeLits.Nat for shapesTom Smeding2024-04-13
* Remove spurious commentTom Smeding2024-04-13
* 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