CyBy.Draw

Reexports

import public CyBy.Draw.Draw
import public CyBy.Draw.Event
import public CyBy.Draw.I18n as I
import public CyBy.Draw.Internal.Abbreviations
import public CyBy.Draw.Internal.Atom
import public CyBy.Draw.Internal.CoreDims
import public CyBy.Draw.Internal.Graph
import public CyBy.Draw.Internal.Ring
import public CyBy.Draw.Internal.Role
import public CyBy.Draw.Internal.Settings
import public CyBy.Draw.MoleculeCanvas
import public CyBy.Draw.PeriodicTableCanvas
import public Text.Molfile

Definitions

color : ColorScheme -> Elem -> SVGColor

Totality: total
Visibility: export

storeSVG : String -> Act ()

Totality: total
Visibility: export

record DrawEnv : Type

  Minimal environment required to run the core of cyby-draw.

Totality: total
Visibility: public export
Constructor:

DE : String -> DrawSettings => Sink DrawEvent => DrawEnv

Projections:

.events : DrawEnv -> Sink DrawEvent
.pre : DrawEnv -> String
.sets : DrawEnv -> DrawSettings

.pre : DrawEnv -> String

Totality: total
Visibility: public export

pre : DrawEnv -> String

Totality: total
Visibility: public export

.sets : DrawEnv -> DrawSettings

Totality: total
Visibility: public export

sets : DrawEnv -> DrawSettings

Totality: total
Visibility: public export

.events : DrawEnv -> Sink DrawEvent

Totality: total
Visibility: public export

events : DrawEnv -> Sink DrawEvent

Totality: total
Visibility: public export

record Extension : Type

  Extension interface, currently used for the word plugin.
  If the import button should be used, a tuple with the
  class and title has to be specified. If no import button
  is used, this is indicated by a `Nothing`.
  If the export button should be modified, it also had to
  be specified.

Totality: total
Visibility: public export
Constructor:

E : (DrawSettings => DrawState -> Act ()) -> (DrawEnv -> DrawState -> Act HTMLNodes) -> (DrawEnv -> DrawEvent -> DrawState -> Act ()) -> Extension

Projections:

.adjust : Extension -> DrawEnv -> DrawEvent -> DrawState -> Act ()

  Make adjustments to the additional top bar buttons

.buttons : Extension -> DrawEnv -> DrawState -> Act HTMLNodes

  Creats additional buttons to be displayed in the top bar
  These might require additional mutable state (for instance, the current
  colour scheme) , so this is an effectful computation

.doExport : Extension -> DrawSettings => DrawState -> Act ()

Totality: total
Visibility: public export

doExport : Extension -> DrawSettings => DrawState -> Act ()

Totality: total
Visibility: public export

.buttons : Extension -> DrawEnv -> DrawState -> Act HTMLNodes

  Creats additional buttons to be displayed in the top bar
  These might require additional mutable state (for instance, the current
  colour scheme) , so this is an effectful computation

Totality: total
Visibility: public export

buttons : Extension -> DrawEnv -> DrawState -> Act HTMLNodes

  Creats additional buttons to be displayed in the top bar
  These might require additional mutable state (for instance, the current
  colour scheme) , so this is an effectful computation

Totality: total
Visibility: public export

.adjust : Extension -> DrawEnv -> DrawEvent -> DrawState -> Act ()

  Make adjustments to the additional top bar buttons

Totality: total
Visibility: public export

adjust : Extension -> DrawEnv -> DrawEvent -> DrawState -> Act ()

  Make adjustments to the additional top bar buttons

Totality: total
Visibility: public export

infoID : String -> Ref Div

Totality: total
Visibility: export

expButton : String -> Ref Button

Totality: total
Visibility: export

sketcher : Sink DrawEvent => DrawLocal => DrawSettings => String -> HTMLNodes -> DrawState -> HTMLNode

Totality: total
Visibility: export

cybyDrawBtn : Sink e => String -> e -> Attributes Button -> HTMLNode

Totality: total
Visibility: export

expBtn : DrawEnv => String -> DrawState -> HTMLNode

Totality: total
Visibility: export

displaySketcher : DrawSettings => Sink DrawEvent => DrawLocal => Extension => String -> DrawEvent -> DrawState -> Act ()

Totality: total
Visibility: export

disableExport : DrawEnv => DrawState -> Act ()

Totality: total
Visibility: export

displayMol : DrawSettings => SceneDims -> MolGraphAT -> Maybe (List Nat) -> HTMLNode

  Renders a molecule at the given canvas.
  
  The molecule will be scaled and centered to fit the canvas and
  the given nodes will be highlighted.

Totality: total
Visibility: export

molWidget : Extension => DrawLocal => Act DrawSettings -> String -> SceneDims -> Maybe MolfileAT -> Act (Widget DrawState)

  An editor for molecules.

Totality: total
Visibility: export

molEdit : Extension => DrawLocal => Act DrawSettings -> SceneDims -> Editor MolfileAT

  An editor for molecules.

Totality: total
Visibility: export

NoExt : DrawLocal => Extension

  The default `Extension`

Totality: total
Visibility: export