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

	Commit message (Collapse)	Author	Age
*	Document that mshapeTree is partialmild-tweaks-repackaged	Mikolaj Konarski	31 hours
\|
*	Add a few more GHC warnings and fix all offenders	Mikolaj Konarski	31 hours
\|
*	Improve the implementation of fromSNat'	Mikolaj Konarski	31 hours
\| \| \| \|	leading to 6% lower allocation in Det.hs primal test.
*	Fix f in SMayNat to always be SNat and UNPACK it	Mikolaj Konarski	32 hours
\|
*	Implement Tom's ixsFromIxS	Mikolaj Konarski	32 hours
\| \| \| \| \| \|	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.
*	Make type variables consistent between shaped and mixed lists	Mikolaj Konarski	32 hours
\|
*	Generalize shsTakeIx	Mikolaj Konarski	34 hours
\|
*	Speed up the bad case of mvecsReplicate using mvecsWriteLinear	Mikolaj Konarski	34 hours
\|
*	Express mvecsWrite and mvecsWritePartial using the new methods	Mikolaj Konarski	34 hours
\| \| \| \| \| \| \|	and change the type of the latter to make it possible. This slightly improves performance of horde-ad tests, before horde-ad even starts using the Linear methods, which improves performance even more.
*	Add mvecsWriteLinear and mvecsWritePartialLinear (unused yet)	Mikolaj Konarski	34 hours
\|
*	Add mvecsReplicate	Mikolaj Konarski	34 hours
\|
*	Remove the preposterous shsFromListS and shsFromIxSHEAD master	Mikolaj Konarski	34 hours
\|
*	Generalize ix?ToLinear and speed it up a bit	Mikolaj Konarski	34 hours
\|
*	Add INLINEABLE to ixxToLinear ahead of generalization, to benchmark	Mikolaj Konarski	34 hours
\| \| \| \|	No horde-ad test speedup noticed.
*	Improve haddocks of mvecsUnsafeFreeze	Tom Smeding	34 hours
\|
*	Add method mvecsUnsafeFreeze and use it	Mikolaj Konarski	34 hours
\|
*	Inlining magic	Tom Smeding	2025-12-03
\|
*	Restore suffixes sharing in *FromLinear	Tom Smeding	2025-12-03
\| \| \| \|	Thanks Mikolaj for spotting it's broken
*	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
*	Doc comments	Tom Smeding	2025-12-02
\|
*	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
\|
*	Define mgeneratePrim as a fast special case variant	Mikolaj Konarski	2025-12-02
\|
*	Unify fromList functions for shapes	Mikolaj Konarski	2025-12-01
\|
*	Don't call continuation-based functions just *FromList	Mikolaj Konarski	2025-12-01
\|
*	Unify toList functions for shapes	Mikolaj Konarski	2025-12-01
\|
*	Expose the unfolding of the indexing operations	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
\|
*	Update doc comment in Trace	Tom Smeding	2025-11-24
\|
*	Export PermR from top-level	Tom Smeding	2025-11-24
\|
*	trace: Print arguments and return value	Tom Smeding	2025-11-24
\|
*	Fix error messages for pi/fromRational in Mixed	Tom Smeding	2025-11-22
\| \| \| \|	Thanks Mikolaj!
*	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
\|
*	Also replace replicateScal -> replicatePrim in error messages	Tom Smeding	2025-11-18
\|
*	Make first type arg of {m,s}emptyArray the shape	Tom Smeding	2025-11-17
\|
*	Rename, organise and cleanup	Tom Smeding	2025-11-17
\| \| \| \| \| \| \|	Renamings: - sumOuter1 -> sumOuter1Prim - rerank -> rerankPrim - replicateScal -> replicatePrim
*	Provide explicit-length versions of fromList functions	Tom Smeding	2025-11-17
\|
*	mshapeTreeIsEmpty: allow partially-zero shapes for nested arrays	Tom Smeding	2025-11-17
\|
*	arith: Add IntElt instances for Int8 and Int16	Tom Smeding	2025-11-15
\|
*	Support Int16 and Int8	Tom Smeding	2025-11-15
\|
*	Equality on singletons is trivial	Tom Smeding	2025-11-14
\|
*	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