Moduleconstraints-extras-0.4.0.2Haskell2010

Data.Constraint.Flip

Synopsis

classclass c h g => FlipC (c :: k -> k' -> Constraint) (g :: k') (h :: k)

Flip for constraints.

Instances1FlipC

c h g => FlipC c g hDefined in constraints-extras-0.4.0.2 · Data.Constraint.Flip