/src/external/boost/boost_1_68_0/boost/proto/transform/detail/preprocessed/lazy.hpp

https://github.com/apple/turicreate · C++ Header · 407 lines · 311 code · 89 blank · 7 comment · 0 complexity · 30e3e7ec9614566e6dcdccc47b6a64fb MD5 · raw file 

    

  1. ///////////////////////////////////////////////////////////////////////////////
    2. 

  2.     /// \file lazy.hpp
    3. 

  3.     /// Contains definition of the lazy<> transform.
    4. 

  4.     //
    5. 

  5.     //  Copyright 2008 Eric Niebler. Distributed under the Boost
    6. 

  6.     //  Software License, Version 1.0. (See accompanying file
    7. 

  7.     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
    8. 

  8. 

  9. 

  10. 

  11. 

  12. 

  13. 

  14. 

  15. 

  16.     template<typename Object >
    17. 

  17.     struct lazy<Object()>
    18. 

  18.       : transform<lazy<Object()> >
    19. 

  19.     {
    20. 

  20.         template<typename Expr, typename State, typename Data>
    21. 

  21.         struct impl
    22. 

  22.           : call<
    23. 

  23.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    24. 

  24.                 ()
    25. 

  25.             >::template impl<Expr, State, Data>
    26. 

  26.         {};
    27. 

  27.     };
    28. 

  28. 

  29. 

  30. 

  31. 

  32. 

  33. 

  34. 

  35. 

  36.     template<typename Object , typename A0>
    37. 

  37.     struct lazy<Object(A0)>
    38. 

  38.       : transform<lazy<Object(A0)> >
    39. 

  39.     {
    40. 

  40.         template<typename Expr, typename State, typename Data>
    41. 

  41.         struct impl
    42. 

  42.           : call<
    43. 

  43.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    44. 

  44.                 (A0)
    45. 

  45.             >::template impl<Expr, State, Data>
    46. 

  46.         {};
    47. 

  47.     };
    48. 

  48.     template<typename Object , typename A0>
    49. 

  49.     struct lazy<Object(A0...)>
    50. 

  50.       : transform<lazy<Object(A0...)> >
    51. 

  51.     {
    52. 

  52.         template<typename Expr, typename State, typename Data>
    53. 

  53.         struct impl
    54. 

  54.           : lazy<
    55. 

  55.                 typename detail::expand_pattern<
    56. 

  56.                     proto::arity_of<Expr>::value
    57. 

  57.                   , A0
    58. 

  58.                   , detail::expand_pattern_rest_0<
    59. 

  59.                         Object
    60. 

  60. 

  61.                     >
    62. 

  62.                 >::type
    63. 

  63.             >::template impl<Expr, State, Data>
    64. 

  64.         {};
    65. 

  65.     };
    66. 

  66. 

  67. 

  68. 

  69. 

  70. 

  71. 

  72. 

  73. 

  74.     template<typename Object , typename A0 , typename A1>
    75. 

  75.     struct lazy<Object(A0 , A1)>
    76. 

  76.       : transform<lazy<Object(A0 , A1)> >
    77. 

  77.     {
    78. 

  78.         template<typename Expr, typename State, typename Data>
    79. 

  79.         struct impl
    80. 

  80.           : call<
    81. 

  81.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    82. 

  82.                 (A0 , A1)
    83. 

  83.             >::template impl<Expr, State, Data>
    84. 

  84.         {};
    85. 

  85.     };
    86. 

  86.     template<typename Object , typename A0 , typename A1>
    87. 

  87.     struct lazy<Object(A0 , A1...)>
    88. 

  88.       : transform<lazy<Object(A0 , A1...)> >
    89. 

  89.     {
    90. 

  90.         template<typename Expr, typename State, typename Data>
    91. 

  91.         struct impl
    92. 

  92.           : lazy<
    93. 

  93.                 typename detail::expand_pattern<
    94. 

  94.                     proto::arity_of<Expr>::value
    95. 

  95.                   , A1
    96. 

  96.                   , detail::expand_pattern_rest_1<
    97. 

  97.                         Object
    98. 

  98.                         , A0
    99. 

  99.                     >
    100. 

  100.                 >::type
    101. 

  101.             >::template impl<Expr, State, Data>
    102. 

  102.         {};
    103. 

  103.     };
    104. 

  104. 

  105. 

  106. 

  107. 

  108. 

  109. 

  110. 

  111. 

  112.     template<typename Object , typename A0 , typename A1 , typename A2>
    113. 

  113.     struct lazy<Object(A0 , A1 , A2)>
    114. 

  114.       : transform<lazy<Object(A0 , A1 , A2)> >
    115. 

  115.     {
    116. 

  116.         template<typename Expr, typename State, typename Data>
    117. 

  117.         struct impl
    118. 

  118.           : call<
    119. 

  119.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    120. 

  120.                 (A0 , A1 , A2)
    121. 

  121.             >::template impl<Expr, State, Data>
    122. 

  122.         {};
    123. 

  123.     };
    124. 

  124.     template<typename Object , typename A0 , typename A1 , typename A2>
    125. 

  125.     struct lazy<Object(A0 , A1 , A2...)>
    126. 

  126.       : transform<lazy<Object(A0 , A1 , A2...)> >
    127. 

  127.     {
    128. 

  128.         template<typename Expr, typename State, typename Data>
    129. 

  129.         struct impl
    130. 

  130.           : lazy<
    131. 

  131.                 typename detail::expand_pattern<
    132. 

  132.                     proto::arity_of<Expr>::value
    133. 

  133.                   , A2
    134. 

  134.                   , detail::expand_pattern_rest_2<
    135. 

  135.                         Object
    136. 

  136.                         , A0 , A1
    137. 

  137.                     >
    138. 

  138.                 >::type
    139. 

  139.             >::template impl<Expr, State, Data>
    140. 

  140.         {};
    141. 

  141.     };
    142. 

  142. 

  143. 

  144. 

  145. 

  146. 

  147. 

  148. 

  149. 

  150.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
    151. 

  151.     struct lazy<Object(A0 , A1 , A2 , A3)>
    152. 

  152.       : transform<lazy<Object(A0 , A1 , A2 , A3)> >
    153. 

  153.     {
    154. 

  154.         template<typename Expr, typename State, typename Data>
    155. 

  155.         struct impl
    156. 

  156.           : call<
    157. 

  157.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    158. 

  158.                 (A0 , A1 , A2 , A3)
    159. 

  159.             >::template impl<Expr, State, Data>
    160. 

  160.         {};
    161. 

  161.     };
    162. 

  162.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
    163. 

  163.     struct lazy<Object(A0 , A1 , A2 , A3...)>
    164. 

  164.       : transform<lazy<Object(A0 , A1 , A2 , A3...)> >
    165. 

  165.     {
    166. 

  166.         template<typename Expr, typename State, typename Data>
    167. 

  167.         struct impl
    168. 

  168.           : lazy<
    169. 

  169.                 typename detail::expand_pattern<
    170. 

  170.                     proto::arity_of<Expr>::value
    171. 

  171.                   , A3
    172. 

  172.                   , detail::expand_pattern_rest_3<
    173. 

  173.                         Object
    174. 

  174.                         , A0 , A1 , A2
    175. 

  175.                     >
    176. 

  176.                 >::type
    177. 

  177.             >::template impl<Expr, State, Data>
    178. 

  178.         {};
    179. 

  179.     };
    180. 

  180. 

  181. 

  182. 

  183. 

  184. 

  185. 

  186. 

  187. 

  188.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
    189. 

  189.     struct lazy<Object(A0 , A1 , A2 , A3 , A4)>
    190. 

  190.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4)> >
    191. 

  191.     {
    192. 

  192.         template<typename Expr, typename State, typename Data>
    193. 

  193.         struct impl
    194. 

  194.           : call<
    195. 

  195.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    196. 

  196.                 (A0 , A1 , A2 , A3 , A4)
    197. 

  197.             >::template impl<Expr, State, Data>
    198. 

  198.         {};
    199. 

  199.     };
    200. 

  200.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
    201. 

  201.     struct lazy<Object(A0 , A1 , A2 , A3 , A4...)>
    202. 

  202.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4...)> >
    203. 

  203.     {
    204. 

  204.         template<typename Expr, typename State, typename Data>
    205. 

  205.         struct impl
    206. 

  206.           : lazy<
    207. 

  207.                 typename detail::expand_pattern<
    208. 

  208.                     proto::arity_of<Expr>::value
    209. 

  209.                   , A4
    210. 

  210.                   , detail::expand_pattern_rest_4<
    211. 

  211.                         Object
    212. 

  212.                         , A0 , A1 , A2 , A3
    213. 

  213.                     >
    214. 

  214.                 >::type
    215. 

  215.             >::template impl<Expr, State, Data>
    216. 

  216.         {};
    217. 

  217.     };
    218. 

  218. 

  219. 

  220. 

  221. 

  222. 

  223. 

  224. 

  225. 

  226.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
    227. 

  227.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5)>
    228. 

  228.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5)> >
    229. 

  229.     {
    230. 

  230.         template<typename Expr, typename State, typename Data>
    231. 

  231.         struct impl
    232. 

  232.           : call<
    233. 

  233.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    234. 

  234.                 (A0 , A1 , A2 , A3 , A4 , A5)
    235. 

  235.             >::template impl<Expr, State, Data>
    236. 

  236.         {};
    237. 

  237.     };
    238. 

  238.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
    239. 

  239.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5...)>
    240. 

  240.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5...)> >
    241. 

  241.     {
    242. 

  242.         template<typename Expr, typename State, typename Data>
    243. 

  243.         struct impl
    244. 

  244.           : lazy<
    245. 

  245.                 typename detail::expand_pattern<
    246. 

  246.                     proto::arity_of<Expr>::value
    247. 

  247.                   , A5
    248. 

  248.                   , detail::expand_pattern_rest_5<
    249. 

  249.                         Object
    250. 

  250.                         , A0 , A1 , A2 , A3 , A4
    251. 

  251.                     >
    252. 

  252.                 >::type
    253. 

  253.             >::template impl<Expr, State, Data>
    254. 

  254.         {};
    255. 

  255.     };
    256. 

  256. 

  257. 

  258. 

  259. 

  260. 

  261. 

  262. 

  263. 

  264.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
    265. 

  265.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
    266. 

  266.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)> >
    267. 

  267.     {
    268. 

  268.         template<typename Expr, typename State, typename Data>
    269. 

  269.         struct impl
    270. 

  270.           : call<
    271. 

  271.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    272. 

  272.                 (A0 , A1 , A2 , A3 , A4 , A5 , A6)
    273. 

  273.             >::template impl<Expr, State, Data>
    274. 

  274.         {};
    275. 

  275.     };
    276. 

  276.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
    277. 

  277.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)>
    278. 

  278.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)> >
    279. 

  279.     {
    280. 

  280.         template<typename Expr, typename State, typename Data>
    281. 

  281.         struct impl
    282. 

  282.           : lazy<
    283. 

  283.                 typename detail::expand_pattern<
    284. 

  284.                     proto::arity_of<Expr>::value
    285. 

  285.                   , A6
    286. 

  286.                   , detail::expand_pattern_rest_6<
    287. 

  287.                         Object
    288. 

  288.                         , A0 , A1 , A2 , A3 , A4 , A5
    289. 

  289.                     >
    290. 

  290.                 >::type
    291. 

  291.             >::template impl<Expr, State, Data>
    292. 

  292.         {};
    293. 

  293.     };
    294. 

  294. 

  295. 

  296. 

  297. 

  298. 

  299. 

  300. 

  301. 

  302.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
    303. 

  303.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
    304. 

  304.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)> >
    305. 

  305.     {
    306. 

  306.         template<typename Expr, typename State, typename Data>
    307. 

  307.         struct impl
    308. 

  308.           : call<
    309. 

  309.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    310. 

  310.                 (A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)
    311. 

  311.             >::template impl<Expr, State, Data>
    312. 

  312.         {};
    313. 

  313.     };
    314. 

  314.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
    315. 

  315.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)>
    316. 

  316.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)> >
    317. 

  317.     {
    318. 

  318.         template<typename Expr, typename State, typename Data>
    319. 

  319.         struct impl
    320. 

  320.           : lazy<
    321. 

  321.                 typename detail::expand_pattern<
    322. 

  322.                     proto::arity_of<Expr>::value
    323. 

  323.                   , A7
    324. 

  324.                   , detail::expand_pattern_rest_7<
    325. 

  325.                         Object
    326. 

  326.                         , A0 , A1 , A2 , A3 , A4 , A5 , A6
    327. 

  327.                     >
    328. 

  328.                 >::type
    329. 

  329.             >::template impl<Expr, State, Data>
    330. 

  330.         {};
    331. 

  331.     };
    332. 

  332. 

  333. 

  334. 

  335. 

  336. 

  337. 

  338. 

  339. 

  340.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
    341. 

  341.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
    342. 

  342.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)> >
    343. 

  343.     {
    344. 

  344.         template<typename Expr, typename State, typename Data>
    345. 

  345.         struct impl
    346. 

  346.           : call<
    347. 

  347.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    348. 

  348.                 (A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)
    349. 

  349.             >::template impl<Expr, State, Data>
    350. 

  350.         {};
    351. 

  351.     };
    352. 

  352.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
    353. 

  353.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)>
    354. 

  354.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)> >
    355. 

  355.     {
    356. 

  356.         template<typename Expr, typename State, typename Data>
    357. 

  357.         struct impl
    358. 

  358.           : lazy<
    359. 

  359.                 typename detail::expand_pattern<
    360. 

  360.                     proto::arity_of<Expr>::value
    361. 

  361.                   , A8
    362. 

  362.                   , detail::expand_pattern_rest_8<
    363. 

  363.                         Object
    364. 

  364.                         , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
    365. 

  365.                     >
    366. 

  366.                 >::type
    367. 

  367.             >::template impl<Expr, State, Data>
    368. 

  368.         {};
    369. 

  369.     };
    370. 

  370. 

  371. 

  372. 

  373. 

  374. 

  375. 

  376. 

  377. 

  378.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
    379. 

  379.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
    380. 

  380.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)> >
    381. 

  381.     {
    382. 

  382.         template<typename Expr, typename State, typename Data>
    383. 

  383.         struct impl
    384. 

  384.           : call<
    385. 

  385.                 typename make<Object>::template impl<Expr, State, Data>::result_type
    386. 

  386.                 (A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)
    387. 

  387.             >::template impl<Expr, State, Data>
    388. 

  388.         {};
    389. 

  389.     };
    390. 

  390.     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
    391. 

  391.     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)>
    392. 

  392.       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)> >
    393. 

  393.     {
    394. 

  394.         template<typename Expr, typename State, typename Data>
    395. 

  395.         struct impl
    396. 

  396.           : lazy<
    397. 

  397.                 typename detail::expand_pattern<
    398. 

  398.                     proto::arity_of<Expr>::value
    399. 

  399.                   , A9
    400. 

  400.                   , detail::expand_pattern_rest_9<
    401. 

  401.                         Object
    402. 

  402.                         , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
    403. 

  403.                     >
    404. 

  404.                 >::type
    405. 

  405.             >::template impl<Expr, State, Data>
    406. 

  406.         {};
    407. 

  407.     };
    408.