0 | module HTTP.I18n.DE
 1 |
 2 | import HTTP.API.Decode
 3 | import HTTP.RequestErr
 4 | import IO.Async.Logging
 5 | import public HTTP.I18n
 6 |
 7 | %default total
 8 |
 9 | export
10 | [HTTPDE] HTTPLocal where
11 |   endOfURIPath = "Unerwartetes Ende des URI-Pfads"
12 |   floatingPointNumber = "Fliesskommazahl"
13 |   integer = "Ganzzahl"
14 |   invalidPath = "Ungültiger URI-Pfad"
15 |   jsonValue = "JSON Wert"
16 |   logLevel l =
17 |     case l of
18 |       Trace => "Ablaufverfolgung"
19 |       Debug => "Fehlersuche"
20 |       Info => "Information"
21 |       Warn =>  "Warnung"
22 |       Error => "Fehler"
23 |       Fatal => "Schwerwiegender Fehler"
24 |   missingBoundary = "Form-Data-Header ungültig: Grenzwert-Angabe fehlt"
25 |   missingFormDataPart p ps = "Fehlender Form-Data-Teil: \{p} (Teil: \{ps})"
26 |   missingHeader h = "Fehlender HTTP-Header"
27 |   missingQueryParameter n = "Fehlender Abfrageparameter: '\{n}'"
28 |   missingQueryValue n = "Fehlender Abfragewert: '\{n}'"
29 |   myMediaTypeNotAccepted x y = "\{x} angegeben, aber es werden nur \{y} akzeptiert"
30 |   unsignedInteger = "Ganzzahl ohne Vorzeichen"
31 |   naturalNumber = "Natürliche Zahl"
32 |   outOfBounds a b =
33 |     "Wert außerhalb des gültigen Bereichs. Er muss zwischen \{show a} und \{show b} liegen."
34 |
35 |   prettyRequestErr (RE s e m d p) =
36 |     """
37 |     Fehler Details:
38 |     Status    : \{show s}
39 |     Fehler    : \{e}
40 |     Nachricht : \{m}
41 |     Details   : \{d}
42 |     Pfad      : \{p}
43 |     """
44 |
45 |   prettyDecodeErr (ReadErr t s d) = "Ungültig \{t}\{valueString s}"
46 |   prettyDecodeErr (ContentErr t d) = "Ungültig \{t}"
47 |   prettyDecodeErr (Msg msg) = msg
48 |
49 |
50 |