[+] 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)

[+] 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)
David RENÉ
1 parent dc6bdead
Showing 1 changed file with 30 additions and 4 deletions Show diff stats
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