aboutsummaryrefslogtreecommitdiff
path: root/src/function/detail
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-02-16 17:35:38 +0100
committerAdrian Kummerlaender2015-02-16 17:35:38 +0100
commitf81cd736e00c28cf24412a4099bae08ff2e6c493 (patch)
treedc8a8ed7efef0f495adf5573b1fa5a43f6d08333 /src/function/detail
parent5a9366307d23b220657629c494827def3544c490 (diff)
downloadTypeAsValue-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/detail')
-rw-r--r--src/function/detail/apply.h11
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>