dedekind::category::DaggerFunctor< Dagger, T, Op > Member List

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

Σ_cat typedef (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >
Τ_cat typedef (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >
Codomain typedef (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >
dagger (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >
Domain typedef (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >
operator()(const Domain &) const (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >	inline
operator()(const Element< T, Op > &a) const (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >	inline
operator()(const IdentityIn< Σ_cat > &) const (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >	inline
Shape typedef (defined in dedekind::category::DaggerFunctor< Dagger, T, Op >)	dedekind::category::DaggerFunctor< Dagger, T, Op >