
  0 | module HTTP.API.Client.I18n
  1 | 
  2 | import HTTP.API.Client
  3 | import public HTTP.I18n
  4 | import public IO.Async.JS
  5 | import public IO.Async.Logging
  6 | 
  7 | %default total
  8 | 
  9 | public export
 10 | interface HTTPLocal => JSLocal where
 11 |   logJSErr   : JSErr -> Async JS es ()
 12 |   logHTTPErr : HTTPError -> Async JS es ()
 13 | 
 14 | export %inline
 15 | JSLocal => Loggable JS JSErr where logLoggable = logJSErr
 16 | 
 17 | export %inline
 18 | JSLocal => Loggable JS HTTPError where logLoggable = logHTTPErr
 19 |