diff options
author | Adrian Kummerlaender | 2015-01-23 20:32:48 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-23 20:32:48 +0100 |
commit | 8432906bf9be6f16aafdb23aaed34f1247404329 (patch) | |
tree | 230acd5c97b668ce47d34a0ae1a445cf93c91af3 /test.cc | |
parent | 0cbc85dd74103ec5c7b2ac5802721ccf051d8454 (diff) | |
download | TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.tar TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.tar.gz TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.tar.bz2 TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.tar.lz TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.tar.xz TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.tar.zst TypeAsValue-8432906bf9be6f16aafdb23aaed34f1247404329.zip |
Implemented `ListTabulate` in terms of `Iota` and `Map`
* added `Square` function to math operations header to facilitate a simple test case
* added appropriate test case
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 16 |
1 files changed, 15 insertions, 1 deletions
@@ -5,12 +5,13 @@ #include "list/cons.h" #include "list/list.h" -#include "list/iota.h" #include "list/operation/reverse.h" #include "list/operation/contains.h" #include "list/operation/higher/fold.h" #include "list/operation/higher/misc.h" #include "list/operation/higher/query.h" +#include "list/generator/iota.h" +#include "list/generator/higher/list_tabulate.h" int main(int, char **) { } @@ -546,3 +547,16 @@ static_assert( >::value, "(iota 5 5 -1) != (list 5 4 3 2 1)" ); + +// list tabulate + +static_assert( + std::is_same< + tav::List<tav::Size<0>, tav::Size<1>, tav::Size<4>, tav::Size<9>>::type, + tav::ListTabulate< + tav::Size<4>, + tav::Square + >::type + >::value, + "(list-tabulate 4 square) != (list 0 1 4 9)" +); |