aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
authorEduardo Julian2021-08-27 20:59:34 -0400
committerEduardo Julian2021-08-27 20:59:34 -0400
commitc5b61d2f46ac19bf511197f3a537c4be0f47df33 (patch)
treecd62d188403e9b3998ba293dc5308719a430f1fe /stdlib/source/program/aedifex
parente814f667aed509a70bd386dcd54628929134def4 (diff)
Updates to the Ruby compiler.
Diffstat (limited to 'stdlib/source/program/aedifex')
-rw-r--r--stdlib/source/program/aedifex/command/auto.lux2
-rw-r--r--stdlib/source/program/aedifex/command/build.lux6
-rw-r--r--stdlib/source/program/aedifex/dependency/deployment.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux2
-rw-r--r--stdlib/source/program/aedifex/format.lux8
-rw-r--r--stdlib/source/program/aedifex/hash.lux6
-rw-r--r--stdlib/source/program/aedifex/input.lux2
-rw-r--r--stdlib/source/program/aedifex/parser.lux4
-rw-r--r--stdlib/source/program/aedifex/repository.lux2
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux2
10 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 77a0c8714..a4f6e0fca 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -44,7 +44,7 @@
(async.after delay (#try.Success [])))
(def: .public (do! delay watcher command)
- (All [a]
+ (All (_ a)
(-> Nat (Watcher Async)
(-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit a]))
(-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))))
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index ff4ace158..421fd7086 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -110,7 +110,7 @@
(exception.except ..no_available_compiler []))))
(def: (path fs home dependency)
- (All [!] (-> (file.System !) Path Dependency Path))
+ (All (_ !) (-> (file.System !) Path Dependency Path))
(let [/ (\ fs separator)
artifact (value@ #///dependency.artifact dependency)]
(|> artifact
@@ -120,7 +120,7 @@
(text.suffix (format "." (value@ #///dependency.type dependency))))))
(def: (libraries fs home)
- (All [!] (-> (file.System !) Path Resolution (List Path)))
+ (All (_ !) (-> (file.System !) Path Resolution (List Path)))
(|>> dictionary.keys
(list.only (|>> (value@ #///dependency.type)
(text\= ///artifact/type.lux_library)))
@@ -155,7 +155,7 @@
false))))
(def: .public (host_dependencies fs home)
- (All [!] (-> (file.System !) Path Resolution (List Path)))
+ (All (_ !) (-> (file.System !) Path Resolution (List Path)))
(|>> dictionary.keys
(list.only (|>> (value@ #///dependency.type)
(text\= ///artifact/type.lux_library)
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index 22788dc3d..92f0b55bf 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -44,7 +44,7 @@
(-> (Repository Async) ///artifact.Version Dependency [Binary Status] (Async (Try Any)))
(let [artifact (format (///artifact.uri version_template artifact)
(///artifact/extension.extension type))
- deploy_hash (: (All [h] (-> (Codec Text (Hash h)) Extension (Hash h) (Async (Try Any))))
+ deploy_hash (: (All (_ h) (-> (Codec Text (Hash h)) Extension (Hash h) (Async (Try Any))))
(function (_ codec extension hash)
(|> hash
(\ codec encoded)
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 8de6d2423..a90712796 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -74,7 +74,7 @@
(trim [] java/lang/String)])
(def: (verified_hash library repository version_template artifact extension hash codec exception)
- (All [h]
+ (All (_ h)
(-> Binary (Repository Async) Version Artifact Extension
(-> Binary (Hash h)) (Codec Text (Hash h))
(Exception [Artifact Extension Text])
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index d36d597b3..1933d2be0 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -68,7 +68,7 @@
(dictionary.empty text.hash))
(def: (on_maybe field value format aggregate)
- (All [a]
+ (All (_ a)
(-> Text (Maybe a) (Format a) Aggregate Aggregate))
(case value
#.None
@@ -78,7 +78,7 @@
(dictionary.has field (format value) aggregate)))
(def: (on_list field value format aggregate)
- (All [a]
+ (All (_ a)
(-> Text (List a) (Format a) Aggregate Aggregate))
(case value
#.End
@@ -88,12 +88,12 @@
(dictionary.has field (` [(~+ (list\each format value))]) aggregate)))
(def: (on_set field value format aggregate)
- (All [a]
+ (All (_ a)
(-> Text (Set a) (Format a) Aggregate Aggregate))
(..on_list field (set.list value) format aggregate))
(def: (on_dictionary field value key_format value_format aggregate)
- (All [k v]
+ (All (_ k v)
(-> Text (Dictionary k v) (Format k) (Format v) Aggregate Aggregate))
(if (dictionary.empty? value)
aggregate
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 74e78ca55..403fdb677 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -40,7 +40,7 @@
Binary
(def: .public data
- (All [h] (-> (Hash h) Binary))
+ (All (_ h) (-> (Hash h) Binary))
(|>> :representation))
(template [<name> <kind> <algorithm>]
@@ -116,7 +116,7 @@
(n.* ..hex_per_byte))
(def: (decoded size constructor encoded)
- (All [h]
+ (All (_ h)
(-> Nat (-> Binary (Try (Hash h)))
(-> Text (Try (Hash h)))))
(let [hash_size (..hash_size encoded)]
@@ -159,7 +159,7 @@
)
(implementation: .public equivalence
- (All [h] (Equivalence (Hash h)))
+ (All (_ h) (Equivalence (Hash h)))
(def: (= reference subject)
(\ binary.equivalence =
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 43edc3404..08f309968 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -50,7 +50,7 @@
[(list) (<code>.result //parser.project)])))
(def: .public (read monad fs profiles)
- (All [!] (-> (Monad !) (file.System !) (List Name) (! (Try Profile))))
+ (All (_ !) (-> (Monad !) (file.System !) (List Name) (! (Try Profile))))
(|> //project.file
(\ fs read)
(\ monad each
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 8ece73b51..21c8ac270 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -38,12 +38,12 @@
(list)))
(def: (singular input tag parser)
- (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser a)))
+ (All (_ a) (-> (Dictionary Text Code) Text (Parser a) (Parser a)))
(<code>.local (..as_input (dictionary.value tag input))
parser))
(def: (plural input tag parser)
- (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser (List a))))
+ (All (_ a) (-> (Dictionary Text Code) Text (Parser a) (Parser (List a))))
(<code>.local (..as_input (dictionary.value tag input))
(<code>.tuple (<>.some parser))))
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index d1aa5a1b9..38fb27ead 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -46,7 +46,7 @@
on_upload)))
(def: .public (mock mock init)
- (All [s] (-> (Mock s) s (Repository Async)))
+ (All (_ s) (-> (Mock s) s (Repository Async)))
(let [state (stm.var init)]
(implementation
(def: description
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index d6cea3f06..af9613db7 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -55,7 +55,7 @@
(list ["User-Agent" ..user_agent]))
(implementation: .public (repository http identity address)
- (All [s] (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO)))
+ (All (_ s) (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO)))
(def: description
address)