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

	Commit message (Collapse)	Author	Age
*	Add pragmas to functions that -fprof-late-overloaded-calls reports	Mikolaj Konarski	7 days
\| \| \| \| \| \| \|	as breaking the chain of specialization (but it's currently broken, so these may be false positives, but these pragmas may be handy in the future anyway and they can't do much harm in theory and in practice they are right now neutral performance-wise).
*	Make List?, except ListH, less general	Mikolaj Konarski	7 days
\|
*	De-triplicate sh?Enum	Mikolaj Konarski	7 days
\|
*	Define ix?FromLinear without TH	Mikolaj Konarski	7 days
\|
*	Optimize slightly sh?FromList and sh?ToListmild-tweaks-repackaged	Mikolaj Konarski	7 days
\|
*	Make ShR a newtype over ShX	Mikolaj Konarski	7 days
\|
*	Add the trivial Eq and Ord instances also for StaticShX	Mikolaj Konarski	7 days
\|
*	Prefer newtype deriving over Generic deriving for simplicity	Mikolaj Konarski	7 days
\|
*	Temporarily remove the UNPACK, until GHC is fixed not to crash with it	Mikolaj Konarski	7 days
\|
*	Optimize the representation of ListH	Mikolaj Konarski	7 days
\|
*	Inline SMayNat in ListH	Mikolaj Konarski	7 days
\|
*	Clone ListX into ListH	Mikolaj Konarski	7 days
\|
*	Implement shxFromShS and shsFromShX as a newtype coerce	Mikolaj Konarski	7 days
\|
*	Add a potentialy helpful bang for consistency	Mikolaj Konarski	2026-02-12
\|
*	Add a few more GHC warnings and fix all offenders	Mikolaj Konarski	2026-01-31
\|
*	Improve the implementation of fromSNat'	Mikolaj Konarski	2026-01-31
\| \| \| \|	leading to 6% lower allocation in Det.hs primal test.
*	Fix f in SMayNat to always be SNat and UNPACK it	Mikolaj Konarski	2026-01-31
\|
*	Make type variables consistent between shaped and mixed lists	Mikolaj Konarski	2026-01-31
\|
*	Generalize ix?ToLinear and speed it up a bit	Mikolaj Konarski	2026-01-31
\|
*	Add INLINEABLE to ixxToLinear ahead of generalization, to benchmark	Mikolaj Konarski	2026-01-31
\| \| \| \|	No horde-ad test speedup noticed.
*	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
\|
*	Generalize mgeneratePrim to potentially avoid @fmap fromIntegral@	Mikolaj Konarski	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
\|
*	Add INLINEABLE on ixxFromLinear	Tom Smeding	2025-11-26
\|
*	Benchmark and improve ixxFromLinear	Tom Smeding	2025-11-26
\|
*	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.
*	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
\|
*	Apply a small fraction of hlint hints	Mikolaj Konarski	2025-06-30
\|
*	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.
*	Cleanup	Tom Smeding	2025-06-29
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	2025-06-26
\|
*	Add ssxDropSSX and ssxDropSh, analogous to the shx* versions	Tom Smeding	2025-06-03
\|
*	Move modules Permutation and Types	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