This library provides a metaprogramming facility to classify, decompose and synthesize function-, function pointer-, function reference- and member function pointer types. For the purpose of this documentation, these types are collectively referred to as function types (this differs from the standard definition and redefines the term from a programmer's perspective to refer to the most common types that involve functions).

The classes introduced by this library shall conform to the concepts of the Boost Metaprogramming library (MPL).

The Function Types library enables the user to:

• test an arbitrary type for being a function type of specified kind,
• inspect properties of function types,
• view and modify sub types of an encapsulated function type with MPL Sequence operations, and
• synthesize function types.

This library supports variadic functions and can be configured to support non-default calling conventions.

Proposal to add promote, integral_promotion and floating_point_promotion class templates to type_traits library.

Alexander tried it on different compilers with various success: GNU/Linux (gentoo-hardened): gcc 3.3 and 3.4, Intel 7, 8 and 9 Windows: VC7 free compiler Sparc Solaris: Sun C++ 5.3 and 5.7

See comments at the beginning of promote_enum_test.cpp for what is broken.

Fusion is a library of heterogenous containers and views and algorithms. A set of heterogenous containers (vector, list, set and map) is provided out of the box along with view classes that present various composable views over the data. The containers and views follow a common sequence concept with an underlying iterator concept that binds it all together, suitably making the algorithms fully generic over all sequence types.

The architecture is somewhat modeled after MPL which in turn is modeled after STL. It is code-named "fusion" because the library is the "fusion" of compile time metaprogramming with runtime programming.