dependent-map
Dependently-typed finite maps (partial dependent products) (by obsidiansystems)
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them (by obsidiansystems)
Our great sponsors
| dependent-map | dependent-sum | |
|---|---|---|
| 1 | 1 | |
| 61 | 54 | |
| - | - | |
| 0.0 | 4.3 | |
| over 1 year ago | 5 months ago | |
| Haskell | Haskell | |
| LicenseRef-OtherLicense | LicenseRef-PublicDomain |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
dependent-map
Posts with mentions or reviews of dependent-map.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-02.
-
Monthly Hask Anything (October 2021)
Are there any clever ways to abstract the reallyUnsafePtrEquality traversal trick (as found e.g. here). Integrating it into something like uniplate was the only real idea I had, but I'm sure the overhead there would more than negate the saved allocations.
dependent-sum
Posts with mentions or reviews of dependent-sum.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-07-01.
-
Monthly Hask Anything (July 2022)
What is the dependent-sum library for? I must be missing something subtle, because it looks like an over-complicated sum type?
What are some alternatives?
When comparing dependent-map and dependent-sum you can also consider the following projects:
d10 - Digits 0-9
overloaded-records - Overloaded Record Fields implementation based on GHC prototypes.
dependent-state
batch - Haskell: Simplify queuing up data and processing it in batch.
critbit - A Haskell implementation of crit-bit trees.
base16-bytestring - Fast base16 (hexadecimal) encoding and decoding for Haskell bytestrings.
relevant-time - relevant times useful for looking forward or backward in time from a time-anchor
existential - Existential types with lens-like accessors
conffmt - language-conf - .conf (e.g. nginx configuration) parsers and pretty-printers for the Haskell programming language.
months - Month, YearMonth, Quarter, YearQuarter
hierarchy
dependent-hashmap - Dependent hash maps
dependent-map vs d10
dependent-sum vs overloaded-records
dependent-map vs dependent-state
dependent-sum vs batch
dependent-map vs critbit
dependent-sum vs base16-bytestring
dependent-map vs relevant-time
dependent-sum vs existential
dependent-map vs conffmt
dependent-sum vs months
dependent-map vs hierarchy
dependent-sum vs dependent-hashmap