boost/hof
2
0
Fork 0
mirror of https://github.com/boostorg/hof.git synced 2026-02-01 08:32:12 +00:00
Code Issues Projects Releases Wiki Activity

Update documentation for construct_meta

Browse Source
This commit is contained in:
Paul
2015-10-14 20:02:57 -05:00
parent 259c765ec6
commit 1608a8f70c
1 changed files with 19 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
fit/construct.h
View File

@@ -27,15 +27,33 @@
/// template<template<class...> class Template>
/// constexpr auto construct();
///
/// template<class MetafunctionClass>
/// constexpr auto construct_meta();
///
/// template<template<class...> class MetafunctionTemplate>
/// constexpr auto construct_meta();
///
/// Semantics
/// ---------
///
/// assert(construct<T>()(xs...) == T(xs...));
/// assert(construct<Template>()(xs...) == Template<decltype(xs)...>(xs...));
/// assert(construct_meta<MetafunctionClass>()(xs...) == MetafunctionClass::apply<decltype(xs)...>(xs...));
/// assert(construct_meta<MetafunctionTemplate>()(xs...) == MetafunctionTemplate<decltype(xs)...>::type(xs...));
///
/// Requirements
/// ------------
///
/// T or Template<Ts..> must be:
/// MetafunctionClass must be a:
///
/// MetafunctionClass
///
/// MetafunctionTemplate<Ts...> must be a:
///
/// Metafunction
///
/// T, Template<Ts..>, MetafunctionClass::apply<Ts...>, and
/// MetafunctionTemplate<Ts...>::type must be:
///
/// MoveConstructible
///