Idris2Doc : CyBy.Draw.I18n

CyBy.Draw.I18n

(source)

Reexports

import public Web.Async.Extra.I18n
import public CyBy.Draw.Event
import public Web.Async

Definitions

interface DrawLocal : Type
Constraints: DOMLocal, ExtraLocal
Methods:
abbreviations : String
angle : String
atomType : String
benzene : String
boron : String
bromine : String
carbon : String
centerTxt : String
charge : String
chlorine : String
cyclobutane : String
cycloheptane : String
cyclohexane : String
cyclooctane : String
cyclopentane : String
cyclopropane : String
detailsTxt : String
doubleBond : String
element : String
eraseTxt : String
fluorine : String
isotope : String
length : String
loadTxt : String
mix : String
nitrogen : String
oxygen : String
phosphorous : String
pse : String
pseLong : String
redoTxt : String
saveTxt : String
selectTxt : String
setCharge : String
setElement : String
setMass : String
singleBnd : String
singleDown : String
singleEither : String
singleUp : String
sulfur : String
tripleBond : String
undoTxt : String
xcoord : String
ycoord : String
zoomInTxt : String
zoomOutTxt : String
copied : JS es ()
readErr : String -> JS es ()
logDrawEvent : DrawEvent -> JS es ()
logOpened : String -> JS es ()
noMetadata : String -> JS es ()
wrongFileType : String -> JS es ()
abbreviations : DrawLocal => String
Totality: total
Visibility: public export
angle : DrawLocal => String
Totality: total
Visibility: public export
atomType : DrawLocal => String
Totality: total
Visibility: public export
benzene : DrawLocal => String
Totality: total
Visibility: public export
boron : DrawLocal => String
Totality: total
Visibility: public export
bromine : DrawLocal => String
Totality: total
Visibility: public export
carbon : DrawLocal => String
Totality: total
Visibility: public export
centerTxt : DrawLocal => String
Totality: total
Visibility: public export
charge : DrawLocal => String
Totality: total
Visibility: public export
chlorine : DrawLocal => String
Totality: total
Visibility: public export
cyclobutane : DrawLocal => String
Totality: total
Visibility: public export
cycloheptane : DrawLocal => String
Totality: total
Visibility: public export
cyclohexane : DrawLocal => String
Totality: total
Visibility: public export
cyclooctane : DrawLocal => String
Totality: total
Visibility: public export
cyclopentane : DrawLocal => String
Totality: total
Visibility: public export
cyclopropane : DrawLocal => String
Totality: total
Visibility: public export
detailsTxt : DrawLocal => String
Totality: total
Visibility: public export
doubleBond : DrawLocal => String
Totality: total
Visibility: public export
element : DrawLocal => String
Totality: total
Visibility: public export
eraseTxt : DrawLocal => String
Totality: total
Visibility: public export
fluorine : DrawLocal => String
Totality: total
Visibility: public export
isotope : DrawLocal => String
Totality: total
Visibility: public export
length : DrawLocal => String
Totality: total
Visibility: public export
loadTxt : DrawLocal => String
Totality: total
Visibility: public export
mix : DrawLocal => String
Totality: total
Visibility: public export
nitrogen : DrawLocal => String
Totality: total
Visibility: public export
oxygen : DrawLocal => String
Totality: total
Visibility: public export
phosphorous : DrawLocal => String
Totality: total
Visibility: public export
pse : DrawLocal => String
Totality: total
Visibility: public export
pseLong : DrawLocal => String
Totality: total
Visibility: public export
redoTxt : DrawLocal => String
Totality: total
Visibility: public export
saveTxt : DrawLocal => String
Totality: total
Visibility: public export
selectTxt : DrawLocal => String
Totality: total
Visibility: public export
setCharge : DrawLocal => String
Totality: total
Visibility: public export
setElement : DrawLocal => String
Totality: total
Visibility: public export
setMass : DrawLocal => String
Totality: total
Visibility: public export
singleBnd : DrawLocal => String
Totality: total
Visibility: public export
singleDown : DrawLocal => String
Totality: total
Visibility: public export
singleEither : DrawLocal => String
Totality: total
Visibility: public export
singleUp : DrawLocal => String
Totality: total
Visibility: public export
sulfur : DrawLocal => String
Totality: total
Visibility: public export
tripleBond : DrawLocal => String
Totality: total
Visibility: public export
undoTxt : DrawLocal => String
Totality: total
Visibility: public export
xcoord : DrawLocal => String
Totality: total
Visibility: public export
ycoord : DrawLocal => String
Totality: total
Visibility: public export
zoomInTxt : DrawLocal => String
Totality: total
Visibility: public export
zoomOutTxt : DrawLocal => String
Totality: total
Visibility: public export
copied : DrawLocal => JS es ()
Totality: total
Visibility: public export
readErr : DrawLocal => String -> JS es ()
Totality: total
Visibility: public export
logDrawEvent : DrawLocal => DrawEvent -> JS es ()
Totality: total
Visibility: public export
logOpened : DrawLocal => String -> JS es ()
Totality: total
Visibility: public export
noMetadata : DrawLocal => String -> JS es ()
Totality: total
Visibility: public export
wrongFileType : DrawLocal => String -> JS es ()
Totality: total
Visibility: public export