Idris2Doc : CyBy.Draw.Draw

CyBy.Draw.Draw

(source)
Drawing Utilities

Definitions

fillCircle : SVGColor -> Point Id -> Double -> SVGNode
Totality: total
Visibility: export
roundedRect : CoreDims => Point Id -> Point Id -> List (SVGAttribute "rect") -> SVGNode
Totality: total
Visibility: export
fillRect : CoreDims => SVGColor -> Point Id -> Point Id -> SVGNode
Totality: total
Visibility: export
outlineRect : CoreDims => SVGColor -> Point Id -> Point Id -> SVGNode
Totality: total
Visibility: export
outlineRectD : CoreDims => SVGColor -> Point Id -> Point Id -> SVGNode
Totality: total
Visibility: export
singleLine : SVGColor -> Point Id -> Point Id -> SVGNode
Totality: total
Visibility: export
text : CoreDims => Text (Point Id) -> SVGNode
Totality: total
Visibility: export
record Nodes : Type
  We group the different layers of the drawing - carbon skeleton, atom labels
background highlights - in lists of nodes wrapped by a `<g>` element
listing the key properties of the group.

Snoc lists are the natural choice for assembling these groups of
nodes from head to tail.

Totality: total
Visibility: public export
Constructor: 
NS : SnocList PathCmd -> SnocList SVGNode -> SnocList SVGNode -> SnocList SVGNode -> Nodes

Projections:
.bgShapes : Nodes -> SnocList SVGNode
  Background shapes mainly use for selected or otherwise highlighted
atoms and bonds.
.skeleton : Nodes -> SnocList PathCmd
  The skeleton of the molecule: All bonds collected in a single `<path>`
element except upward bonds, which are polygons rather than lines.
.txtLbls : Nodes -> SnocList SVGNode
  All text labels (including charges, implici hydrogens,
mass numbers, and abbreviations)
.wedges : Nodes -> SnocList SVGNode
  Upward wedges
.skeleton : Nodes -> SnocList PathCmd
  The skeleton of the molecule: All bonds collected in a single `<path>`
element except upward bonds, which are polygons rather than lines.

Totality: total
Visibility: public export
skeleton : Nodes -> SnocList PathCmd
  The skeleton of the molecule: All bonds collected in a single `<path>`
element except upward bonds, which are polygons rather than lines.

Totality: total
Visibility: public export
.bgShapes : Nodes -> SnocList SVGNode
  Background shapes mainly use for selected or otherwise highlighted
atoms and bonds.

Totality: total
Visibility: public export
bgShapes : Nodes -> SnocList SVGNode
  Background shapes mainly use for selected or otherwise highlighted
atoms and bonds.

Totality: total
Visibility: public export
.wedges : Nodes -> SnocList SVGNode
  Upward wedges

Totality: total
Visibility: public export
wedges : Nodes -> SnocList SVGNode
  Upward wedges

Totality: total
Visibility: public export
.txtLbls : Nodes -> SnocList SVGNode
  All text labels (including charges, implici hydrogens,
mass numbers, and abbreviations)

Totality: total
Visibility: public export
txtLbls : Nodes -> SnocList SVGNode
  All text labels (including charges, implici hydrogens,
mass numbers, and abbreviations)

Totality: total
Visibility: public export
init : Nodes
Totality: total
Visibility: export
0 TNodes : Type
Totality: total
Visibility: public export
toNodes : DrawSettings => TNodes -> List SVGNode
Totality: total
Visibility: export
label : DrawSettings => CDIGraph k -> Fin k -> Label
Totality: total
Visibility: export
labels : DrawSettings => CDIGraph k -> Labels k
Totality: total
Visibility: export
drawMolecule : DrawSettings => CDGraph -> List SVGNode
Totality: total
Visibility: export
rotateTemplScene : DrawSettings => Point Mol -> Point Mol -> List SVGNode
Totality: total
Visibility: export