Copyright  (c) Edward Kmett 2010 

License  BSD3 
Maintainer  ekmett@gmail.com 
Stability  experimental 
Portability  portable 
Safe Haskell  Safe 
Language  Haskell98 
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
Compose  

(Contravariant f, Contravariant g) => Functor (Compose f g) #  
Composition of covariant and contravariant functors
ComposeFC  

(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
ComposeCF  

(Functor f, Functor g) => Functor (ComposeCF f g) #  
(Contravariant f, Functor g) => Contravariant (ComposeCF f g) #  
(Divisible f, Applicative g) => Divisible (ComposeCF f g) #  