Copyright	Copyright (C) 2015 Kyle Carter
License	BSD3
Maintainer	Kyle Carter <kylcarte@indiana.edu>
Stability	experimental
Portability	RankNTypes
Safe Haskell	None
Language	Haskell2010

Type.Family.Constraint

Description

Reexports the kind Constraint, as well as some conveniences for working with Constraints.

Synopsis

Documentation

The empty Constraint.

class IffC b t f => Iff b t f Source #

Associated Types

Instances

f => Iff False t f Source #
Associated Types type IffC (False :: Bool) (t :: Constraint) (f :: Constraint) :: Constraint Source #
t => Iff True t f Source #
Associated Types type IffC (True :: Bool) (t :: Constraint) (f :: Constraint) :: Constraint Source #

class d (c a) => Comp d c a Source #

Instances

d (c a) => Comp k l d c a Source #

The kind of constraints, like Show a

Instances

Category Constraint (:-) #
Methods id :: cat a a # (.) :: cat b c -> cat a b -> cat a c #
c => Known Constraint Wit c Source #	If the constraint `c` holds, there is a canonical construction for a term of type `Wit c`, viz. the constructor `Wit`.
Associated Types type KnownC Wit (c :: Wit -> *) (a :: Wit) :: Constraint Source # Methods known :: c a Source #
type KnownC Constraint Wit c Source #
type KnownC Constraint Wit c = c