Results for “Std.Text.Parse.Problem”
65 matching declarations
Use module:Std.List, kind:fn, or is:exact. Put a Pudu type after ::.
- Std.Text.Parse.Problem
What a parser wanted where it stopped.
- Std.Text.Parse.andThen
fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(A) -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem]One parser after another, the second chosen by the first's value.
- Std.Text.Parse.anyCharacter
fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]Any one character at all.
- Std.Text.Parse.asText
fn(Std.Text.Parse.Input) -> Result[(Array[Char], Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The text a parser's characters spell.
- Std.Text.Parse.attempt
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser that consumes nothing when it fails, so
orElsemay try another. - Std.Text.Parse.between
fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser between two others, keeping only the middle value.
- Std.Text.Parse.bigInteger
fn(Std.Text.Parse.Input) -> Result[(BigInt, Std.Text.Parse.Input), Std.Text.Parse.Problem]One or more digits as an arbitrary-precision whole number.
- Std.Text.Parse.blanks
fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]Space and tab, but never a line ending.
- Std.Text.Parse.both
fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[((A, B), Std.Text.Parse.Input), Std.Text.Parse.Problem]Two parsers in order, keeping both values.
- Std.Text.Parse.character
Char -> fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One particular character.
- Std.Text.Parse.choice
&Array[fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]] -> Str -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]The first parser that succeeds.
- Std.Text.Parse.count
Int -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]Exactly this many of a parser, and a problem if the input runs out first.
- Std.Text.Parse.digit
fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One ASCII decimal digit.
- Std.Text.Parse.endOfInput
fn(Std.Text.Parse.Input) -> Result[((), Std.Text.Parse.Input), Std.Text.Parse.Problem]The end of the input, consuming nothing.
- Std.Text.Parse.explain
&Std.Text.Parse.Problem -> StrA problem written for a person to read.
- Std.Text.Parse.explainIn
&Std.Text.Parse.Problem -> Str -> StrA problem written for a person reading a file, with the line and column.
- Std.Text.Parse.fail
Str -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser that consumes nothing and always fails.
- Std.Text.Parse.hexDigit
fn(Std.Text.Parse.Input) -> Result[(Int, Std.Text.Parse.Input), Std.Text.Parse.Problem]One hexadecimal digit's value.
- Std.Text.Parse.hexadecimal
fn(Std.Text.Parse.Input) -> Result[(Int, Std.Text.Parse.Input), Std.Text.Parse.Problem]A whole hexadecimal number, at least one digit.
- Std.Text.Parse.identifier
fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]A run of letters, digits, and underscores beginning with a letter.
- Std.Text.Parse.integer
fn(Std.Text.Parse.Input) -> Result[(Int, Std.Text.Parse.Input), Std.Text.Parse.Problem]One or more digits as an
Int, the common case ofintegerIn. - Std.Text.Parse.integerIn
N -> fn(Std.Text.Parse.Input) -> Result[(N, Std.Text.Parse.Input), Std.Text.Parse.Problem] where N: IntegerA whole number counted in the caller's own integer type.
- Std.Text.Parse.keepFirst
fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem]Two parsers in order, keeping the first's value.
- Std.Text.Parse.keepSecond
fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem]Two parsers in order, keeping the second's value.
- Std.Text.Parse.label
Str -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]Say what a parser wanted, in the reader's words rather than the grammar's.
- Std.Text.Parse.lazy
fn() -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser built only when it is run.
- Std.Text.Parse.letter
fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One ASCII letter.
- Std.Text.Parse.line
fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]One whole line, without its ending, and the ending consumed.
- Std.Text.Parse.lineEnd
fn(Std.Text.Parse.Input) -> Result[((), Std.Text.Parse.Input), Std.Text.Parse.Problem]A line ending, or the end of the input.
- Std.Text.Parse.literal
Str -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]A particular piece of text.
- Std.Text.Parse.lookAhead
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]Succeed exactly where the parser would, consuming nothing.
- Std.Text.Parse.many
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]Nought or more, until the parser stops.
- Std.Text.Parse.manyTill
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(E, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]Repeat a parser until the end parser succeeds, keeping what came before.
- Std.Text.Parse.map
fn(Std.Text.Parse.Input) -> Result[(A, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(A) -> B -> fn(Std.Text.Parse.Input) -> Result[(B, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser's value transformed.
- Std.Text.Parse.newline
fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]One line ending, however the file writes it.
- Std.Text.Parse.noneOf
Str -> fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One character not in a set.
- Std.Text.Parse.notFollowedBy
Str -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[((), Std.Text.Parse.Input), Std.Text.Parse.Problem]Succeed, consuming nothing, only where the parser would fail.
- Std.Text.Parse.oneOf
Str -> fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One character from a set.
- Std.Text.Parse.option
T -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser's value, or a fallback when it fails without consuming.
- Std.Text.Parse.optional
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Option[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser's value if it succeeds, and nothing if it fails without consuming.
- Std.Text.Parse.orElse
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]The first parser, or the second when the first consumed nothing.
- Std.Text.Parse.partial
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> Str -> Result[(T, Int), Std.Text.Parse.Problem]Run a parser over text, allowing input to remain.
- Std.Text.Parse.pure
T -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser that consumes nothing and answers with a value.
- Std.Text.Parse.quoted
fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]Text between double quotes, with the usual escapes read.
- Std.Text.Parse.restOfLine
fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]Everything up to, but not including, the next line ending.
- Std.Text.Parse.run
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> Str -> Result[T, Std.Text.Parse.Problem]Run a parser over text, requiring it to consume all of it.
- Std.Text.Parse.satisfy
Str -> fn(Char) -> Bool -> fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One character the predicate accepts.
- Std.Text.Parse.sepEndBy
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(S, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]Items separated by, and optionally ended by, a separator.
- Std.Text.Parse.sepEndSome
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(S, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]The same, requiring at least one item.
- Std.Text.Parse.separatedBy
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(S, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]Nought or more, separated by another parser.
- Std.Text.Parse.separatedSome
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(S, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]One or more, separated by another parser.
- Std.Text.Parse.signed
fn(Std.Text.Parse.Input) -> Result[(N, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(N, Std.Text.Parse.Input), Std.Text.Parse.Problem] where N: IntegerAn optional sign, applied to a number.
- Std.Text.Parse.skipMany
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[((), Std.Text.Parse.Input), Std.Text.Parse.Problem]Run a parser and keep nothing, as many times as it succeeds.
- Std.Text.Parse.skipSome
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[((), Std.Text.Parse.Input), Std.Text.Parse.Problem]The same, requiring at least one.
- Std.Text.Parse.some
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(Array[T], Std.Text.Parse.Input), Std.Text.Parse.Problem]One or more.
- Std.Text.Parse.space
fn(Std.Text.Parse.Input) -> Result[(Char, Std.Text.Parse.Input), Std.Text.Parse.Problem]One space, tab, carriage return, or newline.
- Std.Text.Parse.spaces
fn(Std.Text.Parse.Input) -> Result[((), Std.Text.Parse.Input), Std.Text.Parse.Problem]Nought or more whitespace, discarded.
- Std.Text.Parse.symbol
Str -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]A particular piece of text, with trailing whitespace discarded.
- Std.Text.Parse.takeNotOf
Str -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The longest run made of none of these characters, possibly none.
- Std.Text.Parse.takeNotOf1
Str -> Str -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The same, requiring at least one character.
- Std.Text.Parse.takeOf
Str -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The longest run made only of these characters, possibly none.
- Std.Text.Parse.takeOf1
Str -> Str -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The same, requiring at least one character.
- Std.Text.Parse.takeWhile
fn(Char) -> Bool -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The longest run of characters the predicate accepts, as text, possibly none.
- Std.Text.Parse.takeWhile1
Str -> fn(Char) -> Bool -> fn(Std.Text.Parse.Input) -> Result[(Str, Std.Text.Parse.Input), Std.Text.Parse.Problem]The same, requiring at least one character.
- Std.Text.Parse.token
fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem] -> fn(Std.Text.Parse.Input) -> Result[(T, Std.Text.Parse.Input), Std.Text.Parse.Problem]A parser with any whitespace after it discarded, which is what a token is.
