Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family FoldConstraint (l :: [k -> Constraint]) (a :: k) :: Constraint Source #
Instances
type FoldConstraint ('[] :: [k -> Constraint]) (_1 :: k) Source # | |
Defined in Hextra.Kind.Constraint | |
type FoldConstraint (x ': xs :: [k -> Constraint]) (a :: k) Source # | |
Defined in Hextra.Kind.Constraint |