based

0 #pragma once

1

2 #include "based/concepts/iterator.hpp"

3 #include "based/concepts/procedure/procedure.hpp"

4

5 namespace based

6 {

7

8 template<typename P, typename Ret, typename I>

9 concept IterProcedure = requires {

10 requires(Iterator<I>);

11 requires(Procedure<P, Ret, iter_value_t<I>>);

12 };

13

14 template<typename P, typename Ret, typename I>

15 concept IterUnaryProcedure = requires {

16 requires(Iterator<I>);

17 requires(UnaryProcedure<P, Ret, iter_value_t<I>>);

18 };

19

20 template<typename P, typename Ret, typename I>

21 concept IterRegularProcedure = requires {

22 requires(Iterator<I>);

23 requires(RegularProcedure<P, Ret, iter_value_t<I>>);

24 };

25

26 } // namespace based