CurryInfo: binint-3.0.0 / Data.BinInt.divModInteger

divModInteger :: BinInt -> BinInt -> (BinInt, BinInt)
divModInteger _       Zero    = failed -- division by zero is not defined
divModInteger Zero    (Pos _) = (Zero, Zero)
divModInteger Zero    (Neg _) = (Zero, Zero)
divModInteger (Pos x) (Pos y) = quotRemNat x y
divModInteger (Neg x) (Pos y) = let (d, m) = quotRemNat x y in case m of
  Zero -> (neg d, m)
  _    -> (neg (inc d), (Pos y) -# m)
divModInteger (Pos x) (Neg y) = let (d, m) = quotRemNat x y in case m of
  Zero -> (neg d, m)
  _    -> (neg (inc d), m -# (Pos y))
divModInteger (Neg x) (Neg y) = let (d, m) = quotRemNat x y in (d, neg m)

arguments 1 2

deterministic operation

--- Quotient and Remainder, truncated against negative infinity

<FAILING>

referentially transparent operation

no fixity defined

{({Zero},{Pos}) |-> {(,)} || ({Pos},{Pos}) |-> {(,)} || ({Neg},{Pos}) |-> _ || ({Zero},{Neg}) |-> {(,)} || ({Pos},{Neg}) |-> _ || ({Neg},{Neg}) |-> {(,)}}

divModInteger

no precedence defined

{(,)}

BinInt -> BinInt -> (BinInt, BinInt)

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term