| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Options.Harg.Het.All
Synopsis
- type family All (c :: k -> Constraint) (xs :: [k]) :: Constraint where ...
Documentation
type family All (c :: k -> Constraint) (xs :: [k]) :: Constraint where ... Source #
All c xs returns a constraint which is constructed by
applying c to all the types in xs.