Copyright | (c) Edward Kmett 2010 |
---|---|
License | BSD3 |
Maintainer | ekmett@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Composition of contravariant functors.
Synopsis
- 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 Source #
Composition of two contravariant functors
Compose | |
|
Instances
(Contravariant f, Contravariant g) => Functor (Compose f g) Source # | |
newtype ComposeFC f g a Source #
Composition of covariant and contravariant functors
ComposeFC | |
|
newtype ComposeCF f g a Source #
Composition of contravariant and covariant functors
ComposeCF | |
|