diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/parser.lux | 62 |
1 files changed, 31 insertions, 31 deletions
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))) |