Module functor
Classes
ForgetfulFunctor_generic
Functor
IdentityFunctor_generic
Functions
ForgetfulFunctor
IdentityFunctor
is_Functor
[
hide private
]