dedekind::category::adjunction_witness< Left, Right, Unit, Counit > Member List

This is the complete list of members for dedekind::category::adjunction_witness< Left, Right, Unit, Counit >, including all inherited members.

counit (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
counit_type typedef (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
left (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
left_functor_type typedef (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
right (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
right_functor_type typedef (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
unit (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >
unit_type typedef (defined in dedekind::category::adjunction_witness< Left, Right, Unit, Counit >)	dedekind::category::adjunction_witness< Left, Right, Unit, Counit >