type-combinators-0.1.2.1: A collection of data types for type-level programming

CopyrightCopyright (C) 2015 Kyle Carter
LicenseBSD3
MaintainerKyle Carter <kylcarte@indiana.edu>
Stabilityexperimental
PortabilityRankNTypes
Safe HaskellNone
LanguageHaskell2010

Type.Family.Constraint

Description

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

Synopsis

Documentation

type ØC = (() :: Constraint) Source

The empty Constraint.

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

Associated Types

type IffC b t f :: Constraint Source

Instances

f => Iff False t f Source 
t => Iff True t f Source 

data Constraint :: BOX

Instances

Category Constraint (:-) 
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.

type KnownC Constraint Wit c = c Source