aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/input.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/aedifex/input.lux')
-rw-r--r--stdlib/source/program/aedifex/input.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 13d7159ba..99dc93542 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -30,7 +30,7 @@
["[1][0]" project (.only Project)]
["[1][0]" parser]])
-(def: (lux_parser source_code)
+(def (lux_parser source_code)
(-> Text (Try Code))
(let [parse (syntax.parse ""
syntax.no_aliases
@@ -42,14 +42,14 @@
{.#Right [_ lux_code]}
{try.#Success lux_code})))
-(def: project_parser
+(def project_parser
(-> Binary (Try Project))
(|>> (pipe.do try.monad
[(at utf8.codec decoded)]
[..lux_parser]
[(list) (<code>.result //parser.project)])))
-(def: .public (read monad fs profiles)
+(def .public (read monad fs profiles)
(All (_ !) (-> (Monad !) (file.System !) (List Name) (! (Try Profile))))
(|> //project.file
(at fs read)