| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Constraint.Compose
Documentation
class c (f a) => Compose (c :: β -> Constraint) (f :: α -> β) (a :: α) Source #
Instances
| c (f a) => Compose (c :: β -> Constraint) (f :: α -> β) (a :: α) Source # | |
Defined in Data.Constraint.Compose | |