diff options
Diffstat (limited to 'test.cc')
-rw-r--r-- | test.cc | 24 |
1 files changed, 20 insertions, 4 deletions
@@ -3,6 +3,8 @@ #include "type.h" #include "operation/math.h" #include "conditional/if.h" +#include "list/cons.h" +#include "list/list.h" class TypeAsValueTest : public ::testing::Test { }; @@ -11,10 +13,10 @@ TEST_F(TypeAsValueTest, Value) { } TEST_F(TypeAsValueTest, BasicMath) { - EXPECT_EQ(3, ( tav::add<tav::Int<1>, tav::Int<2>>::value )); - EXPECT_EQ(4, ( tav::substract<tav::Int<10>, tav::Int<6>>::value )); - EXPECT_EQ(42, ( tav::multiply<tav::Int<2>, tav::Int<21>>::value )); - EXPECT_EQ(5, ( tav::divide<tav::Int<10>, tav::Int<2>>::value )); + EXPECT_EQ(3, ( tav::Add<tav::Int<1>, tav::Int<2>>::value )); + EXPECT_EQ(4, ( tav::Substract<tav::Int<10>, tav::Int<6>>::value )); + EXPECT_EQ(42, ( tav::Multiply<tav::Int<2>, tav::Int<21>>::value )); + EXPECT_EQ(5, ( tav::Divide<tav::Int<10>, tav::Int<2>>::value )); } TEST_F(TypeAsValueTest, Conditional) { @@ -22,6 +24,20 @@ TEST_F(TypeAsValueTest, Conditional) { EXPECT_EQ(2, ( tav::If<false, tav::Int<1>, tav::Int<2>>::value )); } +TEST_F(TypeAsValueTest, Cons) { + EXPECT_EQ(1, ( tav::Car<tav::Cons<tav::Int<1>, void>>::value )); + EXPECT_EQ(1, ( tav::Car<tav::Cons<tav::Int<1>, tav::Int<2>>>::value )); + EXPECT_EQ(2, ( tav::Cdr<tav::Cons<tav::Int<1>, tav::Int<2>>>::value )); + EXPECT_EQ(2, ( tav::Car<tav::Cdr<tav::Cons<tav::Int<1>, tav::Cons<tav::Int<2>, tav::Int<3>>>>>::value )); +} + +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 )); +} + int main(int argc, char **argv) { testing::InitGoogleTest(&argc, argv); |