curry.backends.py.currylib.prelude.math module

curry.backends.py.currylib.prelude.math.apply_unboxed(rts, unboxedfunc, _0)

Apply an unboxed function to the successors of _0 and box the result.

curry.backends.py.currylib.prelude.math.divInt(x, y)

curry.backends.py.currylib.prelude.math.minusInt(x, y)

curry.backends.py.currylib.prelude.math.modInt(x, y)

curry.backends.py.currylib.prelude.math.plusInt(x, y)

curry.backends.py.currylib.prelude.math.prim_divFloat(x, y)

curry.backends.py.currylib.prelude.math.prim_minusFloat(x, y)

curry.backends.py.currylib.prelude.math.prim_roundFloat(x)

curry.backends.py.currylib.prelude.math.prim_truncateFloat(x)

curry.backends.py.currylib.prelude.math.quotInt(x, y)

curry.backends.py.currylib.prelude.math.remInt(x, y)

curry.backends.py.currylib.prelude.math.timesInt(x, y)