Integers¶
cline-int¶
Call with (ignored)
Returns a cline that applies to all integers in ascending order.
int-zero¶
Call with (ignored)
Returns the integer 0.
int-one¶
Call with (ignored)
Returns the integer 1.
fuse-int-by-plus¶
Call with (ignored)
Returns a fuse that fuses integers by adding them together.
fuse-int-by-times¶
Call with (ignored)
Returns a fuse that fuses integers by multiplying them.
int-minus¶
Call with minuend subtrahend
Subtracts the second given integer from the first.
int-div-rounded-down¶
Call with dividend divisor
Divides the first given integer by the second. Returns (nil) for a zero divisor or otherwise (carried <quotient>
<remainder>
), where <quotient>
is the greatest integer that when multiplied by the divisor is no greater than the dividend and <remainder>
is the remaining amount that must be added to reach the dividend.
carried¶
Construct with main carry
An approximated value along with a carry value that makes up for the missing information.
This constructor is needed to deconstruct the result of int-div-rounded-down.