diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/program/aedifex/parser.lux | 68 |
1 files changed, 34 insertions, 34 deletions
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux index 60e491dac..835b03729 100644 --- a/stdlib/source/program/aedifex/parser.lux +++ b/stdlib/source/program/aedifex/parser.lux @@ -4,7 +4,7 @@ [monad (#+ do)]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<.>" code (#+ Parser)]]] [data ["." text] [collection @@ -37,25 +37,25 @@ (def: (singular input tag parser) (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser a))) - (<c>.local (..as_input (dictionary.get tag input)) - parser)) + (<code>.local (..as_input (dictionary.get tag input)) + parser)) (def: (plural input tag parser) (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser (List a)))) - (<c>.local (..as_input (dictionary.get tag input)) - (<c>.tuple (<>.some parser)))) + (<code>.local (..as_input (dictionary.get tag input)) + (<code>.tuple (<>.some parser)))) (def: group (Parser //artifact.Group) - <c>.text) + <code>.text) (def: name (Parser //artifact.Name) - <c>.text) + <code>.text) (def: version (Parser //artifact.Version) - <c>.text) + <code>.text) (def: artifact' (Parser //artifact.Artifact) @@ -63,11 +63,11 @@ (def: artifact (Parser //artifact.Artifact) - (<c>.tuple ..artifact')) + (<code>.tuple ..artifact')) (def: url (Parser URL) - <c>.text) + <code>.text) (def: scm (Parser /.SCM) @@ -75,30 +75,30 @@ (def: description (Parser Text) - <c>.text) + <code>.text) (def: license (Parser /.License) (do {! <>.monad} [input (\ ! map (dictionary.from_list text.hash) - (<c>.record (<>.some (<>.and <c>.local_tag - <c>.any))))] + (<code>.record (<>.some (<>.and <code>.local_tag + <code>.any))))] ($_ <>.and (..singular input "name" ..name) (..singular input "url" ..url) (<>.default #/.Repo (..singular input "type" - (<>.or (<c>.this! (' #repo)) - (<c>.this! (' #manual)))))))) + (<>.or (<code>.this! (' #repo)) + (<code>.this! (' #manual)))))))) (def: organization (Parser /.Organization) (do {! <>.monad} [input (\ ! map (dictionary.from_list text.hash) - (<c>.record (<>.some (<>.and <c>.local_tag - <c>.any))))] + (<code>.record (<>.some (<>.and <code>.local_tag + <code>.any))))] ($_ <>.and (..singular input "name" ..name) (..singular input "url" ..url)))) @@ -108,8 +108,8 @@ (do {! <>.monad} [input (\ ! map (dictionary.from_list text.hash) - (<c>.record (<>.some (<>.and <c>.local_tag - <c>.any))))] + (<code>.record (<>.some (<>.and <code>.local_tag + <code>.any))))] ($_ <>.and (..singular input "name" ..name) (..singular input "url" ..url) @@ -125,8 +125,8 @@ (do {! <>.monad} [input (\ ! map (dictionary.from_list text.hash) - (<c>.record (<>.some (<>.and <c>.local_tag - <c>.any))))] + (<code>.record (<>.some (<>.and <code>.local_tag + <code>.any))))] ($_ <>.and (<>.maybe (..singular input "url" ..url)) (<>.maybe (..singular input "scm" ..scm)) @@ -143,11 +143,11 @@ (def: type (Parser //artifact/type.Type) - <c>.text) + <code>.text) (def: dependency (Parser //dependency.Dependency) - (<c>.tuple + (<code>.tuple ($_ <>.and ..artifact' (<>.default //artifact/type.lux_library ..type) @@ -155,32 +155,32 @@ (def: source (Parser /.Source) - <c>.text) + <code>.text) (def: target (Parser /.Target) - <c>.text) + <code>.text) (def: module (Parser Module) - <c>.text) + <code>.text) (def: deploy_repository (Parser (List [Text //repository.Address])) - (<c>.record (<>.some - (<>.and <c>.text - ..repository)))) + (<code>.record (<>.some + (<>.and <code>.text + ..repository)))) (def: profile (Parser /.Profile) (do {! <>.monad} [input (\ ! map (dictionary.from_list text.hash) - (<c>.record (<>.some (<>.and <c>.local_tag - <c>.any)))) + (<code>.record (<>.some (<>.and <code>.local_tag + <code>.any)))) #let [^parents (: (Parser (List /.Name)) (<>.default (list) - (..plural input "parents" <c>.text))) + (..plural input "parents" <code>.text))) ^identity (: (Parser (Maybe Artifact)) (<>.maybe (..singular input "identity" ..artifact))) @@ -236,7 +236,7 @@ multi_profile (: (Parser Project) (\ <>.monad map (dictionary.from_list text.hash) - (<c>.record (<>.many (<>.and <c>.text - ..profile)))))] + (<code>.record (<>.many (<>.and <code>.text + ..profile)))))] (<>.either multi_profile default_profile))) |