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

	Commit message (Collapse)	Author	Age
*	Add SNat import to readme tasterHEAD master	Tom Smeding	15 hours
\|
*	Cross-package doc links are half-broken, let's not	Tom Smeding	15 hours
\|
*	Fix rerank docs	Tom Smeding	15 hours
\|
*	Fix formatting in cabal file	Tom Smeding	15 hours
\|
*	Package description and changelog	Tom Smeding	15 hours
\|
*	Common-up some options in cabal file	Tom Smeding	16 hours
\|
*	Apply a small fraction of hlint hints	Mikolaj Konarski	25 hours
\|
*	Permutations: withKnownPerm	Tom Smeding	34 hours
\|
*	Add existential conversions to ShS	Tom Smeding	36 hours
\|
*	More shape/index conversion functions	Tom Smeding	36 hours
\|
*	Flip some index/shape-related functions	Tom Smeding	37 hours
\| \| \| \| \|	This ensures that the argument order consistently puts the main thing being operated on at the end, and supporting singletons at the start.
*	Improve Conversion haddocks	Tom Smeding	37 hours
\|
*	Cleanup	Tom Smeding	37 hours
\|
*	Tweak haddocs and comments slightly	Mikolaj Konarski	4 days
\|
*	Add instance TestEquality Perm	Mikolaj Konarski	12 days
\|
*	Rename Castable to Conversion	Tom Smeding	2025-06-09
\|
*	Derive instance Show (Castable a b)	Mikolaj Konarski	2025-06-06
\|
*	Describe Castable philosophy	Tom Smeding	2025-06-04
\|
*	Add CastZip and CastUnzip	Tom Smeding	2025-06-04
\|
*	Add shape checking to [rms]zip	Tom Smeding	2025-06-04
\|
*	Fix up and update Trace.hs	Tom Smeding	2025-06-04
\|
*	Reorganise and clean up {from,to}List functions	Tom Smeding	2025-06-04
\|
*	Add ssxDropSSX and ssxDropSh, analogous to the shx* versions	Tom Smeding	2025-06-03
\|
*	Add CastNest and CastUnnest	Tom Smeding	2025-06-03
\|
*	Remove unnecessary LANGUAGE pragma	Tom Smeding	2025-06-02
\|
*	Make MapJust injective	Tom Smeding	2025-06-02
\|
*	Simplify and expand Castable	Tom Smeding	2025-06-02
\|
*	README: Improvements (thanks Mikolaj)	Tom Smeding	2025-05-27
\|
*	README: more accurate	Tom Smeding	2025-05-27
\|
*	Point to the README from the package description	Tom Smeding	2025-05-27
\|
*	Update README	Tom Smeding	2025-05-27
\|
*	test: Don't generate unreasonably large replicated arrays	Tom Smeding	2025-05-17
\|
*	Run stylish-haskell	Mikolaj Konarski	2025-05-17
\|
*	Nested.hs: Fix typo in doc comment	Tom Smeding	2025-05-17
\|
*	Nested.hs: import and export ordering	Tom Smeding	2025-05-17
\|
*	Update doc comments in Lemmas	Tom Smeding	2025-05-17
\|
*	Move shape conversion ops to Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Move code around in Data.Array.Nested.Convert	Mikolaj Konarski	2025-05-17
\|
*	Merge both Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Eliminate the dependency cycle of Lemmas modules	Mikolaj Konarski	2025-05-17
\|
*	Move modules Permutation and Types	Mikolaj Konarski	2025-05-16
\|
*	Sort modules in cabal file	Tom Smeding	2025-05-16
\|
*	Generalize some shape conversion functions	Mikolaj Konarski	2025-05-16
\|
*	Revert "Remove the KnownNat constraint from (:5509)"	Tom Smeding	2025-05-16
\| \| \| \| \| \| \|	This reverts commit 8890526cac9e6c4d5583d00fce55f32ba613cf31. Removing a _provided_ KnownNat constraint if we cannot remove the actual Nat information from the data type is rather pointless.
*	Shape/index function rename	Tom Smeding	2025-05-16
\|
*	default-show-instances flag	Tom Smeding	2025-05-16
\|
*	Remove the KnownNat constraint from (:5509)	Mikolaj Konarski	2025-05-16
\|
*	Explicit re-exports of Base members	Tom Smeding	2025-05-16
\| \| \| \| \|	This is to ensure that haddock doesn't insert a module reference, but displays the members of the Base module inline.
*	Flip arguments of mcastToShaped for consistency	Tom Smeding	2025-05-16
\|
*	Convert: Export list; simplify some functions with castCastable	Tom Smeding	2025-05-16
\|