diff options
Diffstat (limited to 'stdlib/source/program/aedifex')
47 files changed, 215 insertions, 213 deletions
diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux index 2da97fde2..55994c67b 100644 --- a/stdlib/source/program/aedifex/action.lux +++ b/stdlib/source/program/aedifex/action.lux @@ -8,9 +8,9 @@ [concurrency ["." async (#+ Async)]]]]]) -(type: #export (Action a) +(type: .public (Action a) (Async (Try a))) -(def: #export monad +(def: .public monad (Monad Action) (:assume (try.with async.monad))) diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index 631de6ebe..ec955d4dd 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -16,21 +16,21 @@ [net ["." uri (#+ URI)]]]]]) -(type: #export Group +(type: .public Group Text) -(type: #export Name +(type: .public Name Text) -(type: #export Version +(type: .public Version Text) -(type: #export Artifact +(type: .public Artifact {#group Group #name Name #version Version}) -(def: #export hash +(def: .public hash (Hash Artifact) ($_ product.hash text.hash @@ -38,11 +38,11 @@ text.hash )) -(def: #export equivalence +(def: .public equivalence (Equivalence Artifact) (\ ..hash &equivalence)) -(implementation: #export order +(implementation: .public order (Order Artifact) (def: &equivalence @@ -72,25 +72,25 @@ [":" identity_separator] ) -(def: #export (identity artifact) +(def: .public (identity artifact) (-> Artifact Text) (%.format (get@ #name artifact) ..version_separator (get@ #version artifact))) -(def: #export (format value) +(def: .public (format value) (Format Artifact) (%.format (get@ #group value) ..identity_separator (..identity value))) -(def: #export (directory separator group) +(def: .public (directory separator group) (-> Text Group Text) (|> group (text.split_all_with ..group_separator) (text.join_with separator))) -(def: #export (uri version artifact) +(def: .public (uri version artifact) (-> Version Artifact URI) (let [/ uri.separator group (..directory / (get@ #group artifact)) @@ -99,7 +99,7 @@ identity (..identity artifact)] (%.format group / name / version / identity))) -(def: #export (local artifact) +(def: .public (local artifact) (-> Artifact (List Text)) (list\compose (|> artifact (get@ #group) diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux index d1102437d..11a94bb7e 100644 --- a/stdlib/source/program/aedifex/artifact/extension.lux +++ b/stdlib/source/program/aedifex/artifact/extension.lux @@ -9,22 +9,22 @@ ["." // #_ ["#" type]]) -(type: #export Extension +(type: .public Extension Text) (def: separator ".") -(def: #export extension +(def: .public extension (-> //.Type Extension) (|>> (format ..separator))) -(def: #export type +(def: .public type (-> Extension //.Type) (text.replace_all ..separator "")) (template [<name>] - [(def: #export <name> + [(def: .public <name> Extension (..extension (template.identifier [//._] [<name>])))] 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 diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux index c8452a477..4a0a20ea3 100644 --- a/stdlib/source/program/aedifex/artifact/time.lux +++ b/stdlib/source/program/aedifex/artifact/time.lux @@ -19,37 +19,37 @@ ["#." date] ["#." time]]) -(type: #export Time +(type: .public Time [/date.Date /time.Time]) -(def: #export epoch +(def: .public epoch Time [/date.epoch time.midnight]) -(def: #export (instant time) +(def: .public (instant time) (-> Time Instant) (let [[date time] time] (instant.of_date_time (/date.value date) time))) -(def: #export (of_instant instant) +(def: .public (of_instant instant) (-> Instant (Try Time)) (do try.monad [date (/date.date (instant.date instant))] (in [date (instant.time instant)]))) -(def: #export equivalence +(def: .public equivalence (Equivalence Time) (product.equivalence /date.equivalence time.equivalence)) -(def: #export (format [date time]) +(def: .public (format [date time]) (Format Time) (%.format (/date.format date) (/time.format time))) -(def: #export parser +(def: .public parser (Parser Time) (do <>.monad [date /date.parser diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux index b392a5569..6e84811e6 100644 --- a/stdlib/source/program/aedifex/artifact/time/date.lux +++ b/stdlib/source/program/aedifex/artifact/time/date.lux @@ -23,7 +23,7 @@ [type abstract]]]) -(def: #export (pad value) +(def: .public (pad value) (-> Nat Text) (if (n.< 10 value) (%.format "0" (%.nat value)) @@ -32,20 +32,22 @@ (def: min_year +1,000) (def: max_year +9,999) -(exception: #export (year_is_out_of_range {year year.Year}) +(exception: .public (year_is_out_of_range {year year.Year}) (exception.report ["Minimum" (%.int ..min_year)] ["Maximum" (%.int ..max_year)] ["Year" (%.int (year.value year))])) -(abstract: #export Date +(abstract: .public Date + {} + date.Date - (def: #export epoch + (def: .public epoch Date (:abstraction date.epoch)) - (def: #export (date raw) + (def: .public (date raw) (-> date.Date (Try Date)) (let [year (|> raw date.year year.value)] (if (and (i.>= ..min_year year) @@ -53,24 +55,24 @@ (#try.Success (:abstraction raw)) (exception.except ..year_is_out_of_range [(date.year raw)])))) - (def: #export value + (def: .public value (-> Date date.Date) (|>> :representation)) - (implementation: #export equivalence + (implementation: .public equivalence (Equivalence Date) (def: (= reference subject) (date\= (:representation reference) (:representation subject)))) - (def: #export (format value) + (def: .public (format value) (%.Format Date) (%.format (|> value :representation date.year year.value .nat %.nat) (|> value :representation date.month month.number ..pad) (|> value :representation date.day_of_month ..pad))) - (def: #export parser + (def: .public parser (Parser Date) (do <>.monad [year (<>.codec n.decimal (<text>.exactly 4 <text>.decimal)) diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux index 78b85f8cd..8b33d5732 100644 --- a/stdlib/source/program/aedifex/artifact/time/time.lux +++ b/stdlib/source/program/aedifex/artifact/time/time.lux @@ -16,17 +16,17 @@ ["." // #_ ["#" date]]) -(type: #export Time +(type: .public Time time.Time) -(def: #export (format value) +(def: .public (format value) (%.Format Time) (let [(^slots [#time.hour #time.minute #time.second]) (time.clock value)] (%.format (//.pad hour) (//.pad minute) (//.pad second)))) -(def: #export parser +(def: .public parser (<text>.Parser Time) (do <>.monad [hour (<>.codec n.decimal (<text>.exactly 2 <text>.decimal)) diff --git a/stdlib/source/program/aedifex/artifact/type.lux b/stdlib/source/program/aedifex/artifact/type.lux index 22cbd8253..dde76fc0c 100644 --- a/stdlib/source/program/aedifex/artifact/type.lux +++ b/stdlib/source/program/aedifex/artifact/type.lux @@ -3,11 +3,11 @@ [lux (#- Type)]]) ## https://maven.apache.org/ref/3.6.3/maven-core/artifact-handlers.html -(type: #export Type +(type: .public Type Text) (template [<type> <name>] - [(def: #export <name> + [(def: .public <name> Type <type>)] diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux index 44973b54e..9e6ff8244 100644 --- a/stdlib/source/program/aedifex/artifact/versioning.lux +++ b/stdlib/source/program/aedifex/artifact/versioning.lux @@ -30,17 +30,17 @@ ["#." snapshot (#+ Snapshot) ["#/." version (#+ Version)]]]) -(type: #export Versioning +(type: .public Versioning {#snapshot Snapshot #last_updated //time.Time #versions (List Version)}) -(def: #export init +(def: .public init {#snapshot #//snapshot.Local #last_updated //time.epoch #versions (list)}) -(def: #export equivalence +(def: .public equivalence (Equivalence Versioning) ($_ product.equivalence //snapshot.equivalence @@ -61,7 +61,7 @@ (-> //time.Time XML) (|>> //time.format #xml.Text list (#xml.Node ..<last_updated> xml.attributes))) -(def: #export (format (^slots [#snapshot #last_updated #versions])) +(def: .public (format (^slots [#snapshot #last_updated #versions])) (-> Versioning XML) (<| (#xml.Node ..<versioning> xml.attributes) (list (//snapshot.format snapshot) @@ -80,7 +80,7 @@ (<| (<text>.then //time.parser) (..text ..<last_updated>))) -(def: #export parser +(def: .public parser (Parser Versioning) (<| (<xml>.node ..<versioning>) ($_ <>.and diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index c763d572e..8e97e02d3 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -15,7 +15,7 @@ [identity (#+ Identity)]] ["/" profile (#+ Name)]]) -(type: #export Compilation +(type: .public Compilation #Build #Test) @@ -35,7 +35,7 @@ (<>.or (cli.this "build") (cli.this "test"))) -(type: #export Command +(type: .public Command #Version #Clean #POM @@ -45,7 +45,7 @@ (#Compilation Compilation) (#Auto Compilation)) -(def: #export equivalence +(def: .public equivalence (Equivalence Command) ($_ sum.equivalence ## #Version @@ -85,7 +85,7 @@ ..compilation) )) -(def: #export command +(def: .public command (Parser [Name Command]) ($_ <>.either (<>.after (cli.this "with") diff --git a/stdlib/source/program/aedifex/command.lux b/stdlib/source/program/aedifex/command.lux index c8f8106b4..f918733c1 100644 --- a/stdlib/source/program/aedifex/command.lux +++ b/stdlib/source/program/aedifex/command.lux @@ -5,5 +5,5 @@ ["#" profile] ["#." action (#+ Action)]]) -(type: #export (Command a) +(type: .public (Command a) (-> //.Profile (Action a))) diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index f4e2ab18f..2c4c8ac19 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -35,7 +35,7 @@ (\ ! join) (\ ! map (|>> list.concat (list& path)))))) -(def: #export delay +(def: .public delay Nat 1,000) @@ -43,7 +43,7 @@ (-> Nat (Async (Try Any))) (async.delay delay (#try.Success []))) -(def: #export (do! delay watcher command) +(def: .public (do! delay watcher command) (All [a] (-> Nat (Watcher Async) (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit a])) diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index 23429f123..ff7825678 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -55,12 +55,12 @@ (#.Some dependency) #.None))))) -(def: #export lux_group +(def: .public lux_group Group "com.github.luxlang") (template [<dependency> <definition>] - [(def: #export <definition> + [(def: .public <definition> Name <dependency>)] @@ -71,10 +71,10 @@ ["lux-ruby" ruby_compiler_name] ) -(exception: #export no_available_compiler) -(exception: #export no_specified_program) +(exception: .public no_available_compiler) +(exception: .public no_specified_program) -(type: #export Compiler +(type: .public Compiler (#JVM Dependency) (#JS Dependency) (#Python Dependency) @@ -154,7 +154,7 @@ [#.End #.End] false)))) -(def: #export (host_dependencies fs home) +(def: .public (host_dependencies fs home) (All [!] (-> (file.System !) Path Resolution (List Path))) (|>> dictionary.keys (list.only (|>> (get@ #///dependency.type) @@ -186,12 +186,12 @@ (-> Text (List Text) (List Text)) (|>> (list\map (|>> (list name))) list.concat)) -(def: #export start "[BUILD STARTED]") -(def: #export success "[BUILD ENDED]") -(def: #export failure "[BUILD FAILED]") +(def: .public start "[BUILD STARTED]") +(def: .public success "[BUILD ENDED]") +(def: .public failure "[BUILD FAILED]") (template [<name> <capability>] - [(def: #export (<name> console process) + [(def: .public (<name> console process) (-> (Console Async) (Process Async) (Async (Try Any))) ## This is a very odd way of implementing this function. ## But it's written this way because the more straightforward way (i.e. by using (try.with async.monad)) @@ -249,7 +249,7 @@ (text.join_with ..jvm_class_path_separator) %.text)) -(def: #export (with_jvm_class_path host_dependencies runtime) +(def: .public (with_jvm_class_path host_dependencies runtime) (-> (List Path) ///runtime.Runtime ///runtime.Runtime) (case host_dependencies #.End @@ -260,7 +260,7 @@ (|>> (list& "-classpath" (..jvm_class_path host_dependencies))) runtime))) -(def: #export (do! console program fs shell resolution) +(def: .public (do! console program fs shell resolution) (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Compiler Path])) (function (_ profile) (let [target (get@ #///.target profile)] diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux index c03a09b49..67d539db7 100644 --- a/stdlib/source/program/aedifex/command/clean.lux +++ b/stdlib/source/program/aedifex/command/clean.lux @@ -26,11 +26,11 @@ (\ ! map (monad.map ! (\ fs delete))) (\ ! join)))) -(def: #export success +(def: .public success (-> ///.Target Text) (|>> (format "Successfully cleaned target directory: "))) -(def: #export (do! console fs profile) +(def: .public (do! console fs profile) (-> (Console Async) (file.System Async) (Command Any)) (do {! async.monad} [.let [target (get@ #///.target profile)] diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux index b7b08f517..2ff5ca8fb 100644 --- a/stdlib/source/program/aedifex/command/deploy.lux +++ b/stdlib/source/program/aedifex/command/deploy.lux @@ -53,10 +53,10 @@ ["#/." extension (#+ Extension)] ["#/." type]]]]) -(def: #export success +(def: .public success "Successfully deployed the project.") -(def: #export (do! console repository fs artifact profile) +(def: .public (do! console repository fs artifact profile) (-> (Console Async) (Repository Async) (file.System Async) Artifact (Command Any)) (do {! ///action.monad} [library (|> profile diff --git a/stdlib/source/program/aedifex/command/deps.lux b/stdlib/source/program/aedifex/command/deps.lux index 342c9c0bc..9dbabbfca 100644 --- a/stdlib/source/program/aedifex/command/deps.lux +++ b/stdlib/source/program/aedifex/command/deps.lux @@ -37,7 +37,7 @@ ///artifact.format %.text)) -(def: #export (do! console local remotes new_repository profile) +(def: .public (do! console local remotes new_repository profile) (-> (Console Async) (Repository Async) (List (Repository Async)) (-> URL (Repository Async)) (Command Resolution)) (do async.monad [.let [dependencies (|> (get@ #///.dependencies profile) diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux index b39b30f85..c86400b6a 100644 --- a/stdlib/source/program/aedifex/command/install.lux +++ b/stdlib/source/program/aedifex/command/install.lux @@ -43,13 +43,13 @@ ["#." artifact (#+ Artifact) ["#/." type]]]]) -(def: #export success +(def: .public success "Successfully installed the project locally.") -(def: #export failure +(def: .public failure "Failure: No 'identity' defined for the project.") -(def: #export (do! console fs repository profile) +(def: .public (do! console fs repository profile) (-> (Console Async) (file.System Async) (Repository Async) (Command Any)) (case (get@ #/.identity profile) (#.Some identity) diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux index 3b6412070..163fa87fa 100644 --- a/stdlib/source/program/aedifex/command/pom.lux +++ b/stdlib/source/program/aedifex/command/pom.lux @@ -22,10 +22,10 @@ ["#." action] ["#." pom]]) -(def: #export success +(def: .public success (format "Successfully created POM file: " ///pom.file)) -(def: #export (do! console fs profile) +(def: .public (do! console fs profile) (-> (Console Async) (file.System Async) (Command Any)) (do ///action.monad [content (|> (///pom.write profile) diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux index 78859819d..a7279c5ec 100644 --- a/stdlib/source/program/aedifex/command/test.lux +++ b/stdlib/source/program/aedifex/command/test.lux @@ -24,11 +24,11 @@ [dependency [resolution (#+ Resolution)]]]]) -(def: #export start "[TEST STARTED]") -(def: #export success "[TEST ENDED]") -(def: #export failure "[TEST FAILED]") +(def: .public start "[TEST STARTED]") +(def: .public success "[TEST ENDED]") +(def: .public failure "[TEST FAILED]") -(def: #export (do! console program fs shell resolution profile) +(def: .public (do! console program fs shell resolution profile) (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any])) (do async.monad [environment (program.environment async.monad program) diff --git a/stdlib/source/program/aedifex/command/version.lux b/stdlib/source/program/aedifex/command/version.lux index 0c5c944b5..d66738f11 100644 --- a/stdlib/source/program/aedifex/command/version.lux +++ b/stdlib/source/program/aedifex/command/version.lux @@ -15,7 +15,7 @@ [/// [command (#+ Command)]]) -(def: #export (do! console profile) +(def: .public (do! console profile) (-> (Console Async) (Command Any)) (console.write_line (version.format language/lux.version) console)) diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index 1ac750d62..f31f0ca44 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -13,22 +13,22 @@ ["#" artifact (#+ Artifact) ("#\." order) [type (#+ Type)]]]) -(type: #export Dependency +(type: .public Dependency {#artifact Artifact #type Type}) -(def: #export hash +(def: .public hash (Hash Dependency) ($_ product.hash //.hash text.hash )) -(def: #export equivalence +(def: .public equivalence (Equivalence Dependency) (\ hash &equivalence)) -(implementation: #export order +(implementation: .public order (Order Dependency) (def: &equivalence diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux index 2b39403a9..6ff052a5a 100644 --- a/stdlib/source/program/aedifex/dependency/deployment.lux +++ b/stdlib/source/program/aedifex/dependency/deployment.lux @@ -115,7 +115,7 @@ ## (..artifacts ///artifact/type.pom (product.right (get@ #///package.pom package))))) )))) -(def: #export (one repository [artifact type] package) +(def: .public (one repository [artifact type] package) (-> (Repository Async) Dependency Package (Async (Try Artifact))) (do {! async.monad} [now (async.future instant.now) @@ -140,7 +140,7 @@ (///metadata/artifact.write repository artifact))] (in artifact)))) -(def: #export (all repository resolution) +(def: .public (all repository resolution) (-> (Repository Async) Resolution (Async (Try (Set Artifact)))) (let [! (try.with async.monad)] (|> (dictionary.entries resolution) diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index c286c92c2..c34d88494 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -58,7 +58,7 @@ ["#/." snapshot]]]]) (template [<name>] - [(exception: #export (<name> {artifact Artifact} {extension Extension} {hash Text}) + [(exception: .public (<name> {artifact Artifact} {extension Extension} {hash Text}) (exception.report ["Artifact" (///artifact.format artifact)] ["Extension" (%.text extension)] @@ -122,7 +122,7 @@ [#.None #.None] #//status.Unverified)]))) -(def: #export (one repository dependency) +(def: .public (one repository dependency) (-> (Repository Async) Dependency (Async (Try Package))) (let [[artifact type] dependency extension (///artifact/extension.extension type)] @@ -143,18 +143,18 @@ #///package.library library_&_status #///package.pom [pom pom_data pom_status]})))))) -(type: #export Resolution +(type: .public Resolution (Dictionary Dependency Package)) -(def: #export empty +(def: .public empty Resolution (dictionary.empty //.hash)) -(def: #export equivalence +(def: .public equivalence (Equivalence Resolution) (dictionary.equivalence ///package.equivalence)) -(exception: #export (cannot_resolve {dependency Dependency}) +(exception: .public (cannot_resolve {dependency Dependency}) (exception.report ["Artifact" (%.text (///artifact.format (get@ #//.artifact dependency)))] ["Type" (%.text (get@ #//.type dependency))])) @@ -174,7 +174,7 @@ ["X" announce_failure "Missed" "from"] ) -(def: #export (any console repositories dependency) +(def: .public (any console repositories dependency) (-> (Console Async) (List (Repository Async)) Dependency (Async (Try Package))) (case repositories #.End @@ -197,7 +197,7 @@ [_ (..announce_failure console repository (get@ #//.artifact dependency))] (any console alternatives dependency)))))) -(def: #export (all console repositories new_repository dependencies resolution) +(def: .public (all console repositories new_repository dependencies resolution) (-> (Console Async) (List (Repository Async)) (-> URL (Repository Async)) (List Dependency) Resolution (Async [(List Dependency) (List Dependency) diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux index db97f59b0..2c2e13fd8 100644 --- a/stdlib/source/program/aedifex/dependency/status.lux +++ b/stdlib/source/program/aedifex/dependency/status.lux @@ -10,7 +10,7 @@ ["." /// #_ ["#." hash (#+ Hash SHA-1 MD5)]]) -(type: #export Status +(type: .public Status #Unverified (#Partial (Either (Hash SHA-1) (Hash MD5))) @@ -22,7 +22,7 @@ (def: (= _ _) true)) -(def: #export equivalence +(def: .public equivalence (Equivalence Status) ($_ sum.equivalence ..any_equivalence @@ -34,7 +34,7 @@ ///hash.equivalence) )) -(def: #export (verified payload) +(def: .public (verified payload) (-> Binary Status) (#Verified (///hash.sha-1 payload) diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux index c7adaa33e..c0c9db2d1 100644 --- a/stdlib/source/program/aedifex/format.lux +++ b/stdlib/source/program/aedifex/format.lux @@ -18,7 +18,7 @@ ["#." artifact (#+ Artifact) ["#/." type]]]) -(type: #export (Format a) +(type: .public (Format a) (-> a Code)) (def: (license [name url type]) @@ -139,7 +139,7 @@ (` [(~ (code.text program)) (~+ (list\map code.text parameters))])) -(def: #export (profile value) +(def: .public (profile value) (Format /.Profile) (`` (|> ..empty (..on_list "parents" (get@ #/.parents value) code.text) @@ -163,7 +163,7 @@ [#/.ruby])) ..aggregate))) -(def: #export project +(def: .public project (Format Project) (|>> dictionary.entries (list\map (function (_ [key value]) diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index 4e83b8f07..95247c471 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -31,18 +31,18 @@ (#static getInstance [java/lang/String] java/security/MessageDigest) (digest [[byte]] [byte])]) -(abstract: #export SHA-1 Any) -(abstract: #export MD5 Any) +(abstract: .public SHA-1 Any) +(abstract: .public MD5 Any) -(abstract: #export (Hash h) +(abstract: .public (Hash h) Binary - (def: #export data + (def: .public data (All [h] (-> (Hash h) Binary)) (|>> :representation)) (template [<name> <kind> <algorithm>] - [(def: #export (<name> value) + [(def: .public (<name> value) (-> Binary (Hash <kind>)) (|> (java/security/MessageDigest::getInstance [<algorithm>]) (java/security/MessageDigest::digest [value]) @@ -77,14 +77,14 @@ (def: hex_per_chunk (n.* hex_per_byte i64.bytes_per_i64)) - (exception: #export (not_a_hash {size Nat} {value Text}) + (exception: .public (not_a_hash {size Nat} {value Text}) (exception.report ["Pseudo hash" (%.text value)] ["Expected size" (%.nat size)] ["Actual size" (%.nat (text.size value))])) (template [<name> <size>] - [(exception: #export (<name> {data Binary}) + [(exception: .public (<name> {data Binary}) (exception.report ["Pseudo hash" (%.text (..encode data))] ["Expected size" (%.nat <size>)] @@ -95,7 +95,7 @@ ) (template [<name> <kind> <size> <exception>] - [(def: #export (<name> data) + [(def: .public (<name> data) (-> Binary (Try (Hash <kind>))) (if (n.= <size> (binary.size data)) (#try.Success (:abstraction data)) @@ -146,7 +146,7 @@ (exception.except ..not_a_hash [(..encoding_size size) encoded])))) (template [<codec> <hash> <nat> <constructor>] - [(implementation: #export <codec> + [(implementation: .public <codec> (Codec Text (Hash <hash>)) (def: encode (|>> :representation ..encode)) @@ -156,7 +156,7 @@ [md5_codec MD5 ..md5::size ..as_md5] ) - (implementation: #export equivalence + (implementation: .public equivalence (All [h] (Equivalence (Hash h))) (def: (= reference subject) diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index 73b3c383b..6a635589e 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -46,7 +46,7 @@ [..lux_parser] [(list) (<code>.run //parser.project)]))) -(def: #export (read monad fs profile) +(def: .public (read monad fs profile) (All [!] (-> (Monad !) (file.System !) Text (! (Try Profile)))) (|> //project.file (\ fs read) diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux index b3a358484..021ce9ca7 100644 --- a/stdlib/source/program/aedifex/local.lux +++ b/stdlib/source/program/aedifex/local.lux @@ -12,10 +12,10 @@ (def: / uri.separator) -(def: #export repository +(def: .public repository URI (format ".m2" / "repository")) -(def: #export (uri version artifact) +(def: .public (uri version artifact) (-> Version Artifact URI) (format ..repository / (//artifact.uri version artifact))) diff --git a/stdlib/source/program/aedifex/metadata.lux b/stdlib/source/program/aedifex/metadata.lux index 40a7bd612..7b883e4f8 100644 --- a/stdlib/source/program/aedifex/metadata.lux +++ b/stdlib/source/program/aedifex/metadata.lux @@ -15,7 +15,7 @@ Path "maven-metadata.xml") -(def: #export (remote_artifact_uri artifact) +(def: .public (remote_artifact_uri artifact) (-> Artifact URI) (let [/ uri.separator] (format (//artifact.directory / (get@ #//artifact.group artifact)) @@ -23,7 +23,7 @@ / (get@ #//artifact.version artifact) / ..remote_file))) -(def: #export (remote_project_uri artifact) +(def: .public (remote_project_uri artifact) (-> Artifact URI) (let [/ uri.separator] (format (//artifact.directory / (get@ #//artifact.group artifact)) @@ -34,10 +34,10 @@ Path "maven-metadata-local.xml") -(def: #export (local_uri remote_uri) +(def: .public (local_uri remote_uri) (-> URI URI) (text.replace_once ..remote_file ..local_file remote_uri)) -(def: #export (remote_uri local_uri) +(def: .public (remote_uri local_uri) (-> URI URI) (text.replace_once ..local_file ..remote_file local_uri)) diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 777c7df1b..0bd6d4a12 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -38,7 +38,7 @@ [repository (#+ Repository)] ["#." artifact (#+ Group Name Version Artifact)]]]) -(type: #export Metadata +(type: .public Metadata {#group Group #name Name #versions (List Version) @@ -95,7 +95,7 @@ (-> (List Version) XML) (|>> (list\map ..version_format) (#xml.Node ..<versions> xml.attributes))) -(def: #export (format value) +(def: .public (format value) (-> Metadata XML) (#xml.Node ..<metadata> xml.attributes @@ -141,7 +141,7 @@ (in (instant.of_date_time date time))) (..text ..<last_updated>))) -(def: #export parser +(def: .public parser (Parser Metadata) (<| (<xml>.node ..<metadata>) ($_ <>.and @@ -155,7 +155,7 @@ (<xml>.somewhere ..last_updated_parser) ))))) -(def: #export equivalence +(def: .public equivalence (Equivalence Metadata) ($_ product.equivalence text.equivalence @@ -164,7 +164,7 @@ instant.equivalence )) -(def: #export uri +(def: .public uri (-> Artifact URI) //.remote_project_uri) @@ -172,7 +172,7 @@ Instant (instant.of_millis +0)) -(def: #export (read repository artifact) +(def: .public (read repository artifact) (-> (Repository Async) Artifact (Async (Try Metadata))) (do async.monad [project (\ repository download (..uri artifact))] @@ -192,7 +192,7 @@ #versions (list) #last_updated ..epoch})))))) -(def: #export (write repository artifact metadata) +(def: .public (write repository artifact metadata) (-> (Repository Async) Artifact Metadata (Async (Try Any))) (|> metadata ..format diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 6a9d812c9..69e3432fa 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -45,7 +45,7 @@ ["#/." version] ["#/." stamp]]]]]) -(type: #export Metadata +(type: .public Metadata {#artifact Artifact #versioning Versioning}) @@ -68,7 +68,7 @@ [version_format Version ..<version> (|>)] ) -(def: #export (format (^slots [#artifact #versioning])) +(def: .public (format (^slots [#artifact #versioning])) (-> Metadata XML) (let [(^slots [#///artifact.group #///artifact.name #///artifact.version]) artifact] (#xml.Node ..<metadata> @@ -83,7 +83,7 @@ (<| (<xml>.node tag) <xml>.text)) -(def: #export parser +(def: .public parser (Parser Metadata) (<| (<xml>.node ..<metadata>) (do {! <>.monad} @@ -111,18 +111,18 @@ #///artifact.version version} #versioning versioning})))) -(def: #export equivalence +(def: .public equivalence (Equivalence Metadata) ($_ product.equivalence ///artifact.equivalence ///artifact/versioning.equivalence )) -(def: #export uri +(def: .public uri (-> Artifact URI) //.remote_artifact_uri) -(def: #export (read repository artifact) +(def: .public (read repository artifact) (-> (Repository Async) Artifact (Async (Try Metadata))) (do async.monad [project (\ repository download (..uri artifact))] @@ -139,7 +139,7 @@ {#artifact artifact #versioning ///artifact/versioning.init}))))) -(def: #export (write repository artifact metadata) +(def: .public (write repository artifact metadata) (-> (Repository Async) Artifact Metadata (Async (Try Any))) (|> metadata ..format diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux index 1144e8f4a..ea9c2a6d8 100644 --- a/stdlib/source/program/aedifex/package.lux +++ b/stdlib/source/program/aedifex/package.lux @@ -28,13 +28,13 @@ [remote (#+ Address)] ["#." origin (#+ Origin)]]]) -(type: #export Package +(type: .public Package {#origin Origin #library [Binary Status] #pom [XML Binary Status]}) (template [<name> <tag>] - [(def: #export (<name> package) + [(def: .public (<name> package) (-> Package Bit) (case (get@ #origin package) (<tag> _) @@ -47,7 +47,7 @@ [remote? #//origin.Remote] ) -(def: #export (local pom library) +(def: .public (local pom library) (-> XML Binary Package) {#origin (#//origin.Local "") #library [library @@ -59,7 +59,7 @@ (#//status.Verified (//hash.sha-1 binary_pom) (//hash.md5 binary_pom))])}) -(def: #export dependencies +(def: .public dependencies (-> Package (Try (Set Dependency))) (|>> (get@ #pom) product.left @@ -67,7 +67,7 @@ (<xml>.run //pom.parser) (try\map (get@ #/.dependencies)))) -(def: #export repositories +(def: .public repositories (-> Package (Try (Set Address))) (|>> (get@ #pom) product.left @@ -75,7 +75,7 @@ (<xml>.run //pom.parser) (try\map (get@ #/.repositories)))) -(def: #export equivalence +(def: .public equivalence (Equivalence Package) ($_ product.equivalence //origin.equivalence diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux index 7405deebc..9eaba0b92 100644 --- a/stdlib/source/program/aedifex/parser.lux +++ b/stdlib/source/program/aedifex/parser.lux @@ -258,7 +258,7 @@ ^ruby ))) -(def: #export project +(def: .public project (Parser Project) (let [default_profile (: (Parser Project) (\ <>.monad map diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index e1f242b69..13900d276 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -41,7 +41,7 @@ (def: artifact_tag "artifactId") (def: version_tag "version") -(def: #export file +(def: .public file file.Path "pom.xml") @@ -138,7 +138,7 @@ )) ) -(def: #export (write value) +(def: .public (write value) (-> /.Profile (Try XML)) (case (get@ #/.identity value) (#.Some identity) @@ -210,7 +210,7 @@ (<| (<xml>.node ["" "parent"]) ..own_version)) -(def: #export parser +(def: .public parser (Parser /.Profile) (do {! <>.monad} [own_version (<>.else "" (<xml>.somewhere ..own_version)) diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index fc9ae2d42..93eeec473 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -32,12 +32,12 @@ [repository [remote (#+ Address)]]]) -(def: #export default_compiler +(def: .public default_compiler Dependency {#dependency.artifact ["com.github.luxlang" "lux-jvm" "0.6.0-SNAPSHOT"] #dependency.type type.jvm_library}) -(type: #export Distribution +(type: .public Distribution #Repo #Manual) @@ -55,7 +55,7 @@ _ false))) -(type: #export License +(type: .public License [Text URL Distribution]) @@ -67,10 +67,10 @@ text.equivalence ..distribution_equivalence)) -(type: #export SCM +(type: .public SCM URL) -(type: #export Organization +(type: .public Organization [Text URL]) @@ -80,10 +80,10 @@ text.equivalence text.equivalence)) -(type: #export Email +(type: .public Email Text) -(type: #export Developer +(type: .public Developer [Text Email (Maybe Organization)]) @@ -95,10 +95,10 @@ text.equivalence (maybe.equivalence ..organization_equivalence))) -(type: #export Contributor +(type: .public Contributor Developer) -(type: #export Info +(type: .public Info {#url (Maybe URL) #scm (Maybe SCM) #description (Maybe Text) @@ -118,7 +118,7 @@ (list.equivalence ..developer_equivalence) (list.equivalence ..developer_equivalence))) -(def: #export default_info +(def: .public default_info Info {#url #.None #scm #.None @@ -128,32 +128,32 @@ #developers (list) #contributors (list)}) -(type: #export Source +(type: .public Source Path) -(def: #export default_source +(def: .public default_source Source "source") -(type: #export Target +(type: .public Target Path) -(def: #export default_target +(def: .public default_target Target "target") -(def: #export default_repository +(def: .public default_repository Address "https://repo1.maven.org/maven2/") -(type: #export Name +(type: .public Name Text) -(def: #export default +(def: .public default Name "") -(type: #export Profile +(type: .public Profile {#parents (List Name) #identity (Maybe Artifact) #info (Maybe Info) @@ -171,7 +171,7 @@ #lua Runtime #ruby Runtime}) -(def: #export equivalence +(def: .public equivalence (Equivalence Profile) ($_ product.equivalence ## #parents @@ -207,7 +207,7 @@ ## #ruby runtime.equivalence)) -(implementation: #export monoid +(implementation: .public monoid (Monoid Profile) (def: identity @@ -254,4 +254,4 @@ #lua (!runtime #lua runtime.default_lua) #ruby (!runtime #ruby runtime.default_ruby)}))) -(exception: #export no_identity) +(exception: .public no_identity) diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index f8fb0334d..30c4d9538 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -18,21 +18,21 @@ ["." // #_ ["#" profile (#+ Name Profile)]]) -(def: #export file +(def: .public file "project.lux") -(type: #export Project +(type: .public Project (Dictionary Name Profile)) -(def: #export (project name profile) +(def: .public (project name profile) (-> Name Profile Project) (dictionary.of_list text.hash (list [name profile]))) -(def: #export equivalence +(def: .public equivalence (Equivalence Project) (dictionary.equivalence //.equivalence)) -(implementation: #export monoid +(implementation: .public monoid (Monoid Project) (def: identity @@ -41,11 +41,11 @@ (def: compose (dictionary.merged_with (\ //.monoid compose)))) -(exception: #export (unknown_profile {name Name}) +(exception: .public (unknown_profile {name Name}) (exception.report ["Name" (%.text name)])) -(exception: #export (circular_dependency {dependee Name} {dependent Name}) +(exception: .public (circular_dependency {dependee Name} {dependent Name}) (exception.report ["Dependent" (%.text dependent)] ["Dependee" (%.text dependee)])) @@ -71,6 +71,6 @@ #.None (exception.except ..unknown_profile [name]))) -(def: #export (profile name project) +(def: .public (profile name project) (-> Name Project (Try Profile)) (..profile' (set.empty text.hash) project name)) diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index 1ab1e0602..8d6d63b3a 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -15,7 +15,7 @@ [net [uri (#+ URI)]]]]]) -(interface: #export (Repository !) +(interface: .public (Repository !) (: Text description) (: (-> URI (! (Try Binary))) @@ -23,7 +23,7 @@ (: (-> URI Binary (! (Try Any))) upload)) -(def: #export (async repository) +(def: .public (async repository) (-> (Repository IO) (Repository Async)) (implementation (def: description @@ -35,7 +35,7 @@ (async.future (\ repository upload uri content))) )) -(interface: #export (Mock s) +(interface: .public (Mock s) (: Text the_description) (: (-> URI s (Try [s Binary])) @@ -43,7 +43,7 @@ (: (-> URI Binary s (Try s)) on_upload)) -(def: #export (mock mock init) +(def: .public (mock mock init) (All [s] (-> (Mock s) s (Repository Async))) (let [state (stm.var init)] (implementation diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux index dccecf291..742c1aef2 100644 --- a/stdlib/source/program/aedifex/repository/identity.lux +++ b/stdlib/source/program/aedifex/repository/identity.lux @@ -11,17 +11,17 @@ [encoding ["." utf8]]]]]]) -(type: #export User +(type: .public User Text) -(type: #export Password +(type: .public Password Text) -(type: #export Identity +(type: .public Identity {#user User #password Password}) -(def: #export equivalence +(def: .public equivalence (Equivalence Identity) ($_ product.equivalence text.equivalence @@ -36,7 +36,7 @@ ["#::." (#static getEncoder [] java/util/Base64$Encoder)]) -(def: #export (basic_auth user password) +(def: .public (basic_auth user password) (-> User Password Text) (let [credentials (\ utf8.codec encode (format user ":" password))] (|> (java/util/Base64::getEncoder) diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux index 6cfdd0f0b..f59a04b85 100644 --- a/stdlib/source/program/aedifex/repository/local.lux +++ b/stdlib/source/program/aedifex/repository/local.lux @@ -36,7 +36,7 @@ (..path /) (format (..root program /) /))) -(implementation: #export (repository program fs) +(implementation: .public (repository program fs) (-> (Program Async) (file.System Async) (//.Repository Async)) (def: description diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux index be7d24a6e..b850bf21f 100644 --- a/stdlib/source/program/aedifex/repository/origin.lux +++ b/stdlib/source/program/aedifex/repository/origin.lux @@ -10,11 +10,11 @@ [file (#+ Path)] [net (#+ URL)]]]]) -(type: #export Origin +(type: .public Origin (#Local Path) (#Remote URL)) -(def: #export equivalence +(def: .public equivalence (Equivalence Origin) ($_ sum.equivalence text.equivalence diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux index 76363c94f..feaf3201f 100644 --- a/stdlib/source/program/aedifex/repository/remote.lux +++ b/stdlib/source/program/aedifex/repository/remote.lux @@ -30,11 +30,11 @@ ["#." artifact (#+ Version Artifact) [extension (#+ Extension)]]]]) -(type: #export Address +(type: .public Address URL) (template [<name>] - [(exception: #export (<name> {url URL} {status Nat}) + [(exception: .public (<name> {url URL} {status Nat}) (exception.report ["URL" (%.text url)] ["Status Code" (%.nat status)]))] @@ -43,18 +43,18 @@ [upload_failure] ) -(def: #export (uri version_template artifact extension) +(def: .public (uri version_template artifact extension) (-> Version Artifact Extension URI) (format (///artifact.uri version_template artifact) extension)) -(def: #export user_agent +(def: .public user_agent (format "LuxAedifex/" (version.format language/lux.version))) (def: base_headers (List [Text Text]) (list ["User-Agent" ..user_agent])) -(implementation: #export (repository http identity address) +(implementation: .public (repository http identity address) (All [s] (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO))) (def: description diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux index ea34fc0fe..842708e44 100644 --- a/stdlib/source/program/aedifex/runtime.lux +++ b/stdlib/source/program/aedifex/runtime.lux @@ -14,18 +14,18 @@ [world ["." file]]]]) -(type: #export Runtime +(type: .public Runtime {#program Text #parameters (List Text)}) -(def: #export equivalence +(def: .public equivalence (Equivalence Runtime) (product.equivalence text.equivalence (list.equivalence text.equivalence))) (template [<name> <command> <parameters>] - [(def: #export <name> + [(def: .public <name> Runtime {#program <command> #parameters (`` (list (~~ (template.spliced <parameters>))))})] @@ -38,7 +38,7 @@ [default_ruby "ruby" []] ) -(def: #export (for runtime path) +(def: .public (for runtime path) (-> Runtime file.Path Runtime) (update@ #parameters (function (_ parameters) |