Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::Reduce< Less, Ord, Combine > Member List

This is the complete list of members for dedekind::category::Reduce< Less, Ord, Combine >, including all inherited members.

operator()(const Leaf &leaf) const (defined in dedekind::category::Reduce< Less, Ord, Combine >)dedekind::category::Reduce< Less, Ord, Combine >inline
operator()(const Meet< A, B > &, const RA &a, const RB &b) const (defined in dedekind::category::Reduce< Less, Ord, Combine >)dedekind::category::Reduce< Less, Ord, Combine >inline
operator()(const Join< A, B > &, const RA &a, const RB &b) constdedekind::category::Reduce< Less, Ord, Combine >inline
operator()(const Not< A > &, const RA &a) constdedekind::category::Reduce< Less, Ord, Combine >inline