[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.

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