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

	Commit message (Collapse)	Author	Age
...
*	Annotate all lists of primitive element types in the source	Tom Smeding	2024-05-13
\|
*	Remove some redundant 'case'	Tom Smeding	2024-05-13
\|
*	Remove some redundant parentheses	Tom Smeding	2024-05-13
\|
*	Shorter deriving syntax	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
*	Try to make up for ToINat not being injectiveflesh-out-sized-lists	Mikolaj Konarski	2024-04-23
\|
*	Define and expose the recomputing of KnownINat for ranks	Mikolaj Konarski	2024-04-23
\|
*	Add role annotations for sized lists	Mikolaj Konarski	2024-04-22
\|
*	Add ToINat	Mikolaj Konarski	2024-04-22
\|
*	Make type params of sized list newtype constructors the same as for the lists	Mikolaj Konarski	2024-04-21
\|
*	Derive also the Ord instance for sized lists	Mikolaj Konarski	2024-04-21
\|
*	Swap arguments of sized lists to derive Functor, etc.	Mikolaj Konarski	2024-04-21
\|
*	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
\|
*	Rename sized lists constructors according to the Convention	Mikolaj Konarski	2024-04-21
\|
*	Make index types useful for horde-ad by parameterising Int	Tom Smeding	2024-04-21
\|
*	GHC 9.8 compatibility	Tom Smeding	2024-04-20
\|
*	Small cleanup	Tom Smeding	2024-04-20
\|
*	slice	Tom Smeding	2024-04-20
\|
*	toList	Tom Smeding	2024-04-20
\|
*	fromList1 (the analogue to orthotope's fromList)	Tom Smeding	2024-04-20
\|
*	Some cleanups	Tom Smeding	2024-04-20
\|
*	fromList	Tom Smeding	2024-04-20
\|
*	Fix haddocks formatting	Tom Smeding	2024-04-17
\|
*	Allow generating an empty array	Tom Smeding	2024-04-17
\|
*	Remove redundant constraint from rgenerate	Tom Smeding	2024-04-17
\|
*	Neater haddocks	Tom Smeding	2024-04-17
\|
*	Fix bug in mgenerate	Tom Smeding	2024-04-17
\|
*	Strict fields in data instances	Tom Smeding	2024-04-17
\|
*	Commented-out stub for mfromList	Tom Smeding	2024-04-15
\|
*	Proper checking in *generate, plus warning in haddocks	Tom Smeding	2024-04-15
\|
*	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 append	Tom Smeding	2024-04-14
\|
*	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
\|