di 0.1.0
Loading...
Searching...
No Matches
indirectly_binary_left_foldable.h
Go to the documentation of this file.
1#pragma once
2
7#include "di/meta/util.h"
8
9namespace di::concepts {
10namespace detail {
11 template<typename F, typename T, typename Iter, typename R>
12 concept IndirectlyBinaryLeftFoldableHelper =
13 Movable<T> && Movable<R> && ConvertibleTo<T, R> && Invocable<F&, R, meta::IteratorReference<Iter>> &&
14 AssignableFrom<R&, meta::InvokeResult<F&, R, meta::IteratorReference<Iter>>>;
15}
16
17template<typename F, typename T, typename Iter>
21 detail::IndirectlyBinaryLeftFoldableHelper<F, T, Iter,
23}
Definition operations.h:34
Definition util.h:68
Definition indirectly_binary_left_foldable.h:18
Definition indirectly_readable.h:26
Definition invoke.h:58
Definition any_storable.h:9
Conditional< concepts::LanguageArray< RemoveReference< T > >, RemoveExtent< RemoveReference< T > > *, Conditional< concepts::LanguageFunction< RemoveReference< T > >, AddPointer< RemoveReference< T > >, RemoveCVRef< T > > > Decay
Definition language.h:574