Description

Concept that is satisfied when T conforms to the libtcspc bin mapper interface mapping datapoints of type Datapoint to bin indices of type BinIndex.

Determines whether T is move-constructible and provides operator()(Datapoint) returning std::optional<BinIndex>. The call is permitted to be non-const (e.g., tcspc::unique_bin_mapper accumulates state).

The optional n_bins() member function described at Bin mappers is a convention on concrete bin-mapper classes and is not required by this concept; tcspc::map_to_bins does not call it.

Concept definition

template<typename T, typename Datapoint, typename BinIndex>
concept bin_mapper_for =
    std::move_constructible<T> && requires(T &m, Datapoint d) {
        { m(d) } -> std::same_as<std::optional<BinIndex>>;
    }