quantification
Data types and type classes for universally and existentially quantified types
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
over 3 years ago
0.7.0
over 3 years ago
Versions
13
13
Downloads
5,575 total
5,575 total
Dependent Packages
3
3
Dependent Repos
3
3
topaz 0.8.0
Data types and type classes for universally and existentially quantified types4 versions - Latest release: almost 2 years ago - 357 downloads total - 4 stars on GitHub - 1 maintainer
quantification-aeson 0.8
Data types and type classes for universally and existentially quantified types1 version - Latest release: about 2 years ago - 103 downloads total - 4 stars on GitHub - 1 maintainer
Past Dependents
Include Past Dependents
Check this option to include packages that no longer depend on this package in their latest version but previously did.
Filter
Links
| Registry | hackage.haskell.org |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:hackage/quantification
spec |
| License | BSD-3-Clause |
| First Release | almost 9 years ago |
| Last Synced | 16 days ago |
Repository
| Stars | 4 on GitHub |
| Forks | 3 on GitHub |
| Commits | 106 |
| Committers | 4 |
| Avg per Author | 26.5 |
| DDS | 0.104 |
Rankings on hackage.haskell.org
Dependent packages
Top 7.1%