constraints-extras-0.3.1.0: Utility package for constraints
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Constraint.Flip

Synopsis

Documentation

class c h g => FlipC (c :: k -> k' -> Constraint) (g :: k') (h :: k) Source #

Flip for constraints.

Instances

Instances details
c h g => FlipC (c :: k -> k' -> Constraint) (g :: k') (h :: k) Source # 
Instance details

Defined in Data.Constraint.Flip