Lambda

template<typename TElementType, typename TPointType, typename = void>
struct Lambda

Adapter for the action on LambdaValue’s.

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with an operator of signature void operator()(TPointType&, TElementType const&), which should modify the first argument in-place to contain the lambda value of the second argument. The kernel of the lambda function should be Green’s \(\mathscr{L}\)-relation on the semigroup in question.

Used by:

• KoniecznyTraits.

Template Parameters

• TElementType – the type of elements.

• TPointType – the type of the lambda points.