aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
* Fix a typo in an error messageMikolaj Konarski5 days
|
* arith: Only strided unary int opsTom Smeding6 days
| | | | | This should have negligible overhead and will save a whole bunch of C code duplication when the FUnops are also converted to strided form.
* arith: Unary int ops on strided arrays without normalisationTom Smeding7 days
|
* arith: Fix cover calculation in stridesDenseTom Smeding7 days
| | | | | The calculation was incorrect for windowed arrays (as produced by RS.window)
* Remove 'type data' for now (GHC 9.10 breaks)Tom Smeding7 days
|
* mcastSafe, castCastableTom Smeding2025-02-01
|
* Eliminate the lame shaped fromInteger implementationMikolaj Konarski2025-01-24
|
* Export IShX from NestedMikolaj Konarski2025-01-09
|
* Export ListX from NestedMikolaj Konarski2025-01-07
|
* Add some spuriously missing Eq/Generic instancesTom Smeding2024-12-18
|
* Uniformise NFData instance (by putting rnf in Elt)Tom Smeding2024-12-18
| | | | | | This now depends on: https://github.com/augustss/orthotope/pull/14 My sincere apologies.
* Remove some missed overlapping Show (Mixed) instancesTom Smeding2024-12-17
|
* Uniform Show instance for MixedTom Smeding2024-12-17
| | | | The previous code was needlessly complicated.
* rcastToMixedTom Smeding2024-12-11
|
* Simpler API to mcastTom Smeding2024-12-11
|
* Fix scastToMixedTom Smeding2024-12-11
| | | | | The previous implementation failed when any of sh' was Unknown, which makes no sense.
* Improve scastToMixed's implementationTom Smeding2024-11-29
|
* scastToMixed, weakly-typed version of stoMixedTom Smeding2024-11-29
|
* [mrs]{un,}zipTom Smeding2024-11-22
|
* Fix X.emptyTom Smeding2024-11-22
| | | | S.constant always evaluates its argument.
* Improve error message for X.emptyTom Smeding2024-11-22
|
* [rsm]emptyArrayTom Smeding2024-11-21
|
* Add the criminally absent singletons to numEltMinIndex and numEltMaxIndexMikolaj Konarski2024-11-19
|
* Improve error messageTom Smeding2024-11-14
|
* Decent, consistent Num for Shaped, but with type classes :(Tom Smeding2024-11-14
|
* snatMinusTom Smeding2024-11-13
|
* Add withKnownSh{S,X}Tom Smeding2024-11-13
|
* Incoherent Shaped '[] instances (Num/Fractional)Tom Smeding2024-11-13
|
* Remove now-unused import :DTom Smeding2024-11-12
|
* Make fromInteger error for all array typesTom Smeding2024-11-12
| | | | They made no sense anyway, and horde-ad should now not use them any more
* Support arrays of BoolTom Smeding2024-10-18
|
* Fix error message in listxFromListTom Smeding2024-10-10
|
* Better error message in IsList(ListR)Tom Smeding2024-10-10
|
* Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosityTom Smeding2024-10-10
|
* Also export recent type family exports from Trace.hsTom Smeding2024-10-10
|
* Add recent functions to Trace.hsTom Smeding2024-10-10
|
* Remove redundant Elt constraintTom Smeding2024-10-09
|
* Export *fromListPrimLinearTom Smeding2024-10-09
|
* Export ProductTom Smeding2024-10-09
|
* Add rToMixed and stoMixedTom Smeding2024-10-09
| | | | | | These are somewhat redundant because one can just open up the Ranked and Shaped newtype constructors, but let's complete the triangle of conversion functions.
* Export RankTom Smeding2024-10-09
|
* TestEquality for StaticShXTom Smeding2024-10-07
|
* Revert "Add an awkward extra Typeable constraint that helps comparing shapes"Tom Smeding2024-07-24
| | | | This reverts commit 774730c3b2742c59bea532e32f43fa12397a3a15.
* Make ShS an instance of TestEqualityTom Smeding2024-07-24
|
* arith: Respect offsets in dotprodinnerTom Smeding2024-07-21
|
* Add an awkward extra Typeable constraint that helps comparing shapesMikolaj Konarski2024-07-21
|
* Remove obsolete TODOTom Smeding2024-06-20
|
* Update trace wrapperTom Smeding2024-06-19
|
* Add {m,r,s}dot1InnerTom Smeding2024-06-19
|
* Clean up Foreign.hsTom Smeding2024-06-18
|