diff options
author | Adrian Kummerlaender | 2015-01-16 23:55:01 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-01-16 23:55:01 +0100 |
commit | f922e0b5dfc0a03378b231ad2705dbef29310d56 (patch) | |
tree | 5eba4408c43405284d0b205a616265d12fdde15f /test.cc | |
parent | 01029e59e8eda0a160291c3c92f9db5b1cac54d3 (diff) | |
download | TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.tar TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.tar.gz TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.tar.bz2 TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.tar.lz TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.tar.xz TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.tar.zst TypeAsValue-f922e0b5dfc0a03378b231ad2705dbef29310d56.zip |
Implemented recursive `Concatenate` _Cons_ constructor
* concatenates two given _Cons_ based lists into a single one
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -32,10 +32,15 @@ TEST_F(TypeAsValueTest, Cons) { } TEST_F(TypeAsValueTest, List) { - EXPECT_EQ(1, ( tav::Car<tav::List<tav::Int<1>>::type>::value )); - EXPECT_EQ(1, ( tav::Car<tav::List<tav::Int<1>, tav::Int<2>>::type>::value )); - EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::List<tav::Int<1>, tav::Int<2>>::type>>::value )); - EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>>::value )); + EXPECT_EQ(1, ( tav::Head<tav::List<tav::Int<1>>::type>::value )); + EXPECT_EQ(1, ( tav::Head<tav::List<tav::Int<1>, tav::Int<2>>::type>::value )); + EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::List<tav::Int<1>, tav::Int<2>>::type>>::value )); + EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type>>::value )); +} + +TEST_F(TypeAsValueTest, ListConcatenate) { + EXPECT_EQ(1, ( tav::Head<tav::Concatenate<tav::List<tav::Int<1>>::type, tav::List<tav::Int<2>>::type>::type>::value )); + EXPECT_EQ(2, ( tav::Head<tav::Tail<tav::Concatenate<tav::List<tav::Int<1>>::type, tav::List<tav::Int<2>>::type>::type>>::value )); } int main(int argc, char **argv) { |