#include <algorithm>#include <functional>#include <utility>#include <vector>
Include dependency graph for FunctionalUtil.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | souffle::deref_less< T, C > |
| A functor comparing the dereferenced value of a pointer type utilizing a given comparator. More... | |
| struct | souffle::lambda_traits< Lambda > |
| A type trait enabling the deduction of type properties of lambdas. More... | |
| struct | souffle::detail::lambda_traits_helper< T > |
| struct | souffle::detail::lambda_traits_helper< R(A0)> |
| struct | souffle::detail::lambda_traits_helper< R(A0, A1)> |
| struct | souffle::detail::lambda_traits_helper< R(Args...)> |
| struct | souffle::detail::lambda_traits_helper< R(C::*)(Args...) const > |
| struct | souffle::detail::lambda_traits_helper< R(C::*)(Args...)> |
Namespaces | |
| souffle | |
| souffle::detail | |
Functions | |
| template<typename Container , typename UnaryPredicate > | |
| bool | souffle::all_of (const Container &c, UnaryPredicate p) |
| A generic test checking whether all elements within a container satisfy a certain predicate. More... | |
| template<typename Container , typename UnaryPredicate > | |
| bool | souffle::any_of (const Container &c, UnaryPredicate p) |
| A generic test checking whether any elements within a container satisfy a certain predicate. More... | |
| template<typename A , typename F > | |
| std::vector< A > | souffle::filter (std::vector< A > xs, F &&f) |
| Filter a vector to include certain elements. More... | |
| template<typename A , typename F > | |
| std::vector< A > | souffle::filterNot (std::vector< A > xs, F &&f) |
| Filter a vector to exclude certain elements. More... | |
| template<typename Container , typename UnaryPredicate > | |
| bool | souffle::none_of (const Container &c, UnaryPredicate p) |
| A generic test checking whether all elements within a container satisfy a certain predicate. More... | |
