Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family AllSatisfy c s :: Constraint
Documentation
type family AllSatisfy c s :: Constraint Source
Apply constraint for each element of list
AllSatisfy c `[]` = () | |
AllSatisfy c (a : as) = (c a, AllSatisfy c as) |