0 | module CyBy.Draw.I18n

 2 | import public Web.Async.I18n

 3 | import public CyBy.Draw.Event

 4 | import public Web.Async

 6 | %default total

 8 | public export

 9 | interface DOMLocal => DrawLocal where

10 |   abbreviations : String

11 |   angle         : String

12 |   atomType      : String

13 |   benzene       : String

14 |   boron         : String

15 |   bromine       : String

16 |   carbon        : String

17 |   centerTxt     : String

18 |   charge        : String

19 |   chlorine      : String

20 |   clearTxt      : String

21 |   cyclobutane   : String

22 |   cycloheptane  : String

23 |   cyclohexane   : String

24 |   cyclooctane   : String

25 |   cyclopentane  : String

26 |   cyclopropane  : String

27 |   detailsTxt    : String

28 |   doubleBond    : String

29 |   element       : String

30 |   eraseTxt      : String

31 |   fluorine      : String

32 |   isotope       : String

33 |   length        : String

34 |   loadTxt       : String

35 |   mix           : String

36 |   nitrogen      : String

37 |   oxygen        : String

38 |   phosphorous   : String

39 |   pse           : String

40 |   pseLong       : String

41 |   redoTxt       : String

42 |   saveTxt       : String

43 |   selectTxt     : String

44 |   setCharge     : String

45 |   setElement    : String

46 |   setMass       : String

47 |   singleBnd     : String

48 |   singleDown    : String

49 |   singleEither  : String

50 |   singleUp      : String

51 |   sulfur        : String

52 |   tripleBond    : String

53 |   undoTxt       : String

54 |   xcoord        : String

55 |   ycoord        : String

56 |   zoomInTxt     : String

57 |   zoomOutTxt    : String

59 |   copied        : JS es ()

60 |   readErr       : String -> JS es ()

62 |   logDrawEvent  : DrawEvent -> JS es ()

63 |   logOpened     : String -> JS es ()

64 |   noMetadata    : String -> JS es ()

65 |   wrongFileType : String -> JS es ()

67 | export %inline

68 | DrawLocal => Loggable JS DrawEvent where logLoggable = logDrawEvent