| Copyright | (c) Edward Kmett 2010 | 
|---|---|
| License | BSD3 | 
| Maintainer | ekmett@gmail.com | 
| Stability | experimental | 
| Portability | portable | 
| Safe Haskell | Safe | 
| 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
Composition of two contravariant functors
Constructors
| Compose | |
| Fields 
 | |
Instances
| (Contravariant f, Contravariant g) => Functor (Compose f g) # | |
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) # | |
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) # | |