Contains methods for safely casting between types
Functions#
toUint160#
Cast a uint256 to a uint160, revert on overflow
Parameters:#
Name | Type | Description |
---|
y | uint256 | The uint256 to be downcasted |
Return Values:#
Name | Type | Description |
---|
z | uint160 | The downcasted integer, now type uint160 |
toInt128#
Cast a int256 to a int128, revert on overflow or underflow
Parameters:#
Name | Type | Description |
---|
y | int256 | The int256 to be downcasted |
Return Values:#
Name | Type | Description |
---|
z | int128 | The downcasted integer, now type int128 |
toInt256#
Cast a uint256 to a int256, revert on overflow
Parameters:#
Name | Type | Description |
---|
y | uint256 | The uint256 to be casted |
Return Values:#
Name | Type | Description |
---|
z | int256 | The casted integer, now type int256 |