diff options
author | Adrian Kummerlaender | 2015-01-19 17:09:39 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-19 17:09:39 +0100 |
commit | 3cac56267edfbfd26e203ad674b9b8e74e44b14e (patch) | |
tree | 3ddc31c53d2976132f566b7fd382e9a924458bf7 /test.cc | |
parent | 3c431f8a8eab25cdb1237f6a4e3ef6ac3f2b7479 (diff) | |
download | TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.gz TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.bz2 TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.lz TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.xz TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.tar.zst TypeAsValue-3cac56267edfbfd26e203ad674b9b8e74e44b14e.zip |
Implemented `Filter` in terms of `Fold`
* as its name implies this _function_ only returns elements which evaluate to _true_ when passed to a given _function_
** this marks the moment where _TypeAsValue_ supports something _ConstList_ does not, i.e. primary goal is achieved
*** namely returning different types depending on the actual _values_ of a _Cons_ structure
* added appropriate test case
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -14,6 +14,9 @@ class TypeAsValueTest : public ::testing::Test { }; template <typename Element> using quadruple = tav::Multiply<tav::Int<4>, Element>; +template <typename Element> +using odd = tav::Boolean<(Element::value % 2 == 1)>; + TEST_F(TypeAsValueTest, BasicMath) { // (+ 1 2) EXPECT_EQ(3, ( tav::Add<tav::Int<1>, tav::Int<2>>::value )); @@ -99,6 +102,11 @@ TEST_F(TypeAsValueTest, ListMap) { EXPECT_TRUE(( std::is_same<tav::List<tav::Int<4>, tav::Int<8>, tav::Int<12>>::type, tav::Map<quadruple, tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>::type>::value )); } +TEST_F(TypeAsValueTest, ListFilter) { + // (filter odd (list 1 2 3)) + EXPECT_TRUE(( std::is_same<tav::List<tav::Int<1>, tav::Int<3>>::type, tav::Filter<odd, tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>::type>::value )); +} + TEST_F(TypeAsValueTest, ListReverse) { // (reverse (list 1 2 3)) EXPECT_TRUE(( std::is_same<tav::List<tav::Int<3>, tav::Int<2>, tav::Int<1>>::type, tav::Reverse<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>::type>::value )); |