Hextra.Kind.Constraint

Documentation

class Always a

Instances

Always (a :: k)

Defined in Hextra.Kind.Constraint

type family FoldConstraint (l :: [k -> Constraint]) (a :: k) :: Constraint

Instances

type FoldConstraint ('[] :: [k -> Constraint]) (_1 :: k)

Defined in Hextra.Kind.Constraint

type FoldConstraint ('[] :: [k -> Constraint]) (_1 :: k) = ()

type FoldConstraint (x ': xs :: [k -> Constraint]) (a :: k)

Defined in Hextra.Kind.Constraint

type FoldConstraint (x ': xs :: [k -> Constraint]) (a :: k) = (x a, FoldConstraint xs a)