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

	Commit message (Collapse)	Author	Age
*	Revert "Add an awkward extra Typeable constraint that helps comparing shapes"	Tom Smeding	2024-07-24
\| \| \| \|	This reverts commit 774730c3b2742c59bea532e32f43fa12397a3a15.
*	Make ShS an instance of TestEquality	Tom Smeding	2024-07-24
\|
*	arith: Respect offsets in dotprodinner	Tom Smeding	2024-07-21
\|
*	Add an awkward extra Typeable constraint that helps comparing shapes	Mikolaj Konarski	2024-07-21
\|
*	Remove obsolete TODO	Tom Smeding	2024-06-20
\|
*	Update trace wrapper	Tom Smeding	2024-06-19
\|
*	Add {m,r,s}dot1Inner	Tom Smeding	2024-06-19
\|
*	Clean up Foreign.hs	Tom Smeding	2024-06-18
\|
*	More sensible argument order to reduce1 C op	Tom Smeding	2024-06-18
\|
*	Init on ListX	Tom Smeding	2024-06-18
\|
*	Add same-size constraint to sreshape	Tom Smeding	2024-06-17
\| \| \| \|	Thanks Mikolaj :)
*	sumAllPrim	Tom Smeding	2024-06-17
\|
*	Generalise more lifting functions	Tom Smeding	2024-06-17
\|
*	Generalise some of the lifting functions to type-changing	Tom Smeding	2024-06-17
\|
*	Update trace wrappers	Tom Smeding	2024-06-17
\|
*	Error out at fromInteger from the Num instance of Shaped	Mikolaj Konarski	2024-06-15
\| \| \| \| \|	These are never indexes (only ranked tesors are), so writing explicit sreplicateScal is not too big a burden for the user.
*	Show instances via toListLinear	Tom Smeding	2024-06-14
\|
*	Export shape types for Mixed	Tom Smeding	2024-06-14
\|
*	[mrs]{from,to}ListLinear	Tom Smeding	2024-06-14
\|
*	Export full [mrs]{shape,rank,size} set	Tom Smeding	2024-06-14
\|
*	Add KnownShape generators from ShS	Tom Smeding	2024-06-13
\|
*	Rename LengthSNat to Rank	Tom Smeding	2024-06-13
\|
*	s{from,to}Orthotope	Tom Smeding	2024-06-13
\|
*	Add TODO	Tom Smeding	2024-06-11
\|
*	Add (temporary version of) more general mdot	Tom Smeding	2024-06-10
\|
*	Add *flatten	Tom Smeding	2024-06-10
\|
*	Update TODO	Tom Smeding	2024-06-10
\|
*	Conciseness cleanup	Tom Smeding	2024-06-10
\|
*	Make arith code aware of negative strides	Tom Smeding	2024-06-10
\|
*	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
\|
*	Clean up some redundant catMaybes	Tom Smeding	2024-06-10
\|
*	Dot product	Tom Smeding	2024-06-10
\|
*	Add {max,min}IndexPrim to Nested export	Tom Smeding	2024-06-10
\|
*	Rename arg{min,max} to {min,max}Index	Tom Smeding	2024-06-10
\|
*	Fix extremum for replicated input arrays	Tom Smeding	2024-06-10
\|
*	argmin and argmax	Tom Smeding	2024-06-09
\|
*	Extract {listx,shx}FromList from IsList instances	Tom Smeding	2024-06-09
\| \| \| \|	Also add ixxFromList for consistency
*	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
\|
*	Export KnownElt from public Nested module	Tom Smeding	2024-06-09
\|
*	Fix stride handling of binary arith ops	Tom Smeding	2024-06-09
\| \| \| \|	liftVEltwise2 just completely ignored the existence of strides ._.
*	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
\|
*	Properly test C reductions	Tom Smeding	2024-06-03
\|