diff options
author | Adrian Kummerlaender | 2015-02-16 14:03:53 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-16 14:03:53 +0100 |
commit | 324988569183e38e9c5e42318571693a6fcd9569 (patch) | |
tree | ca47de290dc9b6ee1d1f771fb473c1f604e67189 /src/list/detail | |
parent | a59df7e8c4fd1f88bc1078ebcfde944502b0c309 (diff) | |
download | TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.tar TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.tar.gz TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.tar.bz2 TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.tar.lz TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.tar.xz TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.tar.zst TypeAsValue-324988569183e38e9c5e42318571693a6fcd9569.zip |
Simplified `List`, `Length` and `Reverse` implementations
* continuation of 8e49cc6
* list constructor was generalized to a _variadic fold_
Diffstat (limited to 'src/list/detail')
-rw-r--r-- | src/list/detail/fold_variadic.h | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/src/list/detail/fold_variadic.h b/src/list/detail/fold_variadic.h new file mode 100644 index 0000000..e02b604 --- /dev/null +++ b/src/list/detail/fold_variadic.h @@ -0,0 +1,34 @@ +#ifndef TYPEASVALUE_SRC_LIST_DETAIL_FOLD_VARIADIC_H_ +#define TYPEASVALUE_SRC_LIST_DETAIL_FOLD_VARIADIC_H_ + +#include "type.h" + +namespace tav { + +namespace detail { + +template < + template <typename, typename> class Function, + typename Head, + typename... Tail +> +struct fold_variadic { + typedef Function< + Head, + Eval<fold_variadic<Function, Tail...>> + > type; +}; + +template < + template <typename, typename> class Function, + typename Head +> +struct fold_variadic<Function, Head> { + typedef Function<Head, void> type; +}; + +} + +} + +#endif // TYPEASVALUE_SRC_LIST_DETAIL_FOLD_VARIADIC_H_ |