Boost C++ Libraries Home Libraries People FAQ More

PrevUpHomeNext

Struct template impl

boost::proto::lazy::impl

Synopsis

// In header: <boost/proto/transform/lazy.hpp>


template<typename Expr, typename State, typename Data> 
struct impl :  proto::transform_impl<Expr, State, Data> {
  // types
  typedef  ;

  // public member functions
   (, 
                         , 
                         ) ;
};

Description

impl public types

  1. typedef ;

    proto::lazy<T>::impl<Expr,State,Data>::result_type is calculated as follows:

    • If T if of the form O(A0,…An), then let O' be boost::result_of<proto::make<O>(Expr, State, Data)>::type and let T' be O'(A0,…An).

    • If T if of the form O(A0,…An ...), then let O' be boost::result_of<proto::make<O>(Expr, State, Data)>::type and let T' be O'(A0,…An ...).

    • Otherwise, let T' be boost::result_of<proto::make<T>(Expr, State, Data)>::type.

    The result type is boost::result_of<proto::call<T'>(Expr, State, Data)>::type .

impl public member functions

  1.  ( expr, 
                            state, 
                            data) ;

    proto::lazy<T>::impl<Expr,State,Data>::operator() behaves as follows:

    • If T if of the form O(A0,…An), then let O' be boost::result_of<proto::make<O>(Expr, State, Data)>::type and let T' be O'(A0,…An).

    • If T if of the form O(A0,…An ...), then let O' be boost::result_of<proto::make<O>(Expr, State, Data)>::type and let T' be O'(A0,…An ...).

    • Otherwise, let T' be boost::result_of<proto::make<T>(Expr, State, Data)>::type.

    Returns:

    proto::call<T'>()(expr, state, data)


PrevUpHomeNext