Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
non_negative_integer_value_type [2015/10/11 21:48] admin ↷ Page name changed from non_negative_int_type to non_negative_integer_type |
non_negative_integer_value_type [2015/10/11 21:55] admin |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Non Negative Int Type ====== | + | ====== Non Negative Integer Value Type ====== |
| A [[wp>Non-negative_integer|non-negative integer]] denotes the positive [[wp>Integer|integers]] plus 0. | A [[wp>Non-negative_integer|non-negative integer]] denotes the positive [[wp>Integer|integers]] plus 0. | ||
| Line 19: | Line 19: | ||
| ===== Automatic Conversions ===== | ===== Automatic Conversions ===== | ||
| - | * **Converted from**: [[Double Type]], [[Int Type]], [[Bool Type]] and [[Log Tag Type]]. | + | * **Converted from**: [[Real Value Type]], [[Integer Value Type]], [[Bool Type]] and [[Log Tag Type]]. |
| - | * **Converted to**: [[Double Type]], [[Int Type]], [[Positive Int Type]], [[Bool Type]], [[Null Value Type]], [[Log Tag Type]], [[String Type]] and [[Cell Type Type|Cell Type]]. | + | * **Converted to**: [[Real Value Type]], [[Integer Value Type]], [[Positive Integer Value Type]], [[Bool Type]], [[Null Value Type]], [[Log Tag Type]], [[String Type]] and [[Cell Type Type|Cell Type]]. |