dedekind::category::maybe_functor< T > Member List

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

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