Copyright | Copyright (C) 2015 Kyle Carter |
---|---|
License | BSD3 |
Maintainer | Kyle Carter <kylcarte@indiana.edu> |
Stability | experimental |
Portability | RankNTypes |
Safe Haskell | None |
Language | Haskell2010 |
Reexports the kind Constraint
, as well as some
conveniences for working with Constraint
s.
- type ØC = (() :: Constraint)
- class IffC b t f => Iff b t f where
- type IffC b t f :: Constraint
- data Constraint :: BOX
Documentation
type ØC = (() :: Constraint) Source
The empty Constraint
.
data Constraint :: BOX
Category Constraint (:-) | |
c => Known Constraint Wit c Source | If the constraint |
type KnownC Constraint Wit c = c Source |