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

	Commit message (Collapse)	Author	Age
*	Make shsFromList even more const-likeHEAD master	Mikolaj Konarski	4 hours
\|
*	Add a missing INLINEABLE for ixsToList	Mikolaj Konarski	4 hours
\|
*	Define {list,sh,ix}*ToList functions using 'build'	Tom Smeding	5 hours
\| \| \| \|	This should allow foldr/build fusion
*	Let sh*FromList functions print proper error messages	Tom Smeding	12 hours
\|
*	Provide ix*FromLinear for all three shape kinds	Tom Smeding	12 hours
\| \| \| \|	This speeds up {r,s}generatePrim
*	Style and uniformity of shape/index/list functions	Tom Smeding	12 hours
\|
*	Unify fromList functions for shapes	Mikolaj Konarski	33 hours
\|
*	Unify toList functions for shapes	Mikolaj Konarski	34 hours
\|
*	Inline all higher order shape functions	Mikolaj Konarski	2 days
\|
*	Commit Tom's new code for sh?Enum functions	Mikolaj Konarski	6 days
\|
*	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