Haskus.Utils.Types.Constraint

Type-level Constraint

Use it with ConstraintKinds LANGUAGE pragma

Documentation

data Constraint

The kind of constraints, like Show a

type family ConstraintAll1 (f :: k -> Constraint) (xs :: [k]) :: Constraint where ...

Build a list of constraints e.g., ConstraintAll1 Eq '[A,B,C] ==> (Eq A, Eq B, Eq C)

Equations

ConstraintAll1 f '[] = ()

ConstraintAll1 f (x ': xs) = (f x, ConstraintAll1 f xs)