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

	Commit message (Collapse)	Author	Age
*	Implement Tom's ixsFromIxS	Mikolaj Konarski	4 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 rest	Mikolaj Konarski	6 days
\|
*	Temporarily revert ListS as a newtype over ListX	Mikolaj Konarski	7 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 ListX	Mikolaj Konarski	7 days
\| \| \| \|	as sketched by Tom.
*	Remove the preposterous shsFromListS and shsFromIxS	Mikolaj Konarski	7 days
\|
*	Generalize ix?ToLinear and speed it up a bit	Mikolaj Konarski	10 days
\|
*	Make shsFromList even more const-like	Mikolaj Konarski	2025-12-02
\|
*	Add a missing INLINEABLE for ixsToList	Mikolaj Konarski	2025-12-02
\|
*	Define {list,sh,ix}*ToList functions using 'build'	Tom Smeding	2025-12-02
\| \| \| \|	This should allow foldr/build fusion
*	Let sh*FromList functions print proper error messages	Tom Smeding	2025-12-02
\|
*	Provide ix*FromLinear for all three shape kinds	Tom Smeding	2025-12-02
\| \| \| \|	This speeds up {r,s}generatePrim
*	Style and uniformity of shape/index/list functions	Tom Smeding	2025-12-02
\|
*	Unify fromList functions for shapes	Mikolaj Konarski	2025-12-01
\|
*	Unify toList functions for shapes	Mikolaj Konarski	2025-12-01
\|
*	Inline all higher order shape functions	Mikolaj Konarski	2025-11-30
\|
*	Commit Tom's new code for sh?Enum functions	Mikolaj Konarski	2025-11-26
\|
*	Generalise sh?Enum functions to arbitrary Num	Tom Smeding	2025-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 shrEnum	Tom Smeding	2025-11-18
\|
*	Equality on singletons is trivial	Tom Smeding	2025-11-14
\|
*	Tweak shape ZipWith definitions slightly	Mikolaj Konarski	2025-07-13
\|
*	Apply a small fraction of hlint hints	Mikolaj Konarski	2025-06-30
\|
*	More shape/index conversion functions	Tom Smeding	2025-06-29
\|
*	Cleanup	Tom Smeding	2025-06-29
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	2025-06-26
\|
*	Move shape conversion ops to Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Move modules Permutation and Types	Mikolaj Konarski	2025-05-16
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	2025-05-16
\|
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	2025-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 rename	Tom Smeding	2025-05-16
\|
*	default-show-instances flag	Tom Smeding	2025-05-16
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	2025-05-16
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	2025-05-14