aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex/action.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact.lux24
-rw-r--r--stdlib/source/program/aedifex/artifact/extension.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/build.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/stamp.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/time.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/snapshot/version/value.lux8
-rw-r--r--stdlib/source/program/aedifex/artifact/time.lux14
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux20
-rw-r--r--stdlib/source/program/aedifex/artifact/time/time.lux6
-rw-r--r--stdlib/source/program/aedifex/artifact/type.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/versioning.lux10
-rw-r--r--stdlib/source/program/aedifex/cli.lux8
-rw-r--r--stdlib/source/program/aedifex/command.lux2
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux4
-rw-r--r--stdlib/source/program/aedifex/command/build.lux24
-rw-r--r--stdlib/source/program/aedifex/command/clean.lux4
-rw-r--r--stdlib/source/program/aedifex/command/deploy.lux4
-rw-r--r--stdlib/source/program/aedifex/command/deps.lux2
-rw-r--r--stdlib/source/program/aedifex/command/install.lux6
-rw-r--r--stdlib/source/program/aedifex/command/pom.lux4
-rw-r--r--stdlib/source/program/aedifex/command/test.lux8
-rw-r--r--stdlib/source/program/aedifex/command/version.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency.lux8
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux4
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux16
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux6
-rw-r--r--stdlib/source/program/aedifex/format.lux6
-rw-r--r--stdlib/source/program/aedifex/hash.lux20
-rw-r--r--stdlib/source/program/aedifex/input.lux2
-rw-r--r--stdlib/source/program/aedifex/local.lux4
-rw-r--r--stdlib/source/program/aedifex/metadata.lux8
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux14
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux14
-rw-r--r--stdlib/source/program/aedifex/package.lux12
-rw-r--r--stdlib/source/program/aedifex/parser.lux2
-rw-r--r--stdlib/source/program/aedifex/pom.lux6
-rw-r--r--stdlib/source/program/aedifex/profile.lux42
-rw-r--r--stdlib/source/program/aedifex/project.lux16
-rw-r--r--stdlib/source/program/aedifex/repository.lux8
-rw-r--r--stdlib/source/program/aedifex/repository/identity.lux10
-rw-r--r--stdlib/source/program/aedifex/repository/local.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/origin.lux4
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux10
-rw-r--r--stdlib/source/program/aedifex/runtime.lux8
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)