| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Haskus.Utils.Types.Constraint
Description
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)
Equations
| ConstraintAll1 f '[] = () | |
| ConstraintAll1 f (x ': xs) = (f x, ConstraintAll1 f xs) |