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.