decidable
Combinators for manipulating dependently-typed predicates.
https://github.com/mstksg/decidable#readme
| Version on this page: | 0.1.0.0 |
| LTS Haskell 14.27: | 0.1.5.0 |
| Stackage Nightly 2019-09-21: | 0.2.1.0 |
| Latest on Hackage: | 0.3.1.1 |
Maintained by [email protected]
This version can be pinned in stack with:
decidable-0.1.0.0@sha256:eacda6b0cd26ce55b5daf36af8930a99e7838baf538f1bb12ae2943b54ce1796,1342Module documentation for 0.1.0.0
Depends on 2 packages(full list with versions):
[decidable][]
[decidable]: https://mstksg.github.io/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.