diff options
author | Adrian Kummerlaender | 2015-01-20 17:50:45 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-20 17:50:45 +0100 |
commit | d33f7d10f4ee6bb41a73e1a2981de5d602f64952 (patch) | |
tree | 67b0066d7cfe2efaf45663efa0405d730cf72052 /test.cc | |
parent | 5f2fdb01bdb9892cb8cf5bf1b1787db36587e1d6 (diff) | |
download | TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.gz TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.bz2 TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.lz TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.xz TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.tar.zst TypeAsValue-d33f7d10f4ee6bb41a73e1a2981de5d602f64952.zip |
Added higher order list query `None`
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -443,3 +443,25 @@ static_assert( >::value, "(all odd? (list 1 2 3)) != #f" ); + +static_assert( + std::is_same< + tav::Boolean<true>, + tav::None< + tav::Even, + tav::List<tav::Int<1>, tav::Int<3>, tav::Int<5>>::type + >::type + >::value, + "(none even? (list 1 3 5)) != #t" +); + +static_assert( + std::is_same< + tav::Boolean<false>, + tav::None< + tav::Even, + tav::List<tav::Int<2>, tav::Int<3>, tav::Int<5>>::type + >::type + >::value, + "(none even? (list 2 3 5)) != #f" +); |