From 70429313c8d917255c35dabe14f64209dd6463db Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Sun, 1 Feb 2015 13:12:02 +0100 Subject: Added `DropWhile` analogously to `TakeWhile` --- test.cc | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) (limited to 'test.cc') diff --git a/test.cc b/test.cc index 6accc0e..9351afd 100644 --- a/test.cc +++ b/test.cc @@ -13,6 +13,7 @@ #include "list/operation/higher/query.h" #include "list/operation/higher/find.h" #include "list/operation/higher/take_while.h" +#include "list/operation/higher/drop_while.h" #include "list/generator/iota.h" #include "list/generator/make_list.h" #include "list/generator/higher/list_tabulate.h" @@ -754,6 +755,41 @@ static_assert( "(take-while odd? (list 2 4 5 6)) != void" ); +// list drop while + +static_assert( + std::is_same< + tav::List, tav::Int<6>>::type, + tav::DropWhile< + tav::Even, + tav::List, tav::Int<4>, tav::Int<5>, tav::Int<6>>::type + >::type + >::value, + "(drop-while even? (list 2 4 5 6)) != (list 5 6)" +); + +static_assert( + std::is_same< + tav::List, tav::Int<4>, tav::Int<6>>::type, + tav::DropWhile< + tav::Odd, + tav::List, tav::Int<4>, tav::Int<6>>::type + >::type + >::value, + "(drop-while odd? (list 2 4 6)) != (list 2 4 6)" +); + +static_assert( + std::is_same< + void, + tav::DropWhile< + tav::Even, + tav::List, tav::Int<4>, tav::Int<6>>::type + >::type + >::value, + "(drop-while even? (list 2 4 6)) != void" +); + // function apply static_assert( -- cgit v1.2.3