Module higher_order_point::math

Math functions.

Constants

TAU	Mathematical constant for 360 degrees in radians.

Functions

add	Adds two functions.
floor	Returns floor function.
half_circle	Returns the y component for x on a half circle.
id	Returns identity function.
k	Returns a constant.
lift_left	Adds a new argument to the left.
lift_right	Adds a new argument to the right.
line	Creates a linear combination of two shapes.
map	Maps input type into another.
one	Returns one function.
step	Returns step function. This is zero for negative numbers and one for positive numbers.
sub	Subtracts two functions.
zero	Returns zero function.
zip	Zips two functions, such that it alternates between them.