functors.h

Go to the documentation of this file.

#pragma once
 
#include <liboscar/maths/vector.h>
 
#include <algorithm>
#include <concepts>
#include <cstddef>
#include <functional>
 
namespace osc
{
    // returns a vector containing `op(xv)` for each `xv` in `x`
    template<typename T, size_t N, std::invocable<const T&> UnaryOperation>
    constexpr auto map(const Vector<T, N>& x, UnaryOperation op) -> Vector<decltype(std::invoke(op, x[0])), N>
    {
        Vector<decltype(std::invoke(op, x[0])), N> rv{};
        for (size_t i = 0; i < N; ++i) {
            rv[i] = std::invoke(op, x[i]);
        }
        return rv;
    }
 
    // returns a vector containing `op(xv, yv)` for each `(xv, yv)` in `x` and `y`
    template<typename T, size_t N, std::invocable<const T&, const T&> BinaryOperation>
    constexpr auto map(const Vector<T, N>& x, const Vector<T, N>& y, BinaryOperation op) -> Vector<decltype(std::invoke(op, x[0], y[0])), N>
    {
        Vector<decltype(std::invoke(op, x[0], y[0])), N> rv{};
        for (size_t i = 0; i < N; ++i) {
            rv[i] = std::invoke(op, x[i], y[i]);
        }
        return rv;
    }
 
    // returns a vector containing `op(xv, yv, zv)` for each `(xv, yv, zv)` in `x`, `y`, and `z`
    template<typename T, size_t N, std::invocable<const T&, const T&, const T&> TernaryOperation>
    constexpr auto map(const Vector<T, N>& x, const Vector<T, N>& y, const Vector<T, N>& z, TernaryOperation op)
        -> Vector<decltype(std::invoke(op, x[0], y[0], z[0])), N>
    {
        Vector<decltype(std::invoke(op, x[0], y[0], z[0])), N> rv{};
        for (size_t i = 0; i < N; ++i) {
            rv[i] = std::invoke(op, x[i], y[i], z[i]);
        }
        return rv;
    }
 
    // tests if all elements in `v` are `true`
    template<size_t N>
    constexpr bool all_of(const Vector<bool, N>& v)
    {
        return std::ranges::all_of(v, std::identity{});
    }
 
    // tests if any element in `v` is `true`
    template<size_t N>
    constexpr bool any_of(const Vector<bool, N>& v)
    {
        return std::ranges::any_of(v, std::identity{});
    }
 
    // tests if no elements in `v` are `true`
    template<size_t N>
    constexpr bool none_of(const Vector<bool, N>& v)
    {
        return std::ranges::none_of(v, std::identity{});
    }
}