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

	Commit message (Collapse)	Author	Age
...
*	Add head functions for the nested list types	Tom Smeding	2024-06-10
\|
*	Very unsafe fromInteger that crashes everything if you do it wrong	Tom Smeding	2024-06-10
\|
*	Add TODO	Tom Smeding	2024-06-10
\|
*	Dot product	Tom Smeding	2024-06-10
\|
*	Rename arg{min,max} to {min,max}Index	Tom Smeding	2024-06-10
\|
*	argmin and argmax	Tom Smeding	2024-06-09
\|
*	Add mliftL (written but yet unused)	Tom Smeding	2024-06-09
\|
*	nest, unNest	Tom Smeding	2024-06-09
\|
*	Concatenation of arrays for M and R	Tom Smeding	2024-06-09
\| \| \| \|	What should the type of sconcat be?
*	Traced Nested module	Tom Smeding	2024-06-09
\|
*	Small cleanups	Tom Smeding	2024-06-09
\|
*	Generalise Ord instances to full lexicographical order	Tom Smeding	2024-06-07
\|
*	Fix formatting	Tom Smeding	2024-06-07
\| \| \| \| \|	These were originally directly adjacent, where the alignment showed the similarities. Now the alignment is just spurious.
*	Change a confusing function argument name	Mikolaj Konarski	2024-06-07
\|
*	Cleanup of shape functions	Tom Smeding	2024-06-03
\|
*	Rename ToSNat to LengthSNat	Tom Smeding	2024-06-03
\| \| \| \|	For consistency with existing functions
*	rrank, rtoOrthotope	Tom Smeding	2024-06-03
\|
*	Move sh*Tail to main ox-arrays	Tom Smeding	2024-06-03
\|
*	asXArrayPrim -> toXArrayPrim	Tom Smeding	2024-06-03
\| \| \| \|	This name makes much more sense in combination with *fromXArrayPrim.
*	Introduce PermR type synonym	Tom Smeding	2024-06-03
\|
*	Rename permutations of shaped sized lists	Mikolaj Konarski	2024-06-01
\|
*	Add StrictData in Nested.Mixed	Tom Smeding	2024-05-31
\|
*	Rename some commuting lemmas to better names	Tom Smeding	2024-05-31
\|
*	Fix comment in Nested.Shape	Tom Smeding	2024-05-31
\|
*	Make the sized lists strict again	Mikolaj Konarski	2024-05-31
\|
*	Clearer module purposes	Tom Smeding	2024-05-30
\| \| \| \|	Thanks Mikolaj for discussion
*	Refactor Nested (modules, function names)	Tom Smeding	2024-05-30
\|
*	Refactor Mixed (modules, regular function names)	Tom Smeding	2024-05-30
\|
*	applyPerm* functions	Tom Smeding	2024-05-28
\|
*	Record the dependency on arith_lists.h for recompilation checking	Tom Smeding	2024-05-27
\|
*	Fast (C) Floating ops	Tom Smeding	2024-05-27
\|
*	Fast Fractional ops via C code	Tom Smeding	2024-05-26
\|
*	Cleanup	Tom Smeding	2024-05-26
\|
*	Refactor C interface to pass operation as enum	Tom Smeding	2024-05-26
\| \| \| \| \|	This is hmatrix style, less proliferation of functions as the number of ops increases
*	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
\|
*	fromList1Prim	Tom Smeding	2024-05-23
\|
*	Bugfix in wrapper for C reduce op	Tom Smeding	2024-05-23
\|
*	Fast sum	Tom Smeding	2024-05-23
\| \| \| \|	Also fast product, but that's currently unused
*	msumOuter1	Tom Smeding	2024-05-23
\|
*	Use the {r,s}{from,to}Primitive utilities	Tom Smeding	2024-05-23
\|
*	Clean up commented-out code	Tom Smeding	2024-05-23
\|
*	Fast numeric operations for Num	Tom Smeding	2024-05-23
\|
*	Fix typos i nerrors	Tom Smeding	2024-05-21
\|
*	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
\|
*	Add Float primitive type	Tom Smeding	2024-05-21
\|
*	Int32 and CInt instances	Tom Smeding	2024-05-21
\|
*	iota	Tom Smeding	2024-05-20
\|