
  0 | module Web.Async.I18n
  1 | 
  2 | import IO.Async.JS
  3 | import Text.HTML.Select
  4 | import Web.Async.Widget.Types
  5 | import public HTTP.API.Client.I18n
  6 | 
  7 | %default total
  8 | 
  9 | public export
 10 | interface JSLocal => DOMLocal where
 11 |   editRes          : EditRes t -> String
 12 |   fileStr          : String
 13 |   ldebug           : Lazy String -> Async JS es ()
 14 |   ltrace           : Lazy String -> Async JS es ()
 15 | 
 16 |   logAbort         : Async JS es ()
 17 |   logEnded         : Async JS es ()
 18 |   logFormField     : Interpolation t => t -> EditRes s -> Async JS es ()
 19 |   logFormFieldN    : Nat -> EditRes s -> Async JS es ()
 20 |   logFormRes       : EditRes s -> Async JS es ()
 21 |   logInput         : String -> Async JS es ()
 22 |   logReplaced      : Async JS es ()
 23 |   logRes           : Interpolation t => String -> EditRes t -> Async JS es ()
 24 |   logSelect        : Maybe (SelectEv t) -> Async JS es ()
 25 |   logSwitch        : Async JS es ()
 26 |   logSwitchStopped : Async JS es ()
 27 |