div -package:copilot-language
Integer division truncated toward negative infinity.
WARNING: This function is partial (because it throws when 0 is passed
as the divisor) for all the integer types in base.
hedgehog Hedgehog.Internal.Prelude,
base-compat Prelude.Compat,
protolude Protolude Protolude.Base,
relude Relude.Numeric,
rio RIO.Prelude,
Cabal-syntax Distribution.Compat.Prelude,
ihaskell IHaskellPrelude,
ghc-lib-parser GHC.Prelude.Basic,
dimensional Numeric.Units.Dimensional.Prelude,
rebase Rebase.Prelude,
xmonad-contrib XMonad.Config.Prime,
LambdaHack Game.LambdaHack.Core.Prelude,
cabal-install-solver Distribution.Solver.Compat.Prelude,
faktory Faktory.Prelude,
hledger-web Hledger.Web.Import integer division truncated toward negative infinity
WARNING: This function is partial (because it throws when 0 is passed
as the divisor) for all the integer types in base.
Combinator for the
<div> element.
Example:
div $ span $ toHtml "foo"
Result:
<div><span>foo</span></div>
integer division truncated toward negative infinity
Integer division truncated toward negative infinity.
div x1 [x2, ..., xn] with n >= 1 returns x1 div
x2 * ... * xn.
The terms are expected to have type Int.
integer division truncated toward negative infinity
Emulates the behaviour of the Haskell function
div in
PostgreSQL.
Division (round down) of natural numbers. Div x 0 is
undefined (i.e., it cannot be reduced).