diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/function/detail/apply.h | 2 | ||||
| -rw-r--r-- | src/utility/predicate.h | 11 |
2 files changed, 3 insertions, 10 deletions
diff --git a/src/function/detail/apply.h b/src/function/detail/apply.h index 2f4c782..c06fe68 100644 --- a/src/function/detail/apply.h +++ b/src/function/detail/apply.h @@ -12,7 +12,7 @@ template < typename... Arguments > struct apply_none { - using function = Function<Arguments...>; + using type = Function<Arguments...>; }; template < diff --git a/src/utility/predicate.h b/src/utility/predicate.h index e84b18f..b185759 100644 --- a/src/utility/predicate.h +++ b/src/utility/predicate.h @@ -3,6 +3,7 @@ #include "conditional/if.h" #include "operation/logic.h" +#include "function/apply.h" namespace tav { @@ -22,14 +23,6 @@ struct predicate_assurance { }; template < - template<typename...> class Function, - typename... Arguments -> -struct defer_eval { - typedef Function<Arguments...> type; -}; - -template < template<typename> class Predicate, template<typename> class Charge, typename Surrogate @@ -38,7 +31,7 @@ struct predicate_guard { template <typename Value> using check = Eval<If< Eval<Predicate<Value>>, - defer_eval<Charge, Value>, + Apply<Charge, Value>, Surrogate >>; }; |