aboutsummaryrefslogtreecommitdiff
path: root/src/type.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/type.h')
-rw-r--r--src/type.h6
1 files changed, 6 insertions, 0 deletions
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_