package gg

  1. Overview
  2. Docs

Module Gg.Size1Source

Sizes in 1D space.

In 1D space, width is the extent along the x-axis.

Sourcetype t = float

The type for 1D sizes.

Sourceval dim : int

dim is the dimension of sizes of type size1

Constructors, accessors and constants

Sourceval v : float -> size1

v w is a size of width w.

Sourceval w : size1 -> float

w s is the width of s.

Sourceval zero : size1

zero is the zero size, zero width.

Sourceval unit : size1

unit is the unit size, one width.