tt-equal 0.1.2

The macro `tt_equal` acts as a predicate for whether two token trees are equal.
Documentation 
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

//#![feature(trace_macros)] //trace_macros!(true);

use tt_call::tt_if;
use tt_equal::tt_equal;

///
/// We use this macro to invoke 'tt_equal' and produce a bool const of whether the
/// two given tokens were equal.
///
/// The first argument is the name of the resulting const, while the two following arguments
/// are to be compared.
///
macro_rules! invoke_tt_equal {
    {
        $id1:ident $tt1:tt $tt2:tt
    } => {
        tt_if!{
            condition = [{tt_equal}]
	            input = [{ $tt1 $tt2 }]
	            true = [{
                	const $id1: bool = true;
	            }]
	            false = [{
                	const $id1: bool = false;
	            }]
        }
    }
}

invoke_tt_equal!(COLONS : :);
invoke_tt_equal!(COLON_EQUAL : =);
invoke_tt_equal!(DOUBLE_SINGLE_COLON :: :);
invoke_tt_equal!(SINGLE_DOUBLE_COLON : ::);
invoke_tt_equal!(DOUBLE_DOUBLE_COLON :: ::);
invoke_tt_equal!(INCLUSIVE_RANGE_DOUBLE_COLON ..= ::);

///
/// Tests that `tt_equal` produces the correct equality result for all invocations.
///
#[test]
fn test_tt_equal_invocations() {
    assert!(COLONS);
    assert!(!COLON_EQUAL);
    assert!(!DOUBLE_SINGLE_COLON);
    assert!(!SINGLE_DOUBLE_COLON);
    assert!(DOUBLE_DOUBLE_COLON);
    assert!(!INCLUSIVE_RANGE_DOUBLE_COLON);
}