logical.hpp File Reference

Conjunctions and disjunctions over predicate packs. More...

#include <type_traits>

Go to the source code of this file.

Classes
struct	pgs::fold_left< F, Acc, Ts >
	Fold left, primary template. More...
struct	pgs::fold_left< F, Acc, T, Ts... >
	Fold left, partial specialization matching non-empty packs. More...
struct	pgs::or_< Ts >
	Parameter pack disjunction. More...
struct	pgs::and_< Ts >
	Parameter pack conjunction. More...

Detailed Description

Conjunctions and disjunctions over predicate packs.

A definition of fold_left is provided that is then used to implement conjunctions and disjunctions over variadic predicate packs.