Safe Haskell | None |
---|---|
Language | Haskell2010 |
Type-level Constraint
Use it with ConstraintKinds
LANGUAGE pragma
Synopsis
- data Constraint
- type family ConstraintAll1 (f :: k -> Constraint) (xs :: [k]) :: Constraint where ...
Documentation
data Constraint #
The kind of constraints, like Show a
type family ConstraintAll1 (f :: k -> Constraint) (xs :: [k]) :: Constraint where ... Source #
Build a list of constraints e.g., ConstraintAll1 Eq '[A,B,C] ==> (Eq A, Eq B, Eq C)
ConstraintAll1 f '[] = () | |
ConstraintAll1 f (x ': xs) = (f x, ConstraintAll1 f xs) |