@hackage decidable0.3.1.1

Combinators for manipulating dependently-typed predicates.

Categories
License
BSD-3-Clause
Maintainer
justin@jle.im
Links
Versions
- 0.3.1.1 Wed, 28 Feb 2024
- 0.3.1.0 Tue, 4 Jul 2023
- 0.3.0.0 Mon, 3 Feb 2020
- 0.2.1.0 Sat, 24 Aug 2019
- 0.2.0.0 Tue, 13 Aug 2019
- 0.1.5.0 Wed, 6 Mar 2019

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.

Installation
In your cabal file:
Tested Compilers
- 9.10.1
- 9.8.1
- 9.6.3
- 9.6.2
- 9.6.1
- 9.4.8
- 9.4.7
- 9.4.6
- 9.4.5
- 9.4.4
- 9.4.3
- 9.4.2
- 9.4.1
- 9.2.8
- 9.2.7
- 9.2.6
- 9.2.5
- 9.2.4
- 9.2.3
- 9.2.2
- 9.2.1
Dependencies (6)
- base >=4.16 && <5
- functor-products >=0.1.2
- microlens
- singletons >=3.0
- singletons-base
- vinyl
Dependents (2)
@hackage/list-witnesses, @hackage/acme-everything

@hackage decidable0.3.1.1

Categories

License

Maintainer

Links

Versions

decidable

Installation

Tested Compilers

Dependencies (6)

Dependents (2)