diff options
author | Adrian Kummerlaender | 2015-02-18 22:37:39 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-18 22:37:39 +0100 |
commit | 9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95 (patch) | |
tree | 04aea86c016401047d5ea134fdf878b83f2ad0d6 /src/type.h | |
parent | a3cfc224111c324324e29a9a7a61b511053ec14c (diff) | |
download | TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.tar TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.tar.gz TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.tar.bz2 TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.tar.lz TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.tar.xz TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.tar.zst TypeAsValue-9bb66d9c1d8a7bf5bf02f5a7c400894e928d2a95.zip |
Changed `ListIndex` to return false if no index is found
* analogously to `list-index` and `find` in SRFI-1
Diffstat (limited to 'src/type.h')
-rw-r--r-- | src/type.h | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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_ |