hackage.haskell.org : 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.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/decidable
Keywords:
bsd3
, dependent-types
, library
, Propose Tags
License: BSD-3-Clause
Latest release: almost 2 years ago
First release: over 7 years ago
Dependent packages: 1
Downloads: 5,004 total
Stars: 14 on GitHub
Forks: 5 on GitHub
Total Commits: 138
Committers: 2
Average commits per author: 69.0
Development Distribution Score (DDS): 0.007
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/mstksg
Last synced: 24 days ago