| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Constraint.Compose
Synopsis
- class p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1)
Documentation
class p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1) Source #
Composition for constraints.
Instances
| p (f a) => ComposeC (p :: k2 -> Constraint) (f :: k1 -> k2) (a :: k1) Source # | |
Defined in Data.Constraint.Compose | |