Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type family Constraints (cs :: [Constraint]) :: Constraint where ... Source #
Constraints '[] = () | |
Constraints (c ': cs) = (c, Constraints cs) |
Safe Haskell | None |
---|---|
Language | Haskell2010 |
type family Constraints (cs :: [Constraint]) :: Constraint where ... Source #
Constraints '[] = () | |
Constraints (c ': cs) = (c, Constraints cs) |