diff options
Diffstat (limited to 'stdlib/source/program/aedifex/artifact')
11 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux index e4e8e8a71..08fb2d4b7 100644 --- a/stdlib/source/program/aedifex/artifact/extension.lux +++ b/stdlib/source/program/aedifex/artifact/extension.lux @@ -9,7 +9,7 @@ ["[0]" // ["[1]" type]]) -(type: .public Extension +(.type .public Extension Text) (def separator diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 23eb701e8..6b6e97124 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -16,7 +16,7 @@ ["[0]" / ["[1][0]" stamp (.only Stamp)]]) -(type: .public Snapshot +(type .public Snapshot (Variant {#Local} {#Remote Stamp})) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 0ff1d45d9..2cd339f9b 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -17,7 +17,7 @@ [number ["[0]" nat]]]]]) -(type: .public Build +(type .public Build Nat) (def .public equivalence diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 7ebb79ac6..6fbeb5b07 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -17,7 +17,7 @@ ["[1][0]" time (.only Time)] ["[1][0]" build (.only Build)]]) -(type: .public Stamp +(type .public Stamp (Record [#time Time #build Build])) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 87d9c89c7..b039dd2e2 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -21,7 +21,7 @@ ["[1]/[0]" date] ["[1]/[0]" time]]]) -(type: .public Time +(type .public Time ///time.Time) (def .public equivalence diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index fdd97a517..3ab65cab4 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -17,7 +17,7 @@ ["[1][0]" type (.only Type)] ["[1][0]" time (.only Time)]]) -(type: .public Version +(type .public Version (Record [#extension Type #value Text diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux index 0dd217a27..534283b7f 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux @@ -11,7 +11,7 @@ ["[1][0]" time] ["[1][0]" stamp]]) -(type: .public Value +(type .public Value (Record [#version Text #snapshot Snapshot])) diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index b4cf0dc02..61b2e8667 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -19,7 +19,7 @@ ["[1][0]" date] ["[1][0]" time]]) -(type: .public Time +(type .public Time [/date.Date /time.Time]) (def .public epoch diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index 5349a295f..01e2c85cb 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -16,7 +16,7 @@ ["[0]" // ["[1]" date]]) -(type: .public Time +(type .public Time time.Time) (def .public (format value) diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux index cba533fdd..3fad47295 100644 --- a/stdlib/source/program/aedifex/artifact/type.lux +++ b/stdlib/source/program/aedifex/artifact/type.lux @@ -3,7 +3,7 @@ [lux (.except Type)]]) ... https://maven.apache.org/ref/3.6.3/maven-core/artifact-handlers.html -(type: .public Type +(type .public Type Text) (with_template [<type> <name>] diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index e85833e70..82dffcd61 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -29,7 +29,7 @@ ["[1][0]" snapshot (.only Snapshot) ["[1]/[0]" version (.only Version)]]]) -(type: .public Versioning +(type .public Versioning (Record [#snapshot Snapshot #last_updated //time.Time |