Idris2Doc : Web.Async.Extra.I18n

Web.Async.Extra.I18n

(source)
Reexports
import public Web.Async.I18n
Definitions
interface ExtraLocal : Type
  Methods:
  
clearTxt : String
  
logTxt : String
clearTxt : ExtraLocal => String
  Totality: total
  Visibility: public export
logTxt : ExtraLocal => String
  Totality: total
  Visibility: public export