|
Control.Functor.Extras | Portability | non-portable (rank-2 polymorphism) | Stability | experimental | Maintainer | Edward Kmett <ekmett@gmail.com> |
|
|
|
Description |
|
|
Synopsis |
|
|
|
Documentation |
|
type Dist f g = forall a. f (g a) -> g (f a) | Source |
|
|
type :~> f g = forall a. f a -> g a | Source |
|
A natural transformation between functors f and g.
|
|
|
|
type :~~> f g = forall a b. f a b -> g a b | Source |
|
A transformation natural in both sides of a bifunctor.
|
|
type Dinatural f g = forall a. f a a -> g a a | Source |
|
Dinatural transformations
|
|
class PostFold m f where | Source |
|
| Methods | postFold :: f (m (f a)) -> m (f a) | Source |
|
|
|
|
class PostUnfold w f where | Source |
|
| Methods | postUnfold :: w (f a) -> f (w (f a)) | Source |
|
|
|
|
|
| Methods | preFold :: f (m (f a)) -> f (m a) | Source |
|
|
|
|
class PreUnfold f w where | Source |
|
| Methods | preUnfold :: f (w a) -> f (w (f a)) | Source |
|
|
|
|
class Distributes f g where | Source |
|
| Methods | dist :: f (g a) -> g (f a) | Source |
|
|
|
|
|
| Methods | | | Instances | |
|
|
|
| Methods | fplus :: f a -> f a -> f a | Source |
|
| | Instances | |
|
|
|
| Methods | fsplit :: f a -> (f a, f a) | Source |
|
| | Instances | |
|
|
Produced by Haddock version 2.4.2 |