diff options
author | Adrian Kummerlaender | 2015-02-16 17:35:38 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-16 17:35:38 +0100 |
commit | f81cd736e00c28cf24412a4099bae08ff2e6c493 (patch) | |
tree | dc8a8ed7efef0f495adf5573b1fa5a43f6d08333 /src/function | |
parent | 5a9366307d23b220657629c494827def3544c490 (diff) | |
download | TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.tar TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.tar.gz TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.tar.bz2 TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.tar.lz TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.tar.xz TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.tar.zst TypeAsValue-f81cd736e00c28cf24412a4099bae08ff2e6c493.zip |
Unified `Iota` and `MakeList` using nested structure generator
* `detail::generate_nested_structure` offers a higher order nested structure constructor for procedural list generation
* renamed `Fold` implementation details
Diffstat (limited to 'src/function')
-rw-r--r-- | src/function/detail/apply.h | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/src/function/detail/apply.h b/src/function/detail/apply.h index 3df80ef..aca0af4 100644 --- a/src/function/detail/apply.h +++ b/src/function/detail/apply.h @@ -13,17 +13,12 @@ namespace detail { struct placeholder_tag { }; template <typename Type> -using is_placeholder = Boolean< - std::is_base_of<placeholder_tag, Type>::value ->; +using is_placeholder = Eval<std::is_base_of<placeholder_tag, Type>>; template <int Index> struct placeholder : placeholder_tag { }; -template < - typename Partials, - typename Argument -> +template <typename, typename Argument> struct resolve_placeholder { typedef Argument type; }; @@ -33,7 +28,7 @@ template < int Index > struct resolve_placeholder<Partials, placeholder<Index>> { - typedef tav::Nth<Size<Index>, Partials> type; + typedef Nth<Size<Index>, Partials> type; }; template <typename... Arguments> |