Popularity
6.4
Growing
Activity
0.0
Stable
11
3
5
Monthly Downloads: 27
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Dependent Types
Latest version: v0.3.0.0
decidable alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view decidable alternatives based on common mentions on social networks and blogs.
-
lens-typelevel
Type-level lenses using singletons because why not -
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
list-witnesses
Inductive dependently-typed witnesses for working with type-level lists.
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Promo
scoutapm.com
Do you think we are missing an alternative of decidable or a related project?
README
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.