tool::get_exact< Down, Up > Struct Template Reference

Get an exact type given a type and its Bottom parameter. More...

#include <wipal/tool/static_base.hh>

List of all members.

Public Types

typedef Down return_type


Detailed Description

template<class Down, class Up>
struct tool::get_exact< Down, Up >

Get an exact type given a type and its Bottom parameter.

   get_exact<Down, Up>::return_type   = Down
   get_exact<bottom, Up>::return_type = Up

See also:
static_base

Member Typedef Documentation

template<class Down , class Up >
typedef Down tool::get_exact< Down, Up >::return_type

The trait's return type.


The documentation for this struct was generated from the following file:

Generated on Wed Apr 22 22:52:43 2009 for wipal by  doxygen 1.5.8