diff options
Diffstat (limited to '')
25 files changed, 162 insertions, 162 deletions
diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index 3160ef356..a26e70e50 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -37,7 +37,7 @@ (def: #export equivalence (Equivalence Artifact) - (:: ..hash &equivalence)) + (\ ..hash &equivalence)) (template [<separator> <definition>] [(def: <definition> @@ -81,7 +81,7 @@ (def: #export (path system) (All [!] (-> (file.System !) Artifact Path)) - (..address (:: system separator))) + (..address (\ system separator))) (def: #export (local artifact) (-> Artifact (List Text)) diff --git a/stdlib/source/program/aedifex/cache.lux b/stdlib/source/program/aedifex/cache.lux index 1aee65405..31403b839 100644 --- a/stdlib/source/program/aedifex/cache.lux +++ b/stdlib/source/program/aedifex/cache.lux @@ -37,14 +37,14 @@ (do (try.with promise.monad) [file (: (Promise (Try (File Promise))) (file.get-file promise.monad system file))] - (!.use (:: file over-write) [content]))) + (!.use (\ file over-write) [content]))) (def: #export (write-one system [artifact type] package) (-> (file.System Promise) Dependency Package (Promise (Try Artifact))) (do (try.with promise.monad) [directory (: (Promise (Try Path)) (file.make-directories promise.monad system (//.path system artifact))) - #let [prefix (format directory (:: system separator) (//artifact.identity artifact))] + #let [prefix (format directory (\ system separator) (//artifact.identity artifact))] directory (: (Promise (Try (Directory Promise))) (file.get-directory promise.monad system directory)) _ (..write! system @@ -53,17 +53,17 @@ _ (..write! system (|> package (get@ #//package.sha-1) - (:: //hash.sha-1-codec encode) + (\ //hash.sha-1-codec encode) encoding.to-utf8) (format prefix //artifact/extension.sha-1)) _ (..write! system (|> package (get@ #//package.md5) - (:: //hash.md5-codec encode) + (\ //hash.md5-codec encode) encoding.to-utf8) (format prefix //artifact/extension.md5)) _ (..write! system - (|> package (get@ #//package.pom) (:: xml.codec encode) encoding.to-utf8) + (|> package (get@ #//package.pom) (\ xml.codec encode) encoding.to-utf8) (format prefix //artifact/extension.pom))] (wrap artifact))) @@ -75,49 +75,49 @@ (list.filter (|>> product.right //package.local? not)) (monad.map ! (function (_ [dependency package]) (..write-one system dependency package))) - (:: ! map (set.from-list //artifact.hash))))) + (\ ! map (set.from-list //artifact.hash))))) (def: (read! system path) (-> (file.System Promise) Path (Promise (Try Binary))) (do (try.with promise.monad) [file (: (Promise (Try (File Promise))) - (!.use (:: system file) path))] - (!.use (:: file content) []))) + (!.use (\ system file) path))] + (!.use (\ file content) []))) (def: (decode codec data) (All [a] (-> (Codec Text a) Binary (Try a))) (let [(^open "_\.") try.monad] (|> data encoding.from-utf8 - (_\map (:: codec decode)) + (_\map (\ codec decode)) _\join))) (def: #export (read-one system [artifact type]) (-> (file.System Promise) Dependency (Promise (Try Package))) (let [prefix (format (//.path system artifact) - (:: system separator) + (\ system separator) (//artifact.identity artifact))] (do (try.with promise.monad) [pom (..read! system (format prefix //artifact/extension.pom)) library (..read! system (format prefix (//artifact/extension.extension type))) sha-1 (..read! system (format prefix //artifact/extension.sha-1)) md5 (..read! system (format prefix //artifact/extension.md5))] - (:: promise.monad wrap - (do try.monad - [pom (..decode xml.codec pom) - sha-1 (..decode //hash.sha-1-codec sha-1) - md5 (..decode //hash.md5-codec md5)] - (wrap {#//package.origin #//package.Local - #//package.library library - #//package.pom pom - #//package.sha-1 sha-1 - #//package.md5 md5})))))) + (\ promise.monad wrap + (do try.monad + [pom (..decode xml.codec pom) + sha-1 (..decode //hash.sha-1-codec sha-1) + md5 (..decode //hash.md5-codec md5)] + (wrap {#//package.origin #//package.Local + #//package.library library + #//package.pom pom + #//package.sha-1 sha-1 + #//package.md5 md5})))))) (def: #export (read-all system dependencies resolution) (-> (file.System Promise) (List Dependency) Resolution (Promise (Try Resolution))) (case dependencies #.Nil - (:: (try.with promise.monad) wrap resolution) + (\ (try.with promise.monad) wrap resolution) (#.Cons head tail) (do promise.monad @@ -133,7 +133,7 @@ (do (try.with promise.monad) [sub-dependencies (|> package //package.dependencies - (:: promise.monad wrap)) + (\ promise.monad wrap)) resolution (|> resolution (dictionary.put head package) (read-all system (set.to-list sub-dependencies)))] diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index adf52a18b..d52bf4df6 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -84,6 +84,6 @@ ($_ <>.and cli.any ..command')) - (:: <>.monad map (|>> [/.default]) - ..command') + (\ <>.monad map (|>> [/.default]) + ..command') )) diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux index f7ec7a315..c2df31df5 100644 --- a/stdlib/source/program/aedifex/command/auto.lux +++ b/stdlib/source/program/aedifex/command/auto.lux @@ -28,15 +28,15 @@ (def: (targets fs path) (-> (file.System Promise) Path (Promise (List Path))) (do {! promise.monad} - [?root (!.use (:: fs directory) [path])] + [?root (!.use (\ fs directory) [path])] (case ?root (#try.Success root) (loop [root root] (do ! - [subs (:: ! map (|>> (try.default (list))) - (!.use (:: root directories) []))] - (:: ! map (|>> list.concat (list& (!.use (:: root scope) []))) - (monad.map ! recur subs)))) + [subs (\ ! map (|>> (try.default (list))) + (!.use (\ root directories) []))] + (\ ! map (|>> list.concat (list& (!.use (\ root scope) []))) + (monad.map ! recur subs)))) (#try.Failure error) (wrap (list))))) @@ -58,14 +58,14 @@ (get@ #///.sources) set.to-list (monad.map ! (..targets fs)) - (:: ! map list.concat))] + (\ ! map list.concat))] (do {! ///action.monad} - [_ (monad.map ! (:: watcher start watch.all) targets) + [_ (monad.map ! (\ watcher start watch.all) targets) _ <call>] (loop [_ []] (do ! [_ (..pause []) - events (:: watcher poll []) + events (\ watcher poll []) _ (case events (#.Cons _) (do ! diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index 30206095e..85210fd36 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -138,10 +138,10 @@ (#JS artifact) [(///runtime.node (///local.path fs artifact)) "program.js"])] [(format compiler " build") output]) - / (:: fs separator) + / (\ fs separator) cache-directory (format working-directory / target)] #let [_ (log! "[BUILD STARTED]")] - process (!.use (:: shell execute) + process (!.use (\ shell execute) [environment working-directory command @@ -149,7 +149,7 @@ (..plural "--source" (set.to-list (get@ #///.sources profile))) (..singular "--target" cache-directory) (..singular "--module" program)))]) - exit (!.use (:: process await) []) + exit (!.use (\ process await) []) #let [_ (log! (if (i.= shell.normal exit) "[BUILD ENDED]" "[BUILD FAILED]"))]] diff --git a/stdlib/source/program/aedifex/command/clean.lux b/stdlib/source/program/aedifex/command/clean.lux index f4f5e1f9e..618125a89 100644 --- a/stdlib/source/program/aedifex/command/clean.lux +++ b/stdlib/source/program/aedifex/command/clean.lux @@ -19,9 +19,9 @@ (-> (Directory Promise) (Promise (Try Any))) (do {! ///action.monad} [nodes (: (Promise (Try (List (File Promise)))) - (!.use (:: root files) [])) + (!.use (\ root files) [])) _ (monad.map ! (function (_ node) - (!.use (:: node delete) [])) + (!.use (\ node delete) [])) nodes)] (wrap []))) @@ -31,17 +31,17 @@ (#.Some target) (do {! ///action.monad} [target (: (Promise (Try (Directory Promise))) - (!.use (:: fs directory) target)) + (!.use (\ fs directory) target)) _ (loop [root target] (do ! [_ (..clean-files! root) subs (: (Promise (Try (List (Directory Promise)))) - (!.use (:: root directories) [])) + (!.use (\ root directories) [])) _ (monad.map ! recur subs)] - (!.use (:: root discard) [])))] + (!.use (\ root discard) [])))] (exec (log! "No 'target' defined for clean-up.") (wrap []))) #.None (exec (log! "No 'target' defined for clean-up.") - (:: ///action.monad wrap [])))) + (\ ///action.monad wrap [])))) diff --git a/stdlib/source/program/aedifex/command/deploy.lux b/stdlib/source/program/aedifex/command/deploy.lux index 839bc7906..1f5ccc441 100644 --- a/stdlib/source/program/aedifex/command/deploy.lux +++ b/stdlib/source/program/aedifex/command/deploy.lux @@ -33,15 +33,15 @@ (def: #export (do! repository fs identity artifact profile) (-> (Repository Promise) (file.System Promise) Identity Artifact (Command Any)) (let [deploy! (: (-> Extension Binary (Action Any)) - (:: repository upload identity artifact))] + (\ repository upload identity artifact))] (do {! ///action.monad} [library (|> profile (get@ #/.sources) set.to-list (export.library fs) - (:: ! map (binary.run tar.writer))) + (\ ! map (binary.run tar.writer))) pom (promise\wrap (///pom.write profile)) - _ (deploy! ///artifact/extension.pom (|> pom (:: xml.codec encode) encoding.to-utf8)) + _ (deploy! ///artifact/extension.pom (|> pom (\ xml.codec encode) encoding.to-utf8)) _ (deploy! ///artifact/extension.lux-library library) _ (deploy! ///artifact/extension.sha-1 (///hash.data (///hash.sha-1 library))) _ (deploy! ///artifact/extension.md5 (///hash.data (///hash.md5 library))) diff --git a/stdlib/source/program/aedifex/command/install.lux b/stdlib/source/program/aedifex/command/install.lux index 818283cc5..b152bc66c 100644 --- a/stdlib/source/program/aedifex/command/install.lux +++ b/stdlib/source/program/aedifex/command/install.lux @@ -39,7 +39,7 @@ (do (try.with promise.monad) [file (: (Promise (Try (File Promise))) (file.get-file promise.monad system file))] - (!.use (:: file over-write) [content]))) + (!.use (\ file over-write) [content]))) (def: #export (do! system profile) (-> (file.System Promise) (Command Any)) @@ -49,14 +49,14 @@ [package (export.library system (set.to-list (get@ #/.sources profile))) repository (: (Promise (Try Path)) (file.make-directories promise.monad system (///local.path system identity))) - #let [artifact-name (format repository (:: system separator) (///artifact.identity identity))] + #let [artifact-name (format repository (\ system separator) (///artifact.identity identity))] _ (..save! system (binary.run tar.writer package) (format artifact-name ///artifact/extension.lux-library)) - pom (:: promise.monad wrap (///pom.write profile)) - _ (..save! system (|> pom (:: xml.codec encode) encoding.to-utf8) + pom (\ promise.monad wrap (///pom.write profile)) + _ (..save! system (|> pom (\ xml.codec encode) encoding.to-utf8) (format artifact-name ///artifact/extension.pom)) #let [_ (log! "Successfully installed locally!")]] (wrap [])) _ - (:: promise.monad wrap (exception.throw /.no-identity [])))) + (\ promise.monad wrap (exception.throw /.no-identity [])))) diff --git a/stdlib/source/program/aedifex/command/pom.lux b/stdlib/source/program/aedifex/command/pom.lux index 695a7839f..28bd23921 100644 --- a/stdlib/source/program/aedifex/command/pom.lux +++ b/stdlib/source/program/aedifex/command/pom.lux @@ -28,8 +28,8 @@ file (: (Promise (Try (File Promise))) (file.get-file promise.monad fs ///pom.file)) outcome (|> pom - (:: xml.codec encode) + (\ xml.codec encode) encoding.to-utf8 - (!.use (:: file over-write))) + (!.use (\ file over-write))) #let [_ (log! "Successfully wrote POM file!")]] (wrap ///pom.file))) diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux index f4da76ac4..5c205b7b8 100644 --- a/stdlib/source/program/aedifex/command/test.lux +++ b/stdlib/source/program/aedifex/command/test.lux @@ -31,14 +31,14 @@ [[compiler program] (//build.do! environment fs shell resolution profile) working-directory (promise\wrap (//build.working-directory environment)) #let [_ (log! "[TEST STARTED]")] - process (!.use (:: shell execute) + process (!.use (\ shell execute) [environment working-directory (case compiler (#//build.JVM artifact) (///runtime.java program) (#//build.JS artifact) (///runtime.node program)) (list)]) - exit (!.use (:: process await) []) + exit (!.use (\ process await) []) #let [_ (log! (if (i.= shell.normal exit) "[TEST ENDED]" "[TEST FAILED]"))]] diff --git a/stdlib/source/program/aedifex/dependency.lux b/stdlib/source/program/aedifex/dependency.lux index db997ef3b..595891924 100644 --- a/stdlib/source/program/aedifex/dependency.lux +++ b/stdlib/source/program/aedifex/dependency.lux @@ -23,4 +23,4 @@ (def: #export equivalence (Equivalence Dependency) - (:: hash &equivalence)) + (\ hash &equivalence)) diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index f5dbb0d54..d21adaf0c 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -58,38 +58,38 @@ (Exception [Dependency Text]) (Promise (Try (///hash.Hash h))))) (do (try.with promise.monad) - [actual (:: repository download artifact extension)] - (:: promise.monad wrap - (do try.monad - [output (encoding.from-utf8 actual) - actual (:: codec decode output) - _ (exception.assert exception [dependency output] - (:: ///hash.equivalence = (hash library) actual))] - (wrap actual))))) + [actual (\ repository download artifact extension)] + (\ promise.monad wrap + (do try.monad + [output (encoding.from-utf8 actual) + actual (\ codec decode output) + _ (exception.assert exception [dependency output] + (\ ///hash.equivalence = (hash library) actual))] + (wrap actual))))) (def: #export (one repository dependency) (-> (Repository Promise) Dependency (Promise (Try Package))) (let [[artifact type] dependency extension (///artifact/extension.extension type)] (do (try.with promise.monad) - [library (:: repository download artifact extension) + [library (\ repository download artifact extension) sha-1 (..verified-hash dependency library repository artifact ///artifact/extension.sha-1 ///hash.sha-1 ///hash.sha-1-codec ..sha-1-does-not-match) md5 (..verified-hash dependency library repository artifact ///artifact/extension.md5 ///hash.md5 ///hash.md5-codec ..md5-does-not-match) - pom (:: repository download artifact ///artifact/extension.pom)] - (:: promise.monad wrap - (do try.monad - [pom (encoding.from-utf8 pom) - pom (:: xml.codec decode pom) - profile (<xml>.run ///pom.parser pom)] - (wrap {#///package.origin #///package.Remote - #///package.library library - #///package.pom pom - #///package.sha-1 sha-1 - #///package.md5 md5})))))) + pom (\ repository download artifact ///artifact/extension.pom)] + (\ promise.monad wrap + (do try.monad + [pom (encoding.from-utf8 pom) + pom (\ xml.codec decode pom) + profile (<xml>.run ///pom.parser pom)] + (wrap {#///package.origin #///package.Remote + #///package.library library + #///package.pom pom + #///package.sha-1 sha-1 + #///package.md5 md5})))))) (type: #export Resolution (Dictionary Dependency Package)) @@ -113,7 +113,7 @@ #.Nil (|> dependency (exception.throw ..cannot-resolve) - (:: promise.monad wrap)) + (\ promise.monad wrap)) (#.Cons repository alternatives) (do promise.monad @@ -129,7 +129,7 @@ (-> (List (Repository Promise)) (List Dependency) Resolution (Promise (Try Resolution))) (case dependencies #.Nil - (:: (try.with promise.monad) wrap resolution) + (\ (try.with promise.monad) wrap resolution) (#.Cons head tail) (do (try.with promise.monad) @@ -139,7 +139,7 @@ #.None (..any repositories head)) - sub-dependencies (:: promise.monad wrap (///package.dependencies package)) + sub-dependencies (\ promise.monad wrap (///package.dependencies package)) resolution (|> resolution (dictionary.put head package) (all repositories (set.to-list sub-dependencies)))] diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux index a484b9a0d..74d965f8c 100644 --- a/stdlib/source/program/aedifex/hash.lux +++ b/stdlib/source/program/aedifex/hash.lux @@ -53,7 +53,7 @@ (def: encode (Format Binary) (binary.fold (function (_ byte representation) - (let [hex (:: n.hex encode byte) + (let [hex (\ n.hex encode byte) hex (case (text.size hex) 1 (format "0" hex) _ hex)] @@ -124,7 +124,7 @@ (case (text.split ..hex-per-chunk input) (#.Some [head tail]) (do try.monad - [head (:: n.hex decode head) + [head (\ n.hex decode head) output (binary.write/64 index head output)] (recur tail (inc chunk) output)) @@ -134,7 +134,7 @@ (^template [<size> <write>] [<size> (do try.monad - [head (:: n.hex decode input) + [head (\ n.hex decode input) output (<write> index head output)] (constructor output))]) ([1 binary.write/8] @@ -158,7 +158,7 @@ (All [h] (Equivalence (Hash h))) (def: (= reference subject) - (:: binary.equivalence = - (:representation reference) - (:representation subject)))) + (\ binary.equivalence = + (:representation reference) + (:representation subject)))) ) diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index ffed02d28..e2bc72154 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -50,10 +50,10 @@ (def: #export (read monad fs profile) (All [!] (-> (Monad !) (file.System !) Text (! (Try Profile)))) (do (try.with monad) - [project-file (!.use (:: fs file) //project.file) - project-file (!.use (:: project-file content) [])] - (:: monad wrap - (|> project-file - (do> try.monad - [..parse-project] - [(//project.profile profile)]))))) + [project-file (!.use (\ fs file) //project.file) + project-file (!.use (\ project-file content) [])] + (\ monad wrap + (|> project-file + (do> try.monad + [..parse-project] + [(//project.profile profile)]))))) diff --git a/stdlib/source/program/aedifex/local.lux b/stdlib/source/program/aedifex/local.lux index 17ddeb4cf..34547027d 100644 --- a/stdlib/source/program/aedifex/local.lux +++ b/stdlib/source/program/aedifex/local.lux @@ -10,11 +10,11 @@ (def: #export (repository system) (All [a] (-> (file.System a) Path)) - (let [/ (:: system separator)] + (let [/ (\ system separator)] (format "~" / ".m2" / "repository"))) (def: #export (path system artifact) (All [a] (-> (file.System a) Artifact Path)) (format (..repository system) - (:: system separator) + (\ system separator) (//artifact.path system artifact))) diff --git a/stdlib/source/program/aedifex/package.lux b/stdlib/source/program/aedifex/package.lux index ae9e98a54..16c7c443b 100644 --- a/stdlib/source/program/aedifex/package.lux +++ b/stdlib/source/program/aedifex/package.lux @@ -44,7 +44,7 @@ (template [<name> <tag>] [(def: #export <name> (-> Package Bit) - (|>> (get@ #origin) (:: ..origin-equivalence = <tag>)))] + (|>> (get@ #origin) (\ ..origin-equivalence = <tag>)))] [local? #Local] [remote? #Remote] diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux index 45e1e6a6a..9fdc00f3b 100644 --- a/stdlib/source/program/aedifex/parser.lux +++ b/stdlib/source/program/aedifex/parser.lux @@ -79,10 +79,10 @@ (def: license (Parser /.License) (do {! <>.monad} - [input (:: ! map - (dictionary.from-list text.hash) - (<c>.record (<>.some (<>.and <c>.local-tag - <c>.any))))] + [input (\ ! map + (dictionary.from-list text.hash) + (<c>.record (<>.some (<>.and <c>.local-tag + <c>.any))))] ($_ <>.and (..singular input "name" ..name) (..singular input "url" ..url) @@ -94,10 +94,10 @@ (def: organization (Parser /.Organization) (do {! <>.monad} - [input (:: ! map - (dictionary.from-list text.hash) - (<c>.record (<>.some (<>.and <c>.local-tag - <c>.any))))] + [input (\ ! map + (dictionary.from-list text.hash) + (<c>.record (<>.some (<>.and <c>.local-tag + <c>.any))))] ($_ <>.and (..singular input "name" ..name) (..singular input "url" ..url)))) @@ -105,10 +105,10 @@ (def: developer (Parser /.Developer) (do {! <>.monad} - [input (:: ! map - (dictionary.from-list text.hash) - (<c>.record (<>.some (<>.and <c>.local-tag - <c>.any))))] + [input (\ ! map + (dictionary.from-list text.hash) + (<c>.record (<>.some (<>.and <c>.local-tag + <c>.any))))] ($_ <>.and (..singular input "name" ..name) (..singular input "url" ..url) @@ -122,10 +122,10 @@ (def: info (Parser /.Info) (do {! <>.monad} - [input (:: ! map - (dictionary.from-list text.hash) - (<c>.record (<>.some (<>.and <c>.local-tag - <c>.any))))] + [input (\ ! map + (dictionary.from-list text.hash) + (<c>.record (<>.some (<>.and <c>.local-tag + <c>.any))))] ($_ <>.and (<>.maybe (..singular input "url" ..url)) (<>.maybe (..singular input "scm" ..scm)) @@ -173,10 +173,10 @@ (def: profile (Parser /.Profile) (do {! <>.monad} - [input (:: ! map - (dictionary.from-list text.hash) - (<c>.record (<>.some (<>.and <c>.local-tag - <c>.any)))) + [input (\ ! map + (dictionary.from-list text.hash) + (<c>.record (<>.some (<>.and <c>.local-tag + <c>.any)))) #let [^parents (: (Parser (List /.Name)) (<>.default (list) (..plural input "parents" <c>.text))) @@ -188,15 +188,15 @@ (..singular input "info" ..info))) ^repositories (: (Parser (Set //repository.Address)) (|> (..plural input "repositories" ..repository) - (:: ! map (set.from-list text.hash)) + (\ ! map (set.from-list text.hash)) (<>.default (set.new text.hash)))) ^dependencies (: (Parser (Set //dependency.Dependency)) (|> (..plural input "dependencies" ..dependency) - (:: ! map (set.from-list //dependency.hash)) + (\ ! map (set.from-list //dependency.hash)) (<>.default (set.new //dependency.hash)))) ^sources (: (Parser (Set /.Source)) (|> (..plural input "sources" ..source) - (:: ! map (set.from-list text.hash)) + (\ ! map (set.from-list text.hash)) (<>.default (set.from-list text.hash (list /.default-source))))) ^target (: (Parser (Maybe /.Target)) (<>.maybe @@ -208,7 +208,7 @@ (<>.maybe (..singular input "test" ..module))) ^deploy-repositories (: (Parser (Dictionary Text //repository.Address)) - (<| (:: ! map (dictionary.from-list text.hash)) + (<| (\ ! map (dictionary.from-list text.hash)) (<>.default (list)) (..singular input "deploy-repositories" ..deploy-repository)))]] ($_ <>.and @@ -227,13 +227,13 @@ (def: #export project (Parser Project) (let [default-profile (: (Parser Project) - (:: <>.monad map - (|>> [/.default] (list) (dictionary.from-list text.hash)) - ..profile)) + (\ <>.monad map + (|>> [/.default] (list) (dictionary.from-list text.hash)) + ..profile)) multi-profile (: (Parser Project) - (:: <>.monad map - (dictionary.from-list text.hash) - (<c>.record (<>.many (<>.and <c>.text - ..profile)))))] + (\ <>.monad map + (dictionary.from-list text.hash) + (<c>.record (<>.many (<>.and <c>.text + ..profile)))))] (<>.either multi-profile default-profile))) diff --git a/stdlib/source/program/aedifex/pom.lux b/stdlib/source/program/aedifex/pom.lux index f8fd5f4f3..c7d950092 100644 --- a/stdlib/source/program/aedifex/pom.lux +++ b/stdlib/source/program/aedifex/pom.lux @@ -152,8 +152,8 @@ (def: parse-dependency (Parser Dependency) (do {! <>.monad} - [properties (:: ! map (dictionary.from-list name.hash) - (<xml>.children (<>.some ..parse-property)))] + [properties (\ ! map (dictionary.from-list name.hash) + (<xml>.children (<>.some ..parse-property)))] (<| <>.lift try.from-maybe (do maybe.monad @@ -181,6 +181,6 @@ (do ! [dependencies (<xml>.somewhere ..parse-dependencies) _ (<>.some <xml>.ignore)] - (wrap (|> (:: /.monoid identity) + (wrap (|> (\ /.monoid identity) (update@ #/.dependencies (function (_ empty) (list\fold set.add empty dependencies))))))))) diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index c2946b482..bd191fffb 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -38,7 +38,7 @@ (dictionary.new text.hash)) (def: compose - (dictionary.merge-with (:: //.monoid compose)))) + (dictionary.merge-with (\ //.monoid compose)))) (exception: #export (unknown-profile {name Name}) (exception.report @@ -63,7 +63,7 @@ [parents (monad.map ! (profile' (set.add name lineage) project) (get@ #//.parents profile))] (wrap (list\fold (function (_ parent child) - (:: //.monoid compose child parent)) + (\ //.monoid compose child parent)) (set@ #//.parents (list) profile) parents)))) diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux index e5dc55d2c..7ec522a10 100644 --- a/stdlib/source/program/aedifex/repository.lux +++ b/stdlib/source/program/aedifex/repository.lux @@ -47,10 +47,10 @@ (-> (Repository IO) (Repository Promise)) (structure (def: (download artifact extension) - (promise.future (:: repository download artifact extension))) + (promise.future (\ repository download artifact extension))) (def: (upload identity artifact extension content) - (promise.future (:: repository upload identity artifact extension content))) + (promise.future (\ repository upload identity artifact extension content))) )) (signature: #export (Simulation s) @@ -69,7 +69,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation on-download artifact extension |state|) + (case (\ simulation on-download artifact extension |state|) (#try.Success [|state| output]) (do ! [_ (stm.write |state| state)] @@ -82,7 +82,7 @@ (stm.commit (do {! stm.monad} [|state| (stm.read state)] - (case (:: simulation on-upload identity artifact extension content |state|) + (case (\ simulation on-upload identity artifact extension content |state|) (#try.Success |state|) (do ! [_ (stm.write |state| state)] @@ -159,9 +159,9 @@ (do {! (try.with io.monad)} [input (|> (java/net/URL::new url) java/net/URL::openStream - (:: ! map (|>> java/io/BufferedInputStream::new))) + (\ ! map (|>> java/io/BufferedInputStream::new))) #let [buffer (binary.create ..buffer-size)]] - (loop [output (:: binary.monoid identity)] + (loop [output (\ binary.monoid identity)] (do ! [bytes-read (java/io/BufferedInputStream::read buffer +0 (.int ..buffer-size) input)] (case bytes-read @@ -169,10 +169,10 @@ [_ (java/lang/AutoCloseable::close input)] (wrap output)) _ (if (n.= ..buffer-size bytes-read) - (recur (:: binary.monoid compose output buffer)) + (recur (\ binary.monoid compose output buffer)) (do ! - [chunk (:: io.monad wrap (binary.slice 0 (.nat bytes-read) buffer))] - (recur (:: binary.monoid compose output chunk)))))))))) + [chunk (\ io.monad wrap (binary.slice 0 (.nat bytes-read) buffer))] + (recur (\ binary.monoid compose output chunk)))))))))) (def: (upload [user password] artifact extension content) (do (try.with io.monad) @@ -190,5 +190,5 @@ code (java/net/HttpURLConnection::getResponseCode connection)] (case code +200 (wrap []) - _ (:: io.monad wrap (exception.throw ..deployment-failure [code]))))) + _ (\ io.monad wrap (exception.throw ..deployment-failure [code]))))) ) diff --git a/stdlib/source/program/compositor.lux b/stdlib/source/program/compositor.lux index 225d01362..bd5c10c66 100644 --- a/stdlib/source/program/compositor.lux +++ b/stdlib/source/program/compositor.lux @@ -82,12 +82,12 @@ monad} {(! (Try (File !))) (:assume (file.get-file monad file-system package))})] - (!.use (:: (:share [!] - {(Monad !) - monad} - {(File !) - (:assume package)}) - over-write) + (!.use (\ (:share [!] + {(Monad !) + monad} + {(File !) + (:assume package)}) + over-write) [content]))} ## TODO: Fix whatever type-checker bug is forcing me into this compromise... (:assume @@ -99,7 +99,7 @@ [content (packager monad file-system static archive context) package (: (Promise (Try (File Promise))) (file.get-file monad file-system package))] - (!.use (:: (: (File Promise) package) over-write) [content]))))))) + (!.use (\ (: (File Promise) package) over-write) [content]))))))) (with-expansions [<parameters> (as-is anchor expression artifact)] (def: #export (compiler static @@ -158,6 +158,6 @@ ## (do {! promise.monad} ## [console (|> console.default ## promise.future - ## (:: ! map (|>> try.assume console.async)))] + ## (\ ! map (|>> try.assume console.async)))] ## (interpreter.run (try.with promise.monad) console platform interpretation generation-bundle))) )))) diff --git a/stdlib/source/program/compositor/export.lux b/stdlib/source/program/compositor/export.lux index b1e525098..bc2ced5a3 100644 --- a/stdlib/source/program/compositor/export.lux +++ b/stdlib/source/program/compositor/export.lux @@ -49,7 +49,7 @@ (function (_ [path source-code]) (do try.monad [path (|> path - (text.replace-all (:: system separator) .module-separator) + (text.replace-all (\ system separator) .module-separator) tar.path) source-code (tar.content source-code)] (wrap (#tar.Normal [path @@ -57,8 +57,8 @@ tar.none ..no-ownership source-code]))))) - (:: try.monad map row.from-list) - (:: promise.monad wrap)))) + (\ try.monad map row.from-list) + (\ promise.monad wrap)))) (def: #export (export system [sources target]) (-> (file.System Promise) Export (Promise (Try Any))) @@ -66,7 +66,7 @@ [tar (..library system sources) package (: (Promise (Try (file.File Promise))) (file.get-file promise.monad system - (format target (:: system separator) ..file)))] + (format target (\ system separator) ..file)))] (|> tar (binary.run tar.writer) - (!.use (:: package over-write))))) + (!.use (\ package over-write))))) diff --git a/stdlib/source/program/compositor/import.lux b/stdlib/source/program/compositor/import.lux index 0f2d00905..318c3705c 100644 --- a/stdlib/source/program/compositor/import.lux +++ b/stdlib/source/program/compositor/import.lux @@ -36,8 +36,8 @@ (-> (file.System Promise) Library Import (Action Import)) (do (try.with promise.monad) [library (: (Action (File Promise)) - (!.use (:: system file) [library])) - binary (!.use (:: library content) [])] + (!.use (\ system file) [library])) + binary (!.use (\ library content) [])] (promise\wrap (do {! try.monad} [tar (<b>.run tar.parser binary)] diff --git a/stdlib/source/program/licentia.lux b/stdlib/source/program/licentia.lux index e9b4f0074..e95c261a9 100644 --- a/stdlib/source/program/licentia.lux +++ b/stdlib/source/program/licentia.lux @@ -57,20 +57,20 @@ (do io.monad [?done (: (IO (Try Any)) (do (try.with io.monad) - [file (!.use (:: file.default file) input) - blob (!.use (:: file content) []) + [file (!.use (\ file.default file) input) + blob (!.use (\ file content) []) document (io\wrap (do try.monad [raw-json (encoding.from-utf8 blob) json (|> raw-json (:coerce java/lang/String) java/lang/String::trim (:coerce Text) - (:: json.codec decode)) + (\ json.codec decode)) license (json.run json /input.license)] (wrap (/output.license license)))) output-file (: (IO (Try (File IO))) (file.get-file io.monad file.default output))] - (!.use (:: output-file over-write) (encoding.to-utf8 document))))] + (!.use (\ output-file over-write) (encoding.to-utf8 document))))] (case ?done (#try.Success _) (wrap (log! (success-message output))) diff --git a/stdlib/source/program/scriptum.lux b/stdlib/source/program/scriptum.lux index cc4960bf9..aa15e7bfc 100644 --- a/stdlib/source/program/scriptum.lux +++ b/stdlib/source/program/scriptum.lux @@ -303,7 +303,7 @@ (def: name-sort (All [r] (-> [Text r] [Text r] Bit)) - (let [text\< (:: text.order <)] + (let [text\< (\ text.order <)] (function (_ [n1 _] [n2 _]) (text\< n1 n2)))) @@ -490,7 +490,7 @@ [outcome (do (try.with io.monad) [target (: (IO (Try (File IO))) (file.get-file io.monad file.default path))] - (!.use (:: target over-write) (encoding.to-utf8 (md.markdown documentation))))] + (!.use (\ target over-write) (encoding.to-utf8 (md.markdown documentation))))] (case outcome (#try.Failure error) (wrap (log! (ex.construct io-error error))) |