Unsafe

Unsafe utilities.

This module should be imported qualified.

Documentation

module Universum.Unsafe

Unsafe converters between Integral types checking for overflow/underflow

fromIntegral :: (HasCallStack, Integral a, Integral b) => a -> b

Unsafe converter between Integral types checking for overflow/underflow. Return value if conversion does not produce overflow/underflow and raise an exception with corresponding error message otherwise.

It is needed to replace fromIntegral which misses most of the overflow/underflow checks.

Note the function is strict in its argument.

fromInteger :: (HasCallStack, Integral a) => Integer -> a

Unsafe converter between Integer and Integral types checking for overflow/underflow. Return value if conversion does not produce overflow/underflow and raise an exception with corresponding error message otherwise.

Note the function is strict in its argument.