Maintainer | Brandon Chinn <brandon@leapyear.io> |
---|---|
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Utilities for working with type families.
Documentation
type family All (f :: a -> Constraint) (xs :: [a]) :: Constraint where ... Source #