diff options
Diffstat (limited to 'stdlib/source')
| -rw-r--r-- | stdlib/source/lux/control/parser/text.lux | 66 | ||||
| -rw-r--r-- | stdlib/source/lux/control/parser/type.lux | 50 | ||||
| -rw-r--r-- | stdlib/source/lux/data/format/json.lux | 28 | ||||
| -rw-r--r-- | stdlib/source/lux/data/format/xml.lux | 32 | ||||
| -rw-r--r-- | stdlib/source/lux/data/text/regex.lux | 82 | ||||
| -rw-r--r-- | stdlib/source/lux/macro/poly/functor.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/lux/math/modular.lux | 4 | ||||
| -rw-r--r-- | stdlib/source/lux/time/date.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/lux/time/instant.lux | 10 | ||||
| -rw-r--r-- | stdlib/source/lux/tool/interpreter/type.lux | 19 | ||||
| -rw-r--r-- | stdlib/source/lux/world/net/http/cookie.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/lux/world/net/http/query.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/text.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/data/text/regex.lux | 8 |
14 files changed, 167 insertions, 164 deletions
diff --git a/stdlib/source/lux/control/parser/text.lux b/stdlib/source/lux/control/parser/text.lux index 22f49a572..bf4c45867 100644 --- a/stdlib/source/lux/control/parser/text.lux +++ b/stdlib/source/lux/control/parser/text.lux @@ -21,7 +21,7 @@ (def: start-offset Offset 0) -(type: #export Lexer +(type: #export Parser (//.Parser [Offset Text])) (type: #export Slice @@ -41,7 +41,7 @@ ["Remaining input" (remaining offset tape)])) (def: #export (run input lexer) - (All [a] (-> Text (Lexer a) (Error a))) + (All [a] (-> Text (Parser a) (Error a))) (case (lexer [start-offset input]) (#error.Failure msg) (#error.Failure msg) @@ -52,12 +52,12 @@ (exception.throw unconsumed-input [end-offset input])))) (def: #export offset - (Lexer Offset) + (Parser Offset) (function (_ (^@ input [offset tape])) (#error.Success [input offset]))) (def: (with-slices lexer) - (-> (Lexer (List Slice)) (Lexer Slice)) + (-> (Parser (List Slice)) (Parser Slice)) (do //.monad [offset ..offset slices lexer] @@ -70,7 +70,7 @@ (def: #export any {#.doc "Just returns the next character without applying any logic."} - (Lexer Text) + (Parser Text) (function (_ [offset tape]) (case (/.nth offset tape) (#.Some output) @@ -81,7 +81,7 @@ (def: #export any! {#.doc "Just returns the next character without applying any logic."} - (Lexer Slice) + (Parser Slice) (function (_ [offset tape]) (#error.Success [[("lux i64 +" 1 offset) tape] {#basis offset @@ -90,7 +90,7 @@ (template [<name> <type> <any>] [(def: #export (<name> p) {#.doc "Produce a character if the lexer fails."} - (All [a] (-> (Lexer a) (Lexer <type>))) + (All [a] (-> (Parser a) (Parser <type>))) (function (_ input) (case (p input) (#error.Failure msg) @@ -105,7 +105,7 @@ (def: #export (this reference) {#.doc "Lex a text if it matches the given sample."} - (-> Text (Lexer Any)) + (-> Text (Parser Any)) (function (_ [offset tape]) (case (/.index-of' reference offset tape) (#.Some where) @@ -119,7 +119,7 @@ (def: #export (this? reference) {#.doc "Lex a text if it matches the given sample."} - (-> Text (Lexer Bit)) + (-> Text (Parser Bit)) (function (_ (^@ input [offset tape])) (case (/.index-of' reference offset tape) (^multi (#.Some where) (n/= offset where)) @@ -131,7 +131,7 @@ (def: #export end {#.doc "Ensure the lexer's input is empty."} - (Lexer Any) + (Parser Any) (function (_ (^@ input [offset tape])) (if (n/= offset (/.size tape)) (#error.Success [input []]) @@ -139,13 +139,13 @@ (def: #export end? {#.doc "Ask if the lexer's input is empty."} - (Lexer Bit) + (Parser Bit) (function (_ (^@ input [offset tape])) (#error.Success [input (n/= offset (/.size tape))]))) (def: #export peek {#.doc "Lex the next character (without consuming it from the input)."} - (Lexer Text) + (Parser Text) (function (_ (^@ input [offset tape])) (case (/.nth offset tape) (#.Some output) @@ -156,13 +156,13 @@ (def: #export get-input {#.doc "Get all of the remaining input (without consuming it)."} - (Lexer Text) + (Parser Text) (function (_ (^@ input [offset tape])) (#error.Success [input (remaining offset tape)]))) (def: #export (range bottom top) {#.doc "Only lex characters within a range."} - (-> Nat Nat (Lexer Text)) + (-> Nat Nat (Parser Text)) (do //.monad [char any #let [char' (maybe.assume (/.nth 0 char))] @@ -174,7 +174,7 @@ (template [<name> <bottom> <top> <desc>] [(def: #export <name> {#.doc (code.text ($_ /@compose "Only lex " <desc> " characters."))} - (Lexer Text) + (Parser Text) (range (char <bottom>) (char <top>)))] [upper "A" "Z" "uppercase"] @@ -185,17 +185,17 @@ (def: #export alpha {#.doc "Only lex alphabetic characters."} - (Lexer Text) + (Parser Text) (//.either lower upper)) (def: #export alpha-num {#.doc "Only lex alphanumeric characters."} - (Lexer Text) + (Parser Text) (//.either alpha decimal)) (def: #export hexadecimal {#.doc "Only lex hexadecimal digits."} - (Lexer Text) + (Parser Text) ($_ //.either decimal (range (char "a") (char "f")) @@ -204,7 +204,7 @@ (template [<name> <description-modifier> <modifier>] [(def: #export (<name> options) {#.doc (code.text ($_ /@compose "Only lex characters that are" <description-modifier> " part of a piece of text."))} - (-> Text (Lexer Text)) + (-> Text (Parser Text)) (function (_ [offset tape]) (case (/.nth offset tape) (#.Some output) @@ -225,7 +225,7 @@ (template [<name> <description-modifier> <modifier>] [(def: #export (<name> options) {#.doc (code.text ($_ /@compose "Only lex characters that are" <description-modifier> " part of a piece of text."))} - (-> Text (Lexer Slice)) + (-> Text (Parser Slice)) (function (_ [offset tape]) (case (/.nth offset tape) (#.Some output) @@ -247,7 +247,7 @@ (def: #export (satisfies p) {#.doc "Only lex characters that satisfy a predicate."} - (-> (-> Nat Bit) (Lexer Text)) + (-> (-> Nat Bit) (Parser Text)) (function (_ [offset tape]) (case (/.nth offset tape) (#.Some output) @@ -260,18 +260,18 @@ (def: #export space {#.doc "Only lex white-space."} - (Lexer Text) + (Parser Text) (satisfies /.space?)) (def: #export (and left right) - (-> (Lexer Text) (Lexer Text) (Lexer Text)) + (-> (Parser Text) (Parser Text) (Parser Text)) (do //.monad [=left left =right right] (wrap ($_ /@compose =left =right)))) (def: #export (and! left right) - (-> (Lexer Slice) (Lexer Slice) (Lexer Slice)) + (-> (Parser Slice) (Parser Slice) (Parser Slice)) (do //.monad [[left::basis left::distance] left [right::basis right::distance] right] @@ -280,7 +280,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> lexer) {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " characters as a single continuous text."))} - (-> (Lexer Text) (Lexer Text)) + (-> (Parser Text) (Parser Text)) (|> lexer <base> (:: //.monad map /.concat)))] [some //.some "some"] @@ -290,7 +290,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> lexer) {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " characters as a single continuous text."))} - (-> (Lexer Slice) (Lexer Slice)) + (-> (Parser Slice) (Parser Slice)) (with-slices (<base> lexer)))] [some! //.some "some"] @@ -300,7 +300,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> amount lexer) {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " N characters."))} - (-> Nat (Lexer Text) (Lexer Text)) + (-> Nat (Parser Text) (Parser Text)) (|> lexer (<base> amount) (:: //.monad map /.concat)))] [exactly //.exactly "exactly"] @@ -311,7 +311,7 @@ (template [<name> <base> <doc-modifier>] [(def: #export (<name> amount lexer) {#.doc (code.text ($_ /@compose "Lex " <doc-modifier> " N characters."))} - (-> Nat (Lexer Slice) (Lexer Slice)) + (-> Nat (Parser Slice) (Parser Slice)) (with-slices (<base> amount lexer)))] [exactly! //.exactly "exactly"] @@ -321,23 +321,23 @@ (def: #export (between from to lexer) {#.doc "Lex between N and M characters."} - (-> Nat Nat (Lexer Text) (Lexer Text)) + (-> Nat Nat (Parser Text) (Parser Text)) (|> lexer (//.between from to) (:: //.monad map /.concat))) (def: #export (between! from to lexer) {#.doc "Lex between N and M characters."} - (-> Nat Nat (Lexer Slice) (Lexer Slice)) + (-> Nat Nat (Parser Slice) (Parser Slice)) (with-slices (//.between from to lexer))) (def: #export (enclosed [start end] lexer) - (All [a] (-> [Text Text] (Lexer a) (Lexer a))) + (All [a] (-> [Text Text] (Parser a) (Parser a))) (|> lexer (//.before (this end)) (//.after (this start)))) (def: #export (local local-input lexer) {#.doc "Run a lexer with the given input, instead of the real one."} - (All [a] (-> Text (Lexer a) (Lexer a))) + (All [a] (-> Text (Parser a) (Parser a))) (function (_ real-input) (case (run local-input lexer) (#error.Failure error) @@ -347,7 +347,7 @@ (#error.Success [real-input value])))) (def: #export (slice lexer) - (-> (Lexer Slice) (Lexer Text)) + (-> (Parser Slice) (Parser Text)) (do //.monad [[basis distance] lexer] (function (_ (^@ input [offset tape])) diff --git a/stdlib/source/lux/control/parser/type.lux b/stdlib/source/lux/control/parser/type.lux index 56942e5c4..8625901af 100644 --- a/stdlib/source/lux/control/parser/type.lux +++ b/stdlib/source/lux/control/parser/type.lux @@ -19,7 +19,7 @@ ["." code]] ["." type ("#@." equivalence) ["." check]]] - ["." // (#+ Parser)]) + ["." //]) (template [<name>] [(exception: #export (<name> {type Type}) @@ -57,13 +57,13 @@ (type: #export Env (Dictionary Nat [Type Code])) -(type: #export (Poly a) - (Parser [Env (List Type)] a)) +(type: #export (Parser a) + (//.Parser [Env (List Type)] a)) (def: #export fresh Env (dictionary.new nat.hash)) (def: (run' env types poly) - (All [a] (-> Env (List Type) (Poly a) (Error a))) + (All [a] (-> Env (List Type) (Parser a) (Error a))) (case (//.run [env types] poly) (#error.Failure error) (#error.Failure error) @@ -77,16 +77,16 @@ (exception.throw unconsumed remaining)))) (def: #export (run type poly) - (All [a] (-> Type (Poly a) (Error a))) + (All [a] (-> Type (Parser a) (Error a))) (run' fresh (list type) poly)) (def: #export env - (Poly Env) + (Parser Env) (.function (_ [env inputs]) (#error.Success [[env inputs] env]))) (def: (with-env temp poly) - (All [a] (-> Env (Poly a) (Poly a))) + (All [a] (-> Env (Parser a) (Parser a))) (.function (_ [env inputs]) (case (//.run [temp inputs] poly) (#error.Failure error) @@ -96,7 +96,7 @@ (#error.Success [[env remaining] output])))) (def: #export peek - (Poly Type) + (Parser Type) (.function (_ [env inputs]) (case inputs #.Nil @@ -106,7 +106,7 @@ (#error.Success [[env inputs] headT])))) (def: #export any - (Poly Type) + (Parser Type) (.function (_ [env inputs]) (case inputs #.Nil @@ -116,7 +116,7 @@ (#error.Success [[env tail] headT])))) (def: #export (local types poly) - (All [a] (-> (List Type) (Poly a) (Poly a))) + (All [a] (-> (List Type) (Parser a) (Parser a))) (.function (_ [env pass-through]) (case (run' env types poly) (#error.Failure error) @@ -130,7 +130,7 @@ (code.local-identifier ($_ text@compose "label" text.tab (nat@encode idx)))) (def: #export (with-extension type poly) - (All [a] (-> Type (Poly a) (Poly [Code a]))) + (All [a] (-> Type (Parser a) (Parser [Code a]))) (.function (_ [env inputs]) (let [current-id (dictionary.size env) g!var (label current-id)] @@ -145,7 +145,7 @@ (template [<name> <flattener> <tag> <exception>] [(def: #export (<name> poly) - (All [a] (-> (Poly a) (Poly a))) + (All [a] (-> (Parser a) (Parser a))) (do //.monad [headT any] (let [members (<flattener> (type.un-name headT))] @@ -158,7 +158,7 @@ ) (def: polymorphic' - (Poly [Nat Type]) + (Parser [Nat Type]) (do //.monad [headT any #let [[num-arg bodyT] (type.flatten-univ-q (type.un-name headT))]] @@ -167,7 +167,7 @@ (wrap [num-arg bodyT])))) (def: #export (polymorphic poly) - (All [a] (-> (Poly a) (Poly [Code (List Code) a]))) + (All [a] (-> (Parser a) (Parser [Code (List Code) a]))) (do //.monad [headT any funcI (:: @ map dictionary.size ..env) @@ -204,7 +204,7 @@ (with-env env')))) (def: #export (function in-poly out-poly) - (All [i o] (-> (Poly i) (Poly o) (Poly [i o]))) + (All [i o] (-> (Parser i) (Parser o) (Parser [i o]))) (do //.monad [headT any #let [[inputsT outputT] (type.flatten-function (type.un-name headT))]] @@ -214,7 +214,7 @@ (//.fail (exception.construct not-function headT))))) (def: #export (apply poly) - (All [a] (-> (Poly a) (Poly a))) + (All [a] (-> (Parser a) (Parser a))) (do //.monad [headT any #let [[funcT paramsT] (type.flatten-application (type.un-name headT))]] @@ -224,7 +224,7 @@ (template [<name> <test>] [(def: #export (<name> expected) - (-> Type (Poly Any)) + (-> Type (Parser Any)) (do //.monad [actual any] (if (<test> expected actual) @@ -244,7 +244,7 @@ (|> env-level dec (n/- parameter-level) (n/* 2) (n/+ parameter-idx)))) (def: #export parameter - (Poly Code) + (Parser Code) (do //.monad [env ..env headT any] @@ -261,7 +261,7 @@ (//.fail (exception.construct not-parameter headT))))) (def: #export (parameter! id) - (-> Nat (Poly Any)) + (-> Nat (Parser Any)) (do //.monad [env ..env headT any] @@ -275,7 +275,7 @@ (//.fail (exception.construct not-parameter headT))))) (def: #export existential - (Poly Nat) + (Parser Nat) (do //.monad [headT any] (case headT @@ -286,7 +286,7 @@ (//.fail (exception.construct not-existential headT))))) (def: #export named - (Poly [Name Type]) + (Parser [Name Type]) (do //.monad [inputT any] (case inputT @@ -297,7 +297,7 @@ (//.fail (exception.construct not-named inputT))))) (def: #export (recursive poly) - (All [a] (-> (Poly a) (Poly [Code a]))) + (All [a] (-> (Parser a) (Parser [Code a]))) (do //.monad [headT any] (case (type.un-name headT) @@ -313,7 +313,7 @@ (//.fail (exception.construct not-recursive headT))))) (def: #export recursive-self - (Poly Code) + (Parser Code) (do //.monad [env ..env headT any] @@ -327,7 +327,7 @@ (//.fail (exception.construct not-recursive headT))))) (def: #export recursive-call - (Poly Code) + (Parser Code) (do //.monad [env ..env [funcT argsT] (apply (//.and any (//.many any))) @@ -339,7 +339,7 @@ (wrap (` ((~+ allC)))))) (def: #export log! - (All [a] (Poly a)) + (All [a] (Parser a)) (do //.monad [current any #let [_ (.log! ($_ text@compose diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux index beb5eca8d..162cf8387 100644 --- a/stdlib/source/lux/data/format/json.lux +++ b/stdlib/source/lux/data/format/json.lux @@ -7,8 +7,8 @@ codec] [control pipe - ["p" parser (#+ Parser) ("#@." monad) - ["l" text]] + ["p" parser ("#@." monad) + ["l" text (#+ Parser)]] ["ex" exception (#+ exception:)]] [data ["." bit] @@ -53,7 +53,7 @@ (type: #export (Reader a) {#.doc "JSON reader."} - (Parser (List JSON) a)) + (p.Parser (List JSON) a)) (syntax: #export (json token) {#.doc (doc "A simple way to produce JSON literals." @@ -436,22 +436,22 @@ ############################################################ (def: space~ - (l.Lexer Text) + (Parser Text) (l.some l.space)) (def: data-sep - (l.Lexer [Text Any Text]) + (Parser [Text Any Text]) ($_ p.and space~ (l.this ",") space~)) (def: null~ - (l.Lexer Null) + (Parser Null) (do p.monad [_ (l.this "null")] (wrap []))) (template [<name> <token> <value>] [(def: <name> - (l.Lexer Boolean) + (Parser Boolean) (do p.monad [_ (l.this <token>)] (wrap <value>)))] @@ -461,11 +461,11 @@ ) (def: boolean~ - (l.Lexer Boolean) + (Parser Boolean) (p.either true~ false~)) (def: number~ - (l.Lexer Number) + (Parser Number) (do p.monad [signed? (l.this? "-") digits (l.many l.decimal) @@ -487,7 +487,7 @@ (wrap value)))) (def: escaped~ - (l.Lexer Text) + (Parser Text) ($_ p.either (p.after (l.this "\t") (p@wrap text.tab)) @@ -505,7 +505,7 @@ (p@wrap "\")))) (def: string~ - (l.Lexer String) + (Parser String) (<| (l.enclosed [text.double-quote text.double-quote]) (loop [_ []]) (do p.monad @@ -519,7 +519,7 @@ (wrap chars)))) (def: (kv~ json~) - (-> (-> Any (l.Lexer JSON)) (l.Lexer [String JSON])) + (-> (-> Any (Parser JSON)) (Parser [String JSON])) (do p.monad [key string~ _ space~ @@ -530,7 +530,7 @@ (template [<name> <type> <open> <close> <elem-parser> <prep>] [(def: (<name> json~) - (-> (-> Any (l.Lexer JSON)) (l.Lexer <type>)) + (-> (-> Any (Parser JSON)) (Parser <type>)) (do p.monad [_ (l.this <open>) _ space~ @@ -544,7 +544,7 @@ ) (def: (json~' _) - (-> Any (l.Lexer JSON)) + (-> Any (Parser JSON)) ($_ p.or null~ boolean~ number~ string~ (array~ json~') (object~ json~'))) (structure: #export codec (Codec Text JSON) diff --git a/stdlib/source/lux/data/format/xml.lux b/stdlib/source/lux/data/format/xml.lux index 29a77c0df..515243f6b 100644 --- a/stdlib/source/lux/data/format/xml.lux +++ b/stdlib/source/lux/data/format/xml.lux @@ -6,7 +6,7 @@ codec] [control ["p" parser ("#;." monad) - ["l" text]] + ["l" text (#+ Parser)]] ["ex" exception (#+ exception:)]] [data ["." error (#+ Error)] @@ -29,7 +29,7 @@ (#Node Tag Attrs (List XML))) (def: xml-standard-escape-char^ - (l.Lexer Text) + (Parser Text) ($_ p.either (p.after (l.this "<") (p;wrap "<")) (p.after (l.this ">") (p;wrap ">")) @@ -38,7 +38,7 @@ (p.after (l.this """) (p;wrap text.double-quote)))) (def: xml-unicode-escape-char^ - (l.Lexer Text) + (Parser Text) (|> (do p.monad [hex? (p.maybe (l.this "x")) code (case hex? @@ -52,17 +52,17 @@ (p.after (l.this "&#")))) (def: xml-escape-char^ - (l.Lexer Text) + (Parser Text) (p.either xml-standard-escape-char^ xml-unicode-escape-char^)) (def: xml-char^ - (l.Lexer Text) + (Parser Text) (p.either (l.none-of ($_ text;compose "<>&'" text.double-quote)) xml-escape-char^)) (def: xml-identifier - (l.Lexer Text) + (Parser Text) (do p.monad [head (p.either (l.one-of "_") l.alpha) @@ -71,7 +71,7 @@ (wrap ($_ text;compose head tail)))) (def: namespaced-symbol^ - (l.Lexer Name) + (Parser Name) (do p.monad [first-part xml-identifier ?second-part (<| p.maybe (p.after (l.this ":")) xml-identifier)] @@ -86,19 +86,19 @@ (def: attr-name^ namespaced-symbol^) (def: spaced^ - (All [a] (-> (l.Lexer a) (l.Lexer a))) + (All [a] (-> (Parser a) (Parser a))) (let [white-space^ (p.some l.space)] (|>> (p.before white-space^) (p.after white-space^)))) (def: attr-value^ - (l.Lexer Text) + (Parser Text) (let [value^ (l.some xml-char^)] (p.either (l.enclosed [text.double-quote text.double-quote] value^) (l.enclosed ["'" "'"] value^)))) (def: attrs^ - (l.Lexer Attrs) + (Parser Attrs) (<| (:: p.monad map (d.from-list name.hash)) p.some (p.and (spaced^ attr-name^)) @@ -106,7 +106,7 @@ (spaced^ attr-value^))) (def: (close-tag^ expected) - (-> Tag (l.Lexer [])) + (-> Tag (Parser [])) (do p.monad [actual (|> tag^ spaced^ @@ -118,21 +118,21 @@ (name;= expected actual)))) (def: comment^ - (l.Lexer Text) + (Parser Text) (|> (l.not (l.this "--")) l.some (l.enclosed ["<--" "-->"]) spaced^)) (def: xml-header^ - (l.Lexer Attrs) + (Parser Attrs) (|> (spaced^ attrs^) (p.before (l.this "?>")) (p.after (l.this "<?xml")) spaced^)) (def: cdata^ - (l.Lexer Text) + (Parser Text) (let [end (l.this "]]>")] (|> (l.some (l.not end)) (p.after end) @@ -140,13 +140,13 @@ spaced^))) (def: text^ - (l.Lexer XML) + (Parser XML) (|> (p.either cdata^ (l.many xml-char^)) (p;map (|>> #Text)))) (def: xml^ - (l.Lexer XML) + (Parser XML) (|> (p.rec (function (_ node^) (p.either text^ diff --git a/stdlib/source/lux/data/text/regex.lux b/stdlib/source/lux/data/text/regex.lux index ad648677d..b18fdfe0e 100644 --- a/stdlib/source/lux/data/text/regex.lux +++ b/stdlib/source/lux/data/text/regex.lux @@ -4,7 +4,7 @@ monad] [control ["p" parser ("#@." monad) - ["l" text]]] + ["l" text (#+ Parser)]]] [data ["." product] ["." error] @@ -20,11 +20,11 @@ format]) (def: regex-char^ - (l.Lexer Text) + (Parser Text) (l.none-of "\.|&()[]{}")) (def: escaped-char^ - (l.Lexer Text) + (Parser Text) (do p.monad [? (l.this? "\")] (if ? @@ -32,33 +32,33 @@ regex-char^))) (def: (refine^ refinement^ base^) - (All [a] (-> (l.Lexer a) (l.Lexer Text) (l.Lexer Text))) + (All [a] (-> (Parser a) (Parser Text) (Parser Text))) (do p.monad [output base^ _ (l.local output refinement^)] (wrap output))) (def: word^ - (l.Lexer Text) + (Parser Text) (p.either l.alpha-num (l.one-of "_"))) (def: (copy reference) - (-> Text (l.Lexer Text)) + (-> Text (Parser Text)) (p.after (l.this reference) (p@wrap reference))) (def: (join-text^ part^) - (-> (l.Lexer (List Text)) (l.Lexer Text)) + (-> (Parser (List Text)) (Parser Text)) (do p.monad [parts part^] (wrap (//.join-with "" parts)))) (def: name-char^ - (l.Lexer Text) + (Parser Text) (l.none-of (format "[]{}()s#.<>" //.double-quote))) (def: name-part^ - (l.Lexer Text) + (Parser Text) (do p.monad [head (refine^ (l.not l.decimal) name-char^) @@ -66,7 +66,7 @@ (wrap (format head tail)))) (def: (name^ current-module) - (-> Text (l.Lexer Name)) + (-> Text (Parser Name)) ($_ p.either (p.and (p@wrap current-module) (p.after (l.this "..") name-part^)) (p.and name-part^ (p.after (l.this ".") name-part^)) @@ -74,13 +74,13 @@ (p.and (p@wrap "") name-part^))) (def: (re-var^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) (do p.monad [name (l.enclosed ["\@<" ">"] (name^ current-module))] - (wrap (` (: (l.Lexer Text) (~ (code.identifier name))))))) + (wrap (` (: (Parser Text) (~ (code.identifier name))))))) (def: re-range^ - (l.Lexer Code) + (Parser Code) (do p.monad [from (|> regex-char^ (:: @ map (|>> (//.nth 0) maybe.assume))) _ (l.this "-") @@ -88,19 +88,19 @@ (wrap (` (l.range (~ (code.nat from)) (~ (code.nat to))))))) (def: re-char^ - (l.Lexer Code) + (Parser Code) (do p.monad [char escaped-char^] (wrap (` ((~! ..copy) (~ (code.text char))))))) (def: re-options^ - (l.Lexer Code) + (Parser Code) (do p.monad [options (l.many escaped-char^)] (wrap (` (l.one-of (~ (code.text options))))))) (def: re-user-class^' - (l.Lexer Code) + (Parser Code) (do p.monad [negate? (p.maybe (l.this "^")) parts (p.many ($_ p.either @@ -111,7 +111,7 @@ #.None (` ($_ p.either (~+ parts))))))) (def: re-user-class^ - (l.Lexer Code) + (Parser Code) (do p.monad [_ (wrap []) init re-user-class^' @@ -122,34 +122,34 @@ rest)))) (def: blank^ - (l.Lexer Text) + (Parser Text) (l.one-of (format " " //.tab))) (def: ascii^ - (l.Lexer Text) + (Parser Text) (l.range (hex "0") (hex "7F"))) (def: control^ - (l.Lexer Text) + (Parser Text) (p.either (l.range (hex "0") (hex "1F")) (l.one-of (//.from-code (hex "7F"))))) (def: punct^ - (l.Lexer Text) + (Parser Text) (l.one-of (format "!#$%&'()*+,-./:;<=>?@[\]^_`{|}~" //.double-quote))) (def: graph^ - (l.Lexer Text) + (Parser Text) (p.either punct^ l.alpha-num)) (def: print^ - (l.Lexer Text) + (Parser Text) (p.either graph^ (l.one-of (//.from-code (hex "20"))))) (def: re-system-class^ - (l.Lexer Code) + (Parser Code) (do p.monad [] ($_ p.either @@ -178,17 +178,17 @@ ))) (def: re-class^ - (l.Lexer Code) + (Parser Code) (p.either re-system-class^ (l.enclosed ["[" "]"] re-user-class^))) (def: number^ - (l.Lexer Nat) + (Parser Nat) (|> (l.many l.decimal) (p.codec nat.decimal))) (def: re-back-reference^ - (l.Lexer Code) + (Parser Code) (p.either (do p.monad [_ (l.this "\") id number^] @@ -200,7 +200,7 @@ (wrap (` ((~! ..copy) (~ (code.identifier ["" captured-name])))))))) (def: (re-simple^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) ($_ p.either re-class^ (re-var^ current-module) @@ -209,7 +209,7 @@ )) (def: (re-simple-quantified^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) (do p.monad [base (re-simple^ current-module) quantifier (l.one-of "?*+")] @@ -226,7 +226,7 @@ ))) (def: (re-counted-quantified^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) (do p.monad [base (re-simple^ current-module)] (l.enclosed ["{" "}"] @@ -247,12 +247,12 @@ (wrap (` ((~! join-text^) (p.exactly (~ (code.nat limit)) (~ base)))))))))) (def: (re-quantified^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) (p.either (re-simple-quantified^ current-module) (re-counted-quantified^ current-module))) (def: (re-complex^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) ($_ p.either (re-quantified^ current-module) (re-simple^ current-module))) @@ -263,9 +263,9 @@ (def: (re-sequential^ capturing? re-scoped^ current-module) (-> Bit - (-> Text (l.Lexer [Re-Group Code])) + (-> Text (Parser [Re-Group Code])) Text - (l.Lexer [Nat Code])) + (Parser [Nat Code])) (do p.monad [parts (p.many (p.or (re-complex^ current-module) (re-scoped^ current-module))) @@ -313,11 +313,11 @@ )) (def: (unflatten^ lexer) - (-> (l.Lexer Text) (l.Lexer [Text Any])) + (-> (Parser Text) (Parser [Text Any])) (p.and lexer (:: p.monad wrap []))) (def: (|||^ left right) - (All [l r] (-> (l.Lexer [Text l]) (l.Lexer [Text r]) (l.Lexer [Text (| l r)]))) + (All [l r] (-> (Parser [Text l]) (Parser [Text r]) (Parser [Text (| l r)]))) (function (_ input) (case (left input) (#error.Success [input' [lt lv]]) @@ -332,7 +332,7 @@ (#error.Failure error))))) (def: (|||_^ left right) - (All [l r] (-> (l.Lexer [Text l]) (l.Lexer [Text r]) (l.Lexer Text))) + (All [l r] (-> (Parser [Text l]) (Parser [Text r]) (Parser Text))) (function (_ input) (case (left input) (#error.Success [input' [lt lv]]) @@ -354,9 +354,9 @@ (def: (re-alternative^ capturing? re-scoped^ current-module) (-> Bit - (-> Text (l.Lexer [Re-Group Code])) + (-> Text (Parser [Re-Group Code])) Text - (l.Lexer [Nat Code])) + (Parser [Nat Code])) (do p.monad [#let [sub^ (re-sequential^ capturing? re-scoped^ current-module)] head sub^ @@ -371,7 +371,7 @@ (~+ (list@map prep-alternative tail))))])))) (def: (re-scoped^ current-module) - (-> Text (l.Lexer [Re-Group Code])) + (-> Text (Parser [Re-Group Code])) ($_ p.either (do p.monad [_ (l.this "(?:") @@ -395,7 +395,7 @@ (wrap [(#Capturing [#.None num-captures]) pattern])))) (def: (regex^ current-module) - (-> Text (l.Lexer Code)) + (-> Text (Parser Code)) (:: p.monad map product.right (re-alternative^ #1 re-scoped^ current-module))) (syntax: #export (regex {pattern s.text}) diff --git a/stdlib/source/lux/macro/poly/functor.lux b/stdlib/source/lux/macro/poly/functor.lux index 4a2d44e38..4ae02b8a3 100644 --- a/stdlib/source/lux/macro/poly/functor.lux +++ b/stdlib/source/lux/macro/poly/functor.lux @@ -36,7 +36,7 @@ (let [paramsC (|> num-vars dec list.indices (list;map (|>> %n code.local-identifier)))] (` (All [(~+ paramsC)] ((~! functor.Functor) ((~ (poly.to-code *env* unwrappedT)) (~+ paramsC))))))))) - Arg<?> (: (-> Code (<type>.Poly Code)) + Arg<?> (: (-> Code (<type>.Parser Code)) (function (Arg<?> valueC) ($_ p.either ## Type-var @@ -55,7 +55,7 @@ (list.enumerate membersC)))))))) ## Tuples (do p.monad - [pairsCC (: (<type>.Poly (List [Code Code])) + [pairsCC (: (<type>.Parser (List [Code Code])) (<type>.tuple (loop [idx 0 pairsCC (: (List [Code Code]) (list))] @@ -91,7 +91,7 @@ [_ <type>.any] (wrap valueC)) )))] - [_ _ outputC] (: (<type>.Poly [Code (List Code) Code]) + [_ _ outputC] (: (<type>.Parser [Code (List Code) Code]) (p.either (<type>.polymorphic (Arg<?> inputC)) (p.fail (format "Cannot create Functor for: " (%type inputT)))))] diff --git a/stdlib/source/lux/math/modular.lux b/stdlib/source/lux/math/modular.lux index 07fa14c3d..a6b905360 100644 --- a/stdlib/source/lux/math/modular.lux +++ b/stdlib/source/lux/math/modular.lux @@ -6,7 +6,7 @@ [control ["ex" exception (#+ exception:)] ["p" parser - ["l" text (#+ Lexer)]]] + ["l" text (#+ Parser)]]] [data ["." error (#+ Error)] [number @@ -63,7 +63,7 @@ (p.fail error))) (def: intL - (Lexer Int) + (Parser Int) (p.codec int.decimal (l.and (l.one-of "-+") (l.many l.decimal)))) diff --git a/stdlib/source/lux/time/date.lux b/stdlib/source/lux/time/date.lux index 383988c14..3a1df14c1 100644 --- a/stdlib/source/lux/time/date.lux +++ b/stdlib/source/lux/time/date.lux @@ -8,7 +8,7 @@ [monad (#+ do)]] [control ["p" parser ("#@." functor) - ["l" text]]] + ["l" text (#+ Parser)]]] [data ["." error (#+ Error)] ["." maybe] @@ -73,7 +73,7 @@ (pad (|> day .inc .int)))) (def: lex-year - (l.Lexer Int) + (Parser Int) (do p.monad [sign (p.maybe (l.this "-")) raw-year (p.codec nat.decimal (l.many l.decimal)) @@ -86,7 +86,7 @@ (wrap (i/* signum (.int raw-year))))) (def: lex-section - (l.Lexer Int) + (Parser Int) (p@map .int (p.codec nat.decimal (l.exactly 2 l.decimal)))) (def: (leap-years year) @@ -118,7 +118,7 @@ ## Based on: https://stackoverflow.com/a/3309340/6823464 (def: lex-date - (l.Lexer Date) + (Parser Date) (do p.monad [utc-year lex-year _ (l.this "-") diff --git a/stdlib/source/lux/time/instant.lux b/stdlib/source/lux/time/instant.lux index fcde19a3f..2b4d10394 100644 --- a/stdlib/source/lux/time/instant.lux +++ b/stdlib/source/lux/time/instant.lux @@ -9,7 +9,7 @@ [control [io (#+ IO io)] ["p" parser - ["l" text]]] + ["l" text (#+ Parser)]]] [data ["." error (#+ Error)] ["." maybe] @@ -216,7 +216,7 @@ ## Codec::decode (def: lex-year - (l.Lexer Int) + (Parser Int) (do p.monad [sign (p.or (l.this "-") (l.this "+")) raw-year (p.codec int.decimal (l.many l.decimal)) @@ -226,11 +226,11 @@ (wrap (i/* signum raw-year)))) (def: lex-section - (l.Lexer Int) + (Parser Int) (p.codec int.decimal (l.exactly 2 l.decimal))) (def: lex-millis - (l.Lexer Int) + (Parser Int) (p.either (|> (l.at-most 3 l.decimal) (p.codec int.decimal) (p.after (l.this "."))) @@ -244,7 +244,7 @@ ## Based on: https://stackoverflow.com/a/3309340/6823464 ## (def: lex-instant -## (l.Lexer Instant) +## (Parser Instant) ## (do p.monad ## [utc-year lex-year ## _ (l.this "-") diff --git a/stdlib/source/lux/tool/interpreter/type.lux b/stdlib/source/lux/tool/interpreter/type.lux index 19f94af1b..b9d4ebb5b 100644 --- a/stdlib/source/lux/tool/interpreter/type.lux +++ b/stdlib/source/lux/tool/interpreter/type.lux @@ -3,7 +3,8 @@ [control [monad (#+ do)] ["ex" exception (#+ exception:)] - ["p" parser] + ["p" parser + ["<.>" type (#+ Parser)]] pipe] [data ["." error (#+ Error)] @@ -22,7 +23,7 @@ ["." type] ["." macro ["." code] - ["." poly (#+ Poly)]]]) + ["." poly]]]) (exception: #export (cannot-represent-value {type Type}) (ex.report ["Type" (%type type)])) @@ -30,7 +31,7 @@ (type: Representation (-> Any Text)) (def: primitive-representation - (Poly Representation) + (Parser Representation) (`` ($_ p.either (do p.monad [_ (poly.exactly Any)] @@ -49,7 +50,7 @@ [Text %t]))))) (def: (special-representation representation) - (-> (Poly Representation) (Poly Representation)) + (-> (Parser Representation) (Parser Representation)) (`` ($_ p.either (~~ (template [<type> <formatter>] [(do p.monad @@ -80,7 +81,7 @@ (format "(#.Some " (elemR elemV) ")")))))))) (def: (record-representation tags representation) - (-> (List Name) (Poly Representation) (Poly Representation)) + (-> (List Name) (Parser Representation) (Parser Representation)) (do p.monad [membersR+ (poly.tuple (p.many representation)) _ (p.assert "Number of tags does not match record type size." @@ -102,7 +103,7 @@ (format "{" record-body "}")))))) (def: (variant-representation tags representation) - (-> (List Name) (Poly Representation) (Poly Representation)) + (-> (List Name) (Parser Representation) (Parser Representation)) (do p.monad [casesR+ (poly.variant (p.many representation)) #let [num-tags (list.size tags)] @@ -130,7 +131,7 @@ (recur tail variantV))))))))) (def: (tagged-representation compiler representation) - (-> Lux (Poly Representation) (Poly Representation)) + (-> Lux (Parser Representation) (Parser Representation)) (do p.monad [[name anonymous] poly.named] (case (macro.run compiler (macro.tags-of name)) @@ -148,7 +149,7 @@ (p.fail error)))) (def: (tuple-representation representation) - (-> (Poly Representation) (Poly Representation)) + (-> (Parser Representation) (Parser Representation)) (do p.monad [membersR+ (poly.tuple (p.many representation))] (wrap (function (_ tupleV) @@ -167,7 +168,7 @@ (format "[" tuple-body "]")))))) (def: (representation compiler) - (-> Lux (Poly Representation)) + (-> Lux (Parser Representation)) (p.rec (function (_ representation) ($_ p.either diff --git a/stdlib/source/lux/world/net/http/cookie.lux b/stdlib/source/lux/world/net/http/cookie.lux index 174231251..d2899d106 100644 --- a/stdlib/source/lux/world/net/http/cookie.lux +++ b/stdlib/source/lux/world/net/http/cookie.lux @@ -3,7 +3,7 @@ [control [monad (#+ do)] ["p" parser ("#;." monad) - ["l" text (#+ Lexer)]]] + ["l" text (#+ Parser)]]] [data ["." error (#+ Error)] [text @@ -64,7 +64,7 @@ #Lax "Lax")))) (def: (cookie context) - (-> Context (Lexer Context)) + (-> Context (Parser Context)) (do p.monad [key (l.slice (l.many! (l.none-of! "="))) _ (l.this "=") @@ -72,7 +72,7 @@ (wrap (dictionary.put key value context)))) (def: (cookies context) - (-> Context (Lexer Context)) + (-> Context (Parser Context)) ($_ p.either (do p.monad [context' (..cookie context) diff --git a/stdlib/source/lux/world/net/http/query.lux b/stdlib/source/lux/world/net/http/query.lux index 8b0379108..516c67ff8 100644 --- a/stdlib/source/lux/world/net/http/query.lux +++ b/stdlib/source/lux/world/net/http/query.lux @@ -4,7 +4,7 @@ pipe [monad (#+ do)] ["p" parser - ["l" text (#+ Lexer)]]] + ["l" text (#+ Parser)]]] [data ["." error (#+ Error)] [number @@ -17,7 +17,7 @@ ["." dictionary]]]]) (def: component - (Lexer Text) + (Parser Text) (p.rec (function (_ component) (do p.monad @@ -39,7 +39,7 @@ (wrap (format head code tail)))))))) (def: (form context) - (-> Context (Lexer Context)) + (-> Context (Parser Context)) ($_ p.either (do p.monad [_ l.end] diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 3693b0fd0..1686bb27c 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -1,6 +1,8 @@ (.module: [lux #* - data/text/format + [data + text/format + ["." name]] ["_" test (#+ Test)] [abstract/monad (#+ do)] [control @@ -33,7 +35,7 @@ (def: #export test Test - (<| (_.context (%name (name-of /.Lexer))) + (<| (_.context (name.module (name-of /._))) ($_ _.and (_.test "Can detect the end of the input." (|> (/.run "" diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux index eeec23d2f..f456aac73 100644 --- a/stdlib/source/test/lux/data/text/regex.lux +++ b/stdlib/source/test/lux/data/text/regex.lux @@ -6,7 +6,7 @@ [control pipe ["p" parser - ["<.>" text (#+ Lexer)]]] + ["<.>" text (#+ Parser)]]] [data [number (#+ hex)] ["." error] @@ -19,7 +19,7 @@ ["." /]}) (def: (should-pass regex input) - (-> (Lexer Text) Text Bit) + (-> (Parser Text) Text Bit) (|> (<text>.run input regex) (case> (#error.Success parsed) (text@= parsed input) @@ -28,7 +28,7 @@ #0))) (def: (text-should-pass test regex input) - (-> Text (Lexer Text) Text Bit) + (-> Text (Parser Text) Text Bit) (|> (<text>.run input regex) (case> (#error.Success parsed) (text@= test parsed) @@ -37,7 +37,7 @@ false))) (def: (should-fail regex input) - (All [a] (-> (Lexer a) Text Bit)) + (All [a] (-> (Parser a) Text Bit)) (|> (<text>.run input regex) (case> (#error.Failure _) true |