fromIntegral -package:Boolean

General coercion from Integral types. WARNING: This function performs silent truncation if the result type is not at least as big as the argument's type.

general coercion from integral types

Convert from integral to ring.

Lifted conversion between two Integral instances.

fromIntegral, but taking explicit add and zero.

fromIntegral, but with Num constraints instead of Backprop constraints.

Polymorphic version of fromInteger

fromIntegral a == a

Number fromIntegral uni-operator.

Number fromIntegral uni-operator.

Lifted version of fromIntegral, defined to let you return RealFrac instances as targets, instead of only other Integrals. Essentially the opposite of round. The gradient should technically diverge whenever the fractional part of the downstream gradient is 0.5, but does not do this for convenience reasons.

fromIntegral', but taking explicit add and zero.

fromIntegral', but with Num constraints instead of Backprop constraints.

Re-exported fromIntegral, but please give it explicit type to make it obvious if wrapping, etc., may occur. Use toIntegralCrash instead, if possible, because it fails instead of wrapping, etc. In general, it may wrap or otherwise lose information.

Construct and internalizing a FromIntegralTerm.

Converts an Integral value into an interval.

Convert a bounded integeral into a decimal, while performing the necessary scaling

>>> import Numeric.Decimal

>>> fromIntegralDecimalBounded 1234 :: IO (Decimal RoundHalfUp 4 Int)
1234.0000

>>> fromIntegralDecimalBounded 1234 :: IO (Decimal RoundHalfUp 4 Int16)
*** Exception: arithmetic overflow

Pattern synonym for FromIntegralTerm'. Note that using this pattern to construct a Term will do term simplification.