| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Constraint.Flip
Synopsis
- class c h g => FlipC (c :: k -> k' -> Constraint) (g :: k') (h :: k)
Documentation
class c h g => FlipC (c :: k -> k' -> Constraint) (g :: k') (h :: k) Source #
Flip for constraints.
Instances
| c h g => FlipC (c :: k -> k' -> Constraint) (g :: k') (h :: k) Source # | |
Defined in Data.Constraint.Flip | |