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

	Commit message (Collapse)	Author	Age
*	Add forgotten export in public interface	Tom Smeding	2024-04-14
\|
*	Fix type signature of 'append'	Tom Smeding	2024-04-14
\|
*	Num instances for Mixed, Ranked, Shaped	Tom Smeding	2024-04-14
\|
*	mlift2	Tom Smeding	2024-04-14
\|
*	Rename inductive Nat lemmas to INat	Tom Smeding	2024-04-14
\|
*	Fix variable naming	Tom Smeding	2024-04-14
\|
*	Make XArray a newtype	Tom Smeding	2024-04-14
\|
*	Fix constraints in Data.Array.Mixed	Tom Smeding	2024-04-14
\| \| \| \| \|	These were still Unbox from before the transition to orthotope's Storable API
*	Rename inductive naturals to INat	Tom Smeding	2024-04-14
\|
*	Move from unboxed to storable vectors	Tom Smeding	2024-04-14
\| \| \| \|	Mikolaj requires this to interface with hmatrix
*	Switch to GHC.TypeLits.Nat for shapes	Tom Smeding	2024-04-13
\|
*	Remove spurious comment	Tom Smeding	2024-04-13
\| \| \| \| \| \| \|	The reason these via-instances work is because e.g. `Mixed sh Double` and `Mixed sh (Primitive Double)` are both newtypes around `XArray sh Double`, so they are indeed Coercible without any need for special roles in orthotope.
*	Transpose functions in the API	Tom Smeding	2024-04-09
\|
*	Simple usage example	Tom Smeding	2024-04-03
\|
*	Fix enumShape	Tom Smeding	2024-04-03
\|
*	Some debugging Show instances	Tom Smeding	2024-04-03
\|
*	Fix fixities	Tom Smeding	2024-04-03
\|
*	Reorganise, documentation	Tom Smeding	2024-04-03
\|
*	More docs, sum, shaped interface	Tom Smeding	2024-04-02
\| \| \| \| \| \|	Very satisfying to see that the Shaped interface implementation is almost exactly the same as the Ranked one: just exchanging some Shaped for Ranked, 'sh' for 'n', etc. yields the Shaped interface.
*	Various improvements	Tom Smeding	2024-03-28
\|
*	Ranked interface	Tom Smeding	2024-03-27
\|
*	Nats	Tom Smeding	2024-03-27
\|
*	GHC typenats are bad	Tom Smeding	2024-03-27
\|
*	Initial	Tom Smeding	2024-03-26