decidable
This library provides combinators and typeclasses for working and manipulating type-level predicates in Haskell, which are represented as matchable type-level functions k ~> Type from the singletons library. See Data.Type.Predicate for a good starting point, and the documentation for Predicate on how to define predicates.
Ecosystem
hackage.haskell.org
hackage.haskell.org
Latest Release
about 2 years ago
0.3.1.1
about 2 years ago
Versions
12
12
Downloads
5,019 total
5,019 total
Dependent Packages
1
1
list-witnesses 0.1.4.1 💰
Collection of assorted inductive witnesses and functions for working with type-level lists. *Dat...9 versions - Latest release: about 2 years ago - 2.97 thousand downloads total - 1 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/decidable
spec |
| License | BSD-3-Clause |
| First Release | over 7 years ago |
| Last Synced | 21 days ago |
Repository
| Stars | 14 on GitHub |
| Forks | 5 on GitHub |
| Commits | 138 |
| Committers | 2 |
| Avg per Author | 69.0 |
| DDS | 0.007 |