https://github.com/mstksg/decidable

Combinators for manipulating dependently-typed predicates.
https://github.com/mstksg/decidable

Last synced: about 2 months ago
JSON representation

Combinators for manipulating dependently-typed predicates.

• Host: GitHub
• URL: https://github.com/mstksg/decidable
• Owner: mstksg
• License: bsd-3-clause
• Created: 2018-06-25T07:03:19.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-07-05T17:27:13.000Z (6 months ago)
• Last Synced: 2024-10-12T00:55:14.304Z (2 months ago)
• Language: Haskell
• Homepage: https://hackage.haskell.org/package/decidable
• Size: 2.43 MB
• Stars: 12
• Watchers: 5
• Forks: 5
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[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