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

	Commit message (Collapse)	Author	Age
...
*	More StrictData	Tom Smeding	2024-05-19
\|
*	Make sized lists strict	Mikolaj Konarski	2024-05-19
\|
*	Fix empty lists displayed as ']'	Mikolaj Konarski	2024-05-19
\|
*	WIP IsList instances	Tom Smeding	2024-05-18
\|
*	Custom Show instances for list-like output	Tom Smeding	2024-05-18
\|
*	Put KnownNat inside ListS; REVERT ME LATER	Tom Smeding	2024-05-18
\|
*	Finish singletons refactor?	Tom Smeding	2024-05-18
\|
*	More WIP	Tom Smeding	2024-05-18
\|
*	More WIP singletonisation	Tom Smeding	2024-05-17
\|
*	WIP rewrite to singletons only	Tom Smeding	2024-05-17
\|
*	Fix slice typeHEAD master	Tom Smeding	2024-05-17
\|
*	PermutePrefix abbreviation	Tom Smeding	2024-05-17
\|
*	Convert arrays <-> XArray	Tom Smeding	2024-05-16
\|
*	Fix transpose	Tom Smeding	2024-05-16
\|
*	WIP stranspose type	Tom Smeding	2024-05-15
\|
*	Consistently n + 1	Tom Smeding	2024-05-15
\|
*	The code compiles with only GHC nats	Tom Smeding	2024-05-15
\|
*	WIP GHC nats	Tom Smeding	2024-05-14
\|
*	reshapelast-with-inat	Tom Smeding	2024-05-14
\|
*	rev1	Tom Smeding	2024-05-14
\|
*	Fixup fromList names	Tom Smeding	2024-05-14
\|
*	More coerce	Tom Smeding	2024-05-14
\|
*	Better {from,to}List{,1} 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
\|
*	Fix comments	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
\|
*	Less manual Foldable instances	Tom Smeding	2024-05-13
\|
*	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
\|