File size: 1,044 Bytes
8ae5fc5
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
#include <metal.hpp>

#include <memory>
#include <utility>

#include "example.hpp"

HIDE(
/// [pair1]
using pair = metal::list<int, unsigned>;
/// [pair1]

IS_SAME(metal::is_pair<pair>, metal::true_);
)

HIDE(
/// [not_a_pair1]
using not_a_pair = std::pair<int, unsigned>; // not a List
/// [not_a_pair1]

IS_SAME(metal::is_pair<not_a_pair>, metal::false_);
)

HIDE(
/// [is_pair]
IS_SAME(metal::is_pair<std::pair<int, unsigned>>, metal::false_);
IS_SAME(metal::is_pair<metal::pair<int, unsigned>>, metal::true_);
IS_SAME(metal::is_pair<metal::list<void, void*>>, metal::true_);
IS_SAME(metal::is_pair<metal::list<void>>, metal::false_);
/// [is_pair]
)

HIDE(
/// [as_pair]
IS_SAME(metal::as_pair<std::pair<int, char>>, metal::list<int, char>);

IS_SAME(
    metal::as_pair<std::unique_ptr<int>>,
    metal::pair<int, std::default_delete<int>>
);
/// [as_pair]
)

HIDE(
/// [first]
IS_SAME(metal::first<metal::pair<void, void*>>, void);
/// [first]
)

HIDE(
/// [second]
IS_SAME(metal::second<metal::pair<void, void*>>, void*);
/// [second]
)