strata::left_foldable¶

Part of Element-wise expressions.

concept

template<typename Fn>
concept strata::left_foldable = requires { requires Fn::left_fold; }

Whether a chain (a op b) op c of Fn may be stored as one node over a, b, c.

True for a functor that sets static constexpr bool left_fold = true.