diff options
Diffstat (limited to 'stdlib/source/library/lux/control/parser')
11 files changed, 68 insertions, 68 deletions
diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux index 26d74c274..0adeaa56b 100644 --- a/stdlib/source/library/lux/control/parser/analysis.lux +++ b/stdlib/source/library/lux/control/parser/analysis.lux @@ -2,14 +2,14 @@ [library [lux {"-" nat int rev local} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" bit] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [macro @@ -25,12 +25,12 @@ ["[0]" symbol]] [tool [compiler - [arity {"+" Arity}] - [reference {"+" } - [variable {"+" }]] + [arity (.only Arity)] + [reference (.only) + [variable (.only)]] [language [lux - ["/" analysis {"+" Environment Analysis}]]]]]]] + ["/" analysis (.only Environment Analysis)]]]]]]] ["[0]" //]) (def: (remaining_inputs asts) diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index 2c32f7b8d..79408450d 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -1,27 +1,27 @@ (.using [library [lux {"-" and or nat int rev list type symbol} - [ffi {"+"}] - [type {"+" sharing}] + [ffi (.only)] + [type (.only sharing)] [abstract - [hash {"+" Hash}] - [monad {"+" do}]] + [hash (.only Hash)] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["/" binary "_" - ["[1]" \\unsafe {"+" Binary}]] + ["[1]" \\unsafe (.only Binary)]] [text - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" list] - ["[0]" sequence {"+" Sequence}] - ["[0]" set {"+" Set}] + ["[0]" sequence (.only Sequence)] + ["[0]" set (.only Set)] [array - [\\unsafe {"+"}]]]] + [\\unsafe (.only)]]]] [macro ["^" pattern] ["[0]" template]] diff --git a/stdlib/source/library/lux/control/parser/cli.lux b/stdlib/source/library/lux/control/parser/cli.lux index 8424b4d37..1a71a39e3 100644 --- a/stdlib/source/library/lux/control/parser/cli.lux +++ b/stdlib/source/library/lux/control/parser/cli.lux @@ -2,12 +2,12 @@ [library [lux {"-" parameter} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]]]] + ["%" format (.only format)]]]]] ["[0]" //]) (type: .public (Parser a) diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/library/lux/control/parser/code.lux index 70a65f6e5..1e1f433a4 100644 --- a/stdlib/source/library/lux/control/parser/code.lux +++ b/stdlib/source/library/lux/control/parser/code.lux @@ -2,9 +2,9 @@ [library [lux {"-" nat int rev local not symbol local global} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}]] + ["[0]" try (.only Try)]] [data ["[0]" bit] ["[0]" text ("[1]#[0]" monoid)] diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux index a844787f7..708c2ad84 100644 --- a/stdlib/source/library/lux/control/parser/environment.lux +++ b/stdlib/source/library/lux/control/parser/environment.lux @@ -2,14 +2,14 @@ [library [lux "*" [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection - ["[0]" dictionary {"+" Dictionary}]]]]] + ["[0]" dictionary (.only Dictionary)]]]]] ["[0]" //]) (type: .public Property diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux index 4064ed450..57fc15789 100644 --- a/stdlib/source/library/lux/control/parser/json.lux +++ b/stdlib/source/library/lux/control/parser/json.lux @@ -2,19 +2,19 @@ [library [lux {"-" symbol} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" bit] ["[0]" text ("[1]#[0]" equivalence monoid)] [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence] - ["[0]" dictionary {"+" Dictionary}]] + ["[0]" dictionary (.only Dictionary)]] [format - ["/" json {"+" JSON}]]] + ["/" json (.only JSON)]]] [macro ["[0]" code]] [math diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index f457e13fb..ff9522a55 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -2,14 +2,14 @@ [library [lux {"-" function loop i64 local} [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data ["[0]" bit] ["[0]" text - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math [number ["n" nat] @@ -19,13 +19,13 @@ ["[0]" symbol]] [tool [compiler - [reference {"+" } - [variable {"+" Register}]] - [arity {"+" Arity}] + [reference (.only) + [variable (.only Register)]] + [arity (.only Arity)] [language [lux - [analysis {"+" Environment}] - ["/" synthesis {"+" Synthesis Abstraction}]]]]]]] + [analysis (.only Environment)] + ["/" synthesis (.only Synthesis Abstraction)]]]]]]] ["[0]" //]) (exception: .public (cannot_parse [input (List Synthesis)]) diff --git a/stdlib/source/library/lux/control/parser/text.lux b/stdlib/source/library/lux/control/parser/text.lux index b4f3daa90..524c0d291 100644 --- a/stdlib/source/library/lux/control/parser/text.lux +++ b/stdlib/source/library/lux/control/parser/text.lux @@ -2,13 +2,13 @@ [library [lux {"-" and not local} [abstract - [monad {"+" Monad do}]] + [monad (.only Monad do)]] [control ["[0]" maybe] - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] [data - ["/" text {"+" Char} ("[1]#[0]" monoid)] + ["/" text (.only Char) ("[1]#[0]" monoid)] ["[0]" product] [collection ["[0]" list ("[1]#[0]" mix)]]] diff --git a/stdlib/source/library/lux/control/parser/tree.lux b/stdlib/source/library/lux/control/parser/tree.lux index 2db46e2b5..d6926d6de 100644 --- a/stdlib/source/library/lux/control/parser/tree.lux +++ b/stdlib/source/library/lux/control/parser/tree.lux @@ -1,16 +1,16 @@ (.using - [library - [lux {"-" left right} - [abstract - [monad {"+" do}]] - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - [collection - [tree {"+" Tree} - ["[0]" zipper {"+" Zipper}]]]]]] - ["[0]" //]) + [library + [lux {"-" left right} + [abstract + [monad (.only do)]] + [control + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)]] + [data + [collection + [tree (.only Tree) + ["[0]" zipper (.only Zipper)]]]]]] + ["[0]" //]) (type: .public (Parser t a) (//.Parser (Zipper t) a)) diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index f95894b0b..167e4a020 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -2,17 +2,17 @@ [library [lux {"-" function local parameter} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}] + ["[0]" try (.only Try)] + ["[0]" exception (.only exception:)] ["[0]" function]] [data ["[0]" text ("[1]#[0]" monoid) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern] ["[0]" code]] diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux index 45c6cf178..771c8c97f 100644 --- a/stdlib/source/library/lux/control/parser/xml.lux +++ b/stdlib/source/library/lux/control/parser/xml.lux @@ -2,18 +2,18 @@ [library [lux "*" [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only exception:)]] [data ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list] ["[0]" dictionary]] [format - ["/" xml {"+" Attribute Attrs Tag XML}]]] + ["/" xml (.only Attribute Attrs Tag XML)]]] [meta ["[0]" symbol ("[1]#[0]" equivalence codec)]]]] ["[0]" //]) |