Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family GetPolyConstraint a :: * -> Constraint where ...
- class a ~ Poly (GetPolyConstraint a) => IsPoly a
Documentation
type family GetPolyConstraint a :: * -> Constraint where ... Source #
Gets the type of the constraint in a Poly
GetPolyConstraint (Poly c) = c |