Module S.Rect

An axis-aligned rectangle used bounding box computations and quick rectangular clipping (boolean intersection) operations. (see rect_clip)

type t

Construction / Conversion

val make : l:n -> t:n -> r:n -> b:n -> t

make ~l ~t ~r ~b

Create an axis-aligned rectangle with the bounds left, top, right, and bottom.

val of_pts : v -> v -> t

of_pts a b

Create an axis-aligned bounding box (rectangle) that contains the points a and b.

val as_path : t -> path

as_path t

Obtain a path describing the perimeter of the rectangle t.

Transformation

val scale : float -> t -> t

scale t s

Scale the rectangle t by the factor s.

Geometry

val width : t -> n

width t

Obtain the width of the rectangle t.

val height : t -> n

height t

Obtain the height of the rectangle t.

val midpoint : t -> v

midpoint t

Obtain the midpoint of the rectangle t.

val contains_pt : t -> v -> bool

contains_pt t p

Determine whether the point p lies within the rectangle t.

val contains_rect : t -> t -> bool

contains_rect a b

Determine whether the rectangle a fully contains the rectangle b.

val intersects : t -> t -> bool

intersects a b

Determine whether the rectangles a and b intersect.

val is_empty : t -> bool

is_empty t

Check whether the rectangle t has an area of zero.