aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested
Commit message (Expand)AuthorAge
* Officially describe the data invariant for ListX and the punched holesMikolaj Konarski5 days
* Use lazilyConcat for listxAppendMikolaj Konarski5 days
* Implement ListX as [] with strict pattern synonymsMikolaj Konarski5 days
* Remove copies of length and toList operations that Foldable already providesMikolaj Konarski5 days
* Remove almost all unsafeCoerceMikolaj Konarski6 days
* Make ranked and shaped lists newtypes over mixedMikolaj Konarski6 days
* Simplify the index list pattern synonymsMikolaj Konarski6 days
* Fix typos/thinkosMikolaj Konarski8 days
* Audit remaining uses of KnownNat and SNat patternsMikolaj Konarski8 days
* Remove a couple of obsolete/wrong TODOsMikolaj Konarski8 days
* Rename TakeLen functions to TakeLenPerm; same for DropMikolaj Konarski8 days
* Fill and clean up *TakeIx and *DropIx functionsMikolaj Konarski2026-03-16
* Add permId and permShiftNMikolaj Konarski2026-03-15
* Odds and endsMikolaj Konarski2026-03-15
* Eliminate all QuantifiedConstraints extensions from the codeMikolaj Konarski2026-03-15
* Use shxDropSSX instead of shxSplitApp, etc.Mikolaj Konarski2026-03-15
* Add pragmas to functions that -fprof-late-overloaded-calls reportsMikolaj Konarski2026-03-15
* Remove ixsFromIxR' and simplify ixsFromIxRMikolaj Konarski2026-03-15
* Make List?, except ListH, less generalMikolaj Konarski2026-03-15
* De-triplicate ix?ToLinearMikolaj Konarski2026-03-15
* De-triplicate sh?EnumMikolaj Konarski2026-03-15
* Define ix?FromLinear without THMikolaj Konarski2026-03-15
* Implement index conversions as unsafeCoerceMikolaj Konarski2026-03-15
* Optimize slightly sh?FromList and sh?ToListmild-tweaks-repackagedMikolaj Konarski2026-03-15
* Implement ranked shape conversions as newtype coercesMikolaj Konarski2026-03-15
* Make ShR a newtype over ShXMikolaj Konarski2026-03-15
* Add the trivial Eq and Ord instances also for StaticShXMikolaj Konarski2026-03-15
* Prefer newtype deriving over Generic deriving for simplicityMikolaj Konarski2026-03-15
* Temporarily remove the UNPACK, until GHC is fixed not to crash with itMikolaj Konarski2026-03-15
* Optimize the representation of ListHMikolaj Konarski2026-03-15
* Inline SMayNat in ListHMikolaj Konarski2026-03-15
* Clone ListX into ListHMikolaj Konarski2026-03-15
* Simplify the signature of fooIndexMikolaj Konarski2026-03-15
* Implement shxFromShS and shsFromShX as a newtype coerceMikolaj Konarski2026-03-15
* Make ShS a newtype over ShXMikolaj Konarski2026-03-15
* Work around the following GHC bug in GHC 9.10.3:Mikolaj Konarski2026-03-15
* Add a precautionary INLINEABLE to the now polymorphic shsTakeIxMikolaj Konarski2026-03-14
* Add mtoListPrimLinear and friendsMikolaj Konarski2026-03-14
* Add mslice to be typing-wise a counterpart of mappendMikolaj Konarski2026-03-14
* Save some toVector by using toVectorListTMikolaj Konarski2026-03-14
* Let X.fromListOuterSN and ravelOuterN take NonEmptyMikolaj Konarski2026-03-14
* Don't force a list of identical elementsMikolaj Konarski2026-03-14
* Variable naming and doc commentsTom Smeding2026-03-14
* Simplify and slightly speed up internal fromList functionsMikolaj Konarski2026-02-12
* Inline most lifting wrappersMikolaj Konarski2026-02-12
* Add a potentialy helpful bang for consistencyMikolaj Konarski2026-02-12
* Document that mshapeTree is partialMikolaj Konarski2026-02-12
* Add a few more GHC warnings and fix all offendersMikolaj Konarski2026-01-31
* Improve the implementation of fromSNat'Mikolaj Konarski2026-01-31
* Fix f in SMayNat to always be SNat and UNPACK itMikolaj Konarski2026-01-31
generated by cgit v1.3 (git 2.53.0) at 2026-04-10 01:48:56 +0200