Language.Hasmtlib.Internal.Constraint

Documentation

type family AllC cs k :: Constraint where ...

AllC ensures that a list of constraints is applied to a poly-kinded Type k

AllC '[]       k = ()
AllC (c ': cs) k = (c k, AllC cs k)

Equations

AllC '[] k = ()

AllC (c ': cs) k = (c k, AllC cs k)