Ivory.Language.BoundedInteger

Documentation

boundedFromInteger :: forall a b. (Num a, IvoryType a, Bounded b, Integral b) => (Expr -> a) -> b -> Integer -> a

It is an error if a constant implicitly underflows/overflows.