| Copyright | (c) Edward Kmett 2010 |
|---|---|
| License | BSD3 |
| Maintainer | ekmett@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Data.Functor.Contravariant.Compose
Description
Composition of contravariant functors.
- newtype Compose f g a = Compose {
- getCompose :: f (g a)
- newtype ComposeFC f g a = ComposeFC {
- getComposeFC :: f (g a)
- newtype ComposeCF f g a = ComposeCF {
- getComposeCF :: f (g a)
Documentation
newtype Compose f g a
Composition of two contravariant functors
Constructors
| Compose | |
Fields
| |
Instances
| (Contravariant f, Contravariant g) => Functor (Compose f g) |
newtype ComposeFC f g a
Composition of covariant and contravariant functors
Constructors
| ComposeFC | |
Fields
| |
Instances
| (Functor f, Functor g) => Functor (ComposeFC f g) | |
| (Functor f, Contravariant g) => Contravariant (ComposeFC f g) | |
| (Applicative f, Decidable g) => Decidable (ComposeFC f g) | |
| (Applicative f, Divisible g) => Divisible (ComposeFC f g) |
newtype ComposeCF f g a
Composition of contravariant and covariant functors
Constructors
| ComposeCF | |
Fields
| |
Instances
| (Functor f, Functor g) => Functor (ComposeCF f g) | |
| (Contravariant f, Functor g) => Contravariant (ComposeCF f g) | |
| (Divisible f, Applicative g) => Divisible (ComposeCF f g) |