diff --git a/database/db_types.anubis b/database/db_types.anubis index e99d9f8..7f25faf 100644 --- a/database/db_types.anubis +++ b/database/db_types.anubis @@ -185,6 +185,15 @@ public define String . public define String + String s + Maybe(DB_date) mb_date = + if mb_date is + { + failure then s + "unknow date", + success(date) then s + date + } +. + +public define String DB_date d + String s = to_String(d) + s . -- libgit2 0.21.4