Aleph::ClosedBinaryOp Concept Reference

A binary functor closed over T. More...

#include <ah-concepts.H>

Concept definition

template<typename F, typename T>
concept Aleph::ClosedBinaryOp = 
      requires(const F & f, const T & a, const T & b)
        {
          { f(a, b) } -> std::convertible_to<T>;
        }

Detailed Description

A binary functor closed over T.

f(a, b) is well-formed for const T& a, const T& b and returns something convertible to T. This is the shared shape behind DisjointSparseTableOp, SegmentTreeOp and FenwickBinaryOp (each kept as an alias for source compatibility) and SparseTableOp (which also rejects functors known not to be idempotent), which differ in which semantic law the caller must also provide (associativity, idempotency, ...) — this concept checks only the call signature, never the semantics.

Template Parameters

F	functor type.
T	value type.

Definition at line 424 of file ah-concepts.H.