feedc0de/boost_mp11
1
0
Fork 0
forked from boostorg/mp11
Code Pull Requests Activity

Document mp_compose

Browse Source
This commit is contained in:
Peter Dimov
2020-03-08 02:44:09 +02:00
parent 5d25ec4ad8
commit de026d8322
2 changed files with 17 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
doc/mp11/changelog.adoc
View File

@@ -1,5 +1,5 @@
////
Copyright 2019 Peter Dimov
Copyright 2019-2020 Peter Dimov
Distributed under the Boost Software License, Version 1.0.
@@ -15,6 +15,7 @@ http://www.boost.org/LICENSE_1_0.txt
* Added `mp_unique_if` (contributed by Kris Jusiak)
* Added `mp_flatten`
* Added `mp_rotate_left`, `mp_rotate_right` (contributed by Duncan Barber)
* Added `mp_compose`
## Changes in 1.70.0

16
doc/mp11/utility.adoc
View File

@@ -1,5 +1,5 @@
////
Copyright 2017, 2019 Peter Dimov
Copyright 2017-2020 Peter Dimov
Distributed under the Boost Software License, Version 1.0.
@@ -288,3 +288,17 @@ That is, it negates the result of `P`.
template<class Q> using mp_not_fn_q = mp_not_fn<Q::template fn>;
As `mp_not_fn`, but takes a quoted metafunction.
## mp_compose<F...>
template<template<class...> class... F> struct mp_compose;
`mp_compose<F1, F2, ..., Fn>` is a quoted metafunction that applies
`F1`, `F2`, ..., `Fn` to its argument, in sequence. That is,
`mp_compose<F1, F2, ..., Fn>::fn<T>` is `Fn<...F2<F1<T>>...>`.
## mp_compose_q<Q...>
template<class... Q> using mp_compose_q = mp_compose<Q::template fn...>;
As `mp_compose`, but takes quoted metafunctions.