Moduleconstraints-extras-0.3.2.1Haskell2010

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.3.2.1 · Data.Constraint.Flip