category-extras-0.52.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Functor.Extras Portability non-portable (rank-2 polymorphism) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

Documentation

type Dist f g = forall a. f (g a) -> g (f a) Source

type :~> f g = forall a. f a -> g a Source

type :~~> f g = forall a b. f a b -> g a b Source

type Dinatural f g = forall a. f a a -> g a a Source

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

class PreFold f m where 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

class Functor f => FunctorZero f where Source

Methods fzero :: f a Source

class FunctorZero f => FunctorPlus f where Source

Methods fplus :: f a -> f a -> f a Source

class Functor f => FunctorSplit f where Source

Methods fsplit :: f a -> (f a, f a) Source Instances FunctorSplit Supply

Produced by Haddock version 2.3.0