From 741e4550312a9bf618602c1708745e0ceaf455ec Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Fri, 27 Feb 2015 21:30:15 +0100 Subject: 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 --- src/list/operation/higher/query.h | 2 +- test.cc | 8 ++++---- 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 class Predicate, typename List > -using All = Fold< +using Every = Fold< And, Boolean, Map 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, - tav::All< + tav::Every< tav::Even, tav::List, 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, - tav::All< + tav::Every< tav::Odd, tav::List, tav::Int<2>, tav::Int<3>> > >::value, - "(all odd? (list 1 2 3)) != #f" + "(every odd? (list 1 2 3)) != #f" ); static_assert( -- cgit v1.2.3