Pretty Good Sum Type  1.0.0
pgs::fold_left< F, Acc, Ts > Struct Template Reference

Fold left, primary template. More...

#include <logical.hpp>

Inheritance diagram for pgs::fold_left< F, Acc, Ts >:

Detailed Description

template<class F, class Acc, class... Ts>
struct pgs::fold_left< F, Acc, Ts >

Fold left, primary template.

Left fold of a metafunction through a parameter pack

Template Parameters
AccAccumulator
FMetafunction class
TsParameter pack (possibly empty)
Returns
A terminal state produced by recursive application of the provided binary metafunction F to the initial state Acc and the elements of the sequence Ts.
Note
$fold\_left\;f\;acc\;[b_{1};\cdots;b_{n}]$ computes $f\;(\cdots\;(f\;(f\;a\;b_{1})\;b_{2})\;\cdots)\;b_{n}$
Examples:
list.t.cpp.
The documentation for this struct was generated from the following file:
Generated by   doxygen 1.8.10