aboutsummaryrefslogtreecommitdiff
path: root/src/Data/Array/Nested.hs
Commit message (Expand)AuthorAge
* constant -> replicateTom Smeding2024-05-20
* Some conversionsTom Smeding2024-05-20
* Export the two non-Foldable toList functions publiclyTom Smeding2024-05-19
* Finish singletons refactor?Tom Smeding2024-05-18
* Convert arrays <-> XArrayTom Smeding2024-05-16
* WIP stranspose typeTom Smeding2024-05-15
* The code compiles with only GHC natsTom Smeding2024-05-15
* reshapelast-with-inatTom Smeding2024-05-14
* rev1Tom Smeding2024-05-14
* Fixup *fromList* namesTom Smeding2024-05-14
* toVectorTom Smeding2024-05-14
* Introduce EltRepr (no more Primitive/Coercible in API)Tom Smeding2024-05-14
* Bundle patterns with Ix/Sh data types (haddock)Tom Smeding2024-05-14
* Shape/index hygieneTom Smeding2024-05-13
* Replace SShape with ShSTom Smeding2024-05-13
* Rename StaticShape{R,S} to Sh{R,S}, because they encode runtime infoTom Smeding2024-05-13
* Define and expose the recomputing of KnownINat for ranksMikolaj Konarski2024-04-23
* Export more of the sized lists, including the newtype constructorsMikolaj Konarski2024-04-21
* Flesh out shaped sized listsMikolaj Konarski2024-04-21
* Flesh out ranked sized listsMikolaj Konarski2024-04-21
* Make index types useful for horde-ad by parameterising IntTom Smeding2024-04-21
* sliceTom Smeding2024-04-20
* toListTom Smeding2024-04-20
* fromList1 (the analogue to orthotope's fromList)Tom Smeding2024-04-20
* fromListTom Smeding2024-04-20
* unScalar, constantTom Smeding2024-04-14
* fromVectorTom Smeding2024-04-14
* Exports, documentationTom Smeding2024-04-14
* scalarTom Smeding2024-04-14
* Add forgotten export in public interfaceTom Smeding2024-04-14
* Fix constraints in Data.Array.MixedTom Smeding2024-04-14
* Rename inductive naturals to INatTom Smeding2024-04-14
* Transpose functions in the APITom Smeding2024-04-09
* Reorganise, documentationTom Smeding2024-04-03
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-01 15:24:48 +0100