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)
- type Fail = True ~ False
- class IffC b t f => Iff b t f where
- type IffC b t f :: Constraint
- class d (c a) => Comp d c a
- data Constraint :: *
Documentation
type ØC = (() :: Constraint) Source #
The empty Constraint
.
data Constraint :: * #
The kind of constraints, like Show a
Category Constraint (:-) # | |
c => Known Constraint Wit c Source # | If the constraint |
type KnownC Constraint Wit c Source # | |