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

	Commit message (Collapse)	Author	Age
*	invertPermutation: Provide Permutation evidence	Tom Smeding	2024-05-28
\|
*	Add invertPermutation	Tom Smeding	2024-05-28
\|
*	Remove unused cluttering singleton functions	Tom Smeding	2024-05-28
\|
*	Add some HList instances	Tom Smeding	2024-05-27
\|
*	Re-add KnownNatList for convenience with transpose functions	Tom Smeding	2024-05-27
\|
*	Use fast C ops for X.sumFull	Tom Smeding	2024-05-26
\|
*	Fix bug in rerank workaround	Tom Smeding	2024-05-26
\|
*	Choose behaviour for rerank of empty array	Tom Smeding	2024-05-25
\| \| \| \|	This works around an undocumented runtime error in orthotope.
*	NFData instances	Tom Smeding	2024-05-25
\|
*	replicate -> replicateScal; add proper generic replicate	Tom Smeding	2024-05-25
\|
*	Add utility function	Tom Smeding	2024-05-23
\|
*	Fast sum	Tom Smeding	2024-05-23
\| \| \| \|	Also fast product, but that's currently unused
*	Fix bug in X.reshapePartial	Tom Smeding	2024-05-22
\| \| \| \|	Thanks Mikolaj!
*	Add Ord instances on 0-dimensional arrays	Tom Smeding	2024-05-21
\| \| \| \| \| \| \| \|	This is very conservative; of course a law-abiding Ord instance can be defined on full multi-dimensional arrays, but such an instance would be lexicographical (anything else is even stranger), and that is potentially unexpected and definitely does not play well with the other numeric classes.
*	Add Eq, Fractional, Floating instances	Tom Smeding	2024-05-21
\|
*	iota	Tom Smeding	2024-05-20
\|
*	Better {from,to}List set	Tom Smeding	2024-05-20
\|
*	Rerank on primitive arrays	Tom Smeding	2024-05-20
\|
*	constant -> replicate	Tom Smeding	2024-05-20
\|
*	Some conversions	Tom Smeding	2024-05-20
\|
*	mtranspose without rerank	Tom Smeding	2024-05-20
\|
*	Expose all IsList(toList) functions without constraints	Tom Smeding	2024-05-19
\| \| \| \|	Some are Foldable.toList, some are a separate top-level function
*	Fix some fromLists	Tom Smeding	2024-05-19
\|
*	Some IsList instances	Tom Smeding	2024-05-19
\|
*	SNat has COMPLETE in ghc 9.8	Tom Smeding	2024-05-19
\|
*	More StrictData	Tom Smeding	2024-05-19
\|
*	Fix empty lists displayed as ']'	Mikolaj Konarski	2024-05-19
\|
*	WIP IsList instances	Tom Smeding	2024-05-18
\|
*	Custom Show instances for list-like output	Tom Smeding	2024-05-18
\|
*	More WIP	Tom Smeding	2024-05-18
\|
*	More WIP singletonisation	Tom Smeding	2024-05-17
\|
*	WIP rewrite to singletons only	Tom Smeding	2024-05-17
\|
*	Fix slice typeHEAD master	Tom Smeding	2024-05-17
\|
*	PermutePrefix abbreviation	Tom Smeding	2024-05-17
\|
*	Fix transpose	Tom Smeding	2024-05-16
\|
*	WIP stranspose type	Tom Smeding	2024-05-15
\|
*	WIP GHC nats	Tom Smeding	2024-05-14
\|
*	reshapelast-with-inat	Tom Smeding	2024-05-14
\|
*	rev1	Tom Smeding	2024-05-14
\|
*	Better {from,to}List{,1} names	Tom Smeding	2024-05-14
\|
*	Shape/index hygiene	Tom Smeding	2024-05-13
\|
*	Derive also the Ord instance for sized lists	Mikolaj Konarski	2024-04-21
\|
*	Swap arguments of sized lists to derive Functor, etc.	Mikolaj Konarski	2024-04-21
\|
*	Flesh out shaped sized lists	Mikolaj Konarski	2024-04-21
\|
*	Rename sized lists constructors according to the Convention	Mikolaj Konarski	2024-04-21
\|
*	Make index types useful for horde-ad by parameterising Int	Tom Smeding	2024-04-21
\|
*	slice	Tom Smeding	2024-04-20
\|
*	toList	Tom Smeding	2024-04-20
\|
*	fromList	Tom Smeding	2024-04-20
\|
*	Proper checking in *generate, plus warning in haddocks	Tom Smeding	2024-04-15
\|