aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Mixed.hs
Commit message (Collapse)AuthorAge
* Choose behaviour for rerank of empty arrayTom Smeding2024-05-25
| | | | This works around an undocumented runtime error in orthotope.
* NFData instancesTom Smeding2024-05-25
|
* replicate -> replicateScal; add proper generic replicateTom Smeding2024-05-25
|
* Add utility functionTom Smeding2024-05-23
|
* Fast sumTom Smeding2024-05-23
| | | | Also fast product, but that's currently unused
* Fix bug in X.reshapePartialTom Smeding2024-05-22
| | | | Thanks Mikolaj!
* Add Ord instances on 0-dimensional arraysTom Smeding2024-05-21
| | | | | | | | This is very conservative; of course a law-abiding Ord instance can be defined on full multi-dimensional arrays, but such an instance would be lexicographical (anything else is even stranger), and that is potentially unexpected and definitely does not play well with the other numeric classes.
* Add Eq, Fractional, Floating instancesTom Smeding2024-05-21
|
* iotaTom Smeding2024-05-20
|
* Better {from,to}List setTom Smeding2024-05-20
|
* Rerank on primitive arraysTom Smeding2024-05-20
|
* constant -> replicateTom Smeding2024-05-20
|
* Some conversionsTom Smeding2024-05-20
|
* mtranspose without rerankTom Smeding2024-05-20
|
* Expose all IsList(toList) functions without constraintsTom Smeding2024-05-19
| | | | Some are Foldable.toList, some are a separate top-level function
* Fix some fromListsTom Smeding2024-05-19
|
* Some IsList instancesTom Smeding2024-05-19
|
* SNat has COMPLETE in ghc 9.8Tom Smeding2024-05-19
|
* 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
| | | | | These were still Unbox from before the transition to orthotope's Storable API
* Rename inductive naturals to INatTom Smeding2024-04-14
|