homepage: https://github.com/mstksg/decidable#readme
changelog-type: markdown
hash: eacda6b0cd26ce55b5daf36af8930a99e7838baf538f1bb12ae2943b54ce1796
test-bench-deps: {}
maintainer: justin@jle.im
synopsis: Combinators for manipulating dependently-typed predicates.
changelog: ! 'Changelog

  =========


  Version 0.1.0.0

  ---------------


  *October 10, 2018*


  <https://github.com/mstksg/decidable/releases/tag/v0.1.0.0>


  *   Initial release.


'
basic-deps:
  base: ! '>=4.11 && <5'
  singletons: ! '>=2.4'
all-versions:
- '0.1.0.0'
author: Justin Le
latest: '0.1.0.0'
description-type: markdown
description: ! '# [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)

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


'
license-name: BSD3

Update from Hackage at 2018-10-11T11:33:35Z
Update from Hackage at 2018-10-11T11:33:35Z
