The latest version of decidable is 0.3.1.1-0.
decidable
Version 0.1.2.0 revision 0 uploaded by jle.
Package meta
- Synopsis
- Combinators for manipulating dependently-typed predicates.
- Description
This library provides combinators and typeclasses for working and manipulating type-level predicates in Haskell, which are represented as matchable type-level functions
k ~> Typefrom thesingletonslibrary. See Data.Type.Predicate for a good starting point, and the documentation for Predicate on how to define predicates.- Author
- Justin Le
- Bug reports
- https://github.com/mstksg/decidable/issues
- Category
- Dependent Types
- Copyright
- (c) Justin Le 2018
- Homepage
- https://github.com/mstksg/decidable#readme
- Maintainer
- justin@jle.im
- Package URL
- n/a
- Stability
- n/a