boost/mpl/aux_/preprocessed/bcc/full_lambda.hpp

   1
   2 // Copyright Aleksey Gurtovoy 2001-2004
   3 //
   4 // Distributed under the Boost Software License, Version 1.0.
   5 // (See accompanying file LICENSE_1_0.txt or copy at
   6 // http://www.boost.org/LICENSE_1_0.txt)
   7 //
   8
   9 // *Preprocessed* version of the main "full_lambda.hpp" header
  10 // -- DO NOT modify by hand!
  11
  12 namespace boost { namespace mpl {
  13
  14 namespace aux {
  15
  16 template<
  17       bool C1 = false, bool C2 = false, bool C3 = false, bool C4 = false
  18     , bool C5 = false
  19     >
  20 struct lambda_or
  21     : true_
  22 {
  23 };
  24
  25 template<>
  26 struct lambda_or< false,false,false,false,false >
  27     : false_
  28 {
  29 };
  30
  31 } // namespace aux
  32
  33 template<
  34       typename T
  35     , typename Tag
  36     , typename Arity
  37     >
  38 struct lambda
  39 {
  40     typedef false_ is_le;
  41     typedef T result_;
  42     typedef T type;
  43 };
  44
  45 template<
  46       typename T
  47     >
  48 struct is_lambda_expression
  49     : lambda<T>::is_le
  50 {
  51 };
  52
  53 template< int N, typename Tag >
  54 struct lambda< arg<N>,Tag, int_< -1 > >
  55 {
  56     typedef true_ is_le;
  57     typedef mpl::arg<N> result_; // qualified for the sake of MIPSpro 7.41
  58     typedef mpl::protect<result_> type;
  59 };
  60
  61 template<
  62       typename F
  63     , typename Tag
  64     >
  65 struct lambda<
  66           bind0<F>
  67         , Tag
  68         , int_<1>
  69         >
  70 {
  71     typedef false_ is_le;
  72     typedef bind0<
  73           F
  74         > result_;
  75
  76     typedef result_ type;
  77 };
  78
  79 namespace aux {
  80
  81 template<
  82       typename IsLE, typename Tag
  83     , template< typename P1 > class F
  84     , typename L1
  85     >
  86 struct le_result1
  87 {
  88     typedef F<
  89           typename L1::type
  90         > result_;
  91
  92     typedef result_ type;
  93 };
  94
  95 template<
  96       typename Tag
  97     , template< typename P1 > class F
  98     , typename L1
  99     >
 100 struct le_result1< true_,Tag,F,L1 >
 101 {
 102     typedef bind1<
 103           quote1< F,Tag >
 104         , typename L1::result_
 105         > result_;
 106
 107     typedef mpl::protect<result_> type;
 108 };
 109
 110 } // namespace aux
 111
 112 template<
 113       template< typename P1 > class F
 114     , typename T1
 115     , typename Tag
 116     >
 117 struct lambda<
 118           F<T1>
 119         , Tag
 120         , int_<1>
 121         >
 122 {
 123     typedef lambda< T1,Tag > l1;
 124     typedef typename l1::is_le is_le1;
 125     typedef typename aux::lambda_or<
 126           is_le1::value
 127         >::type is_le;
 128
 129     typedef aux::le_result1<
 130           is_le, Tag, F, l1
 131         > le_result_;
 132
 133     typedef typename le_result_::result_ result_;
 134     typedef typename le_result_::type type;
 135 };
 136
 137 template<
 138       typename F, typename T1
 139     , typename Tag
 140     >
 141 struct lambda<
 142           bind1< F,T1 >
 143         , Tag
 144         , int_<2>
 145         >
 146 {
 147     typedef false_ is_le;
 148     typedef bind1<
 149           F
 150         , T1
 151         > result_;
 152
 153     typedef result_ type;
 154 };
 155
 156 namespace aux {
 157
 158 template<
 159       typename IsLE, typename Tag
 160     , template< typename P1, typename P2 > class F
 161     , typename L1, typename L2
 162     >
 163 struct le_result2
 164 {
 165     typedef F<
 166           typename L1::type, typename L2::type
 167         > result_;
 168
 169     typedef result_ type;
 170 };
 171
 172 template<
 173       typename Tag
 174     , template< typename P1, typename P2 > class F
 175     , typename L1, typename L2
 176     >
 177 struct le_result2< true_,Tag,F,L1,L2 >
 178 {
 179     typedef bind2<
 180           quote2< F,Tag >
 181         , typename L1::result_, typename L2::result_
 182         > result_;
 183
 184     typedef mpl::protect<result_> type;
 185 };
 186
 187 } // namespace aux
 188
 189 template<
 190       template< typename P1, typename P2 > class F
 191     , typename T1, typename T2
 192     , typename Tag
 193     >
 194 struct lambda<
 195           F< T1,T2 >
 196         , Tag
 197         , int_<2>
 198         >
 199 {
 200     typedef lambda< T1,Tag > l1;
 201     typedef lambda< T2,Tag > l2;
 202
 203     typedef typename l1::is_le is_le1;
 204     typedef typename l2::is_le is_le2;
 205
 206
 207     typedef typename aux::lambda_or<
 208           is_le1::value, is_le2::value
 209         >::type is_le;
 210
 211     typedef aux::le_result2<
 212           is_le, Tag, F, l1, l2
 213         > le_result_;
 214
 215     typedef typename le_result_::result_ result_;
 216     typedef typename le_result_::type type;
 217 };
 218
 219 template<
 220       typename F, typename T1, typename T2
 221     , typename Tag
 222     >
 223 struct lambda<
 224           bind2< F,T1,T2 >
 225         , Tag
 226         , int_<3>
 227         >
 228 {
 229     typedef false_ is_le;
 230     typedef bind2<
 231           F
 232         , T1, T2
 233         > result_;
 234
 235     typedef result_ type;
 236 };
 237
 238 namespace aux {
 239
 240 template<
 241       typename IsLE, typename Tag
 242     , template< typename P1, typename P2, typename P3 > class F
 243     , typename L1, typename L2, typename L3
 244     >
 245 struct le_result3
 246 {
 247     typedef F<
 248           typename L1::type, typename L2::type, typename L3::type
 249         > result_;
 250
 251     typedef result_ type;
 252 };
 253
 254 template<
 255       typename Tag
 256     , template< typename P1, typename P2, typename P3 > class F
 257     , typename L1, typename L2, typename L3
 258     >
 259 struct le_result3< true_,Tag,F,L1,L2,L3 >
 260 {
 261     typedef bind3<
 262           quote3< F,Tag >
 263         , typename L1::result_, typename L2::result_, typename L3::result_
 264         > result_;
 265
 266     typedef mpl::protect<result_> type;
 267 };
 268
 269 } // namespace aux
 270
 271 template<
 272       template< typename P1, typename P2, typename P3 > class F
 273     , typename T1, typename T2, typename T3
 274     , typename Tag
 275     >
 276 struct lambda<
 277           F< T1,T2,T3 >
 278         , Tag
 279         , int_<3>
 280         >
 281 {
 282     typedef lambda< T1,Tag > l1;
 283     typedef lambda< T2,Tag > l2;
 284     typedef lambda< T3,Tag > l3;
 285
 286     typedef typename l1::is_le is_le1;
 287     typedef typename l2::is_le is_le2;
 288     typedef typename l3::is_le is_le3;
 289
 290
 291     typedef typename aux::lambda_or<
 292           is_le1::value, is_le2::value, is_le3::value
 293         >::type is_le;
 294
 295     typedef aux::le_result3<
 296           is_le, Tag, F, l1, l2, l3
 297         > le_result_;
 298
 299     typedef typename le_result_::result_ result_;
 300     typedef typename le_result_::type type;
 301 };
 302
 303 template<
 304       typename F, typename T1, typename T2, typename T3
 305     , typename Tag
 306     >
 307 struct lambda<
 308           bind3< F,T1,T2,T3 >
 309         , Tag
 310         , int_<4>
 311         >
 312 {
 313     typedef false_ is_le;
 314     typedef bind3<
 315           F
 316         , T1, T2, T3
 317         > result_;
 318
 319     typedef result_ type;
 320 };
 321
 322 namespace aux {
 323
 324 template<
 325       typename IsLE, typename Tag
 326     , template< typename P1, typename P2, typename P3, typename P4 > class F
 327     , typename L1, typename L2, typename L3, typename L4
 328     >
 329 struct le_result4
 330 {
 331     typedef F<
 332           typename L1::type, typename L2::type, typename L3::type
 333         , typename L4::type
 334         > result_;
 335
 336     typedef result_ type;
 337 };
 338
 339 template<
 340       typename Tag
 341     , template< typename P1, typename P2, typename P3, typename P4 > class F
 342     , typename L1, typename L2, typename L3, typename L4
 343     >
 344 struct le_result4< true_,Tag,F,L1,L2,L3,L4 >
 345 {
 346     typedef bind4<
 347           quote4< F,Tag >
 348         , typename L1::result_, typename L2::result_, typename L3::result_
 349         , typename L4::result_
 350         > result_;
 351
 352     typedef mpl::protect<result_> type;
 353 };
 354
 355 } // namespace aux
 356
 357 template<
 358       template< typename P1, typename P2, typename P3, typename P4 > class F
 359     , typename T1, typename T2, typename T3, typename T4
 360     , typename Tag
 361     >
 362 struct lambda<
 363           F< T1,T2,T3,T4 >
 364         , Tag
 365         , int_<4>
 366         >
 367 {
 368     typedef lambda< T1,Tag > l1;
 369     typedef lambda< T2,Tag > l2;
 370     typedef lambda< T3,Tag > l3;
 371     typedef lambda< T4,Tag > l4;
 372
 373     typedef typename l1::is_le is_le1;
 374     typedef typename l2::is_le is_le2;
 375     typedef typename l3::is_le is_le3;
 376     typedef typename l4::is_le is_le4;
 377
 378
 379     typedef typename aux::lambda_or<
 380           is_le1::value, is_le2::value, is_le3::value, is_le4::value
 381         >::type is_le;
 382
 383     typedef aux::le_result4<
 384           is_le, Tag, F, l1, l2, l3, l4
 385         > le_result_;
 386
 387     typedef typename le_result_::result_ result_;
 388     typedef typename le_result_::type type;
 389 };
 390
 391 template<
 392       typename F, typename T1, typename T2, typename T3, typename T4
 393     , typename Tag
 394     >
 395 struct lambda<
 396           bind4< F,T1,T2,T3,T4 >
 397         , Tag
 398         , int_<5>
 399         >
 400 {
 401     typedef false_ is_le;
 402     typedef bind4<
 403           F
 404         , T1, T2, T3, T4
 405         > result_;
 406
 407     typedef result_ type;
 408 };
 409
 410 namespace aux {
 411
 412 template<
 413       typename IsLE, typename Tag
 414     , template< typename P1, typename P2, typename P3, typename P4, typename P5 > class F
 415     , typename L1, typename L2, typename L3, typename L4, typename L5
 416     >
 417 struct le_result5
 418 {
 419     typedef F<
 420           typename L1::type, typename L2::type, typename L3::type
 421         , typename L4::type, typename L5::type
 422         > result_;
 423
 424     typedef result_ type;
 425 };
 426
 427 template<
 428       typename Tag
 429     , template< typename P1, typename P2, typename P3, typename P4, typename P5 > class F
 430     , typename L1, typename L2, typename L3, typename L4, typename L5
 431     >
 432 struct le_result5< true_,Tag,F,L1,L2,L3,L4,L5 >
 433 {
 434     typedef bind5<
 435           quote5< F,Tag >
 436         , typename L1::result_, typename L2::result_, typename L3::result_
 437         , typename L4::result_, typename L5::result_
 438         > result_;
 439
 440     typedef mpl::protect<result_> type;
 441 };
 442
 443 } // namespace aux
 444
 445 template<
 446       template<
 447           typename P1, typename P2, typename P3, typename P4
 448         , typename P5
 449         >
 450       class F
 451     , typename T1, typename T2, typename T3, typename T4, typename T5
 452     , typename Tag
 453     >
 454 struct lambda<
 455           F< T1,T2,T3,T4,T5 >
 456         , Tag
 457         , int_<5>
 458         >
 459 {
 460     typedef lambda< T1,Tag > l1;
 461     typedef lambda< T2,Tag > l2;
 462     typedef lambda< T3,Tag > l3;
 463     typedef lambda< T4,Tag > l4;
 464     typedef lambda< T5,Tag > l5;
 465
 466     typedef typename l1::is_le is_le1;
 467     typedef typename l2::is_le is_le2;
 468     typedef typename l3::is_le is_le3;
 469     typedef typename l4::is_le is_le4;
 470     typedef typename l5::is_le is_le5;
 471
 472
 473     typedef typename aux::lambda_or<
 474           is_le1::value, is_le2::value, is_le3::value, is_le4::value
 475         , is_le5::value
 476         >::type is_le;
 477
 478     typedef aux::le_result5<
 479           is_le, Tag, F, l1, l2, l3, l4, l5
 480         > le_result_;
 481
 482     typedef typename le_result_::result_ result_;
 483     typedef typename le_result_::type type;
 484 };
 485
 486 template<
 487       typename F, typename T1, typename T2, typename T3, typename T4
 488     , typename T5
 489     , typename Tag
 490     >
 491 struct lambda<
 492           bind5< F,T1,T2,T3,T4,T5 >
 493         , Tag
 494         , int_<6>
 495         >
 496 {
 497     typedef false_ is_le;
 498     typedef bind5<
 499           F
 500         , T1, T2, T3, T4, T5
 501         > result_;
 502
 503     typedef result_ type;
 504 };
 505
 506 /// special case for 'protect'
 507 template< typename T, typename Tag >
 508 struct lambda< mpl::protect<T>,Tag, int_<1> >
 509 {
 510     typedef false_ is_le;
 511     typedef mpl::protect<T> result_;
 512     typedef result_ type;
 513 };
 514
 515 /// specializations for the main 'bind' form
 516
 517 template<
 518       typename F, typename T1, typename T2, typename T3, typename T4
 519     , typename T5
 520     , typename Tag
 521     >
 522 struct lambda<
 523           bind< F,T1,T2,T3,T4,T5 >
 524         , Tag
 525         , int_<6>
 526         >
 527 {
 528     typedef false_ is_le;
 529     typedef bind< F,T1,T2,T3,T4,T5 > result_;
 530     typedef result_ type;
 531 };
 532
 533 template<
 534       typename F
 535     , typename Tag1
 536     , typename Tag2
 537     , typename Arity
 538     >
 539 struct lambda<
 540           lambda< F,Tag1,Arity >
 541         , Tag2
 542         , int_<3>
 543         >
 544 {
 545     typedef lambda< F,Tag2 > l1;
 546     typedef lambda< Tag1,Tag2 > l2;
 547     typedef typename l1::is_le is_le;
 548     typedef bind1< quote1<aux::template_arity>, typename l1::result_ > arity_;
 549     typedef lambda< typename if_< is_le,arity_,Arity >::type, Tag2 > l3;
 550     typedef aux::le_result3<is_le, Tag2, mpl::lambda, l1, l2, l3> le_result_;
 551     typedef typename le_result_::result_ result_;
 552     typedef typename le_result_::type type;
 553 };
 554
 555 BOOST_MPL_AUX_NA_SPEC2(2, 3, lambda)
 556
 557 }}
 558