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

	Commit message (Collapse)	Author	Age
*	WIP stranspose type	Tom Smeding	2024-05-15
\|
*	The code compiles with only GHC nats	Tom Smeding	2024-05-15
\|
*	reshapelast-with-inat	Tom Smeding	2024-05-14
\|
*	rev1	Tom Smeding	2024-05-14
\|
*	Fixup fromList names	Tom Smeding	2024-05-14
\|
*	toVector	Tom Smeding	2024-05-14
\|
*	Introduce EltRepr (no more Primitive/Coercible in API)	Tom Smeding	2024-05-14
\|
*	Bundle patterns with Ix/Sh data types (haddock)	Tom Smeding	2024-05-14
\|
*	Shape/index hygiene	Tom Smeding	2024-05-13
\|
*	Replace SShape with ShS	Tom Smeding	2024-05-13
\|
*	Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime info	Tom Smeding	2024-05-13
\| \| \| \|	ShS is a borderline case, though
*	Define and expose the recomputing of KnownINat for ranks	Mikolaj Konarski	2024-04-23
\|
*	Export more of the sized lists, including the newtype constructors	Mikolaj Konarski	2024-04-21
\| \| \| \| \|	Maybe the newtype constructors can be hidden in the future and if not, maybe they should only be available from an internal module.
*	Flesh out shaped sized lists	Mikolaj Konarski	2024-04-21
\|
*	Flesh out ranked sized lists	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
\|
*	fromList1 (the analogue to orthotope's fromList)	Tom Smeding	2024-04-20
\|
*	fromList	Tom Smeding	2024-04-20
\|
*	unScalar, constant	Tom Smeding	2024-04-14
\|
*	fromVector	Tom Smeding	2024-04-14
\|
*	Exports, documentation	Tom Smeding	2024-04-14
\|
*	scalar	Tom Smeding	2024-04-14
\|
*	Add forgotten export in public interface	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
\|
*	Transpose functions in the API	Tom Smeding	2024-04-09
\|
*	Reorganise, documentation	Tom Smeding	2024-04-03