aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array
Commit message (Expand)AuthorAge
* Tweak haddocs and comments slightlyHEADmasterMikolaj Konarski12 hours
* Add instance TestEquality PermMikolaj Konarski8 days
* Rename Castable to ConversionTom Smeding2025-06-09
* Derive instance Show (Castable a b)Mikolaj Konarski2025-06-06
* Describe Castable philosophyTom Smeding2025-06-04
* Add CastZip and CastUnzipTom Smeding2025-06-04
* Add shape checking to [rms]zipTom Smeding2025-06-04
* Fix up and update Trace.hsTom Smeding2025-06-04
* Reorganise and clean up {from,to}List functionsTom Smeding2025-06-04
* Add ssxDropSSX and ssxDropSh, analogous to the shx* versionsTom Smeding2025-06-03
* Add CastNest and CastUnnestTom Smeding2025-06-03
* Remove unnecessary LANGUAGE pragmaTom Smeding2025-06-02
* Make MapJust injectiveTom Smeding2025-06-02
* Simplify and expand CastableTom Smeding2025-06-02
* Run stylish-haskellMikolaj Konarski2025-05-17
* Nested.hs: Fix typo in doc commentTom Smeding2025-05-17
* Nested.hs: import and export orderingTom Smeding2025-05-17
* Update doc comments in LemmasTom Smeding2025-05-17
* Move shape conversion ops to Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
* Move code around in Data.Array.Nested.ConvertMikolaj Konarski2025-05-17
* Merge both Lemmas modulesMikolaj Konarski2025-05-17
* Eliminate the dependency cycle of Lemmas modulesMikolaj Konarski2025-05-17
* Move modules Permutation and TypesMikolaj Konarski2025-05-16
* Generalize some shape conversion functionsMikolaj Konarski2025-05-16
* Revert "Remove the KnownNat constraint from (:5509)"Tom Smeding2025-05-16
* Shape/index function renameTom Smeding2025-05-16
* default-show-instances flagTom Smeding2025-05-16
* Remove the KnownNat constraint from (:5509)Mikolaj Konarski2025-05-16
* Explicit re-exports of Base membersTom Smeding2025-05-16
* Flip arguments of mcastToShaped for consistencyTom Smeding2025-05-16
* Convert: Export list; simplify some functions with castCastableTom Smeding2025-05-16
* Move casts to DAN.Convert; split Ranked/Shaped types into .BaseTom Smeding2025-05-15
* Make mcast available in CastableTom Smeding2025-05-15
* mcastSafe was unsound; it's now goneTom Smeding2025-05-15
* Simplify lemRankAppTom Smeding2025-05-15
* Move Data.Array.Arith to Data.Array.Strided.OrthotopeTom Smeding2025-05-15
* Move Arith, XArray and ConvertMikolaj Konarski2025-05-14
* Rename the three main public tensor API modulesMikolaj Konarski2025-05-14
* Add .stylish-haskell.yaml that matches Tom's preferencesMikolaj Konarski2025-05-14
* Split and uniformly rename Shape modulesMikolaj Konarski2025-05-14
* Appease GHC 9.10.2Tom Smeding2025-05-13
* Revert some stylistic changesTom Smeding2025-05-13
* Fix some of the warnings GHC 9.12.2 now producesMikolaj Konarski2025-05-13
* Apply some suggestions from hlintMikolaj Konarski2025-05-13
* Let stylish-haskell sort thingsMikolaj Konarski2025-05-13
* Add a couple of new zip operations that obviously make senseMikolaj Konarski2025-05-13
* Generalise list{x,s}Zip{,With} from Const to fTom Smeding2025-05-12
* Let's not add commented redundant needless errorsTom Smeding2025-05-12
* Add zip and zipWith for sized listsMikolaj Konarski2025-05-11
* Fill in missing Head and HEADMikolaj Konarski2025-05-11
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-06-27 11:34:55 +0200