aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/artifact
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux7
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux5
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux7
6 files changed, 21 insertions, 16 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index 133b6c4cc..936419788 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -16,8 +16,9 @@
["#." stamp (#+ Stamp)]])
(type: .public Snapshot
- #Local
- (#Remote Stamp))
+ (Variant
+ #Local
+ (#Remote Stamp)))
(implementation: any_equivalence
(Equivalence Any)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 609de1013..d8d1e6bbc 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -17,8 +17,9 @@
["#." build (#+ Build)]])
(type: .public Stamp
- {#time Time
- #build Build})
+ (Record
+ {#time Time
+ #build Build}))
(def: .public equivalence
(Equivalence Stamp)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index 13f2b5692..aa2994958 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -18,9 +18,10 @@
["#." time (#+ Time)]])
(type: .public Version
- {#extension Type
- #value Text
- #updated Time})
+ (Record
+ {#extension Type
+ #value Text
+ #updated Time}))
(def: .public equivalence
(Equivalence Version)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index 63681a3fe..cfcf3be09 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -12,8 +12,9 @@
["#." stamp]])
(type: .public Value
- {#version Text
- #snapshot Snapshot})
+ (Record
+ {#version Text
+ #snapshot Snapshot}))
(def: .public equivalence
(Equivalence Value)
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index c3c0b9cc1..ca309e382 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -50,10 +50,10 @@
(def: .public (date raw)
(-> date.Date (Try Date))
(let [year (|> raw date.year year.value)]
- (if (and (i.>= ..min_year year)
- (i.<= ..max_year year))
- (#try.Success (:abstraction raw))
- (exception.except ..year_is_out_of_range [(date.year raw)]))))
+ (if (or (i.< ..min_year year)
+ (i.> ..max_year year))
+ (exception.except ..year_is_out_of_range [(date.year raw)])
+ (#try.Success (:abstraction raw)))))
(def: .public value
(-> Date date.Date)
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index 886e89491..38001bfe2 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -30,9 +30,10 @@
["#/." version (#+ Version)]]])
(type: .public Versioning
- {#snapshot Snapshot
- #last_updated //time.Time
- #versions (List Version)})
+ (Record
+ {#snapshot Snapshot
+ #last_updated //time.Time
+ #versions (List Version)}))
(def: .public init
{#snapshot #//snapshot.Local