| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TypeFun.Constraint
Synopsis
- type family AllSatisfy (c :: k -> Constraint) (s :: [k]) :: Constraint where ...
Documentation
type family AllSatisfy (c :: k -> Constraint) (s :: [k]) :: Constraint where ... Source #
Apply constraint for each element of list
Equations
| AllSatisfy c '[] = () | |
| AllSatisfy c (a ': as) = (c a, AllSatisfy c as) |