Web.Async.I18n

Reexports

Definitions

interface DOMLocal : Type

Constraints: JSLocal
Methods:

editRes : EditRes t -> String

fileStr : String

ldebug : Lazy String -> Async JS es ()

ltrace : Lazy String -> Async JS es ()

logAbort : Async JS es ()

logEnded : Async JS es ()

logFormField : Interpolation t => t -> EditRes s -> Async JS es ()

logFormFieldN : Nat -> EditRes s -> Async JS es ()

logFormRes : EditRes s -> Async JS es ()

logInput : String -> Async JS es ()

logReplaced : Async JS es ()

logRes : Interpolation t => String -> EditRes t -> Async JS es ()

logSelect : Maybe (SelectEv t) -> Async JS es ()

logSwitch : Async JS es ()

logSwitchStopped : Async JS es ()

editRes : DOMLocal => EditRes t -> String

Totality: total
Visibility: public export

fileStr : DOMLocal => String

Totality: total
Visibility: public export

ldebug : DOMLocal => Lazy String -> Async JS es ()

Totality: total
Visibility: public export

ltrace : DOMLocal => Lazy String -> Async JS es ()

Totality: total
Visibility: public export

logAbort : DOMLocal => Async JS es ()

Totality: total
Visibility: public export

logEnded : DOMLocal => Async JS es ()

Totality: total
Visibility: public export

logFormField : DOMLocal => Interpolation t => t -> EditRes s -> Async JS es ()

Totality: total
Visibility: public export

logFormFieldN : DOMLocal => Nat -> EditRes s -> Async JS es ()

Totality: total
Visibility: public export

logFormRes : DOMLocal => EditRes s -> Async JS es ()

Totality: total
Visibility: public export

logInput : DOMLocal => String -> Async JS es ()

Totality: total
Visibility: public export

logReplaced : DOMLocal => Async JS es ()

Totality: total
Visibility: public export

logRes : DOMLocal => Interpolation t => String -> EditRes t -> Async JS es ()

Totality: total
Visibility: public export

logSelect : DOMLocal => Maybe (SelectEv t) -> Async JS es ()

Totality: total
Visibility: public export

logSwitch : DOMLocal => Async JS es ()

Totality: total
Visibility: public export

logSwitchStopped : DOMLocal => Async JS es ()

Totality: total
Visibility: public export