ox-arrays - Nested, compositional struct-of-arrays orthotope arrays

	Commit message (Collapse)	Author	Age
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	21 hours
\|
*	Move modules Permutation and Types	Mikolaj Konarski	21 hours
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	31 hours
\|
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	33 hours
\| \| \| \| \| \| \|	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 rename	Tom Smeding	33 hours
\|
*	default-show-instances flag	Tom Smeding	34 hours
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	34 hours
\|
*	Explicit re-exports of Base members	Tom Smeding	45 hours
\| \| \| \| \|	This is to ensure that haddock doesn't insert a module reference, but displays the members of the Base module inline.
*	Flip arguments of mcastToShaped for consistency	Tom Smeding	45 hours
\|
*	Convert: Export list; simplify some functions with castCastable	Tom Smeding	45 hours
\|
*	Move casts to DAN.Convert; split Ranked/Shaped types into .Base	Tom Smeding	45 hours
\|
*	Make mcast available in Castable	Tom Smeding	46 hours
\|
*	mcastSafe was unsound; it's now gone	Tom Smeding	46 hours
\|
*	Simplify lemRankApp	Tom Smeding	46 hours
\|
*	Move Data.Array.Arith to Data.Array.Strided.Orthotope	Tom Smeding	48 hours
\|
*	Move Arith, XArray and Convert	Mikolaj Konarski	3 days
\|
*	Rename the three main public tensor API modules	Mikolaj Konarski	3 days
\|
*	Add .stylish-haskell.yaml that matches Tom's preferences	Mikolaj Konarski	3 days
\| \| \| \| \|	to be automatically applied at buffer save or periodically applied with find -not -path '/\.git/' -name "*.hs" -type f\| xargs stylish-haskell -i
*	Split and uniformly rename Shape modules	Mikolaj Konarski	3 days
\|
*	Appease GHC 9.10.2	Tom Smeding	4 days
\|
*	Revert some stylistic changes	Tom Smeding	4 days
\| \| \| \|	https://x.com/comerijn/status/1257804634833420292
*	Fix some of the warnings GHC 9.12.2 now produces	Mikolaj Konarski	4 days
\|
*	Apply some suggestions from hlint	Mikolaj Konarski	4 days
\|
*	Let stylish-haskell sort things	Mikolaj Konarski	4 days
\|
*	Add a couple of new zip operations that obviously make sense	Mikolaj Konarski	4 days
\|
*	Generalise list{x,s}Zip{,With} from Const to f	Tom Smeding	5 days
\|
*	Let's not add commented redundant needless errors	Tom Smeding	5 days
\|
*	Add zip and zipWith for sized lists	Mikolaj Konarski	6 days
\|
*	Fill in missing Head and HEAD	Mikolaj Konarski	6 days
\|
*	Cargo-cult NFData for all sized list types	Mikolaj Konarski	6 days
\|
*	Define fooLength and/or fooRank whenever not yet defined	Mikolaj Konarski	6 days
\|
*	Fix the Show instance for Shaped	Mikolaj Konarski	2025-04-26
\|
*	Refactor the clever replicate-aware Show instances	Tom Smeding	2025-04-26
\|
*	Do away with ShowVia{ToListLinear,Primitive}, were unused	Tom Smeding	2025-04-26
\|
*	Show concisely arrays replicated from a single element (scalar or not)	Mikolaj Konarski	2025-04-26
\|
*	Add mstrideTree and StrideTree	Mikolaj Konarski	2025-04-25
\|
*	Improve an error message	Tom Smeding	2025-03-25
\|
*	Compatibility liftVEltwise1 (TODO remove)	Tom Smeding	2025-03-20
\|
*	Some re-exports for compatibility	Tom Smeding	2025-03-20
\|
*	Separate arith routines into a library	Tom Smeding	2025-03-20
\| \| \| \|	The point is that this separate library does not depend on orthotope.
*	Arith statistics collection from C	Tom Smeding	2025-03-18
\|
*	arith: Don't FFI-import unused dotprod_*_strided ops	Tom Smeding	2025-03-18
\|
*	Optimise reductions and dotprod with more vectorisation	Tom Smeding	2025-03-14
\| \| \| \| \| \| \| \| \|	Turns out that if you don't supply -ffast-math, the C compiler will faithfully reproduce your linear reduction order, which is rather disastrous for parallelisation with vector units. This changes the summation order, so numerical results might differ slightly. To wit: the test suite needed adjustment.
*	arith: Correct rank arguments to C wrapper functions	Tom Smeding	2025-03-13
\|
*	Export IntElt	Tom Smeding	2025-03-13
\|
*	Rename arithPromote* to lift* (unrelated to arith ops, really)	Tom Smeding	2025-03-13
\|
*	Add atan2	Tom Smeding	2025-03-13
\|
*	Implement quot/rem	Tom Smeding	2025-03-13
\|
*	Remove redundant constraints on arith instances	Tom Smeding	2025-03-12
\|
*	Slight cleanup of arith instances for Mixed/Ranked/Shaped	Tom Smeding	2025-03-12
\| \| \| \|	Reformulate error messages; add NumElt superclass to FloatElt