typelevel-1.2.2: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Data.Constraints

Documentation

type family Constraints (cs :: [Constraint]) :: Constraint where ... Source #

Equations

Constraints '[] = () 
Constraints (c ': cs) = (c, Constraints cs)