From 2363ce427c3e60a3222756747c9a045a87d8ce94 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Sun, 21 Apr 2019 01:37:58 +0200
Subject: [PATCH] add helper for String + Maybe(DB_date)

---
 database/db_types.anubis |  9 +++++++++
 1 file changed, 9 insertions(+), 0 deletions(-)

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