CurryInfo: binint-3.1.0 / Data.BinInt.quotRemInteger

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

 arguments 1 2

 deterministic operation

 
Quotient and Remainder, truncated against zero

 <FAILING>

 referentially transparent operation

 no fixity defined

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

 quotRemInteger

 no precedence defined

 {(,)}

 BinInt -> BinInt -> (BinInt, BinInt)

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term