Here is a list of all documented namespace variables with links to the namespaces they belong to:
- a -
- b -
- c -
- e -
- h -
- i -
- idempotent_leaf_v : dedekind::category
- idempotent_leaf_v< Meet< A, B > > : dedekind::category
- is_absorptive_v : dedekind::category
- is_absorptive_v< T, std::bit_or< T >, std::bit_and< T > > : dedekind::category
- is_absorptive_v< T, std::logical_or< T >, std::logical_and< T > > : dedekind::category
- is_adjoint_v< Copy< P >, Merge< P, Inf >, ProductLeq< std::less_equal< P >, std::less_equal< P > > > : dedekind::category
- is_adjoint_v< dedekind::algebra::AdditiveInverse< dedekind::sets::SignedCardinality >, dedekind::algebra::AdditiveInverse< dedekind::sets::SignedCardinality >, std::less_equal<> > : dedekind::category
- is_adjoint_v< Successor< SignedCardinality >, Predecessor< SignedCardinality >, std::less_equal<> > : dedekind::category
- is_antimonotone_v< dedekind::algebra::Inverse< G, std::plus< G > >, Op > : dedekind::category
- is_associative_v< bool, std::bit_xor< bool > > : dedekind::category
- is_associative_v< ConstantMorphism< A, B >, Op > : dedekind::category
- is_associative_v< Identity< T >, Op > : dedekind::category
- is_associative_v< T, Op > : dedekind::category
- is_associative_v< T, std::bit_xor< T > > : dedekind::category
- is_associative_v< T, std::modulus< T > > : dedekind::category
- is_associative_v< T, std::multiplies< T > > : dedekind::category
- is_associative_v< T, std::plus<> > : dedekind::category
- is_closed_under_v : dedekind::category
- is_closure_forcing_v : dedekind::category
- is_commutative_v< T, std::plus<> > : dedekind::category
- is_complement_pair_v : dedekind::category
- is_complemented_lattice_for_v : dedekind::category
- is_complemented_lattice_for_v< bool, canonical_order > : dedekind::category
- is_complemented_v : dedekind::category
- is_complemented_v< bool, std::logical_or< bool >, std::logical_and< bool >, std::logical_not< bool > > : dedekind::category
- is_complemented_v< T, std::bit_or<>, std::bit_and<>, std::bit_not<> > : dedekind::category
- is_congruence_v : dedekind::category
- is_constant_arrow_v : dedekind::category
- is_constant_arrow_v< ConstantMorphism< A, B > > : dedekind::category
- is_cyclic_group_v : dedekind::category
- is_de_morgan_negation_for_v : dedekind::category
- is_de_morgan_negation_for_v< bool, canonical_order > : dedekind::category
- is_distributive_lattice_for_v : dedekind::category
- is_distributive_lattice_for_v< T, dedekind::sets::subobject_order< L > > : dedekind::category
- is_distributive_v : dedekind::category
- is_distributive_v< bool, std::bit_and< bool >, std::bit_xor< bool > > : dedekind::category
- is_distributive_v< dedekind::algebra::Tropical< T, M >, std::plus< dedekind::algebra::Tropical< T, M > >, dedekind::algebra::TropicalPlus > : dedekind::category
- is_distributive_v< dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::MatTimes< S, N >, dedekind::linear_algebra::MatPlus< S, N > > : dedekind::category
- is_distributive_v< dedekind::morphologies::Modular< N >, std::multiplies<>, std::plus<> > : dedekind::category
- is_distributive_v< T, std::multiplies<>, std::plus<> > : dedekind::category
- is_embedding_functor_v : dedekind::category
- is_empty_set_v : dedekind::sets
- is_epic_arrow_v : dedekind::category
- is_epic_arrow_v< detail_limit::ProjectionAt< K, P > > : dedekind::category
- is_eval_arrow_v : dedekind::category
- is_even : dedekind::category
- is_exact_category_v : dedekind::category
- is_exact_category_v< CanonicalSetCCC< A > > : dedekind::category
- is_factorisation_system_v : dedekind::category
- is_factorisation_system_v< C > : dedekind::category
- is_graded_v : dedekind::category
- is_homomorphism_v : dedekind::category
- is_idempotent_v : dedekind::category
- is_idempotent_v< T, std::bit_or<> > : dedekind::category
- is_idempotent_v< T, std::bit_xor< T > > : dedekind::category
- is_identity_functor_v : dedekind::category
- is_identity_v : dedekind::category
- is_initial_f_algebra_v : dedekind::category
- is_invertible_v : dedekind::category
- is_invertible_v< bool, std::bit_and< bool > > : dedekind::category
- is_invertible_v< bool, std::bit_xor< bool > > : dedekind::category
- is_join_containing_v : dedekind::category
- is_join_node_v : dedekind::category
- is_kleene_associative_v : dedekind::category
- is_kleene_associative_v< dedekind::numbers::Rational< I >, dedekind::numbers::PartialAddRational< I > > : dedekind::category
- is_kleene_associative_v< dedekind::numbers::Rational< I >, dedekind::numbers::PartialEmbedIntegerToRational< I > > : dedekind::category
- is_kleene_commutative_v< dedekind::numbers::Complex< R >, dedekind::numbers::PartialAddComplex< R > > : dedekind::category
- is_kleisli_arrow_v : dedekind::category
- is_kleisli_deref_v : dedekind::category
- is_lattice_node_v : dedekind::category
- is_left_total_v : dedekind::category
- is_left_unique_v : dedekind::category
- is_linear_action_v : dedekind::category
- is_maybe_v : dedekind::category::detail_comprehension
- is_meet_containing_v : dedekind::category
- is_meet_node_v : dedekind::category
- is_monic_arrow_v : dedekind::category
- is_monic_arrow_v< dedekind::numbers::EmbedRationalToReal< I > > : dedekind::category
- is_monic_arrow_v< detail_limit::ProjectionAt< K, P > > : dedekind::category
- is_monic_arrow_v< std::decay_t< decltype(dedekind::numbers::embed_ℤ_ℚ_)> > : dedekind::category
- is_monic_arrow_v< std::decay_t< decltype(dedekind::numbers::embed_𝕃_ℚ<>)> > : dedekind::category
- is_monotone_v< ConstantMorphism< A, B >, Op > : dedekind::category
- is_monotone_v< std::decay_t< decltype(dedekind::numbers::embed_ℤ_ℚ_)>, std::less_equal<> > : dedekind::category
- is_monotone_v< Successor< N >, std::less_equal<> > : dedekind::category
- is_not_node_v : dedekind::category
- is_quotient_functor_v : dedekind::category
- is_reflexive_v< dedekind::numbers::Cut< Q >, std::less_equal<> > : dedekind::category
- is_reflexive_v< dedekind::numbers::QuadraticReal< D, Q >, std::less_equal<> > : dedekind::category
- is_reflexive_v< dedekind::numbers::Rational< I >, std::less_equal<> > : dedekind::category
- is_reflexive_v< Percentage, std::less_equal<> > : dedekind::category
- is_reflexive_v< T, std::less_equal<> > : dedekind::category
- is_reflexive_v< typename dedekind::morphologies::Modular< N >::machine_type, dedekind::morphologies::ModularCongruence< N > > : dedekind::category
- is_regular_category_v : dedekind::category
- is_regular_category_v< C > : dedekind::category
- is_regular_epi_v : dedekind::category
- is_regular_mono_v : dedekind::category
- is_right_total_v : dedekind::category
- is_right_unique_v : dedekind::category
- is_self_v : dedekind::sets
- is_sort_of_v : dedekind::sets
- is_symmetric_v : dedekind::category
- is_terminal_f_coalgebra_v : dedekind::category
- is_total_by_construction_v : dedekind::category
- is_total_term_v : dedekind::sets
- is_total_v : dedekind::category
- is_transcendental_v : dedekind::numbers
- is_transfinite_v : dedekind::category
- l -
- m -
- n -
- o -
- p -
- r -
- s -
- t -
- u -
- ζ -
- π -
- ℂ -
- 𝔹 -
1.15.0