first

Synopsis

template <class P>
struct first
{
  // unspecified
};

Description

Returns the first element of the pair P.

#include <mpllibs/metamonad/first.hpp>

Expression semantics

For any p nullary metafunction

first<p>::type

is equivalent to

p::type::first

Example

first<pair<int_<11>, int_<13>>>::type

[up]