From ab57e435eb64732693c1ac4683012e3d961ef399 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@rack-matrix.com>
Date: Sun, 10 Apr 2022 18:22:24 +0200
Subject: [PATCH] [+] get_date return String from DB_datetime [+] datetime_to_date return DB_date from DB_datetime [+] mb_datetime_to_mb_date convert a Maybe(DB_datetime) to Maybe(Date)

---
 database/db_types.anubis | 34 ++++++++++++++++++++++++++++++----
 1 file changed, 30 insertions(+), 4 deletions(-)

diff --git a/database/db_types.anubis b/database/db_types.anubis
index cd53505..ce57fa1 100644
--- a/database/db_types.anubis
+++ b/database/db_types.anubis
@@ -260,6 +260,7 @@ public define String
     d.datetime
 .
 
+
 public define String
   to_String
   (
@@ -287,6 +288,15 @@ public define String
 .
 
 public define String
+  get_date
+  (
+    DB_datetime dt
+  )=
+  with ba_dt = to_byte_array(dt.datetime),
+  to_string(extract(ba_dt, 0, 9))
+.
+
+public define String
   to_String
   (
     DB_time t
@@ -316,15 +326,31 @@ public define Int
     Bool value
   )=
   if value then 1 else 0.
-  
 
-  
 
  * Some Bind helper *
- 
 
+
+public define DB_date
+  datetime_to_date
+  (
+     DB_datetime dt
+  )=
+  db_date(get_date(dt))
+.
+
+public define Maybe(DB_date)
+  mb_datetime_to_mb_date
+  (
+     Maybe(DB_datetime) mb_dt
+  )=
+  if mb_dt is
+  {
+    failure     then failure,
+    success(dt) then success(db_date(get_date(dt)))
+  }
   
-  
+.
 /********** Some default type values ********************/
 
 public define DB_datetime
--
libgit2 0.21.4