diff options
Diffstat (limited to '')
6 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index 6a5849f43..133b6c4cc 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -15,7 +15,7 @@ ["." / #_ ["#." stamp (#+ Stamp)]]) -(type: #export Snapshot +(type: .public Snapshot #Local (#Remote Stamp)) @@ -25,7 +25,7 @@ (def: (= _ _) true)) -(def: #export equivalence +(def: .public equivalence (Equivalence Snapshot) ($_ sum.equivalence ..any_equivalence @@ -54,7 +54,7 @@ (<text>.then (<text>.this ..local_copy_value)) <xml>.text)) -(def: #export (format snapshot) +(def: .public (format snapshot) (-> Snapshot XML) (<| (#xml.Node ..<snapshot> xml.attributes) (case snapshot @@ -64,7 +64,7 @@ (#Remote stamp) (/stamp.format stamp)))) -(def: #export parser +(def: .public parser (Parser Snapshot) (<| (<xml>.node <snapshot>) (<>.or ..local_copy_parser diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux index 37bb3ca2d..15d0c91dd 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux @@ -17,10 +17,10 @@ [number ["." nat]]]]]) -(type: #export Build +(type: .public Build Nat) -(def: #export equivalence +(def: .public equivalence (Equivalence Build) nat.equivalence) @@ -28,14 +28,14 @@ xml.Tag ["" "buildNumber"]) -(def: #export format +(def: .public format (-> Build XML) (|>> %.nat #xml.Text list (#xml.Node ..tag xml.attributes))) -(def: #export parser +(def: .public parser (Parser Build) (<| (<xml>.node ..tag) (<text>.then (<>.codec nat.decimal (<text>.many <text>.decimal))) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux index 0e9cba494..609de1013 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux @@ -16,11 +16,11 @@ ["#." time (#+ Time)] ["#." build (#+ Build)]]) -(type: #export Stamp +(type: .public Stamp {#time Time #build Build}) -(def: #export equivalence +(def: .public equivalence (Equivalence Stamp) ($_ product.equivalence //time.equivalence @@ -38,7 +38,7 @@ list (#xml.Node ..<timestamp> xml.attributes))) -(def: #export (format (^slots [#time #build])) +(def: .public (format (^slots [#time #build])) (-> Stamp (List XML)) (list (..time_format time) (//build.format build))) @@ -49,7 +49,7 @@ (<text>.then //time.parser) <xml>.text)) -(def: #export parser +(def: .public parser (Parser Stamp) (<>.and (<xml>.somewhere ..time_parser) (<xml>.somewhere //build.parser))) diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux index 08f8b8035..703354eb8 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux @@ -21,23 +21,23 @@ ["#/." date] ["#/." time]]]) -(type: #export Time +(type: .public Time ///time.Time) -(def: #export equivalence +(def: .public equivalence (Equivalence Time) ///time.equivalence) (def: separator ".") -(def: #export (format [date time]) +(def: .public (format [date time]) (%.Format Time) (%.format (///time/date.format date) ..separator (///time/time.format time))) -(def: #export parser +(def: .public parser (<text>.Parser Time) (do <>.monad [date ///time/date.parser diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux index c1341cf98..13f2b5692 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux @@ -17,12 +17,12 @@ ["#." type (#+ Type)] ["#." time (#+ Time)]]) -(type: #export Version +(type: .public Version {#extension Type #value Text #updated Time}) -(def: #export equivalence +(def: .public equivalence (Equivalence Version) ($_ product.equivalence text.equivalence @@ -44,7 +44,7 @@ (-> xml.Tag Text XML) (|> value #xml.Text list (#xml.Node tag xml.attributes))) -(def: #export (format (^slots [#extension #value #updated])) +(def: .public (format (^slots [#extension #value #updated])) (-> Version XML) (<| (#xml.Node ..<snapshot_version> xml.attributes) (list (..text_format ..<extension> extension) @@ -56,7 +56,7 @@ (<| (<xml>.node tag) <xml>.text)) -(def: #export parser +(def: .public parser (Parser Version) (<| (<xml>.node ..<snapshot_version>) ($_ <>.and diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux index ce9a09f1a..55ece62c7 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux @@ -11,11 +11,11 @@ ["#." time] ["#." stamp]]) -(type: #export Value +(type: .public Value {#version Text #snapshot Snapshot}) -(def: #export equivalence +(def: .public equivalence (Equivalence Value) ($_ product.equivalence text.equivalence @@ -25,10 +25,10 @@ (def: separator "-") -(def: #export snapshot +(def: .public snapshot "SNAPSHOT") -(def: #export (format (^slots [#version #snapshot])) +(def: .public (format (^slots [#version #snapshot])) (%.Format Value) (case snapshot #///.Local |