aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed.hs
Commit message (Expand)AuthorAge
* More StrictDataTom Smeding2024-05-19
* Fix empty lists displayed as ']'Mikolaj Konarski2024-05-19
* WIP IsList instancesTom Smeding2024-05-18
* Custom Show instances for list-like outputTom Smeding2024-05-18
* More WIPTom Smeding2024-05-18
* More WIP singletonisationTom Smeding2024-05-17
* WIP rewrite to singletons onlyTom Smeding2024-05-17
* Fix slice typeHEADmasterTom Smeding2024-05-17
* PermutePrefix abbreviationTom Smeding2024-05-17
* Fix transposeTom Smeding2024-05-16
* WIP stranspose typeTom Smeding2024-05-15
* WIP GHC natsTom Smeding2024-05-14
* reshapelast-with-inatTom Smeding2024-05-14
* rev1Tom Smeding2024-05-14
* Better {from,to}List{,1} namesTom Smeding2024-05-14
* Shape/index hygieneTom Smeding2024-05-13
* Derive also the Ord instance for sized listsMikolaj Konarski2024-04-21
* Swap arguments of sized lists to derive Functor, etc.Mikolaj Konarski2024-04-21
* Flesh out shaped sized listsMikolaj Konarski2024-04-21
* Rename sized lists constructors according to the ConventionMikolaj Konarski2024-04-21
* Make index types useful for horde-ad by parameterising IntTom Smeding2024-04-21
* sliceTom Smeding2024-04-20
* toListTom Smeding2024-04-20
* fromListTom Smeding2024-04-20
* Proper checking in *generate, plus warning in haddocksTom Smeding2024-04-15
* Fix type signature of 'append'Tom Smeding2024-04-14
* Num instances for Mixed, Ranked, ShapedTom 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
* Transpose functions in the APITom Smeding2024-04-09
* Fix enumShapeTom Smeding2024-04-03
* Some debugging Show instancesTom Smeding2024-04-03
* Fix fixitiesTom Smeding2024-04-03
* Reorganise, documentationTom Smeding2024-04-03
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-22 22:43:43 +0100