package lambda-term

  1. Overview
  2. Docs

Module LTerm_geomSource

Common types.

Sourcetype size = {
  1. rows : int;
  2. cols : int;
}

Type of sizes.

Sourceval rows : size -> int
Sourceval cols : size -> int
Sourceval string_of_size : size -> string

Returns the string representation of the given size.

Sourcetype coord = {
  1. row : int;
  2. col : int;
}

Type of coordinates.

Sourceval row : coord -> int
Sourceval col : coord -> int
Sourceval string_of_coord : coord -> string

Returns the string representation of the given coordinates.

Sourcetype rect = {
  1. row1 : int;
  2. col1 : int;
  3. row2 : int;
  4. col2 : int;
}

Type of rectangles.

Sourceval row1 : rect -> int
Sourceval col1 : rect -> int
Sourceval row2 : rect -> int
Sourceval col2 : rect -> int
Sourceval size_of_rect : rect -> size

Returns the size of a rectangle.

Sourceval string_of_rect : rect -> string

Returns the string representation of the given rectangle.

Sourceval in_rect : rect -> coord -> bool

Test if coord is within rect

Sourcetype horz_alignment =
  1. | H_align_left
  2. | H_align_center
  3. | H_align_right

Horizontal alignment.

Sourcetype vert_alignment =
  1. | V_align_top
  2. | V_align_center
  3. | V_align_bottom

Vertical alignement.

Sourcetype 'a directions = {
  1. left : 'a;
  2. right : 'a;
  3. up : 'a;
  4. down : 'a;
}

Movement directions.