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 2015-02-27T12:16:39Z|
|Uploaded||by leftaroundabout at 2014-06-03T15:43:16Z|
|Downloads||5314 total (143 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