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

	Commit message (Collapse)	Author	Age
*	Export NumElt and FloatElt publicly	Tom Smeding	2024-05-27
\|
*	Re-add KnownNatList for convenience with transpose functions	Tom Smeding	2024-05-27
\|
*	replicate -> replicateScal; add proper generic replicate	Tom Smeding	2024-05-25
\|
*	fromList1Prim	Tom Smeding	2024-05-23
\|
*	msumOuter1	Tom Smeding	2024-05-23
\|
*	iota	Tom Smeding	2024-05-20
\|
*	Some missing operations (rlift2, slift2)	Tom Smeding	2024-05-20
\|
*	Reorganise exports	Tom Smeding	2024-05-20
\|
*	Better {from,to}List set	Tom Smeding	2024-05-20
\|
*	rfromOrthotope	Tom Smeding	2024-05-20
\|
*	Rerank on primitive arrays	Tom Smeding	2024-05-20
\|
*	constant -> replicate	Tom Smeding	2024-05-20
\|
*	Some conversions	Tom Smeding	2024-05-20
\|
*	Export the two non-Foldable toList functions publicly	Tom Smeding	2024-05-19
\|
*	Finish singletons refactor?	Tom Smeding	2024-05-18
\|
*	Convert arrays <-> XArray	Tom Smeding	2024-05-16
\|
*	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