The exists package
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 might be better off as separate packages.)
Data.Exists has most of the important things.
Minimum GHC: 7.4
Changes in 0.2:
Removed Comonad-related things (they were probably useless anyways)
Added Data.Exists.CPS
Properties
| Versions | 0.1, 0.2 |
|---|---|
| Dependencies | base (≥4.5 & <5), contravariant (≥0.1 & <0.3) |
| License | BSD3 |
| Copyright | Copyright (C) 2012 Gábor Lehel |
| Author | Gábor Lehel |
| Maintainer | Gábor Lehel <illissius@gmail.com> |
| Stability | experimental |
| Category | Constraints |
| Home page | http://github.com/glehel/exists |
| Source repository | git clone git://github.com/glehel/exists.git |
| Upload date | Tue May 15 18:54:26 UTC 2012 |
| Uploaded by | GaborLehel |
| Built on | ghc-7.4 |
Modules
Downloads
- exists-0.2.tar.gz (Cabal source package)
- package description (included in the package)