aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Remove ListRMikolaj Konarski5 days
* Remove ListSMikolaj Konarski5 days
* Follow up the equal-rank-coercibility introductionMikolaj Konarski5 days
* Make equal-rank-coercibility part of the interface of ListXTom Smeding5 days
* Get rid of ListHMikolaj Konarski5 days
* Define a pair of conversions ixxFromIxS'/ixrFromIxS' anologous to ixsFromIxX'...Mikolaj Konarski5 days
* Bring ixsFromIxR' backMikolaj Konarski5 days
* Justify two unsafeCoerces using partial coerceTom Smeding6 days
* Sketch a new CHANGELOG entryMikolaj Konarski7 days
* Update the README remark about the implementation of indexesMikolaj Konarski7 days
* Apply some hlint hintsMikolaj Konarski7 days
* Tweak sized list type synonyms slightlyMikolaj Konarski9 days
* Officially describe the data invariant for ListX and the punched holesMikolaj Konarski10 days
* Use lazilyConcat for listxAppendMikolaj Konarski10 days
* Implement ListX as [] with strict pattern synonymsMikolaj Konarski10 days
* Remove copies of length and toList operations that Foldable already providesMikolaj Konarski10 days
* Remove almost all unsafeCoerceMikolaj Konarski10 days
* Make ranked and shaped lists newtypes over mixedMikolaj Konarski10 days
* Simplify the index list pattern synonymsMikolaj Konarski11 days
* Fix typos/thinkosMikolaj Konarski12 days
* Audit remaining uses of KnownNat and SNat patternsMikolaj Konarski12 days
* Remove a couple of obsolete/wrong TODOsMikolaj Konarski12 days
* Rename TakeLen functions to TakeLenPerm; same for DropMikolaj Konarski12 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
* Depend on the versions of orthotope that have toVectorListTuncontroversial-tweaks-repackagedMikolaj Konarski2026-03-14
* Add a precautionary INLINEABLE to the now polymorphic shsTakeIxMikolaj Konarski2026-03-14
generated by cgit v1.3 (git 2.53.0) at 2026-04-14 13:08:01 +0200