based

0 #pragma once

1

2 #include "based/concepts/procedure/function.hpp"

3

4 namespace based

5 {

6

7 template<typename P, typename... Args>

8 concept Operation = HomogeneousFunction<P, elem_t<0, Args...>, Args...>;

9

10 template<typename P, typename Ret, typename Arg>

11 concept Transformation = requires {

12 requires(Operation<P, Ret, Arg>);

13 requires(UnaryFunction<P, Ret, Arg>);

14 };

15

16 template<typename P, typename Arg>

17 concept BinaryOperation = Operation<P, Arg, Arg>;

18

19 template<typename P, typename Arg>

20 concept AssociativeBinaryOperation = Operation<P, Arg, Arg>;

21

22 } // namespace based