diff options
Diffstat (limited to 'stdlib/source/library/lux/control/parser')
8 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 0d1fb35c5..2ea814f3d 100644 --- a/stdlib/source/library/lux/control/parser/analysis.lux +++ b/stdlib/source/library/lux/control/parser/analysis.lux @@ -42,11 +42,11 @@ (exception: .public (cannot_parse [input (List Analysis)]) (exception.report - ["Input" (exception.listing /.format input)])) + "Input" (exception.listing /.format input))) (exception: .public (unconsumed_input [input (List Analysis)]) (exception.report - ["Input" (exception.listing /.format input)])) + "Input" (exception.listing /.format input))) (type: .public Parser (//.Parser (List Analysis))) diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index a9ed31dbd..ba305659a 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -36,8 +36,8 @@ (exception: .public (binary_was_not_fully_read [binary_length Nat bytes_read Nat]) (exception.report - ["Binary length" (%.nat binary_length)] - ["Bytes read" (%.nat bytes_read)])) + "Binary length" (%.nat binary_length) + "Bytes read" (%.nat bytes_read))) (def: .public (result parser input) (All (_ a) (-> (Parser a) Binary (Try a))) @@ -106,8 +106,8 @@ (exception: .public (invalid_tag [range Nat byte Nat]) (exception.report - ["Tag range" (%.nat range)] - ["Tag value" (%.nat byte)])) + "Tag range" (%.nat range) + "Tag value" (%.nat byte))) (template: (!variant <case>+) [(do [! //.monad] @@ -138,8 +138,8 @@ (exception: .public (not_a_bit [value Nat]) (exception.report - ["Expected values" "either 0 or 1"] - ["Actual value" (%.nat value)])) + "Expected values" "either 0 or 1" + "Actual value" (%.nat value))) (def: .public bit (Parser Bit) diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux index 50e58078d..a844787f7 100644 --- a/stdlib/source/library/lux/control/parser/environment.lux +++ b/stdlib/source/library/lux/control/parser/environment.lux @@ -1,16 +1,16 @@ (.using - [library - [lux "*" - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" product] - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" dictionary {"+" Dictionary}]]]]] - ["[0]" //]) + [library + [lux "*" + [control + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" product] + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" dictionary {"+" Dictionary}]]]]] + ["[0]" //]) (type: .public Property Text) @@ -20,7 +20,7 @@ (exception: .public (unknown_property [property Property]) (exception.report - ["Property" (%.text property)])) + "Property" (%.text property))) (type: .public (Parser a) (//.Parser Environment a)) diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux index f17c4c763..c146ec5d3 100644 --- a/stdlib/source/library/lux/control/parser/json.lux +++ b/stdlib/source/library/lux/control/parser/json.lux @@ -27,7 +27,7 @@ (exception: .public (unconsumed_input [input (List JSON)]) (exception.report - ["Input" (exception.listing /.format input)])) + "Input" (exception.listing /.format input))) (exception: .public empty_input) @@ -57,7 +57,7 @@ (exception: .public (unexpected_value [value JSON]) (exception.report - ["Value" (/.format value)])) + "Value" (/.format value))) (template [<name> <type> <tag>] [(def: .public <name> @@ -80,8 +80,8 @@ (exception: .public [a] (value_mismatch [reference JSON sample JSON]) (exception.report - ["Reference" (/.format reference)] - ["Sample" (/.format sample)])) + "Reference" (/.format reference) + "Sample" (/.format sample))) (template [<test> <check> <type> <equivalence> <tag>] [(def: .public (<test> test) diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 66976a680..6f59a9680 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -30,21 +30,21 @@ (exception: .public (cannot_parse [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (unconsumed_input [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (expected_empty_input [input (List Synthesis)]) (exception.report - ["Input" (exception.listing /.%synthesis input)])) + "Input" (exception.listing /.%synthesis input))) (exception: .public (wrong_arity [expected Arity actual Arity]) (exception.report - ["Expected" (%.nat expected)] - ["Actual" (%.nat actual)])) + "Expected" (%.nat expected) + "Actual" (%.nat actual))) (exception: .public empty_input) diff --git a/stdlib/source/library/lux/control/parser/text.lux b/stdlib/source/library/lux/control/parser/text.lux index 4767ef744..239ddf3bc 100644 --- a/stdlib/source/library/lux/control/parser/text.lux +++ b/stdlib/source/library/lux/control/parser/text.lux @@ -43,15 +43,15 @@ (exception: .public (unconsumed_input [offset Offset tape Text]) (exception.report - ["Offset" (n#encoded offset)] - ["Input size" (n#encoded (/.size tape))] - ["Remaining input" (..left_over offset tape)])) + "Offset" (n#encoded offset) + "Input size" (n#encoded (/.size tape)) + "Remaining input" (..left_over offset tape))) (exception: .public (expected_to_fail [offset Offset tape Text]) (exception.report - ["Offset" (n#encoded offset)] - ["Input" (..left_over offset tape)])) + "Offset" (n#encoded offset) + "Input" (..left_over offset tape))) (exception: .public cannot_parse) (exception: .public cannot_slice) @@ -123,7 +123,7 @@ (exception: .public (cannot_match [reference Text]) (exception.report - ["Reference" (/.format reference)])) + "Reference" (/.format reference))) (def: .public (this reference) (-> Text (Parser Any)) @@ -200,8 +200,8 @@ [(exception: .public (<name> [options Text character Char]) (exception.report - ["Options" (/.format options)] - ["Character" (/.format (/.of_char character))]))] + "Options" (/.format options) + "Character" (/.format (/.of_char character))))] [character_should_be] [character_should_not_be] @@ -247,7 +247,7 @@ (exception: .public (character_does_not_satisfy_predicate [character Char]) (exception.report - ["Character" (/.format (/.of_char character))])) + "Character" (/.format (/.of_char character)))) (def: .public (satisfies parser) (-> (-> Char Bit) (Parser Text)) diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index 726454fe0..8550ce29f 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -29,7 +29,7 @@ (template [<name>] [(exception: .public (<name> [type Type]) (exception.report - ["Type" (%.type type)]))] + "Type" (%.type type)))] [not_existential] [not_recursive] @@ -47,8 +47,8 @@ [(exception: .public (<name> [expected Type actual Type]) (exception.report - ["Expected" (%.type expected)] - ["Actual" (%.type actual)]))] + "Expected" (%.type expected) + "Actual" (%.type actual)))] [types_do_not_match] [wrong_parameter] @@ -58,9 +58,9 @@ (exception: .public (unconsumed_input [remaining (List Type)]) (exception.report - ["Types" (|> remaining - (list#each (|>> %.type (format text.new_line "* "))) - (text.interposed ""))])) + "Types" (|> remaining + (list#each (|>> %.type (format text.new_line "* "))) + (text.interposed "")))) (type: .public Env (Dictionary Nat [Type Code])) diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux index 7e93ef8ae..45c6cf178 100644 --- a/stdlib/source/library/lux/control/parser/xml.lux +++ b/stdlib/source/library/lux/control/parser/xml.lux @@ -1,22 +1,22 @@ (.using - [library - [lux "*" - [abstract - [monad {"+" do}]] - [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" list] - ["[0]" dictionary]] - [format - ["/" xml {"+" Attribute Attrs Tag XML}]]] - [meta - ["[0]" symbol ("[1]#[0]" equivalence codec)]]]] - ["[0]" //]) + [library + [lux "*" + [abstract + [monad {"+" do}]] + [control + ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" list] + ["[0]" dictionary]] + [format + ["/" xml {"+" Attribute Attrs Tag XML}]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence codec)]]]] + ["[0]" //]) (type: .public (Parser a) (//.Parser [Attrs (List XML)] a)) @@ -27,18 +27,18 @@ (exception: .public (wrong_tag [expected Tag actual Tag]) (exception.report - ["Expected" (%.text (/.tag expected))] - ["Actual" (%.text (/.tag actual))])) + "Expected" (%.text (/.tag expected)) + "Actual" (%.text (/.tag actual)))) (exception: .public (unknown_attribute [expected Attribute available (List Attribute)]) (exception.report - ["Expected" (%.text (/.attribute expected))] - ["Available" (exception.listing (|>> /.attribute %.text) available)])) + "Expected" (%.text (/.attribute expected)) + "Available" (exception.listing (|>> /.attribute %.text) available))) (exception: .public (unconsumed_inputs [inputs (List XML)]) (exception.report - ["Inputs" (exception.listing (# /.codec encoded) inputs)])) + "Inputs" (exception.listing (# /.codec encoded) inputs))) (def: (result' parser attrs documents) (All (_ a) (-> (Parser a) Attrs (List XML) (Try a))) |