Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::LawAlgebra< Op > Member List

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

operator()(const A &) const (defined in dedekind::category::LawAlgebra< Op >)dedekind::category::LawAlgebra< Op >inline
operator()(const N &, const R0 &, const R &...) const (defined in dedekind::category::LawAlgebra< Op >)dedekind::category::LawAlgebra< Op >inline
operator()(const Compose< F, G > &, const ArrowLaws &f, const ArrowLaws &g) const (defined in dedekind::category::LawAlgebra< Op >)dedekind::category::LawAlgebra< Op >inline
operator()(const Pairing< F, G > &, const ArrowLaws &f, const ArrowLaws &g) const (defined in dedekind::category::LawAlgebra< Op >)dedekind::category::LawAlgebra< Op >inline
operator()(const Copairing< F, G > &, const ArrowLaws &f, const ArrowLaws &g) const (defined in dedekind::category::LawAlgebra< Op >)dedekind::category::LawAlgebra< Op >inline
steer(const Pairing< Compose< A, F >, Compose< B, G > > &t) constdedekind::category::LawAlgebra< Op >inline
steer(const Copairing< Compose< F, Injection< 1, X, Y > >, Compose< G, Injection< 2, X, Y > > > &t) const (defined in dedekind::category::LawAlgebra< Op >)dedekind::category::LawAlgebra< Op >inline