CyBy.Draw.PeriodicTableCanvas

Definitions

record SceneDims : Type

  Dimensions of the SVG element (its `width` and `height`).

Totality: total
Visibility: public export
Constructor: 

SD : Double -> Double -> SceneDims

Projections:

.sheight : SceneDims -> Double

.swidth : SceneDims -> Double

.swidth : SceneDims -> Double

Totality: total
Visibility: public export

swidth : SceneDims -> Double

Totality: total
Visibility: public export

.sheight : SceneDims -> Double

Totality: total
Visibility: public export

sheight : SceneDims -> Double

Totality: total
Visibility: public export

sceneCenter : SceneDims -> Point Id

  Center of the SVG scene.

Totality: total
Visibility: export

sceneBounds : SceneDims -> Bounds2D Id

  Bounds of the SVG scene.

Totality: total
Visibility: export

record Cell : Type

Totality: total
Visibility: public export
Constructor: 

PC : Elem -> Nat -> Nat -> Cell

Projections:

.element : Cell -> Elem

.posX : Cell -> Nat

  0-based x-position in the periodic table.

.posY : Cell -> Nat

  0-based y-position in the periodic table.

Hints:

Eq Cell

Show Cell

.element : Cell -> Elem

Totality: total
Visibility: public export

element : Cell -> Elem

Totality: total
Visibility: public export

.posX : Cell -> Nat

  0-based x-position in the periodic table.

Totality: total
Visibility: public export

posX : Cell -> Nat

  0-based x-position in the periodic table.

Totality: total
Visibility: public export

.posY : Cell -> Nat

  0-based y-position in the periodic table.

Totality: total
Visibility: public export

posY : Cell -> Nat

  0-based y-position in the periodic table.

Totality: total
Visibility: public export

PSERows : Nat

Totality: total
Visibility: public export

PSEColumns : Nat

Totality: total
Visibility: public export

0 Cells : Type

Totality: total
Visibility: public export

cells : Cells

Totality: total
Visibility: public export

hoveredElem : DrawSettings => SceneDims -> Point t -> Maybe Elem

Totality: total
Visibility: export

displayPSE : DrawSettings => SceneDims -> Maybe Elem -> SVGNode

Totality: total
Visibility: export