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/list/generator/iota.h | |
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/list/generator/iota.h')
-rw-r--r-- | src/list/generator/iota.h | 38 |
1 files changed, 9 insertions, 29 deletions
diff --git a/src/list/generator/iota.h b/src/list/generator/iota.h index 73b7cc8..1def67e 100644 --- a/src/list/generator/iota.h +++ b/src/list/generator/iota.h @@ -1,44 +1,24 @@ #ifndef TYPEASVALUE_SRC_LIST_GENERATOR_IOTA_H_ #define TYPEASVALUE_SRC_LIST_GENERATOR_IOTA_H_ +#include "pair.h" #include "operation/math.h" +#include "function/apply.h" +#include "detail/generate_nested_structure.h" namespace tav { -namespace detail { - -template < - typename Count, - typename Initial, - typename Step -> -struct Iota { - typedef Cons< - Initial, - Eval<Iota< - Substract<Count, Size<1>>, - Add<Initial, Step>, - Step - >> - > type; -}; - -template < - typename Initial, - typename Step -> -struct Iota<Size<1>, Initial, Step> { - typedef Cons<Initial, void> type; -}; - -} - template < typename Count, typename Initial, typename Step > -using Iota = Eval<detail::Iota<Count, Initial, Step>>; +using Iota = Eval<detail::generate_nested_structure< + Pair, + Apply<Add, Step, _0>::template function, + Initial, + Count +>>; } |