Anubis / Xlib

Commit 2363ce427c3e60a3222756747c9a045a87d8ce94

Authored by David RENÉ
1 parent fd42aebc

add helper for String + Maybe(DB_date)

Showing 1 changed file with 9 additions and 0 deletions   Show diff stats
Inline Side-by-side
database/db_types.anubis
  Show/Hide comments   View file @2363ce4
@@ -185,6 +185,15 @@ public define String @@ -185,6 +185,15 @@ public define String
185 . 185 .
186 186
187 public define String 187 public define String
  188 + String s + Maybe(DB_date) mb_date =
  189 + if mb_date is
  190 + {
  191 + failure then s + "unknow date",
  192 + success(date) then s + date
  193 + }
  194 +.
  195 +
  196 +public define String
188 DB_date d + String s = 197 DB_date d + String s =
189 to_String(d) + s 198 to_String(d) + s
190 . 199 .