Gesso.Geometry.Dimensions

type Area = Record (Size Number ())

The size of a rectangle.

type Point = Record (Position Number ())

An (x, y) coordinate

type Position :: Type -> Row Type -> Row Typetype Position a r = (x :: a, y :: a | r)

A row representing anything that can have x and y values.

type Rect = Record (Rectangular Number ())

A rectangle positioned in space.

type Rectangular :: Type -> Row Type -> Row Typetype Rectangular a r = (Position a) + (Size a) + r

A row representing anything that can have x, y, width, and height properties.

type Size :: Type -> Row Type -> Row Typetype Size a r = (height :: a, width :: a | r)

A row representing anything that can have a width and height.

largestContainedArea :: forall r1 r2. Record (Size Number r1) -> Record (Size Number r2) -> Area

Given the sizes of an inner and an outer rectangle, find the largest size the inner can be scaled to while still fitting entirely within the outer.

null :: Rect

A Rect with no width or height, located at the origin.

origin :: Point

A Point at (0.0, 0.0)

sizeless :: Area

An Area with no width or height