[−][src]Module lambda_calculus::data::num::convert
Numeral encoding conversions
Enums
| Encoding | The type of numeric encoding. |
Traits
| IntoBinaryNum | |
| IntoChurchNum | |
| IntoParigotNum | |
| IntoScottNum | |
| IntoSignedNum | |
| IntoStumpFuNum |
Numeral encoding conversions
| Encoding | The type of numeric encoding. |
| IntoBinaryNum | |
| IntoChurchNum | |
| IntoParigotNum | |
| IntoScottNum | |
| IntoSignedNum | |
| IntoStumpFuNum |