aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/input.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-03-14 18:27:37 -0400
committerEduardo Julian2022-03-14 18:27:37 -0400
commit41495e32d3f5f88b5f189f48dd4fdbfa883c6ac0 (patch)
tree7a561e83768d5ac4eb08855858dde38d2987fc46 /stdlib/source/program/aedifex/input.lux
parent62299ecdc93b39f6a22b1f89779f55dfa735fb3c (diff)
De-sigil-ification: >
Diffstat (limited to 'stdlib/source/program/aedifex/input.lux')
-rw-r--r--stdlib/source/program/aedifex/input.lux68
1 files changed, 34 insertions, 34 deletions
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))))