Popularity
6.1
Declining
Activity
0.0
Stable
11
2
4

Monthly Downloads: 39
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.

Do you think we are missing an alternative of decidable or a related project?

Add another 'Dependent Types' Package

README

decidable

decidable on Hackage Build Status

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.