reckoner 0.3.0

A high level arbitrary precision arithmetic library supporting integer and rational numbers.
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

{
    "template": "integer/ops/subtraction.rs.template",
    "output": "integer/ops/subtraction.rs",
    "trait": {
        "name": "Sub",
        "fn_name": "sub",
        "is_op_assign": false
    },
    "instances": [
        ["Integer", "Integer", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref"]],
        ["Integer", "&Integer", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], []],
        ["&Integer", "Integer", "Integer", "Integer::subtract", "no", [], ["ref"]],
        ["&Integer", "&Integer", "Integer", "Integer::subtract", "no", [], []],

        ["Integer", "i8", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
        ["Integer", "&i8", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
        ["&Integer", "i8", "Integer", "Integer::subtract_c_long", "no", [], []],
        ["&Integer", "&i8", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
        ["i8", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["i8", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&i8", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&i8", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],
        
        ["Integer", "u8", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
        ["Integer", "&u8", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
        ["&Integer", "u8", "Integer", "Integer::subtract_c_long", "no", [], []],
        ["&Integer", "&u8", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
        ["u8", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["u8", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&u8", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&u8", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

        ["Integer", "i16", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
        ["Integer", "&i16", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
        ["&Integer", "i16", "Integer", "Integer::subtract_c_long", "no", [], []],
        ["&Integer", "&i16", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
        ["i16", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["i16", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&i16", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&i16", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

        ["Integer", "u16", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
        ["Integer", "&u16", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
        ["&Integer", "u16", "Integer", "Integer::subtract_c_long", "no", [], []],
        ["&Integer", "&u16", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
        ["u16", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["u16", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&u16", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&u16", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

        ["Integer", "i32", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
        ["Integer", "&i32", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
        ["&Integer", "i32", "Integer", "Integer::subtract_c_long", "no", [], []],
        ["&Integer", "&i32", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
        ["i32", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["i32", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&i32", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&i32", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

        {
            "condition": "all(target_pointer_width = \"64\", not(windows))",
            "if_instances": [
                ["Integer", "u32", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
                ["Integer", "&u32", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
                ["&Integer", "u32", "Integer", "Integer::subtract_c_long", "no", [], []],
                ["&Integer", "&u32", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
                ["u32", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
                ["u32", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
                ["&u32", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
                ["&u32", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

                ["Integer", "i64", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], []],
                ["Integer", "&i64", "Integer", "Integer::subtract_c_long_assign", "lhs", ["ref_mut"], ["deref"]],
                ["&Integer", "i64", "Integer", "Integer::subtract_c_long", "no", [], []],
                ["&Integer", "&i64", "Integer", "Integer::subtract_c_long", "no", [], ["deref"]],
                ["i64", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
                ["i64", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
                ["&i64", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
                ["&i64", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []]
            ],
            "else_instances": [
                ["Integer", "u32", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }]],
                ["Integer", "&u32", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }, "deref"]],
                ["&Integer", "u32", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }]],
                ["&Integer", "&u32", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }, "deref"]],
                ["u32", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
                ["u32", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
                ["&u32", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
                ["&u32", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

                ["Integer", "i64", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }]],
                ["Integer", "&i64", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }, "deref"]],
                ["&Integer", "i64", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }]],
                ["&Integer", "&i64", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }, "deref"]],
                ["i64", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
                ["i64", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
                ["&i64", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
                ["&i64", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []]
            ]
        },

        ["Integer", "u64", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }]],
        ["Integer", "&u64", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }, "deref"]],
        ["&Integer", "u64", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }]],
        ["&Integer", "&u64", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }, "deref"]],
        ["u64", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["u64", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&u64", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&u64", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

        ["Integer", "i128", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }]],
        ["Integer", "&i128", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }, "deref"]],
        ["&Integer", "i128", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }]],
        ["&Integer", "&i128", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }, "deref"]],
        ["i128", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["i128", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&i128", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&i128", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []],

        ["Integer", "u128", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }]],
        ["Integer", "&u128", "Integer", "Integer::subtract_assign", "lhs", ["ref_mut"], ["ref", { "convert": "Integer" }, "deref"]],
        ["&Integer", "u128", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }]],
        ["&Integer", "&u128", "Integer", "Integer::subtract", "no", [], ["ref", { "convert": "Integer" }, "deref"]],
        ["u128", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], ["ref"]],
        ["u128", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }], []],
        ["&u128", "Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], ["ref"]],
        ["&u128", "&Integer", "Integer", "Integer::subtract", "no", ["ref", { "convert": "Integer" }, "deref"], []]
    ]
}