decidable-0.1.2.0: README.md

[decidable][]
=============

[![decidable on Hackage](https://img.shields.io/hackage/v/decidable.svg?maxAge=86400)](https://hackage.haskell.org/package/decidable)
[![Build Status](https://travis-ci.org/mstksg/decidable.svg?branch=master)](https://travis-ci.org/mstksg/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.

[decidable]: http://hackage.haskell.org/package/decidable