Idris2Doc : HTTP.API.Client.I18n

HTTP.API.Client.I18n

(source)
Reexports
import public HTTP.I18n
import public IO.Async.JS
import public IO.Async.Logging
Definitions
interface JSLocal : Type
  Constraints: HTTPLocal
Methods:
  
logJSErr : JSErr -> Async JS es ()
  
logHTTPErr : HTTPError -> Async JS es ()
logJSErr : JSLocal => JSErr -> Async JS es ()
  Totality: total
  Visibility: public export
logHTTPErr : JSLocal => HTTPError -> Async JS es ()
  Totality: total
  Visibility: public export