add some constructor helper for version and db_version

totoro
1 parent 0fc61cbc
Showing 2 changed files with 23 additions and 0 deletions Show diff stats
database/db_version.anubis
types/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), "")
 .
@@ -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