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

	Commit message (Collapse)	Author	Age
*	Inline SMayNat in ListH	Mikolaj Konarski	34 hours
\|
*	Clone ListX into ListH	Mikolaj Konarski	34 hours
\|
*	Simplify the signature of fooIndex	Mikolaj Konarski	34 hours
\|
*	Implement shxFromShS and shsFromShX as a newtype coerce	Mikolaj Konarski	34 hours
\|
*	Make ShS a newtype over ShX	Mikolaj Konarski	34 hours
\| \| \| \|	TODO: use lemmas in place of the unsafeCoerceRefl
*	Fix f in SMayNat to always be SNat and UNPACK it	Mikolaj Konarski	3 days
\|
*	Implement Tom's ixsFromIxS	Mikolaj Konarski	3 days
\| \| \| \| \| \|	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.
*	Implement index conversions as unsafeCoerce	Mikolaj Konarski	4 days
\| \| \| \|	until maybe we make shaped and ranked newtypes over mixed?
*	Fix a few KnownNat in ShS-related TODOs and reword the rest	Mikolaj Konarski	5 days
\|
*	Make arith enums disjoint	Tom Smeding	5 days
\| \| \| \| \| \|	This should prevent operation confusion like calling oxarop_binary_* with IB_QUOT. No error is thrown statically, but at least the nonsense operation crashes reliably at runtime instead of doing, well, nonsense.
*	Improve haddocks of mvecsUnsafeFreeze	Tom Smeding	5 days
\|
*	Temporarily revert ListS as a newtype over ListX	Mikolaj Konarski	5 days
\| \| \| \| \| \| \| \|	until a GHC workaround is found. Please revert this commit ASAP so that horde-ad can coerce shaped to mixed things for free (unless the cost of the new WrapJust type turns out to overweight the benefit, which is unlikely, and/or unless unsafeCoerce works without WrapJust somehow).
*	Make type variables consistent between shaped and mixed lists	Mikolaj Konarski	5 days
\|
*	Remove KnownNat from ListS and express ListS as newtype over ListX	Mikolaj Konarski	6 days
\| \| \| \|	as sketched by Tom.
*	Remove the preposterous shsFromListS and shsFromIxS	Mikolaj Konarski	6 days
\|
*	Generalize shsTakeIx	Mikolaj Konarski	6 days
\|
*	Fix a typo in IntElt Int	Mikolaj Konarski	6 days
\|
*	Add method mvecsUnsafeFreeze and use it	Mikolaj Konarski	8 days
\|
*	Speed up the bad case of mvecsReplicate using mvecsWriteLinear	Mikolaj Konarski	8 days
\|
*	Generalize ix?ToLinear and speed it up a bit	Mikolaj Konarski	8 days
\|
*	Add INLINEABLE to ixxToLinear ahead of generalization, to benchmark	Mikolaj Konarski	9 days
\| \| \| \|	No horde-ad test speedup noticed.
*	Express mvecsWrite and mvecsWritePartial using the new methods	Mikolaj Konarski	9 days
\| \| \| \| \| \| \|	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	9 days
\|
*	Add mvecsReplicate	Mikolaj Konarski	10 days
\|
*	XArray: Fix doc comment on ravelOuterNHEAD master	Tom Smeding	11 days
\|
*	Improve runtime and streaming of fromListOuter	Mikolaj Konarski	12 days
\|
*	Inlining magic	Tom Smeding	14 days
\|
*	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
*	template-haskell is now used unconditionally	Tom Smeding	2025-12-02
\|
*	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
\|
*	Simplify genShRwithTarget a little	Mikolaj Konarski	2025-12-01
\|
*	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
\|
*	Optimize X.index, but measurements unconclusive	Mikolaj Konarski	2025-11-27
\|
*	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
\|