diff options
| author | Adrian Kummerlaender | 2015-02-13 21:54:48 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-02-13 21:54:48 +0100 |
| commit | 73680466149c7aad21de558b7acc11dfa05183d2 (patch) | |
| tree | c8ef1679a4688ac137d695a8e89fdb1d71595a02 | |
| parent | 9769b8fe1956b080c1f249f8c17862c0b5f5e4ef (diff) | |
| download | TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.tar TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.tar.gz TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.tar.bz2 TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.tar.lz TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.tar.xz TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.tar.zst TypeAsValue-73680466149c7aad21de558b7acc11dfa05183d2.zip | |
Renamed `Apply`'s template alias to `function`
* `type` is used to represent evaluation of a template
* accessing the `function` doesn't evaluate it as it is the template itself
| -rw-r--r-- | example/prime/prime.cc | 2 | ||||
| -rw-r--r-- | src/function/detail/apply.h | 12 | ||||
| -rw-r--r-- | src/list/operation/contains.h | 2 | ||||
| -rw-r--r-- | src/list/operation/delete.h | 2 | ||||
| -rw-r--r-- | src/list/operation/higher/sort.h | 2 | ||||
| -rw-r--r-- | test.cc | 6 |
6 files changed, 13 insertions, 13 deletions
diff --git a/example/prime/prime.cc b/example/prime/prime.cc index e4a58d6..e89d2a4 100644 --- a/example/prime/prime.cc +++ b/example/prime/prime.cc @@ -31,7 +31,7 @@ template < typename Base > using removeMultiplesOf = tav::Remove< - tav::Apply<isMultipleOf, tav::_0, Base>::template type, + tav::Apply<isMultipleOf, tav::_0, Base>::template function, Candidates >; diff --git a/src/function/detail/apply.h b/src/function/detail/apply.h index d9f058a..b4b70bf 100644 --- a/src/function/detail/apply.h +++ b/src/function/detail/apply.h @@ -47,7 +47,7 @@ template < typename... Arguments > struct apply_none { - using type = Function<Arguments...>; + using function = Function<Arguments...>; }; template < @@ -56,7 +56,7 @@ template < > struct apply_variadic { template <typename... Partials> - using type = Function< + using function = Function< typename resolve_placeholder< typename tav::List<Partials...>::type, Arguments @@ -70,10 +70,10 @@ template < > struct apply_single : apply_variadic<Function, Arguments...> { template <typename Partial0> - using type = typename apply_variadic< + using function = typename apply_variadic< Function, Arguments... - >::template type<Partial0>; + >::template function<Partial0>; }; template < @@ -82,10 +82,10 @@ template < > struct apply_pair : apply_variadic<Function, Arguments...> { template <typename Partial0, typename Partial1> - using type = typename apply_variadic< + using function = typename apply_variadic< Function, Arguments... - >::template type<Partial0, Partial1>; + >::template function<Partial0, Partial1>; }; } diff --git a/src/list/operation/contains.h b/src/list/operation/contains.h index c58d6ac..fc70d78 100644 --- a/src/list/operation/contains.h +++ b/src/list/operation/contains.h @@ -12,7 +12,7 @@ template < typename List > using Contains = Any< - Apply<IsEqualValue, _0, Element>::template type, + Apply<IsEqualValue, _0, Element>::template function, List >; diff --git a/src/list/operation/delete.h b/src/list/operation/delete.h index 430336f..48f1137 100644 --- a/src/list/operation/delete.h +++ b/src/list/operation/delete.h @@ -12,7 +12,7 @@ template < typename List > using Delete = Remove< - Apply<IsEqualValue, _0, Element>::template type, + Apply<IsEqualValue, _0, Element>::template function, List >; diff --git a/src/list/operation/higher/sort.h b/src/list/operation/higher/sort.h index 5bc30c6..5a4009c 100644 --- a/src/list/operation/higher/sort.h +++ b/src/list/operation/higher/sort.h @@ -18,7 +18,7 @@ class Sort { using pivot = typename Nth<index, Sequence>::type; using partitions = typename Partition< - Apply<Comparator, pivot, _0>::template type, + Apply<Comparator, pivot, _0>::template function, typename DeleteNth<index, Sequence>::type >::type; @@ -1024,7 +1024,7 @@ static_assert( tav::Multiply, tav::Int<21>, tav::_0 - >::type< + >::function< tav::Int<2> >::type >::value, @@ -1039,7 +1039,7 @@ static_assert( tav::Add, tav::_0, tav::Int<10> - >::type, + >::function, tav::List<tav::Int<0>, tav::Int<2>, tav::Int<4>>::type >::type >::value, @@ -1053,7 +1053,7 @@ static_assert( tav::Multiply, tav::Int<21>, tav::Int<2> - >::type::type + >::function::type >::value, "(* 21 2) != 42" ); |