aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/program/aedifex.lux1
-rw-r--r--stdlib/source/program/aedifex/command/deploy.lux1
-rw-r--r--stdlib/source/program/aedifex/input.lux68
-rw-r--r--stdlib/source/program/aedifex/metadata/artifact.lux10
-rw-r--r--stdlib/source/program/aedifex/metadata/snapshot.lux19
-rw-r--r--stdlib/source/program/aedifex/pom.lux7
6 files changed, 53 insertions, 53 deletions
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux
index af302a16b..4145bb9c5 100644
--- a/stdlib/source/program/aedifex.lux
+++ b/stdlib/source/program/aedifex.lux
@@ -6,7 +6,6 @@
[abstract
[monad {"+" do}]]
[control
- [pipe {"+" do>}]
["[0]" io {"+" IO}]
["[0]" try {"+" Try} ("[1]#[0]" functor)]
["[0]" exception {"+" exception:}]
diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux
index 180f39a95..eeecd1f8d 100644
--- a/stdlib/source/program/aedifex/command/deploy.lux
+++ b/stdlib/source/program/aedifex/command/deploy.lux
@@ -4,7 +4,6 @@
[abstract
[monad {"+" do}]]
[control
- [pipe {"+" do>}]
["[0]" try {"+" Try}]
[concurrency
["[0]" async {"+" Async} ("[1]#[0]" monad)]]
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index c824e7497..e36db11f0 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -1,34 +1,34 @@
(.using
- [library
- [lux "*"
- [abstract
- ["[0]" monad {"+" Monad do}]
- ["[0]" mix]]
- [control
- [pipe {"+" do>}]
- ["[0]" try {"+" Try}]
- [parser
- ["<[0]>" code]]]
- [data
- [binary {"+" Binary}]
- ["[0]" text
- [encoding
- ["[0]" utf8]]]
- [collection
- ["[0]" list]]]
- [meta
- ["[0]" location]]
- [tool
- [compiler
- [language
- [lux
- ["[0]" syntax]]]]]
- [world
- ["[0]" file]]]]
- ["[0]" // "_"
- ["[1][0]" profile {"+" Name Profile}]
- ["[1][0]" project {"+" Project}]
- ["[1][0]" parser]])
+ [library
+ [lux "*"
+ [abstract
+ ["[0]" monad {"+" Monad do}]
+ ["[0]" mix]]
+ [control
+ ["[0]" pipe]
+ ["[0]" try {"+" Try}]
+ [parser
+ ["<[0]>" code]]]
+ [data
+ [binary {"+" Binary}]
+ ["[0]" text
+ [encoding
+ ["[0]" utf8]]]
+ [collection
+ ["[0]" list]]]
+ [meta
+ ["[0]" location]]
+ [tool
+ [compiler
+ [language
+ [lux
+ ["[0]" syntax]]]]]
+ [world
+ ["[0]" file]]]]
+ ["[0]" // "_"
+ ["[1][0]" profile {"+" Name Profile}]
+ ["[1][0]" project {"+" Project}]
+ ["[1][0]" parser]])
(def: (lux_parser source_code)
(-> Text (Try Code))
@@ -44,10 +44,10 @@
(def: project_parser
(-> Binary (Try Project))
- (|>> (do> try.monad
- [(# utf8.codec decoded)]
- [..lux_parser]
- [(list) (<code>.result //parser.project)])))
+ (|>> (pipe.do try.monad
+ [(# utf8.codec decoded)]
+ [..lux_parser]
+ [(list) (<code>.result //parser.project)])))
(def: .public (read monad fs profiles)
(All (_ !) (-> (Monad !) (file.System !) (List Name) (! (Try Profile))))
diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux
index 90ce39aa7..7a2957ae0 100644
--- a/stdlib/source/program/aedifex/metadata/artifact.lux
+++ b/stdlib/source/program/aedifex/metadata/artifact.lux
@@ -5,7 +5,7 @@
[monad {"+" do}]
[equivalence {"+" Equivalence}]]
[control
- [pipe {"+" do>}]
+ ["[0]" pipe]
["[0]" try {"+" Try}]
["<>" parser
["<[0]>" xml {"+" Parser}]
@@ -182,10 +182,10 @@
(case project
{try.#Success binary_metadata}
(in (|> binary_metadata
- (do> try.monad
- [(# utf8.codec decoded)]
- [(# xml.codec decoded)]
- [list (<xml>.result ..parser)])))
+ (pipe.do try.monad
+ [(# utf8.codec decoded)]
+ [(# xml.codec decoded)]
+ [list (<xml>.result ..parser)])))
{try.#Failure error}
(in {try.#Success
diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index 7aa41ff78..83ba59279 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -5,7 +5,7 @@
[monad {"+" do}]
[equivalence {"+" Equivalence}]]
[control
- [pipe {"+" do> case>}]
+ ["[0]" pipe]
["[0]" try {"+" Try}]
["[0]" exception {"+" exception:}]
["<>" parser
@@ -99,11 +99,12 @@
(revised ///artifact/versioning.#versions
(: (-> (List ///artifact/snapshot/version.Version)
(List ///artifact/snapshot/version.Version))
- (|>> (case> (^ (list))
- (list <default_version>)
+ (|>> (pipe.case
+ (^ (list))
+ (list <default_version>)
- versions
- versions)))))
+ versions
+ versions)))))
(<>.else [///artifact/versioning.#snapshot {///artifact/snapshot.#Local}
///artifact/versioning.#last_updated ///artifact/time.epoch
///artifact/versioning.#versions (list <default_version>)])))]
@@ -130,10 +131,10 @@
(case project
{try.#Success project}
(in (|> project
- (do> try.monad
- [(# utf8.codec decoded)]
- [(# xml.codec decoded)]
- [list (<xml>.result ..parser)])))
+ (pipe.do try.monad
+ [(# utf8.codec decoded)]
+ [(# xml.codec decoded)]
+ [list (<xml>.result ..parser)])))
{try.#Failure error}
(in {try.#Success
diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux
index ccb7f11ac..323afbb80 100644
--- a/stdlib/source/program/aedifex/pom.lux
+++ b/stdlib/source/program/aedifex/pom.lux
@@ -4,7 +4,7 @@
[abstract
[monad {"+" do}]]
[control
- [pipe {"+" case>}]
+ ["[0]" pipe]
["[0]" maybe ("[1]#[0]" functor)]
["[0]" try {"+" Try}]
["[0]" exception]
@@ -65,8 +65,9 @@
(def: distribution
(-> /.Distribution XML)
- (|>> (case> {/.#Repo} "repo"
- {/.#Manual} "manual")
+ (|>> (pipe.case
+ {/.#Repo} "repo"
+ {/.#Manual} "manual")
(..property "distribution")))
(def: (license [name url distribution])
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 18:43:55 +0000