fromIntegral package:clash-prelude

fromIntegral :: (Integral a, Num b) => a -> b
clash-prelude Clash.HaskellPrelude
general coercion from integral types
checkedFromIntegral :: forall a b . HasCallStack => (Integral a, Integral b, Bounded b) => a -> b
clash-prelude Clash.Class.Resize
Like fromIntegral, but errors if a is out of bounds for b. Useful when you "know" a can't be out of bounds, but would like to have your assumptions checked.
  • NB: Check only affects simulation. I.e., no checks will be inserted into the generated HDL
  • NB: fromIntegral is not well suited for Clash as it will go through Integer which is arbitrarily bounded in HDL. Instead use bitCoerce and the Resize class.