Safe Haskell	Safe
Language	Haskell2010

Options.Harg.Het.All

Synopsis

type family All (c :: k -> Constraint) (xs :: [k]) :: Constraint where ...
type family AllF (c :: k -> Constraint) (xs :: [(Type -> Type) -> Type]) (f :: Type -> Type) :: 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.

Equations

All _ '[] = ()
All c (x ': xs) = (c x, All c xs)

type family AllF (c :: k -> Constraint) (xs :: [(Type -> Type) -> Type]) (f :: Type -> Type) :: Constraint where ... Source #

AllF c xs f is similar to All, but types in xs have the kind (Type -> Type) -> Type so they require an extra f :: Type -> Type in order to be of fully saturated.

Equations

AllF _ '[] _ = ()
AllF c (x ': xs) f = (c (x f), AllF c xs f)