trivial-constraint: Constraints that any type, resp. no type fulfills
Since GHC 7.4, constraints are first-class: we have the constraint kind, and thus type-classes have a kind such as
* -> Constraint.
These can be used as parameters to data types. They also can be combined quite nicely,
type NewConstraint a = (Constraint1 a, Constraint2 a)
however you always need to start with a plain old type class when building constraints.
This library provides a type class that is not really a constraint at all, so you can "start from zero" with building up a custom constraint. Also its opposite (a constraint that no type can ever fulfill).
|Versions [faq]||0.1.0.0, 0.2.0.0, 0.3.0.0, 0.4.0.0, 0.5.0.0, 0.5.1.0, 0.6.0.0|
|Dependencies||base (>=4.5 && <5) [details]|
|Revised||Revision 1 made by leftaroundabout at Fri Feb 27 12:16:39 UTC 2015|
|Uploaded||by leftaroundabout at Tue Jun 3 15:43:16 UTC 2014|
|Downloads||3217 total (267 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs available [build log]
Successful builds reported [all 1 reports]
- trivial-constraint-0.3.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees