Skip to content

CurryR.md

Latest commit

 

History

History
45 lines (34 loc) · 1.3 KB

CurryR.md

File metadata and controls

45 lines (34 loc) · 1.3 KB

<CppML/Functional/CurryR.hpp>

CurryR

template <typename F>
struct CurryR {
  template <typename ...Ts>
  using f = /* .... */;
};

CurryR<F>

Let F be a metafunction Args... -> Us.... Than CurryR<F> is a metafunction that takes a parameter pack T0s..., and returns a metafunction F': T1s... -> Us..., in such a way, that F(T1s..., T0...) == F'(T1s...).

f:: T1s... -> T0s... -> Us...

NOTE

This is similar to ml::Curry, with the order of the parameter packs T0s... and T1s... switched.

Example

We can create a metafunction that checks if alignment of a type T is greater than alignment of some other type U, by taking ml::Map of ml::AlignOf that has ml::Greater as Pipe, and curry it on the right with U.

using Maker = ml::CurryR<
                ml::Map<
                    ml::AlignOf<>,
                    ml::Greater<>>>;

using IsMoreThanInt = ml::f<Maker, int>;
using IsMoreThanChar = ml::f<Maker, char>;

using T0 = ml::f<IsMoreThanInt, float>;
using T1 = ml::f<IsMoreThanChar, float>;
static_assert(
        std::is_same_v<
                T0, ml::Bool<false>>);
static_assert(
        std::is_same_v<
                T1, ml::Bool<true>>);