diff options
author | Adrian Kummerlaender | 2015-01-21 16:55:17 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-21 16:55:17 +0100 |
commit | cb1ee55373e5efd1441664ec4e6942d4ace5e368 (patch) | |
tree | 07b29541c603d2d716627e91b39e8e03ce23e4da /test.cc | |
parent | 611150b033340ed7433d6ba2482f86aa5655bd15 (diff) | |
download | TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.tar TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.tar.gz TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.tar.bz2 TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.tar.lz TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.tar.xz TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.tar.zst TypeAsValue-cb1ee55373e5efd1441664ec4e6942d4ace5e368.zip |
Implemented `Contains` in terms of `Any`
* as its name implies this _function_ simplifies checking if a specific value is contained within a given list
* updated `Map` to actually resolve the provided _function_
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 25 |
1 files changed, 25 insertions, 0 deletions
@@ -6,6 +6,7 @@ #include "list/cons.h" #include "list/list.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" @@ -466,3 +467,27 @@ static_assert( >::value, "(none even? (list 2 3 5)) != #f" ); + +// list contains + +static_assert( + std::is_same< + tav::Boolean<true>, + tav::Contains< + tav::Int<2>, + tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type + >::type + >::value, + "(contains 2 (list 1 2 3)) != #t" +); + +static_assert( + std::is_same< + tav::Boolean<false>, + tav::Contains< + tav::Int<0>, + tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type + >::type + >::value, + "(contains 0 (list 1 2 3)) != #f" +); |