From d33f7d10f4ee6bb41a73e1a2981de5d602f64952 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Tue, 20 Jan 2015 17:50:45 +0100
Subject: Added higher order list query `None`

---
 test.cc | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'test.cc')

diff --git a/test.cc b/test.cc
index 3457a60..f64e385 100644
--- a/test.cc
+++ b/test.cc
@@ -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"
+);
-- 
cgit v1.2.3