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

	Commit message (Collapse)	Author	Age
*	Define {list,sh,ix}*ToList functions using 'build'	Tom Smeding	12 hours
\| \| \| \|	This should allow foldr/build fusion
*	Let sh*FromList functions print proper error messages	Tom Smeding	19 hours
\|
*	Provide ix*FromLinear for all three shape kinds	Tom Smeding	19 hours
\| \| \| \|	This speeds up {r,s}generatePrim
*	Style and uniformity of shape/index/list functions	Tom Smeding	19 hours
\|
*	Unify fromList functions for shapes	Mikolaj Konarski	39 hours
\|
*	Don't call continuation-based functions just *FromList	Mikolaj Konarski	40 hours
\|
*	Unify toList functions for shapes	Mikolaj Konarski	41 hours
\|
*	Inline all higher order shape functions	Mikolaj Konarski	3 days
\|
*	Commit Tom's new code for sh?Enum functions	Mikolaj Konarski	7 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
\|
*	Revert "Remove a spurious case now correclty rules out by the plugins"	Tom Smeding	2025-10-21
\| \| \| \| \| \| \|	This reverts commit 069ac5b0bcf52b8b5414261106e82ef0eb8a582e. The plugins are unsound: https://github.com/clash-lang/ghc-typelits-natnormalise/issues/105
*	Remove a spurious case now correclty rules out by the plugins	Mikolaj Konarski	2025-10-20
\|
*	Tune redundant cases for no-warnings on GHC 9.12	Tom Smeding	2025-10-02
\|
*	Port to ghc-typelits-natnormalise-0.8.1 that is much overhauledport-to-natnormalise-0.8.1	Mikolaj Konarski	2025-10-02
\| \| \| \|	and probably more sound than earlier versions.
*	More shape/index conversion functions	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
\|
*	Merge both Lemmas modules	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
\|
*	Shape/index function rename	Tom Smeding	2025-05-16
\|
*	default-show-instances flag	Tom Smeding	2025-05-16
\|
*	Split and uniformly rename Shape modules	Mikolaj Konarski	2025-05-14