diff --git a/clash-prelude/src/Clash/Class/Resize.hs b/clash-prelude/src/Clash/Class/Resize.hs index a275d3b9bb..47930b0715 100644 --- a/clash-prelude/src/Clash/Class/Resize.hs +++ b/clash-prelude/src/Clash/Class/Resize.hs @@ -132,8 +132,8 @@ maybeIntegral Proxy v = && toInteger v > toInteger (minBound @b) -- | Like 'fromIntegral', but returns 'Nothing' 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. +-- Useful when you do not know /a/ can be out of bounds, and would like to have +-- your assumptions checked. -- -- * __NB__: Check only affects simulation. I.e., no checks will be inserted -- into the generated HDL @@ -150,8 +150,8 @@ maybeFromIntegral v = else Nothing -- | Like 'resize', but returns 'Nothing' if /f a/ is out of bounds for /f b/. --- Useful when you "know" /f a/ can't be out of bounds, but would like to have your --- assumptions checked. +-- Useful when you do not know /f a/ can be out of bounds, and would like to +-- have your assumptions checked. -- -- __NB__: Check only affects simulation. I.e., no checks will be inserted -- into the generated HDL @@ -167,8 +167,8 @@ maybeResize v = else Nothing -- | Like 'truncateB', but returns 'Nothing' if /f (a + b)/ is out of bounds for --- /f a/. Useful when you "know" /f (a + b)/ can't be out of bounds, but would --- like to have your assumptions checked. +-- /f a/. Useful when you do not know /f (a + b)/ can be out of bounds, and +-- would like to have your assumptions checked. -- -- __NB__: Check only affects simulation. I.e., no checks will be inserted -- into the generated HDL