summaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested
Commit message (Collapse)AuthorAge
* reshapelast-with-inatTom Smeding2024-05-14
|
* rev1Tom Smeding2024-05-14
|
* More coerceTom Smeding2024-05-14
|
* Better {from,to}List{,1} namesTom Smeding2024-05-14
|
* toVectorTom Smeding2024-05-14
|
* Introduce EltRepr (no more Primitive/Coercible in API)Tom Smeding2024-05-14
|
* Fix commentsTom Smeding2024-05-14
|
* Shape/index hygieneTom Smeding2024-05-13
|
* Replace SShape with ShSTom Smeding2024-05-13
|
* Less manual Foldable instancesTom Smeding2024-05-13
|
* Annotate all lists of primitive element types in the sourceTom Smeding2024-05-13
|
* Remove some redundant 'case'Tom Smeding2024-05-13
|
* Remove some redundant parenthesesTom Smeding2024-05-13
|
* Shorter deriving syntaxTom Smeding2024-05-13
|
* Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime infoTom Smeding2024-05-13
| | | | ShS is a borderline case, though
* Define and expose the recomputing of KnownINat for ranksMikolaj Konarski2024-04-23
|
* Add role annotations for sized listsMikolaj Konarski2024-04-22
|
* Make type params of sized list newtype constructors the same as for the listsMikolaj Konarski2024-04-21
|
* Derive also the Ord instance for sized listsMikolaj Konarski2024-04-21
|
* Swap arguments of sized lists to derive Functor, etc.Mikolaj Konarski2024-04-21
|
* Flesh out shaped sized listsMikolaj Konarski2024-04-21
|
* Flesh out ranked sized listsMikolaj Konarski2024-04-21
|
* Rename sized lists constructors according to the ConventionMikolaj Konarski2024-04-21
|
* Make index types useful for horde-ad by parameterising IntTom Smeding2024-04-21
|
* GHC 9.8 compatibilityTom Smeding2024-04-20
|
* Small cleanupTom Smeding2024-04-20
|
* sliceTom Smeding2024-04-20
|
* toListTom Smeding2024-04-20
|
* fromList1 (the analogue to orthotope's fromList)Tom Smeding2024-04-20
|
* Some cleanupsTom Smeding2024-04-20
|
* fromListTom Smeding2024-04-20
|
* Fix haddocks formattingTom Smeding2024-04-17
|
* Allow generating an empty arrayTom Smeding2024-04-17
|
* Remove redundant constraint from rgenerateTom Smeding2024-04-17
|
* Neater haddocksTom Smeding2024-04-17
|
* Fix bug in mgenerateTom Smeding2024-04-17
|
* Strict fields in data instancesTom Smeding2024-04-17
|
* Commented-out stub for mfromListTom Smeding2024-04-15
|
* Proper checking in *generate, plus warning in haddocksTom Smeding2024-04-15
|
* unScalar, constantTom Smeding2024-04-14
|
* fromVectorTom Smeding2024-04-14
|
* Exports, documentationTom Smeding2024-04-14
|
* scalarTom Smeding2024-04-14
|
* Add appendTom Smeding2024-04-14
|
* Num instances for Mixed, Ranked, ShapedTom Smeding2024-04-14
|
* mlift2Tom Smeding2024-04-14
|
* Make XArray a newtypeTom Smeding2024-04-14
|
* Rename inductive naturals to INatTom Smeding2024-04-14
|
* Move from unboxed to storable vectorsTom Smeding2024-04-14
| | | | Mikolaj requires this to interface with hmatrix
* Switch to GHC.TypeLits.Nat for shapesTom Smeding2024-04-13
|
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-24 15:09:16 +0100