dedekind::category::identity_functor< Cat > Member List

This is the complete list of members for dedekind::category::identity_functor< Cat >, including all inherited members.

Σ_cat typedef (defined in dedekind::category::identity_functor< Cat >)	dedekind::category::identity_functor< Cat >
Τ_cat typedef (defined in dedekind::category::identity_functor< Cat >)	dedekind::category::identity_functor< Cat >
Codomain typedef (defined in dedekind::category::identity_functor< Cat >)	dedekind::category::identity_functor< Cat >
Domain typedef (defined in dedekind::category::identity_functor< Cat >)	dedekind::category::identity_functor< Cat >
operator()(const Domain &c) const noexcept	dedekind::category::identity_functor< Cat >	inline
operator()(𝗳 f) const	dedekind::category::identity_functor< Cat >	inline
Shape typedef (defined in dedekind::category::identity_functor< Cat >)	dedekind::category::identity_functor< Cat >