| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Constraints
Documentation
type family Constraints (cs :: [Constraint]) :: Constraint where ... Source #
Equations
| Constraints '[] = () | |
| Constraints (c ': cs) = (c, Constraints cs) |
typelevel-1.2.3: Useful type level operations (type families and related operators).
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Constraints
type family Constraints (cs :: [Constraint]) :: Constraint where ... Source #
Equations
| Constraints '[] = () | |
| Constraints (c ': cs) = (c, Constraints cs) |