aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-02-27 21:30:15 +0100
committerAdrian Kummerlaender2015-02-27 21:30:15 +0100
commit741e4550312a9bf618602c1708745e0ceaf455ec (patch)
treeb31342dafe7d55a3e2c44299a211d5757959db96
parent34530d8532e22afe0026b956ae395ddc666351b3 (diff)
Renamed `Any` list query to `Every`
* _TypeAsValue_ borrows large parts of its inspirations from _Scheme_ ** i.e. there is no reason for stopping at this point
-rw-r--r--src/list/operation/higher/query.h2
-rw-r--r--test.cc8
2 files changed, 5 insertions, 5 deletions
diff --git a/src/list/operation/higher/query.h b/src/list/operation/higher/query.h
index c6c73f4..e93e145 100644
--- a/src/list/operation/higher/query.h
+++ b/src/list/operation/higher/query.h
@@ -22,7 +22,7 @@ template <
template<typename> class Predicate,
typename List
>
-using All = Fold<
+using Every = Fold<
And,
Boolean<true>,
Map<Predicate, List>
diff --git a/test.cc b/test.cc
index ef0d8c3..48a4c70 100644
--- a/test.cc
+++ b/test.cc
@@ -758,23 +758,23 @@ static_assert(
static_assert(
std::is_same<
tav::Boolean<true>,
- tav::All<
+ tav::Every<
tav::Even,
tav::List<tav::Int<2>, tav::Int<4>, tav::Int<6>>
>
>::value,
- "(all even? (list 2 4 6)) != #t"
+ "(every even? (list 2 4 6)) != #t"
);
static_assert(
std::is_same<
tav::Boolean<false>,
- tav::All<
+ tav::Every<
tav::Odd,
tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>
>
>::value,
- "(all odd? (list 1 2 3)) != #f"
+ "(every odd? (list 1 2 3)) != #f"
);
static_assert(