@hackage exists0.1

Existential datatypes holding evidence of constraints

Categories
License
BSD-3-Clause
Maintainer
Gábor Lehel <illissius@gmail.com>
Links
Versions
- 0.2 Tue, 15 May 2012
- 0.1 Sun, 5 Feb 2012

Installation
In your cabal file:
Dependencies (5)
- base >=4.5 && <5
- comonad >=1.1 && <1.2
- comonads-fd >=2.0 && <2.1
- contravariant >=0.1 && <0.2
- pointed >=2.0 && <2.1
Dependents (1)
@hackage/acme-everything

This package contains:

Existential datatypes for holding evidence of constraints on types of kind * and * -> *;
Type classes for existential datatypes holding evidence of constraints on types of kind * and * -> *;
Completely useless existential datatypes holding evidence of no constraint on types of kind * and * -> *;
Assorted type class instances for the above;
A type-level combinator for combining constraint constructors.

Some of these should maybe be split off into separate packages.

Data.Exists is the important module, the rest are peripheral.