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

	Commit message (Collapse)	Author	Age
*	Generalise sh?Enum functions to arbitrary NumHEAD master	Tom Smeding	30 hours
\| \| \| \| \| \| \|	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.
*	Up base bound to 4.23 (seems to work fine with GHC 9.14-RC)	Tom Smeding	30 hours
\|
*	Add shsEnum and shrEnum	Tom Smeding	31 hours
\|
*	Also replace replicateScal -> replicatePrim in error messages	Tom Smeding	32 hours
\|
*	Make first type arg of {m,s}emptyArray the shape	Tom Smeding	44 hours
\|
*	Rename, organise and cleanup	Tom Smeding	44 hours
\| \| \| \| \| \| \|	Renamings: - sumOuter1 -> sumOuter1Prim - rerank -> rerankPrim - replicateScal -> replicatePrim
*	Provide explicit-length versions of fromList functions	Tom Smeding	45 hours
\|
*	mshapeTreeIsEmpty: allow partially-zero shapes for nested arrays	Tom Smeding	2 days
\|
*	to	Tom Smeding	4 days
\|
*	README: Document array buffer sharing policy	Tom Smeding	4 days
\|
*	XArray: Further optimise toListOuter	Tom Smeding	4 days
\| \| \| \|	Again, thanks Mikolaj
*	XArray: Optimise toListOuter	Tom Smeding	4 days
\| \| \| \|	Thanks Mikolaj!
*	arith: Add IntElt instances for Int8 and Int16	Tom Smeding	4 days
\|
*	arith: Support Int8 and Int16	Tom Smeding	4 days
\|
*	Support Int16 and Int8	Tom Smeding	4 days
\|
*	Equality on singletons is trivial	Tom Smeding	5 days
\|
*	ghc-typelits-knownnat 0.9.1 fixes the unsoundness again	Tom Smeding	2025-10-21
\|
*	Exclude ghc-typelits-natnormalise 0.9.0	Tom Smeding	2025-10-21
\|
*	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
\|
*	Compatibility with GHC 9.6	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.
*	Tweak shape ZipWith definitions slightly	Mikolaj Konarski	2025-07-13
\|
*	Add SNat import to readme taster	Tom Smeding	2025-06-30
\|
*	Cross-package doc links are half-broken, let's not	Tom Smeding	2025-06-30
\|
*	Fix rerank docs	Tom Smeding	2025-06-30
\|
*	Fix formatting in cabal filev0.1.0.0	Tom Smeding	2025-06-30
\|
*	Package description and changelog	Tom Smeding	2025-06-30
\|
*	Common-up some options in cabal file	Tom Smeding	2025-06-30
\|
*	Apply a small fraction of hlint hints	Mikolaj Konarski	2025-06-30
\|
*	Permutations: withKnownPerm	Tom Smeding	2025-06-29
\|
*	Add existential conversions to ShS	Tom Smeding	2025-06-29
\|
*	More shape/index conversion functions	Tom Smeding	2025-06-29
\|
*	Flip some index/shape-related functions	Tom Smeding	2025-06-29
\| \| \| \| \|	This ensures that the argument order consistently puts the main thing being operated on at the end, and supporting singletons at the start.
*	Improve Conversion haddocks	Tom Smeding	2025-06-29
\|
*	Cleanup	Tom Smeding	2025-06-29
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	2025-06-26
\|
*	Add instance TestEquality Perm	Mikolaj Konarski	2025-06-19
\|
*	Rename Castable to Conversion	Tom Smeding	2025-06-09
\|
*	Derive instance Show (Castable a b)	Mikolaj Konarski	2025-06-06
\|
*	Describe Castable philosophy	Tom Smeding	2025-06-04
\|
*	Add CastZip and CastUnzip	Tom Smeding	2025-06-04
\|
*	Add shape checking to [rms]zip	Tom Smeding	2025-06-04
\|
*	Fix up and update Trace.hs	Tom Smeding	2025-06-04
\|
*	Reorganise and clean up {from,to}List functions	Tom Smeding	2025-06-04
\|
*	Add ssxDropSSX and ssxDropSh, analogous to the shx* versions	Tom Smeding	2025-06-03
\|
*	Add CastNest and CastUnnest	Tom Smeding	2025-06-03
\|
*	Remove unnecessary LANGUAGE pragma	Tom Smeding	2025-06-02
\|
*	Make MapJust injective	Tom Smeding	2025-06-02
\|