Portability | non-portable (GHC Extensions) |
---|---|

Stability | experimental |

Maintainer | Patrick Bahr <paba@diku.dk> |

This module defines higher-order functors (Johann, Ghani, POPL '08), i.e. endofunctors on the category of endofunctors.

# Documentation

This class represents higher-order functors (Johann, Ghani, POPL '08) which are endofunctors on the category of endofunctors.

type :=> f a = forall i. f i -> aSource

This type represents co-cones from `f`

to `a`

. `f :=> a`

is
isomorphic to f :-> K a

The parametrised constant functor.