diff options
author | Eduardo Julian | 2020-11-28 21:40:29 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-11-28 21:40:29 -0400 |
commit | 7444deb1b80d469280fcb0684d91c13f752a86d6 (patch) | |
tree | 132f8aa480dad400c20971f5e085876da8772b75 /stdlib/source/lux/control/parser/text.lux | |
parent | a02b7bf8ff358ccfa35b03272d28537aeac723ae (diff) |
Re-named "_.claim" to "_.cover'".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/parser/text.lux | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/lux/control/parser/text.lux b/stdlib/source/lux/control/parser/text.lux index 114b53deb..aede52006 100644 --- a/stdlib/source/lux/control/parser/text.lux +++ b/stdlib/source/lux/control/parser/text.lux @@ -8,11 +8,11 @@ [data ["." product] ["." maybe] - ["/" text (#+ Char) ("#@." monoid)] + ["/" text (#+ Char) ("#\." monoid)] [number - ["n" nat ("#@." decimal)]] + ["n" nat ("#\." decimal)]] [collection - ["." list ("#@." fold)]]] + ["." list ("#\." fold)]]] [macro ["." code]]] ["." //]) @@ -34,13 +34,13 @@ (exception: #export (unconsumed-input {offset Offset} {tape Text}) (exception.report - ["Offset" (n@encode offset)] - ["Input size" (n@encode (/.size tape))] + ["Offset" (n\encode offset)] + ["Input size" (n\encode (/.size tape))] ["Remaining input" (remaining offset tape)])) (exception: #export (expected-to-fail {offset Offset} {tape Text}) (exception.report - ["Offset" (n@encode offset)] + ["Offset" (n\encode offset)] ["Input" (remaining offset tape)])) (exception: #export cannot-parse) @@ -67,7 +67,7 @@ (do //.monad [offset ..offset slices parser] - (wrap (list@fold (function (_ [slice::basis slice::distance] + (wrap (list\fold (function (_ [slice::basis slice::distance] [total::basis total::distance]) [total::basis ("lux i64 +" slice::distance total::distance)]) {#basis offset @@ -163,14 +163,14 @@ (do //.monad [char any #let [char' (maybe.assume (/.nth 0 char))] - _ (//.assert ($_ /@compose "Character is not within range: " (/.from-code bottom) "-" (/.from-code top)) + _ (//.assert ($_ /\compose "Character is not within range: " (/.from-code bottom) "-" (/.from-code top)) (.and (n.>= bottom char') (n.<= top char')))] (wrap char))) (template [<name> <bottom> <top> <desc>] [(def: #export <name> - {#.doc (code.text ($_ /@compose "Only lex " <desc> " characters."))} + {#.doc (code.text ($_ /\compose "Only lex " <desc> " characters."))} (Parser Text) (..range (char <bottom>) (char <top>)))] @@ -210,7 +210,7 @@ (template [<name> <modifier> <exception> <description-modifier>] [(def: #export (<name> options) - {#.doc (code.text ($_ /@compose "Only lex characters that are" <description-modifier> " part of a piece of text."))} + {#.doc (code.text ($_ /\compose "Only lex characters that are" <description-modifier> " part of a piece of text."))} (-> Text (Parser Text)) (function (_ [offset tape]) (case (/.nth offset tape) @@ -229,7 +229,7 @@ (template [<name> <modifier> <exception> <description-modifier>] [(def: #export (<name> options) - {#.doc (code.text ($_ /@compose "Only lex characters that are" <description-modifier> " part of a piece of text."))} + {#.doc (code.text ($_ /\compose "Only lex characters that are" <description-modifier> " part of a piece of text."))} (-> Text (Parser Slice)) (function (_ [offset tape]) (case (/.nth offset tape) @@ -275,7 +275,7 @@ (do //.monad [=left left =right right] - (wrap ($_ /@compose =left =right)))) + (wrap ($_ /\compose =left =right)))) (def: #export (and! left right) (-> (Parser Slice) (Parser Slice) (Parser Slice)) @@ -286,7 +286,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> parser) - {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " characters as a single continuous text."))} + {#.doc (code.text ($_ /\compose "Lex " <doc-modifier> " characters as a single continuous text."))} (-> (Parser Text) (Parser Text)) (|> parser <base> (:: //.monad map /.concat)))] @@ -296,7 +296,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> parser) - {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " characters as a single continuous text."))} + {#.doc (code.text ($_ /\compose "Lex " <doc-modifier> " characters as a single continuous text."))} (-> (Parser Slice) (Parser Slice)) (with-slices (<base> parser)))] @@ -306,7 +306,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> amount parser) - {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " N characters."))} + {#.doc (code.text ($_ /\compose "Lex " <doc-modifier> " N characters."))} (-> Nat (Parser Text) (Parser Text)) (|> parser (<base> amount) (:: //.monad map /.concat)))] @@ -317,7 +317,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> amount parser) - {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " N characters."))} + {#.doc (code.text ($_ /\compose "Lex " <doc-modifier> " N characters."))} (-> Nat (Parser Slice) (Parser Slice)) (with-slices (<base> amount parser)))] |