Hackage :: [Package]

decidable: Combinators for manipulating dependently-typed predicates.

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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.

[Skip to Readme]

Properties

Versions 0.1.0.0, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.1.3.1, 0.1.4.0, 0.1.5.0, 0.2.0.0, 0.2.1.0, 0.3.0.0, 0.3.1.0, 0.3.1.0, 0.3.1.1
Change log CHANGELOG.md
Dependencies base (>=4.16 && <5), functor-products (>=0.1.2 && <0.2), microlens (<0.5), singletons (>=3.0 && <3.1), singletons-base (<3.2), vinyl (<0.15) [details]
License BSD-3-Clause
Copyright (c) Justin Le 2018
Author Justin Le
Maintainer justin@jle.im
Category Dependent Types
Home page https://github.com/mstksg/decidable#readme
Bug tracker https://github.com/mstksg/decidable/issues
Source repo head: git clone https://github.com/mstksg/decidable
Uploaded by jle at 2023-07-04T08:39:57Z

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Readme for decidable-0.3.1.0

[back to package description]

decidable

decidable on Hackage Build Status

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.