From b3254dcbe8651bb63cc91b71934155fd560bf621 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@calexium.com>
Date: Sun, 9 Jul 2017 22:46:52 +0200
Subject: [PATCH] add some constructor helper for version and db_version

---
 database/db_version.anubis | 10 ++++++++++
 types/version.anubis       | 13 +++++++++++++
 2 files changed, 23 insertions(+), 0 deletions(-)

diff --git a/database/db_version.anubis b/database/db_version.anubis
index ee0bd42..e784f4c 100644
--- a/database/db_version.anubis
+++ b/database/db_version.anubis
@@ -24,6 +24,16 @@ public type DB_Version:
 .
 
 public define DB_Version
+  db_version
+  (
+    String  version_str,
+    String  hash
+  )=
+  db_version(version(version_str), hash)
+.
+
+
+public define DB_Version
   db_v_0 =
   db_version(version(0), "")
 .
diff --git a/types/version.anubis b/types/version.anubis
index 94701ba..8c41b06 100644
--- a/types/version.anubis
+++ b/types/version.anubis
@@ -16,6 +16,8 @@ public type Version:
   )
 .
 
+public define Maybe(Version) to_Version(String version_string).
+
 public define Version
   version(
     Word8 a,
@@ -27,6 +29,17 @@ public define Version
   version( word32(word16(d, c), word16(b, a)))
 .
 
+public define Version
+  version
+  (
+    String  version_str
+  )=
+  if to_Version(version_str) is
+  {
+    failure           then version(0),
+    success(_version) then _version
+  }
+.
 
 define Maybe(Version)
   convert_digits_to_Version
--
libgit2 0.21.4