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 # | |