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

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

Codomain typedef (defined in dedekind::category::IdentityIn< Cat >)	dedekind::category::IdentityIn< Cat >
Domain typedef (defined in dedekind::category::IdentityIn< Cat >)	dedekind::category::IdentityIn< Cat >
operator typename Cat::Arrow() const (defined in dedekind::category::IdentityIn< Cat >)	dedekind::category::IdentityIn< Cat >	inline
operator()(Domain x) const (defined in dedekind::category::IdentityIn< Cat >)	dedekind::category::IdentityIn< Cat >	inline
operator==(const IdentityIn &) const =default (defined in dedekind::category::IdentityIn< Cat >)	dedekind::category::IdentityIn< Cat >