
  0 | module Web.Async.I18n.DE
  1 | 
  2 | import HTTP.API.Client.I18n.DE
  3 | import IO.Async.JS
  4 | import IO.Async.Logging
  5 | import Text.HTML.Select
  6 | import Web.Async.Widget.Types
  7 | import public Web.Async.I18n
  8 | 
  9 | %default total
 10 | 
 11 | parameters {auto log : Logger JS}
 12 | 
 13 |   logRes' : String -> EditRes x -> Async JS es ()
 14 |   logRes' nm Missing     = debug "Fehlend \{nm}"
 15 |   logRes' nm (Invalid x) = debug "Ungültig \{nm}: \{x}"
 16 |   logRes' nm (Valid x)   = debug "Gültig \{nm}"
 17 | 
 18 |   export
 19 |   [DOMDE] DOMLocal using JSDE where
 20 |     editRes Missing       = "Pflichtfeld"
 21 |     editRes (Invalid err) = err
 22 |     editRes (Valid val)   = ""
 23 |     fileStr               = "Datei"
 24 | 
 25 |     logRes nm Missing     = debug "Fehlend \{nm}"
 26 |     logRes nm (Invalid x) = debug "Ungültig \{nm}: \{x}"
 27 |     logRes nm (Valid x)   = debug "Gültig \{nm}: \{x}"
 28 | 
 29 | 
 30 |     logSelect Nothing           = debug "Kein Wert ausgewählt"
 31 |     logSelect (Just $ SE n s _) = debug "Ausgewählter Wert: '\{s}' (Index: \{show n})"
 32 | 
 33 |     ldebug s              = debug s
 34 |     ltrace s              = trace s
 35 | 
 36 |     logAbort          = debug "Der Datenstrom wurde über den Kill-Switch abgebrochen"
 37 |     logEnded          = debug "Der Datenstrom endete"
 38 |     logFormField      = logRes' . interpolate
 39 |     logFormFieldN e r = logRes' "Feld \{show e}" r
 40 |     logFormRes        = logRes' "Formulardaten"
 41 |     logInput s        = debug $ "Texteingabe: '\{s}'"
 42 |     logReplaced       = debug "Zugeordneten Editor ersetzt"
 43 |     logSwitch         = debug "Zugeordneten Editor wechseln"
 44 |     logSwitchStopped  = debug "Zugeordneten Editor stoppen"
 45 |