Popularity
6.3
Declining
Activity
0.0
Stable
11
3
5
Monthly Downloads: 37
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.
Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
Promo
www.sonarqube.org
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.