aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested/Shaped
Commit message (Collapse)AuthorAge
* Simplify the signature of fooIndexMikolaj Konarski34 hours
|
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski34 hours
|
* Make ShS a newtype over ShXMikolaj Konarski34 hours
| | | | TODO: use lemmas in place of the unsafeCoerceRefl
* Implement Tom's ixsFromIxSMikolaj Konarski3 days
| | | | | | that really helps in processing indexes using list functions and getting back to the same type of index now that KnownNat is removed from IxS and so the type information is harder to preserve.
* Fix a few KnownNat in ShS-related TODOs and reword the restMikolaj Konarski5 days
|
* Temporarily revert ListS as a newtype over ListXMikolaj Konarski5 days
| | | | | | | | until a GHC workaround is found. Please revert this commit ASAP so that horde-ad can coerce shaped to mixed things for free (unless the cost of the new WrapJust type turns out to overweight the benefit, which is unlikely, and/or unless unsafeCoerce works without WrapJust somehow).
* Remove KnownNat from ListS and express ListS as newtype over ListXMikolaj Konarski6 days
| | | | as sketched by Tom.
* Remove the preposterous shsFromListS and shsFromIxSMikolaj Konarski6 days
|
* Add method mvecsUnsafeFreeze and use itMikolaj Konarski8 days
|
* Generalize ix?ToLinear and speed it up a bitMikolaj Konarski8 days
|
* Express mvecsWrite and mvecsWritePartial using the new methodsMikolaj Konarski9 days
| | | | | | | and change the type of the latter to make it possible. This slightly improves performance of horde-ad tests, before horde-ad even starts using the Linear methods, which improves performance even more.
* Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)Mikolaj Konarski9 days
|
* Add mvecsReplicateMikolaj Konarski10 days
|
* Make shsFromList even more const-likeMikolaj Konarski2025-12-02
|
* Add a missing INLINEABLE for ixsToListMikolaj Konarski2025-12-02
|
* Define {list,sh,ix}*ToList functions using 'build'Tom Smeding2025-12-02
| | | | This should allow foldr/build fusion
* Let sh*FromList functions print proper error messagesTom Smeding2025-12-02
|
* Provide ix*FromLinear for all three shape kindsTom Smeding2025-12-02
| | | | This speeds up {r,s}generatePrim
* Style and uniformity of shape/index/list functionsTom Smeding2025-12-02
|
* Unify fromList functions for shapesMikolaj Konarski2025-12-01
|
* Unify toList functions for shapesMikolaj Konarski2025-12-01
|
* Inline all higher order shape functionsMikolaj Konarski2025-11-30
|
* Commit Tom's new code for sh?Enum functionsMikolaj Konarski2025-11-26
|
* Generalise sh?Enum functions to arbitrary NumTom Smeding2025-11-18
| | | | | | | The explicit usage at Int in the non-primed versions of the functions results in an auto-generated SPEC rule at Int, so even without any SPECIALIZE pragmas, using sh?Enum' at Int should not (need to) result in multiple specialisations.
* Add shsEnum and shrEnumTom Smeding2025-11-18
|
* Also replace replicateScal -> replicatePrim in error messagesTom Smeding2025-11-18
|
* Rename, organise and cleanupTom Smeding2025-11-17
| | | | | | | Renamings: - *sumOuter1 -> *sumOuter1Prim - *rerank -> *rerankPrim - *replicateScal -> *replicatePrim
* Provide explicit-length versions of fromList functionsTom Smeding2025-11-17
|
* mshapeTreeIsEmpty: allow partially-zero shapes for nested arraysTom Smeding2025-11-17
|
* Equality on singletons is trivialTom Smeding2025-11-14
|
* Tweak shape ZipWith definitions slightlyMikolaj Konarski2025-07-13
|
* Apply a small fraction of hlint hintsMikolaj Konarski2025-06-30
|
* More shape/index conversion functionsTom Smeding2025-06-29
|
* CleanupTom Smeding2025-06-29
|
* Tweak haddocs and comments slightlyMikolaj Konarski2025-06-26
|
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
|
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
|
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski2025-05-17
|
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
|
* Generalize some shape conversion functionsMikolaj Konarski2025-05-16
|
* Revert "Remove the KnownNat constraint from (:5509)"Tom Smeding2025-05-16
| | | | | | | This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31. Removing a _provided_ KnownNat constraint if we cannot remove the actual Nat information from the data type is rather pointless.
* Shape/index function renameTom Smeding2025-05-16
|
* default-show-instances flagTom Smeding2025-05-16
|
* Remove the KnownNat constraint from (:5509)Mikolaj Konarski2025-05-16
|
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
|
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-17 19:34:09 +0100