linalg/async/concepts.hpp

Go to the documentation of this file.

#pragma once
 
#include <uni20/async/async.hpp>
#include <uni20/async/awaiters.hpp>
#include <uni20/linalg/operation_scalar.hpp>
#include <uni20/tensor/concepts.hpp>
 
#include <concepts>
#include <type_traits>
#include <utility>
 
namespace uni20
{
 
template <class Tensor>
concept AsyncTensorOutput =
    MutableTensorView<Tensor> && (!async::is_async_alias_v<Tensor> || std::copy_constructible<Tensor>);
 
} // namespace uni20
 
namespace uni20::linalg
{
namespace detail
{
 
template <class Scalar>
using async_operation_scalar_awaiter_t = std::remove_cvref_t<decltype(async::read(std::declval<Scalar>()))>;
 
} // namespace detail
 
template <class Value, class Scalar>
concept AsyncOperationScalar = async::TaskAwaitable<detail::async_operation_scalar_awaiter_t<Value>> &&
                               requires(detail::async_operation_scalar_awaiter_t<Value>& awaiter) {
                                 requires OperationScalar<decltype(awaiter.await_resume()), Scalar>;
                               };
 
} // namespace uni20::linalg