boost::mpl11::fix< f > Struct Template Reference

Returns a metafunction class computing the least fixed point of f. More...

#include <boost/mpl11/fwd/functional.hpp>

Detailed Description

template<typename f>
struct boost::mpl11::fix< f >

Returns a metafunction class computing the least fixed point of f.

fix is an implementation of the Y-combinator, also called the fixed point combinator. It encodes the idea of recursion, and in fact any recursive metafunction can be written in terms of it.

f must be a metafunction class whose first argument is another metafunction class. Then, apply<fix<f>, args...> is equivalent to apply<f, partial<f, fix<f>>, args...>.