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

	Commit message (Collapse)	Author	Age
*	Remove some missed overlapping Show (Mixed) instances	Tom Smeding	2024-12-17
\|
*	Uniform Show instance for Mixed	Tom Smeding	2024-12-17
\| \| \| \|	The previous code was needlessly complicated.
*	rcastToMixed	Tom Smeding	2024-12-11
\|
*	Simpler API to mcast	Tom Smeding	2024-12-11
\|
*	Fix scastToMixed	Tom Smeding	2024-12-11
\| \| \| \| \|	The previous implementation failed when any of sh' was Unknown, which makes no sense.
*	Improve scastToMixed's implementation	Tom Smeding	2024-11-29
\|
*	scastToMixed, weakly-typed version of stoMixed	Tom Smeding	2024-11-29
\|
*	[mrs]{un,}zip	Tom Smeding	2024-11-22
\|
*	Fix X.empty	Tom Smeding	2024-11-22
\| \| \| \|	S.constant always evaluates its argument.
*	Improve error message for X.empty	Tom Smeding	2024-11-22
\|
*	[rsm]emptyArray	Tom Smeding	2024-11-21
\|
*	Add the criminally absent singletons to numEltMinIndex and numEltMaxIndex	Mikolaj Konarski	2024-11-19
\|
*	Improve error message	Tom Smeding	2024-11-14
\|
*	Decent, consistent Num for Shaped, but with type classes :(	Tom Smeding	2024-11-14
\|
*	snatMinus	Tom Smeding	2024-11-13
\|
*	Add withKnownSh{S,X}	Tom Smeding	2024-11-13
\|
*	Incoherent Shaped '[] instances (Num/Fractional)	Tom Smeding	2024-11-13
\|
*	Remove now-unused import :D	Tom Smeding	2024-11-12
\|
*	Make fromInteger error for all array types	Tom Smeding	2024-11-12
\| \| \| \|	They made no sense anyway, and horde-ad should now not use them any more
*	Support arrays of Bool	Tom Smeding	2024-10-18
\|
*	Fix error message in listxFromList	Tom Smeding	2024-10-10
\|
*	Better error message in IsList(ListR)	Tom Smeding	2024-10-10
\|
*	Sync Trace.hs fully with Nested.hs; gentrace.sh monstrosity	Tom Smeding	2024-10-10
\|
*	Also export recent type family exports from Trace.hs	Tom Smeding	2024-10-10
\|
*	Add recent functions to Trace.hs	Tom Smeding	2024-10-10
\|
*	Remove redundant Elt constraint	Tom Smeding	2024-10-09
\|
*	Export *fromListPrimLinear	Tom Smeding	2024-10-09
\|
*	Export Product	Tom Smeding	2024-10-09
\|
*	Add rToMixed and stoMixed	Tom Smeding	2024-10-09
\| \| \| \| \| \|	These are somewhat redundant because one can just open up the Ranked and Shaped newtype constructors, but let's complete the triangle of conversion functions.
*	Export Rank	Tom Smeding	2024-10-09
\|
*	TestEquality for StaticShX	Tom Smeding	2024-10-07
\|
*	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
\|