#include <iostream>
#include "binder_curried.hpp"

struct functor3
{
        typedef
      int
    result_type
    ;
      result_type
    operator()
    ( int const& i
    , float const& f
    , char const& c
    )
    {
        return i+f+c;
    }
      template
      < typename F_Args
      >
    struct maybe_result
    ;
      template
      < typename F
      >
    struct maybe_result
      < F
        ( int&&
        , float&&
        , char&&
        )
      >
    {
            typedef 
          result_type 
        type
        ;
    };
};
    typedef
  binder_curried_inherit_base
  < functor3
  >
bound0_type
;
    typedef
  binder_curried_inherit_next
  < bound0_type
  , int
  >
bound1_type
;
    typedef
  binder_curried_inherit_next
  < bound1_type
  , float
  >
bound2_type
;
    typedef
  binder_curried_inherit_next
  < bound2_type
  , char
  >
bound3_type
;
int main(void)
{
    int i=1;
    float f=2.2;
    char c=3;
    functor3 f3;
    bound0_type bound0_valu(f3);
    bound1_type bound1_valu(bound0_valu,i);
    std::cout<<"bound0_valu.apply(1,2,3)="<<bound0_valu.apply(i,f,c)<<"\n";
    std::cout<<"at_bound_type_value<bound1_type,0>="<<at_bound_type_value<bound1_type,0>().value(bound1_valu)<<"\n";
    
    bound2_type bound2_valu(bound1_valu,f);
    std::cout<<"at_bound_type_value<bound2_type,0>="<<at_bound_type_value<bound2_type,0>().value(bound2_valu)<<"\n";
    std::cout<<"at_bound_type_value<bound2_type,1>="<<at_bound_type_value<bound2_type,1>().value(bound2_valu)<<"\n";
    
    bound3_type bound3_valu(bound2_valu,c);
    std::cout<<"at_bound_type_value<bound3_type,0>="<<at_bound_type_value<bound3_type,0>().value(bound3_valu)<<"\n";
    std::cout<<"at_bound_type_value<bound3_type,1>="<<at_bound_type_value<bound3_type,1>().value(bound3_valu)<<"\n";
    std::cout<<"at_bound_type_value<bound3_type,2>="<<at_bound_type_value<bound3_type,2>().value(bound3_valu)<<"\n";

    std::cout<<"at_bound_value<0>="<<at_bound_value<0>(bound3_valu)<<"\n";    
    std::cout<<"at_bound_value<1>="<<at_bound_value<1>(bound3_valu)<<"\n";    
    std::cout<<"at_bound_value<2>="<<at_bound_value<2>(bound3_valu)<<"\n";
    
    std::cout<<"apply_bounded(bound3_valu)="<<apply_bounded(bound3_valu)<<"\n";
  #if 0
    std::cout<<"bound3_valu()="<<bound3_valu()<<"\n";
    std::cout<<"bound2_valu(c)()="<<bound2_valu(c)()<<"\n";
    std::cout<<"curry_nullary(f3)(i)(f)(c)()="<<curry_nullary(f3)(i)(f)(c)()<<"\n";
  #endif
  #if 0
    //This should fail to compile because too few arguments supplied:
    std::cout<<"curry_nullary(f3)(i)(f)()="<<curry_nullary(f3)(i)(f)()<<"\n";
  #endif
  #if 0
    //This should fail to compile because too many arguments supplied:
    std::cout<<"curry_nullary(f3)(i)(f)(c)(c)()="<<curry_nullary(f3)(i)(f)(c)(c)()<<"\n";
  #endif
  #if 0
    //This should fail to compile because wrong type arguments supplied:
    std::cout<<"curry_nullary(f3)(i)(f)(f3)()="<<curry_nullary(f3)(i)(f)(f3)()<<"\n";
  #endif
    return 0;
}