From d86aac04e5225e705af0dd7749fdc1c0454088a8 Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Mon, 2 Feb 2015 18:58:36 +0100 Subject: Implemented `Delete` in terms of `Remove` * analogously to how `Contains` is implemented as a wrapper around `Any` * added appropriate test case and lessened restrictions on `Contains`'s comparator --- test.cc | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'test.cc') diff --git a/test.cc b/test.cc index fa082ea..da3193f 100644 --- a/test.cc +++ b/test.cc @@ -17,6 +17,7 @@ #include "list/generator/iota.h" #include "list/generator/make_list.h" #include "list/generator/higher/list_tabulate.h" +#include "list/operation/delete.h" #include "function/apply.h" @@ -434,6 +435,30 @@ static_assert( "(remove even? (list 1 2 3)) != (list 1 3)" ); +// list delete + +static_assert( + std::is_same< + tav::List, tav::Int<3>>::type, + tav::Delete< + tav::Int<2>, + tav::List, tav::Int<2>, tav::Int<3>>::type + >::type + >::value, + "(delete 2 (list 1 2 3)) != (list 1 3)" +); + +static_assert( + std::is_same< + tav::List, tav::Int<2>, tav::Int<3>>::type, + tav::Delete< + tav::Int<4>, + tav::List, tav::Int<2>, tav::Int<3>>::type + >::type + >::value, + "(delete 4 (list 1 2 3)) != (list 1 2 3)" +); + // list partition static_assert( -- cgit v1.2.3