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: 25 days ago

• Readme
• Versions 12
• Dependent Packages 1
• Maintainers 1
• Sort

  • Name
  • Versions
  • Latest Release
  • Oldest Release
  • Dependent packages
  • Dependent repositories
  • Downloads
  • Maintainers
  • Most Stars
  • Least Stars