From 5f2fdb01bdb9892cb8cf5bf1b1787db36587e1d6 Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Tue, 20 Jan 2015 17:06:20 +0100 Subject: Implemented higher order list queries `All` and `Any` * in terms of `Fold` and `Map`, not the most efficient but reasonably concise * added appropriate test cases --- test.cc | 49 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 48 insertions(+), 1 deletion(-) (limited to 'test.cc') diff --git a/test.cc b/test.cc index 37f83b7..3457a60 100644 --- a/test.cc +++ b/test.cc @@ -7,6 +7,7 @@ #include "list/list.h" #include "list/operation/higher/fold.h" #include "list/operation/higher/misc.h" +#include "list/operation/higher/query.h" int main(int, char **) { } @@ -382,7 +383,7 @@ static_assert( tav::List, tav::Int<2>, tav::Int<3>>::type >::type >::value, - "(filter odd (list 1 2 3)) != (list 1 3)" + "(filter odd? (list 1 2 3)) != (list 1 3)" ); // list reverse @@ -396,3 +397,49 @@ static_assert( >::value, "(reverse (list 1 2 3)) != (list 3 2 1)" ); + +// list query + +static_assert( + std::is_same< + tav::Boolean, + tav::Any< + tav::Odd, + tav::List, tav::Int<2>, tav::Int<3>>::type + >::type + >::value, + "(any odd? (list 1 2 3)) != #t" +); + +static_assert( + std::is_same< + tav::Boolean, + tav::Any< + tav::Odd, + tav::List, tav::Int<4>, tav::Int<6>>::type + >::type + >::value, + "(any odd? (list 2 4 6)) != #f" +); + +static_assert( + std::is_same< + tav::Boolean, + tav::All< + tav::Even, + tav::List, tav::Int<4>, tav::Int<6>>::type + >::type + >::value, + "(all even? (list 2 4 6)) != #t" +); + +static_assert( + std::is_same< + tav::Boolean, + tav::All< + tav::Odd, + tav::List, tav::Int<2>, tav::Int<3>>::type + >::type + >::value, + "(all odd? (list 1 2 3)) != #f" +); -- cgit v1.2.3