0 | module CyBy.Draw.I18n

 2 | import public Web.Async.Extra.I18n

 3 | import public CyBy.Draw.Event

 4 | import public Web.Async

 6 | %default total

 8 | public export

 9 | interface DOMLocal => ExtraLocal => 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 |   cyclobutane   : String

21 |   cycloheptane  : String

22 |   cyclohexane   : String

23 |   cyclooctane   : String

24 |   cyclopentane  : String

25 |   cyclopropane  : String

26 |   detailsTxt    : String

27 |   doubleBond    : String

28 |   element       : String

29 |   eraseTxt      : String

30 |   fluorine      : String

31 |   isotope       : String

32 |   length        : String

33 |   loadTxt       : String

34 |   mix           : String

35 |   nitrogen      : String

36 |   oxygen        : String

37 |   phosphorous   : String

38 |   pse           : String

39 |   pseLong       : String

40 |   redoTxt       : String

41 |   saveTxt       : String

42 |   selectTxt     : String

43 |   setCharge     : String

44 |   setElement    : String

45 |   setMass       : String

46 |   singleBnd     : String

47 |   singleDown    : String

48 |   singleEither  : String

49 |   singleUp      : String

50 |   sulfur        : String

51 |   tripleBond    : String

52 |   undoTxt       : String

53 |   xcoord        : String

54 |   ycoord        : String

55 |   zoomInTxt     : String

56 |   zoomOutTxt    : String

58 |   copied        : JS es ()

59 |   readErr       : String -> JS es ()

61 |   logDrawEvent  : DrawEvent -> JS es ()

62 |   logOpened     : String -> JS es ()

63 |   noMetadata    : String -> JS es ()

64 |   wrongFileType : String -> JS es ()

66 | export %inline

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