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

Codomain typedef (defined in dedekind::category::Successor< N >)	dedekind::category::Successor< N >
Domain typedef (defined in dedekind::category::Successor< N >)	dedekind::category::Successor< N >
operator()(const N &n) const noexcept(noexcept(successor(n)))	dedekind::category::Successor< N >	inline