Skip to content

Instantly share code, notes, and snippets.

@kris-jusiak
Created June 18, 2015 10:56
Show Gist options
  • Save kris-jusiak/949d3916d84c466b80c5 to your computer and use it in GitHub Desktop.
Save kris-jusiak/949d3916d84c466b80c5 to your computer and use it in GitHub Desktop.
Hana - Map -> Get key
#include <boost/hana.hpp>
namespace hana = boost::hana;
using namespace hana::literals;
constexpr auto m = hana::make_map(
hana::make_pair(1_c, 1_c)
, hana::make_pair(2_c, 2_c)
, hana::make_pair(3_c, 3_c)
, hana::make_pair(4_c, 4_c)
, hana::make_pair(5_c, 5_c)
, hana::make_pair(6_c, 6_c)
, hana::make_pair(7_c, 7_c)
, hana::make_pair(8_c, 8_c)
, hana::make_pair(9_c, 9_c)
, hana::make_pair(10_c, 10_c)
, hana::make_pair(11_c, 11_c)
, hana::make_pair(12_c, 12_c)
, hana::make_pair(13_c, 13_c)
, hana::make_pair(14_c, 14_c)
, hana::make_pair(15_c, 15_c)
, hana::make_pair(16_c, 16_c)
, hana::make_pair(17_c, 17_c)
, hana::make_pair(18_c, 18_c)
, hana::make_pair(19_c, 19_c)
, hana::make_pair(20_c, 20_c)
, hana::make_pair(21_c, 21_c)
, hana::make_pair(22_c, 22_c)
, hana::make_pair(23_c, 23_c)
, hana::make_pair(24_c, 24_c)
, hana::make_pair(25_c, 25_c)
, hana::make_pair(26_c, 26_c)
, hana::make_pair(27_c, 27_c)
, hana::make_pair(28_c, 28_c)
, hana::make_pair(29_c, 29_c)
, hana::make_pair(30_c, 30_c)
, hana::make_pair(31_c, 31_c)
, hana::make_pair(32_c, 32_c)
, hana::make_pair(33_c, 33_c)
, hana::make_pair(34_c, 34_c)
, hana::make_pair(35_c, 35_c)
, hana::make_pair(36_c, 36_c)
, hana::make_pair(37_c, 37_c)
, hana::make_pair(38_c, 38_c)
, hana::make_pair(39_c, 39_c)
, hana::make_pair(40_c, 40_c)
, hana::make_pair(41_c, 41_c)
, hana::make_pair(42_c, 42_c)
, hana::make_pair(43_c, 43_c)
, hana::make_pair(44_c, 44_c)
, hana::make_pair(45_c, 45_c)
, hana::make_pair(46_c, 46_c)
, hana::make_pair(47_c, 47_c)
, hana::make_pair(48_c, 48_c)
, hana::make_pair(49_c, 49_c)
, hana::make_pair(50_c, 50_c)
, hana::make_pair(51_c, 51_c)
, hana::make_pair(52_c, 52_c)
, hana::make_pair(53_c, 53_c)
, hana::make_pair(54_c, 54_c)
, hana::make_pair(55_c, 55_c)
, hana::make_pair(56_c, 56_c)
, hana::make_pair(57_c, 57_c)
, hana::make_pair(58_c, 58_c)
, hana::make_pair(59_c, 59_c)
, hana::make_pair(60_c, 60_c)
, hana::make_pair(61_c, 61_c)
, hana::make_pair(62_c, 62_c)
, hana::make_pair(63_c, 63_c)
, hana::make_pair(64_c, 64_c)
, hana::make_pair(65_c, 65_c)
, hana::make_pair(66_c, 66_c)
, hana::make_pair(67_c, 67_c)
, hana::make_pair(68_c, 68_c)
, hana::make_pair(69_c, 69_c)
, hana::make_pair(70_c, 70_c)
, hana::make_pair(71_c, 71_c)
, hana::make_pair(72_c, 72_c)
, hana::make_pair(73_c, 73_c)
, hana::make_pair(74_c, 74_c)
, hana::make_pair(75_c, 75_c)
, hana::make_pair(76_c, 76_c)
, hana::make_pair(77_c, 77_c)
, hana::make_pair(78_c, 78_c)
, hana::make_pair(79_c, 79_c)
, hana::make_pair(80_c, 80_c)
, hana::make_pair(81_c, 81_c)
, hana::make_pair(82_c, 82_c)
, hana::make_pair(83_c, 83_c)
, hana::make_pair(84_c, 84_c)
, hana::make_pair(85_c, 85_c)
, hana::make_pair(86_c, 86_c)
, hana::make_pair(87_c, 87_c)
, hana::make_pair(88_c, 88_c)
, hana::make_pair(89_c, 89_c)
, hana::make_pair(90_c, 90_c)
, hana::make_pair(91_c, 91_c)
, hana::make_pair(92_c, 92_c)
, hana::make_pair(93_c, 93_c)
, hana::make_pair(94_c, 94_c)
, hana::make_pair(95_c, 95_c)
, hana::make_pair(96_c, 96_c)
, hana::make_pair(97_c, 97_c)
, hana::make_pair(98_c, 98_c)
, hana::make_pair(99_c, 99_c)
, hana::make_pair(100_c, 100_c)
, hana::make_pair(101_c, 101_c)
, hana::make_pair(102_c, 102_c)
, hana::make_pair(103_c, 103_c)
, hana::make_pair(104_c, 104_c)
, hana::make_pair(105_c, 105_c)
, hana::make_pair(106_c, 106_c)
, hana::make_pair(107_c, 107_c)
, hana::make_pair(108_c, 108_c)
, hana::make_pair(109_c, 109_c)
, hana::make_pair(110_c, 110_c)
, hana::make_pair(111_c, 111_c)
, hana::make_pair(112_c, 112_c)
, hana::make_pair(113_c, 113_c)
, hana::make_pair(114_c, 114_c)
, hana::make_pair(115_c, 115_c)
, hana::make_pair(116_c, 116_c)
, hana::make_pair(117_c, 117_c)
, hana::make_pair(118_c, 118_c)
, hana::make_pair(119_c, 119_c)
, hana::make_pair(120_c, 120_c)
, hana::make_pair(121_c, 121_c)
, hana::make_pair(122_c, 122_c)
, hana::make_pair(123_c, 123_c)
, hana::make_pair(124_c, 124_c)
, hana::make_pair(125_c, 125_c)
, hana::make_pair(126_c, 126_c)
, hana::make_pair(127_c, 127_c)
, hana::make_pair(128_c, 128_c)
, hana::make_pair(129_c, 129_c)
, hana::make_pair(130_c, 130_c)
, hana::make_pair(131_c, 131_c)
, hana::make_pair(132_c, 132_c)
, hana::make_pair(133_c, 133_c)
, hana::make_pair(134_c, 134_c)
, hana::make_pair(135_c, 135_c)
, hana::make_pair(136_c, 136_c)
, hana::make_pair(137_c, 137_c)
, hana::make_pair(138_c, 138_c)
, hana::make_pair(139_c, 139_c)
, hana::make_pair(140_c, 140_c)
, hana::make_pair(141_c, 141_c)
, hana::make_pair(142_c, 142_c)
, hana::make_pair(143_c, 143_c)
, hana::make_pair(144_c, 144_c)
, hana::make_pair(145_c, 145_c)
, hana::make_pair(146_c, 146_c)
, hana::make_pair(147_c, 147_c)
, hana::make_pair(148_c, 148_c)
, hana::make_pair(149_c, 149_c)
, hana::make_pair(150_c, 150_c)
, hana::make_pair(151_c, 151_c)
, hana::make_pair(152_c, 152_c)
, hana::make_pair(153_c, 153_c)
, hana::make_pair(154_c, 154_c)
, hana::make_pair(155_c, 155_c)
, hana::make_pair(156_c, 156_c)
, hana::make_pair(157_c, 157_c)
, hana::make_pair(158_c, 158_c)
, hana::make_pair(159_c, 159_c)
, hana::make_pair(160_c, 160_c)
, hana::make_pair(161_c, 161_c)
, hana::make_pair(162_c, 162_c)
, hana::make_pair(163_c, 163_c)
, hana::make_pair(164_c, 164_c)
, hana::make_pair(165_c, 165_c)
, hana::make_pair(166_c, 166_c)
, hana::make_pair(167_c, 167_c)
, hana::make_pair(168_c, 168_c)
, hana::make_pair(169_c, 169_c)
, hana::make_pair(170_c, 170_c)
, hana::make_pair(171_c, 171_c)
, hana::make_pair(172_c, 172_c)
, hana::make_pair(173_c, 173_c)
, hana::make_pair(174_c, 174_c)
, hana::make_pair(175_c, 175_c)
, hana::make_pair(176_c, 176_c)
, hana::make_pair(177_c, 177_c)
, hana::make_pair(178_c, 178_c)
, hana::make_pair(179_c, 179_c)
, hana::make_pair(180_c, 180_c)
, hana::make_pair(181_c, 181_c)
, hana::make_pair(182_c, 182_c)
, hana::make_pair(183_c, 183_c)
, hana::make_pair(184_c, 184_c)
, hana::make_pair(185_c, 185_c)
, hana::make_pair(186_c, 186_c)
, hana::make_pair(187_c, 187_c)
, hana::make_pair(188_c, 188_c)
, hana::make_pair(189_c, 189_c)
, hana::make_pair(190_c, 190_c)
, hana::make_pair(191_c, 191_c)
, hana::make_pair(192_c, 192_c)
, hana::make_pair(193_c, 193_c)
, hana::make_pair(194_c, 194_c)
, hana::make_pair(195_c, 195_c)
, hana::make_pair(196_c, 196_c)
, hana::make_pair(197_c, 197_c)
, hana::make_pair(198_c, 198_c)
, hana::make_pair(199_c, 199_c)
, hana::make_pair(200_c, 200_c)
, hana::make_pair(201_c, 201_c)
, hana::make_pair(202_c, 202_c)
, hana::make_pair(203_c, 203_c)
, hana::make_pair(204_c, 204_c)
, hana::make_pair(205_c, 205_c)
, hana::make_pair(206_c, 206_c)
, hana::make_pair(207_c, 207_c)
, hana::make_pair(208_c, 208_c)
, hana::make_pair(209_c, 209_c)
, hana::make_pair(210_c, 210_c)
, hana::make_pair(211_c, 211_c)
, hana::make_pair(212_c, 212_c)
, hana::make_pair(213_c, 213_c)
, hana::make_pair(214_c, 214_c)
, hana::make_pair(215_c, 215_c)
, hana::make_pair(216_c, 216_c)
, hana::make_pair(217_c, 217_c)
, hana::make_pair(218_c, 218_c)
, hana::make_pair(219_c, 219_c)
, hana::make_pair(220_c, 220_c)
, hana::make_pair(221_c, 221_c)
, hana::make_pair(222_c, 222_c)
, hana::make_pair(223_c, 223_c)
, hana::make_pair(224_c, 224_c)
, hana::make_pair(225_c, 225_c)
, hana::make_pair(226_c, 226_c)
, hana::make_pair(227_c, 227_c)
, hana::make_pair(228_c, 228_c)
, hana::make_pair(229_c, 229_c)
, hana::make_pair(230_c, 230_c)
, hana::make_pair(231_c, 231_c)
, hana::make_pair(232_c, 232_c)
, hana::make_pair(233_c, 233_c)
, hana::make_pair(234_c, 234_c)
, hana::make_pair(235_c, 235_c)
, hana::make_pair(236_c, 236_c)
, hana::make_pair(237_c, 237_c)
, hana::make_pair(238_c, 238_c)
, hana::make_pair(239_c, 239_c)
, hana::make_pair(240_c, 240_c)
, hana::make_pair(241_c, 241_c)
, hana::make_pair(242_c, 242_c)
, hana::make_pair(243_c, 243_c)
, hana::make_pair(244_c, 244_c)
, hana::make_pair(245_c, 245_c)
, hana::make_pair(246_c, 246_c)
, hana::make_pair(247_c, 247_c)
, hana::make_pair(248_c, 248_c)
, hana::make_pair(249_c, 249_c)
, hana::make_pair(250_c, 250_c)
, hana::make_pair(251_c, 251_c)
, hana::make_pair(252_c, 252_c)
, hana::make_pair(253_c, 253_c)
, hana::make_pair(254_c, 254_c)
, hana::make_pair(255_c, 255_c)
, hana::make_pair(256_c, 256_c)
, hana::make_pair(257_c, 257_c)
, hana::make_pair(258_c, 258_c)
, hana::make_pair(259_c, 259_c)
, hana::make_pair(260_c, 260_c)
, hana::make_pair(261_c, 261_c)
, hana::make_pair(262_c, 262_c)
, hana::make_pair(263_c, 263_c)
, hana::make_pair(264_c, 264_c)
, hana::make_pair(265_c, 265_c)
, hana::make_pair(266_c, 266_c)
, hana::make_pair(267_c, 267_c)
, hana::make_pair(268_c, 268_c)
, hana::make_pair(269_c, 269_c)
, hana::make_pair(270_c, 270_c)
, hana::make_pair(271_c, 271_c)
, hana::make_pair(272_c, 272_c)
, hana::make_pair(273_c, 273_c)
, hana::make_pair(274_c, 274_c)
, hana::make_pair(275_c, 275_c)
, hana::make_pair(276_c, 276_c)
, hana::make_pair(277_c, 277_c)
, hana::make_pair(278_c, 278_c)
, hana::make_pair(279_c, 279_c)
, hana::make_pair(280_c, 280_c)
, hana::make_pair(281_c, 281_c)
, hana::make_pair(282_c, 282_c)
, hana::make_pair(283_c, 283_c)
, hana::make_pair(284_c, 284_c)
, hana::make_pair(285_c, 285_c)
, hana::make_pair(286_c, 286_c)
, hana::make_pair(287_c, 287_c)
, hana::make_pair(288_c, 288_c)
, hana::make_pair(289_c, 289_c)
, hana::make_pair(290_c, 290_c)
, hana::make_pair(291_c, 291_c)
, hana::make_pair(292_c, 292_c)
, hana::make_pair(293_c, 293_c)
, hana::make_pair(294_c, 294_c)
, hana::make_pair(295_c, 295_c)
, hana::make_pair(296_c, 296_c)
, hana::make_pair(297_c, 297_c)
, hana::make_pair(298_c, 298_c)
, hana::make_pair(299_c, 299_c)
, hana::make_pair(300_c, 300_c)
, hana::make_pair(301_c, 301_c)
, hana::make_pair(302_c, 302_c)
, hana::make_pair(303_c, 303_c)
, hana::make_pair(304_c, 304_c)
, hana::make_pair(305_c, 305_c)
, hana::make_pair(306_c, 306_c)
, hana::make_pair(307_c, 307_c)
, hana::make_pair(308_c, 308_c)
, hana::make_pair(309_c, 309_c)
, hana::make_pair(310_c, 310_c)
, hana::make_pair(311_c, 311_c)
, hana::make_pair(312_c, 312_c)
, hana::make_pair(313_c, 313_c)
, hana::make_pair(314_c, 314_c)
, hana::make_pair(315_c, 315_c)
, hana::make_pair(316_c, 316_c)
, hana::make_pair(317_c, 317_c)
, hana::make_pair(318_c, 318_c)
, hana::make_pair(319_c, 319_c)
, hana::make_pair(320_c, 320_c)
, hana::make_pair(321_c, 321_c)
, hana::make_pair(322_c, 322_c)
, hana::make_pair(323_c, 323_c)
, hana::make_pair(324_c, 324_c)
, hana::make_pair(325_c, 325_c)
, hana::make_pair(326_c, 326_c)
, hana::make_pair(327_c, 327_c)
, hana::make_pair(328_c, 328_c)
, hana::make_pair(329_c, 329_c)
, hana::make_pair(330_c, 330_c)
, hana::make_pair(331_c, 331_c)
, hana::make_pair(332_c, 332_c)
, hana::make_pair(333_c, 333_c)
, hana::make_pair(334_c, 334_c)
, hana::make_pair(335_c, 335_c)
, hana::make_pair(336_c, 336_c)
, hana::make_pair(337_c, 337_c)
, hana::make_pair(338_c, 338_c)
, hana::make_pair(339_c, 339_c)
, hana::make_pair(340_c, 340_c)
, hana::make_pair(341_c, 341_c)
, hana::make_pair(342_c, 342_c)
, hana::make_pair(343_c, 343_c)
, hana::make_pair(344_c, 344_c)
, hana::make_pair(345_c, 345_c)
, hana::make_pair(346_c, 346_c)
, hana::make_pair(347_c, 347_c)
, hana::make_pair(348_c, 348_c)
, hana::make_pair(349_c, 349_c)
, hana::make_pair(350_c, 350_c)
, hana::make_pair(351_c, 351_c)
, hana::make_pair(352_c, 352_c)
, hana::make_pair(353_c, 353_c)
, hana::make_pair(354_c, 354_c)
, hana::make_pair(355_c, 355_c)
, hana::make_pair(356_c, 356_c)
, hana::make_pair(357_c, 357_c)
, hana::make_pair(358_c, 358_c)
, hana::make_pair(359_c, 359_c)
, hana::make_pair(360_c, 360_c)
, hana::make_pair(361_c, 361_c)
, hana::make_pair(362_c, 362_c)
, hana::make_pair(363_c, 363_c)
, hana::make_pair(364_c, 364_c)
, hana::make_pair(365_c, 365_c)
, hana::make_pair(366_c, 366_c)
, hana::make_pair(367_c, 367_c)
, hana::make_pair(368_c, 368_c)
, hana::make_pair(369_c, 369_c)
, hana::make_pair(370_c, 370_c)
, hana::make_pair(371_c, 371_c)
, hana::make_pair(372_c, 372_c)
, hana::make_pair(373_c, 373_c)
, hana::make_pair(374_c, 374_c)
, hana::make_pair(375_c, 375_c)
, hana::make_pair(376_c, 376_c)
, hana::make_pair(377_c, 377_c)
, hana::make_pair(378_c, 378_c)
, hana::make_pair(379_c, 379_c)
, hana::make_pair(380_c, 380_c)
, hana::make_pair(381_c, 381_c)
, hana::make_pair(382_c, 382_c)
, hana::make_pair(383_c, 383_c)
, hana::make_pair(384_c, 384_c)
, hana::make_pair(385_c, 385_c)
, hana::make_pair(386_c, 386_c)
, hana::make_pair(387_c, 387_c)
, hana::make_pair(388_c, 388_c)
, hana::make_pair(389_c, 389_c)
, hana::make_pair(390_c, 390_c)
, hana::make_pair(391_c, 391_c)
, hana::make_pair(392_c, 392_c)
, hana::make_pair(393_c, 393_c)
, hana::make_pair(394_c, 394_c)
, hana::make_pair(395_c, 395_c)
, hana::make_pair(396_c, 396_c)
, hana::make_pair(397_c, 397_c)
, hana::make_pair(398_c, 398_c)
, hana::make_pair(399_c, 399_c)
, hana::make_pair(400_c, 400_c)
, hana::make_pair(401_c, 401_c)
, hana::make_pair(402_c, 402_c)
, hana::make_pair(403_c, 403_c)
, hana::make_pair(404_c, 404_c)
, hana::make_pair(405_c, 405_c)
, hana::make_pair(406_c, 406_c)
, hana::make_pair(407_c, 407_c)
, hana::make_pair(408_c, 408_c)
, hana::make_pair(409_c, 409_c)
, hana::make_pair(410_c, 410_c)
, hana::make_pair(411_c, 411_c)
, hana::make_pair(412_c, 412_c)
, hana::make_pair(413_c, 413_c)
, hana::make_pair(414_c, 414_c)
, hana::make_pair(415_c, 415_c)
, hana::make_pair(416_c, 416_c)
, hana::make_pair(417_c, 417_c)
, hana::make_pair(418_c, 418_c)
, hana::make_pair(419_c, 419_c)
, hana::make_pair(420_c, 420_c)
, hana::make_pair(421_c, 421_c)
, hana::make_pair(422_c, 422_c)
, hana::make_pair(423_c, 423_c)
, hana::make_pair(424_c, 424_c)
, hana::make_pair(425_c, 425_c)
, hana::make_pair(426_c, 426_c)
, hana::make_pair(427_c, 427_c)
, hana::make_pair(428_c, 428_c)
, hana::make_pair(429_c, 429_c)
, hana::make_pair(430_c, 430_c)
, hana::make_pair(431_c, 431_c)
, hana::make_pair(432_c, 432_c)
, hana::make_pair(433_c, 433_c)
, hana::make_pair(434_c, 434_c)
, hana::make_pair(435_c, 435_c)
, hana::make_pair(436_c, 436_c)
, hana::make_pair(437_c, 437_c)
, hana::make_pair(438_c, 438_c)
, hana::make_pair(439_c, 439_c)
, hana::make_pair(440_c, 440_c)
, hana::make_pair(441_c, 441_c)
, hana::make_pair(442_c, 442_c)
, hana::make_pair(443_c, 443_c)
, hana::make_pair(444_c, 444_c)
, hana::make_pair(445_c, 445_c)
, hana::make_pair(446_c, 446_c)
, hana::make_pair(447_c, 447_c)
, hana::make_pair(448_c, 448_c)
, hana::make_pair(449_c, 449_c)
, hana::make_pair(450_c, 450_c)
, hana::make_pair(451_c, 451_c)
, hana::make_pair(452_c, 452_c)
, hana::make_pair(453_c, 453_c)
, hana::make_pair(454_c, 454_c)
, hana::make_pair(455_c, 455_c)
, hana::make_pair(456_c, 456_c)
, hana::make_pair(457_c, 457_c)
, hana::make_pair(458_c, 458_c)
, hana::make_pair(459_c, 459_c)
, hana::make_pair(460_c, 460_c)
, hana::make_pair(461_c, 461_c)
, hana::make_pair(462_c, 462_c)
, hana::make_pair(463_c, 463_c)
, hana::make_pair(464_c, 464_c)
, hana::make_pair(465_c, 465_c)
, hana::make_pair(466_c, 466_c)
, hana::make_pair(467_c, 467_c)
, hana::make_pair(468_c, 468_c)
, hana::make_pair(469_c, 469_c)
, hana::make_pair(470_c, 470_c)
, hana::make_pair(471_c, 471_c)
, hana::make_pair(472_c, 472_c)
, hana::make_pair(473_c, 473_c)
, hana::make_pair(474_c, 474_c)
, hana::make_pair(475_c, 475_c)
, hana::make_pair(476_c, 476_c)
, hana::make_pair(477_c, 477_c)
, hana::make_pair(478_c, 478_c)
, hana::make_pair(479_c, 479_c)
, hana::make_pair(480_c, 480_c)
, hana::make_pair(481_c, 481_c)
, hana::make_pair(482_c, 482_c)
, hana::make_pair(483_c, 483_c)
, hana::make_pair(484_c, 484_c)
, hana::make_pair(485_c, 485_c)
, hana::make_pair(486_c, 486_c)
, hana::make_pair(487_c, 487_c)
, hana::make_pair(488_c, 488_c)
, hana::make_pair(489_c, 489_c)
, hana::make_pair(490_c, 490_c)
, hana::make_pair(491_c, 491_c)
, hana::make_pair(492_c, 492_c)
, hana::make_pair(493_c, 493_c)
, hana::make_pair(494_c, 494_c)
, hana::make_pair(495_c, 495_c)
, hana::make_pair(496_c, 496_c)
, hana::make_pair(497_c, 497_c)
, hana::make_pair(498_c, 498_c)
, hana::make_pair(499_c, 499_c)
, hana::make_pair(500_c, 500_c)
, hana::make_pair(501_c, 501_c)
, hana::make_pair(502_c, 502_c)
, hana::make_pair(503_c, 503_c)
, hana::make_pair(504_c, 504_c)
, hana::make_pair(505_c, 505_c)
, hana::make_pair(506_c, 506_c)
, hana::make_pair(507_c, 507_c)
, hana::make_pair(508_c, 508_c)
, hana::make_pair(509_c, 509_c)
, hana::make_pair(510_c, 510_c)
, hana::make_pair(511_c, 511_c)
, hana::make_pair(512_c, 512_c)
, hana::make_pair(513_c, 513_c)
, hana::make_pair(514_c, 514_c)
, hana::make_pair(515_c, 515_c)
, hana::make_pair(516_c, 516_c)
, hana::make_pair(517_c, 517_c)
, hana::make_pair(518_c, 518_c)
, hana::make_pair(519_c, 519_c)
, hana::make_pair(520_c, 520_c)
, hana::make_pair(521_c, 521_c)
, hana::make_pair(522_c, 522_c)
, hana::make_pair(523_c, 523_c)
, hana::make_pair(524_c, 524_c)
, hana::make_pair(525_c, 525_c)
, hana::make_pair(526_c, 526_c)
, hana::make_pair(527_c, 527_c)
, hana::make_pair(528_c, 528_c)
, hana::make_pair(529_c, 529_c)
, hana::make_pair(530_c, 530_c)
, hana::make_pair(531_c, 531_c)
, hana::make_pair(532_c, 532_c)
, hana::make_pair(533_c, 533_c)
, hana::make_pair(534_c, 534_c)
, hana::make_pair(535_c, 535_c)
, hana::make_pair(536_c, 536_c)
, hana::make_pair(537_c, 537_c)
, hana::make_pair(538_c, 538_c)
, hana::make_pair(539_c, 539_c)
, hana::make_pair(540_c, 540_c)
, hana::make_pair(541_c, 541_c)
, hana::make_pair(542_c, 542_c)
, hana::make_pair(543_c, 543_c)
, hana::make_pair(544_c, 544_c)
, hana::make_pair(545_c, 545_c)
, hana::make_pair(546_c, 546_c)
, hana::make_pair(547_c, 547_c)
, hana::make_pair(548_c, 548_c)
, hana::make_pair(549_c, 549_c)
, hana::make_pair(550_c, 550_c)
, hana::make_pair(551_c, 551_c)
, hana::make_pair(552_c, 552_c)
, hana::make_pair(553_c, 553_c)
, hana::make_pair(554_c, 554_c)
, hana::make_pair(555_c, 555_c)
, hana::make_pair(556_c, 556_c)
, hana::make_pair(557_c, 557_c)
, hana::make_pair(558_c, 558_c)
, hana::make_pair(559_c, 559_c)
, hana::make_pair(560_c, 560_c)
, hana::make_pair(561_c, 561_c)
, hana::make_pair(562_c, 562_c)
, hana::make_pair(563_c, 563_c)
, hana::make_pair(564_c, 564_c)
, hana::make_pair(565_c, 565_c)
, hana::make_pair(566_c, 566_c)
, hana::make_pair(567_c, 567_c)
, hana::make_pair(568_c, 568_c)
, hana::make_pair(569_c, 569_c)
, hana::make_pair(570_c, 570_c)
, hana::make_pair(571_c, 571_c)
, hana::make_pair(572_c, 572_c)
, hana::make_pair(573_c, 573_c)
, hana::make_pair(574_c, 574_c)
, hana::make_pair(575_c, 575_c)
, hana::make_pair(576_c, 576_c)
, hana::make_pair(577_c, 577_c)
, hana::make_pair(578_c, 578_c)
, hana::make_pair(579_c, 579_c)
, hana::make_pair(580_c, 580_c)
, hana::make_pair(581_c, 581_c)
, hana::make_pair(582_c, 582_c)
, hana::make_pair(583_c, 583_c)
, hana::make_pair(584_c, 584_c)
, hana::make_pair(585_c, 585_c)
, hana::make_pair(586_c, 586_c)
, hana::make_pair(587_c, 587_c)
, hana::make_pair(588_c, 588_c)
, hana::make_pair(589_c, 589_c)
, hana::make_pair(590_c, 590_c)
, hana::make_pair(591_c, 591_c)
, hana::make_pair(592_c, 592_c)
, hana::make_pair(593_c, 593_c)
, hana::make_pair(594_c, 594_c)
, hana::make_pair(595_c, 595_c)
, hana::make_pair(596_c, 596_c)
, hana::make_pair(597_c, 597_c)
, hana::make_pair(598_c, 598_c)
, hana::make_pair(599_c, 599_c)
, hana::make_pair(600_c, 600_c)
, hana::make_pair(601_c, 601_c)
, hana::make_pair(602_c, 602_c)
, hana::make_pair(603_c, 603_c)
, hana::make_pair(604_c, 604_c)
, hana::make_pair(605_c, 605_c)
, hana::make_pair(606_c, 606_c)
, hana::make_pair(607_c, 607_c)
, hana::make_pair(608_c, 608_c)
, hana::make_pair(609_c, 609_c)
, hana::make_pair(610_c, 610_c)
, hana::make_pair(611_c, 611_c)
, hana::make_pair(612_c, 612_c)
, hana::make_pair(613_c, 613_c)
, hana::make_pair(614_c, 614_c)
, hana::make_pair(615_c, 615_c)
, hana::make_pair(616_c, 616_c)
, hana::make_pair(617_c, 617_c)
, hana::make_pair(618_c, 618_c)
, hana::make_pair(619_c, 619_c)
, hana::make_pair(620_c, 620_c)
, hana::make_pair(621_c, 621_c)
, hana::make_pair(622_c, 622_c)
, hana::make_pair(623_c, 623_c)
, hana::make_pair(624_c, 624_c)
, hana::make_pair(625_c, 625_c)
, hana::make_pair(626_c, 626_c)
, hana::make_pair(627_c, 627_c)
, hana::make_pair(628_c, 628_c)
, hana::make_pair(629_c, 629_c)
, hana::make_pair(630_c, 630_c)
, hana::make_pair(631_c, 631_c)
, hana::make_pair(632_c, 632_c)
, hana::make_pair(633_c, 633_c)
, hana::make_pair(634_c, 634_c)
, hana::make_pair(635_c, 635_c)
, hana::make_pair(636_c, 636_c)
, hana::make_pair(637_c, 637_c)
, hana::make_pair(638_c, 638_c)
, hana::make_pair(639_c, 639_c)
, hana::make_pair(640_c, 640_c)
, hana::make_pair(641_c, 641_c)
, hana::make_pair(642_c, 642_c)
, hana::make_pair(643_c, 643_c)
, hana::make_pair(644_c, 644_c)
, hana::make_pair(645_c, 645_c)
, hana::make_pair(646_c, 646_c)
, hana::make_pair(647_c, 647_c)
, hana::make_pair(648_c, 648_c)
, hana::make_pair(649_c, 649_c)
, hana::make_pair(650_c, 650_c)
, hana::make_pair(651_c, 651_c)
, hana::make_pair(652_c, 652_c)
, hana::make_pair(653_c, 653_c)
, hana::make_pair(654_c, 654_c)
, hana::make_pair(655_c, 655_c)
, hana::make_pair(656_c, 656_c)
, hana::make_pair(657_c, 657_c)
, hana::make_pair(658_c, 658_c)
, hana::make_pair(659_c, 659_c)
, hana::make_pair(660_c, 660_c)
, hana::make_pair(661_c, 661_c)
, hana::make_pair(662_c, 662_c)
, hana::make_pair(663_c, 663_c)
, hana::make_pair(664_c, 664_c)
, hana::make_pair(665_c, 665_c)
, hana::make_pair(666_c, 666_c)
, hana::make_pair(667_c, 667_c)
, hana::make_pair(668_c, 668_c)
, hana::make_pair(669_c, 669_c)
, hana::make_pair(670_c, 670_c)
, hana::make_pair(671_c, 671_c)
, hana::make_pair(672_c, 672_c)
, hana::make_pair(673_c, 673_c)
, hana::make_pair(674_c, 674_c)
, hana::make_pair(675_c, 675_c)
, hana::make_pair(676_c, 676_c)
, hana::make_pair(677_c, 677_c)
, hana::make_pair(678_c, 678_c)
, hana::make_pair(679_c, 679_c)
, hana::make_pair(680_c, 680_c)
, hana::make_pair(681_c, 681_c)
, hana::make_pair(682_c, 682_c)
, hana::make_pair(683_c, 683_c)
, hana::make_pair(684_c, 684_c)
, hana::make_pair(685_c, 685_c)
, hana::make_pair(686_c, 686_c)
, hana::make_pair(687_c, 687_c)
, hana::make_pair(688_c, 688_c)
, hana::make_pair(689_c, 689_c)
, hana::make_pair(690_c, 690_c)
, hana::make_pair(691_c, 691_c)
, hana::make_pair(692_c, 692_c)
, hana::make_pair(693_c, 693_c)
, hana::make_pair(694_c, 694_c)
, hana::make_pair(695_c, 695_c)
, hana::make_pair(696_c, 696_c)
, hana::make_pair(697_c, 697_c)
, hana::make_pair(698_c, 698_c)
, hana::make_pair(699_c, 699_c)
, hana::make_pair(700_c, 700_c)
, hana::make_pair(701_c, 701_c)
, hana::make_pair(702_c, 702_c)
, hana::make_pair(703_c, 703_c)
, hana::make_pair(704_c, 704_c)
, hana::make_pair(705_c, 705_c)
, hana::make_pair(706_c, 706_c)
, hana::make_pair(707_c, 707_c)
, hana::make_pair(708_c, 708_c)
, hana::make_pair(709_c, 709_c)
, hana::make_pair(710_c, 710_c)
, hana::make_pair(711_c, 711_c)
, hana::make_pair(712_c, 712_c)
, hana::make_pair(713_c, 713_c)
, hana::make_pair(714_c, 714_c)
, hana::make_pair(715_c, 715_c)
, hana::make_pair(716_c, 716_c)
, hana::make_pair(717_c, 717_c)
, hana::make_pair(718_c, 718_c)
, hana::make_pair(719_c, 719_c)
, hana::make_pair(720_c, 720_c)
, hana::make_pair(721_c, 721_c)
, hana::make_pair(722_c, 722_c)
, hana::make_pair(723_c, 723_c)
, hana::make_pair(724_c, 724_c)
, hana::make_pair(725_c, 725_c)
, hana::make_pair(726_c, 726_c)
, hana::make_pair(727_c, 727_c)
, hana::make_pair(728_c, 728_c)
, hana::make_pair(729_c, 729_c)
, hana::make_pair(730_c, 730_c)
, hana::make_pair(731_c, 731_c)
, hana::make_pair(732_c, 732_c)
, hana::make_pair(733_c, 733_c)
, hana::make_pair(734_c, 734_c)
, hana::make_pair(735_c, 735_c)
, hana::make_pair(736_c, 736_c)
, hana::make_pair(737_c, 737_c)
, hana::make_pair(738_c, 738_c)
, hana::make_pair(739_c, 739_c)
, hana::make_pair(740_c, 740_c)
, hana::make_pair(741_c, 741_c)
, hana::make_pair(742_c, 742_c)
, hana::make_pair(743_c, 743_c)
, hana::make_pair(744_c, 744_c)
, hana::make_pair(745_c, 745_c)
, hana::make_pair(746_c, 746_c)
, hana::make_pair(747_c, 747_c)
, hana::make_pair(748_c, 748_c)
, hana::make_pair(749_c, 749_c)
, hana::make_pair(750_c, 750_c)
, hana::make_pair(751_c, 751_c)
, hana::make_pair(752_c, 752_c)
, hana::make_pair(753_c, 753_c)
, hana::make_pair(754_c, 754_c)
, hana::make_pair(755_c, 755_c)
, hana::make_pair(756_c, 756_c)
, hana::make_pair(757_c, 757_c)
, hana::make_pair(758_c, 758_c)
, hana::make_pair(759_c, 759_c)
, hana::make_pair(760_c, 760_c)
, hana::make_pair(761_c, 761_c)
, hana::make_pair(762_c, 762_c)
, hana::make_pair(763_c, 763_c)
, hana::make_pair(764_c, 764_c)
, hana::make_pair(765_c, 765_c)
, hana::make_pair(766_c, 766_c)
, hana::make_pair(767_c, 767_c)
, hana::make_pair(768_c, 768_c)
, hana::make_pair(769_c, 769_c)
, hana::make_pair(770_c, 770_c)
, hana::make_pair(771_c, 771_c)
, hana::make_pair(772_c, 772_c)
, hana::make_pair(773_c, 773_c)
, hana::make_pair(774_c, 774_c)
, hana::make_pair(775_c, 775_c)
, hana::make_pair(776_c, 776_c)
, hana::make_pair(777_c, 777_c)
, hana::make_pair(778_c, 778_c)
, hana::make_pair(779_c, 779_c)
, hana::make_pair(780_c, 780_c)
, hana::make_pair(781_c, 781_c)
, hana::make_pair(782_c, 782_c)
, hana::make_pair(783_c, 783_c)
, hana::make_pair(784_c, 784_c)
, hana::make_pair(785_c, 785_c)
, hana::make_pair(786_c, 786_c)
, hana::make_pair(787_c, 787_c)
, hana::make_pair(788_c, 788_c)
, hana::make_pair(789_c, 789_c)
, hana::make_pair(790_c, 790_c)
, hana::make_pair(791_c, 791_c)
, hana::make_pair(792_c, 792_c)
, hana::make_pair(793_c, 793_c)
, hana::make_pair(794_c, 794_c)
, hana::make_pair(795_c, 795_c)
, hana::make_pair(796_c, 796_c)
, hana::make_pair(797_c, 797_c)
, hana::make_pair(798_c, 798_c)
, hana::make_pair(799_c, 799_c)
, hana::make_pair(800_c, 800_c)
, hana::make_pair(801_c, 801_c)
, hana::make_pair(802_c, 802_c)
, hana::make_pair(803_c, 803_c)
, hana::make_pair(804_c, 804_c)
, hana::make_pair(805_c, 805_c)
, hana::make_pair(806_c, 806_c)
, hana::make_pair(807_c, 807_c)
, hana::make_pair(808_c, 808_c)
, hana::make_pair(809_c, 809_c)
, hana::make_pair(810_c, 810_c)
, hana::make_pair(811_c, 811_c)
, hana::make_pair(812_c, 812_c)
, hana::make_pair(813_c, 813_c)
, hana::make_pair(814_c, 814_c)
, hana::make_pair(815_c, 815_c)
, hana::make_pair(816_c, 816_c)
, hana::make_pair(817_c, 817_c)
, hana::make_pair(818_c, 818_c)
, hana::make_pair(819_c, 819_c)
, hana::make_pair(820_c, 820_c)
, hana::make_pair(821_c, 821_c)
, hana::make_pair(822_c, 822_c)
, hana::make_pair(823_c, 823_c)
, hana::make_pair(824_c, 824_c)
, hana::make_pair(825_c, 825_c)
, hana::make_pair(826_c, 826_c)
, hana::make_pair(827_c, 827_c)
, hana::make_pair(828_c, 828_c)
, hana::make_pair(829_c, 829_c)
, hana::make_pair(830_c, 830_c)
, hana::make_pair(831_c, 831_c)
, hana::make_pair(832_c, 832_c)
, hana::make_pair(833_c, 833_c)
, hana::make_pair(834_c, 834_c)
, hana::make_pair(835_c, 835_c)
, hana::make_pair(836_c, 836_c)
, hana::make_pair(837_c, 837_c)
, hana::make_pair(838_c, 838_c)
, hana::make_pair(839_c, 839_c)
, hana::make_pair(840_c, 840_c)
, hana::make_pair(841_c, 841_c)
, hana::make_pair(842_c, 842_c)
, hana::make_pair(843_c, 843_c)
, hana::make_pair(844_c, 844_c)
, hana::make_pair(845_c, 845_c)
, hana::make_pair(846_c, 846_c)
, hana::make_pair(847_c, 847_c)
, hana::make_pair(848_c, 848_c)
, hana::make_pair(849_c, 849_c)
, hana::make_pair(850_c, 850_c)
, hana::make_pair(851_c, 851_c)
, hana::make_pair(852_c, 852_c)
, hana::make_pair(853_c, 853_c)
, hana::make_pair(854_c, 854_c)
, hana::make_pair(855_c, 855_c)
, hana::make_pair(856_c, 856_c)
, hana::make_pair(857_c, 857_c)
, hana::make_pair(858_c, 858_c)
, hana::make_pair(859_c, 859_c)
, hana::make_pair(860_c, 860_c)
, hana::make_pair(861_c, 861_c)
, hana::make_pair(862_c, 862_c)
, hana::make_pair(863_c, 863_c)
, hana::make_pair(864_c, 864_c)
, hana::make_pair(865_c, 865_c)
, hana::make_pair(866_c, 866_c)
, hana::make_pair(867_c, 867_c)
, hana::make_pair(868_c, 868_c)
, hana::make_pair(869_c, 869_c)
, hana::make_pair(870_c, 870_c)
, hana::make_pair(871_c, 871_c)
, hana::make_pair(872_c, 872_c)
, hana::make_pair(873_c, 873_c)
, hana::make_pair(874_c, 874_c)
, hana::make_pair(875_c, 875_c)
, hana::make_pair(876_c, 876_c)
, hana::make_pair(877_c, 877_c)
, hana::make_pair(878_c, 878_c)
, hana::make_pair(879_c, 879_c)
, hana::make_pair(880_c, 880_c)
, hana::make_pair(881_c, 881_c)
, hana::make_pair(882_c, 882_c)
, hana::make_pair(883_c, 883_c)
, hana::make_pair(884_c, 884_c)
, hana::make_pair(885_c, 885_c)
, hana::make_pair(886_c, 886_c)
, hana::make_pair(887_c, 887_c)
, hana::make_pair(888_c, 888_c)
, hana::make_pair(889_c, 889_c)
, hana::make_pair(890_c, 890_c)
, hana::make_pair(891_c, 891_c)
, hana::make_pair(892_c, 892_c)
, hana::make_pair(893_c, 893_c)
, hana::make_pair(894_c, 894_c)
, hana::make_pair(895_c, 895_c)
, hana::make_pair(896_c, 896_c)
, hana::make_pair(897_c, 897_c)
, hana::make_pair(898_c, 898_c)
, hana::make_pair(899_c, 899_c)
, hana::make_pair(900_c, 900_c)
, hana::make_pair(901_c, 901_c)
, hana::make_pair(902_c, 902_c)
, hana::make_pair(903_c, 903_c)
, hana::make_pair(904_c, 904_c)
, hana::make_pair(905_c, 905_c)
, hana::make_pair(906_c, 906_c)
, hana::make_pair(907_c, 907_c)
, hana::make_pair(908_c, 908_c)
, hana::make_pair(909_c, 909_c)
, hana::make_pair(910_c, 910_c)
, hana::make_pair(911_c, 911_c)
, hana::make_pair(912_c, 912_c)
, hana::make_pair(913_c, 913_c)
, hana::make_pair(914_c, 914_c)
, hana::make_pair(915_c, 915_c)
, hana::make_pair(916_c, 916_c)
, hana::make_pair(917_c, 917_c)
, hana::make_pair(918_c, 918_c)
, hana::make_pair(919_c, 919_c)
, hana::make_pair(920_c, 920_c)
, hana::make_pair(921_c, 921_c)
, hana::make_pair(922_c, 922_c)
, hana::make_pair(923_c, 923_c)
, hana::make_pair(924_c, 924_c)
, hana::make_pair(925_c, 925_c)
, hana::make_pair(926_c, 926_c)
, hana::make_pair(927_c, 927_c)
, hana::make_pair(928_c, 928_c)
, hana::make_pair(929_c, 929_c)
, hana::make_pair(930_c, 930_c)
, hana::make_pair(931_c, 931_c)
, hana::make_pair(932_c, 932_c)
, hana::make_pair(933_c, 933_c)
, hana::make_pair(934_c, 934_c)
, hana::make_pair(935_c, 935_c)
, hana::make_pair(936_c, 936_c)
, hana::make_pair(937_c, 937_c)
, hana::make_pair(938_c, 938_c)
, hana::make_pair(939_c, 939_c)
, hana::make_pair(940_c, 940_c)
, hana::make_pair(941_c, 941_c)
, hana::make_pair(942_c, 942_c)
, hana::make_pair(943_c, 943_c)
, hana::make_pair(944_c, 944_c)
, hana::make_pair(945_c, 945_c)
, hana::make_pair(946_c, 946_c)
, hana::make_pair(947_c, 947_c)
, hana::make_pair(948_c, 948_c)
, hana::make_pair(949_c, 949_c)
, hana::make_pair(950_c, 950_c)
, hana::make_pair(951_c, 951_c)
, hana::make_pair(952_c, 952_c)
, hana::make_pair(953_c, 953_c)
, hana::make_pair(954_c, 954_c)
, hana::make_pair(955_c, 955_c)
, hana::make_pair(956_c, 956_c)
, hana::make_pair(957_c, 957_c)
, hana::make_pair(958_c, 958_c)
, hana::make_pair(959_c, 959_c)
, hana::make_pair(960_c, 960_c)
, hana::make_pair(961_c, 961_c)
, hana::make_pair(962_c, 962_c)
, hana::make_pair(963_c, 963_c)
, hana::make_pair(964_c, 964_c)
, hana::make_pair(965_c, 965_c)
, hana::make_pair(966_c, 966_c)
, hana::make_pair(967_c, 967_c)
, hana::make_pair(968_c, 968_c)
, hana::make_pair(969_c, 969_c)
, hana::make_pair(970_c, 970_c)
, hana::make_pair(971_c, 971_c)
, hana::make_pair(972_c, 972_c)
, hana::make_pair(973_c, 973_c)
, hana::make_pair(974_c, 974_c)
, hana::make_pair(975_c, 975_c)
, hana::make_pair(976_c, 976_c)
, hana::make_pair(977_c, 977_c)
, hana::make_pair(978_c, 978_c)
, hana::make_pair(979_c, 979_c)
, hana::make_pair(980_c, 980_c)
, hana::make_pair(981_c, 981_c)
, hana::make_pair(982_c, 982_c)
, hana::make_pair(983_c, 983_c)
, hana::make_pair(984_c, 984_c)
, hana::make_pair(985_c, 985_c)
, hana::make_pair(986_c, 986_c)
, hana::make_pair(987_c, 987_c)
, hana::make_pair(988_c, 988_c)
, hana::make_pair(989_c, 989_c)
, hana::make_pair(990_c, 990_c)
, hana::make_pair(991_c, 991_c)
, hana::make_pair(992_c, 992_c)
, hana::make_pair(993_c, 993_c)
, hana::make_pair(994_c, 994_c)
, hana::make_pair(995_c, 995_c)
, hana::make_pair(996_c, 996_c)
, hana::make_pair(997_c, 997_c)
, hana::make_pair(998_c, 998_c)
, hana::make_pair(999_c, 999_c)
, hana::make_pair(1000_c, 1000_c)
);
int main() {
static_assert(m[1_c] == 1_c, "");
static_assert(m[100_c] == 100_c, "");
static_assert(m[200_c] == 200_c, "");
static_assert(m[300_c] == 300_c, "");
static_assert(m[400_c] == 400_c, "");
static_assert(m[500_c] == 500_c, "");
static_assert(m[600_c] == 600_c, "");
static_assert(m[700_c] == 700_c, "");
static_assert(m[800_c] == 800_c, "");
static_assert(m[900_c] == 900_c, "");
static_assert(m[1000_c] == 1000_c, "");
}
//time clang++ -std=c++14 map_hana.cpp -I hana/include -ftemplate-depth=1100
//real 0m11.105s
//user 0m10.565s
//sys 0m0.495s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment