From 9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Wed, 18 Feb 2015 22:37:39 +0100
Subject: Changed `ListIndex` to return false if no index is found *
 analogously to `list-index` and `find` in SRFI-1

---
 src/type.h | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/type.h')

diff --git a/src/type.h b/src/type.h
index 508e22f..c2ad2d8 100644
--- a/src/type.h
+++ b/src/type.h
@@ -38,6 +38,12 @@ using IsEqualValue = Boolean<X::value == Y::value>;
 template <typename X>
 using IsTrue = IsEqualValue<X, Boolean<true>>;
 
+template <typename X>
+using IsBoolean = Eval<std::is_same<typename X::value_type, bool>>;
+
+template <typename X>
+using IsSize = Eval<std::is_same<typename X::value_type, std::size_t>>;
+
 }
 
 #endif  // TYPEASVALUE_SRC_TYPE_H_
-- 
cgit v1.2.3