var searchIndex = {};
searchIndex["tylar"] = {"doc":"Type-Level Arithmetic in Rust (tylar).","items":[[3,"Zero","tylar","The number type for zero (0).",null,null],[3,"Succ","","The successor of `N`, i.e. a positive number.",null,null],[3,"Pred","","The predecessor of `N`, i.e. a negative number.",null,null],[6,"P1","","Shorthand for the number 1 (the first successor of zero).",null,null],[6,"P2","","Shorthand for the number 2 (the second successor of zero).",null,null],[6,"P3","","Shorthand for the number 3 (the third successor of zero).",null,null],[6,"P4","","Shorthand for the number 4 (the fourth successor of zero).",null,null],[6,"P5","","Shorthand for the number 5 (the fifth successor of zero).",null,null],[6,"P6","","Shorthand for the number 6 (the sixth successor of zero).",null,null],[6,"P7","","Shorthand for the number 7 (the seventh successor of zero).",null,null],[6,"P8","","Shorthand for the number 8 (the eighth successor of zero).",null,null],[6,"P9","","Shorthand for the number 9 (the nineth successor of zero).",null,null],[6,"N1","","Shorthand for the number –1 (the first predecessor of zero).",null,null],[6,"N2","","Shorthand for the number –2 (the second predecessor of zero).",null,null],[6,"N3","","Shorthand for the number –3 (the third predecessor of zero).",null,null],[6,"N4","","Shorthand for the number –4 (the fourth predecessor of zero).",null,null],[6,"N5","","Shorthand for the number –5 (the fifth predecessor of zero).",null,null],[6,"N6","","Shorthand for the number –6 (the sixth predecessor of zero).",null,null],[6,"N7","","Shorthand for the number –7 (the seventh predecessor of zero).",null,null],[6,"N8","","Shorthand for the number –8 (the eight predecessor of zero).",null,null],[6,"N9","","Shorthand for the number –9 (the ninth predecessor of zero).",null,null],[8,"NumType","","Basic trait implemented by all number types.",null,null],[10,"new","","Creates a new instance of this number type, which is actually a no-op, since\nnumber types are zero-sized. Instances are useful, however, to be converted\ninto actual integer values, using implementations of the `Into` trait.",0,{"inputs":[],"output":{"name":"self"}}],[8,"PosType","","Marker trait for positive numbers (including zero).",null,null],[8,"NegType","","Marker trait for negative numbers (including zero).",null,null],[8,"Neg","","Negation of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = –`Self`.",1,null],[8,"Incr","","Incrementation of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` + 1.",2,null],[8,"Decr","","Decrementation of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` – 1.",3,null],[8,"Add","","Addition of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` + `RHS`.",4,null],[8,"Sub","","Subtraction of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` – `RHS`.",5,null],[8,"Halve","","Halving of number types.\n`Div<_,P2>` could be used instead of this, but `Div` stresses the typechecker more\nthan `Halve`, so that `Halve` can be used with larger numbers without running into\nthe recursion limit.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` / 2.",6,null],[8,"Mul","","Subtraction of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` * `RHS`.",7,null],[8,"Div","","Division of number types.",null,null],[16,"Out","","Result of the operation, i.e. `Out` = `Self` / `RHS`.",8,null],[11,"cmp","","",9,null],[11,"partial_cmp","","",9,null],[11,"eq","","",9,null],[11,"clone","","",9,null],[11,"cmp","","",10,null],[11,"partial_cmp","","",10,null],[11,"lt","","",10,null],[11,"le","","",10,null],[11,"gt","","",10,null],[11,"ge","","",10,null],[11,"eq","","",10,null],[11,"ne","","",10,null],[11,"clone","","",10,null],[11,"cmp","","",11,null],[11,"partial_cmp","","",11,null],[11,"lt","","",11,null],[11,"le","","",11,null],[11,"gt","","",11,null],[11,"ge","","",11,null],[11,"eq","","",11,null],[11,"ne","","",11,null],[11,"clone","","",11,null],[11,"new","","",9,{"inputs":[],"output":{"name":"self"}}],[11,"new","","",10,{"inputs":[],"output":{"name":"self"}}],[11,"new","","",11,{"inputs":[],"output":{"name":"self"}}],[11,"into","","",10,null],[11,"into","","",11,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",11,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",11,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",11,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",11,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",9,null],[11,"into","","",10,null],[11,"into","","",9,null]],"paths":[[8,"NumType"],[8,"Neg"],[8,"Incr"],[8,"Decr"],[8,"Add"],[8,"Sub"],[8,"Halve"],[8,"Mul"],[8,"Div"],[3,"Zero"],[3,"Succ"],[3,"Pred"]]};
initSearch(searchIndex);