public static final class Parser.CharsParser
extends java.lang.Object
Stream<Character>
input.Modifier and Type | Method and Description |
---|---|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
alpha(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an alpha character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
alpha(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an alpha character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
alphaNum(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an alpha-numeric character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
alphaNum(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an alpha-numeric character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
character(E e)
Returns a parser that produces a character if one is available or fails with the given error.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
character(E missing,
F<java.lang.Character,E> sat,
char c)
Returns a parser that produces the given character or fails otherwise.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
character(F0<E> e)
Returns a parser that produces a character if one is available or fails with the given error.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
character(F0<E> missing,
F<java.lang.Character,E> sat,
char c)
Returns a parser that produces the given character or fails otherwise.
|
static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> |
characters(E missing,
F<java.lang.Character,E> sat,
Stream<java.lang.Character> cs)
Returns a parser that produces the given stream of characters or fails otherwise.
|
static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> |
characters(E missing,
int n)
Returns a parser that produces the given number of characters, or fails with the given error.
|
static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> |
characters(F0<E> missing,
F<java.lang.Character,E> sat,
Stream<java.lang.Character> cs)
Returns a parser that produces the given stream of characters or fails otherwise.
|
static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> |
characters(F0<E> missing,
int n)
Returns a parser that produces the given number of characters, or fails with the given error.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
defined(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a defined character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
defined(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a defined character.
|
static <E> Parser<Stream<java.lang.Character>,Digit,E> |
digit(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a digit (0 to 9).
|
static <E> Parser<Stream<java.lang.Character>,Digit,E> |
digit(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a digit (0 to 9).
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
highSurrogate(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a high-surrogate character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
highSurrogate(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a high-surrogate character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
identifierIgnorable(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an identifier-ignorable character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
identifierIgnorable(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an identifier-ignorable character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
isoControl(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an ISO control character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
isoControl(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces an ISO control character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
javaIdentifierPart(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a Java identifier part character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
javaIdentifierPart(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a Java identifier part character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
javaIdentifierStart(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a Java identifier start character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
javaIdentifierStart(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a Java identifier start character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
lower(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a lower-case character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
lower(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a lower-case character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
lowSurrogate(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a low-surrogate character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
lowSurrogate(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a low-surrogate character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
mirrored(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a mirrored character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
mirrored(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a mirrored character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
space(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a space character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
space(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a space character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.String,E> |
string(E missing,
F<java.lang.Character,E> sat,
java.lang.String s)
Returns a parser that produces the given string or fails otherwise.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.String,E> |
string(F0<E> missing,
F<java.lang.Character,E> sat,
java.lang.String s)
Returns a parser that produces the given string or fails otherwise.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
titleCase(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a title-case character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
titleCase(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a title-case character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
unicodeIdentiferPart(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a unicode identifier part character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
unicodeIdentiferPart(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a unicode identifier part character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
unicodeIdentiferStart(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a unicode identifier start character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
unicodeIdentiferStart(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a unicode identifier start character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
upper(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a upper-case character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
upper(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a upper-case character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
whitespace(E missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a white-space character.
|
static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> |
whitespace(F0<E> missing,
F<java.lang.Character,E> sat)
Returns a parser that produces a white-space character.
|
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> character(F0<E> e)
e
- The error to fail with if a character is unavailable.public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> character(E e)
e
- The error to fail with if a character is unavailable.public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> character(F0<E> missing, F<java.lang.Character,E> sat, char c)
missing
- The error if no character is available.sat
- The error if the produced character is not the one given.c
- The character to produce in the parser.public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> character(E missing, F<java.lang.Character,E> sat, char c)
missing
- The error if no character is available.sat
- The error if the produced character is not the one given.c
- The character to produce in the parser.public static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> characters(F0<E> missing, int n)
missing
- The error if the given number of characters is unavailable.n
- The number of characters to produce in the parse result.public static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> characters(E missing, int n)
missing
- The error if the given number of characters is unavailable.n
- The number of characters to produce in the parse result.public static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> characters(F0<E> missing, F<java.lang.Character,E> sat, Stream<java.lang.Character> cs)
missing
- The error if the producing stream could not supply more characters.sat
- The error if a character was produced that is not the given stream of characters.cs
- The stream of characters to produce.public static <E> Parser<Stream<java.lang.Character>,Stream<java.lang.Character>,E> characters(E missing, F<java.lang.Character,E> sat, Stream<java.lang.Character> cs)
missing
- The error if the producing stream could not supply more characters.sat
- The error if a character was produced that is not the given stream of characters.cs
- The stream of characters to produce.public static <E> Parser<Stream<java.lang.Character>,java.lang.String,E> string(F0<E> missing, F<java.lang.Character,E> sat, java.lang.String s)
missing
- The error if the producing stream could not supply more characters.sat
- The error if a character was produced that is not the given string.s
- The string to produce.public static <E> Parser<Stream<java.lang.Character>,java.lang.String,E> string(E missing, F<java.lang.Character,E> sat, java.lang.String s)
missing
- The error if the producing stream could not supply more characters.sat
- The error if a character was produced that is not the given string.s
- The string to produce.public static <E> Parser<Stream<java.lang.Character>,Digit,E> digit(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a digit with.sat
- The error if the produced character is not a digit.public static <E> Parser<Stream<java.lang.Character>,Digit,E> digit(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a digit with.sat
- The error if the produced character is not a digit.public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> lower(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a lower-case character with.sat
- The error if the produced character is not a lower-case character.Character.isLowerCase(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> lower(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a lower-case character with.sat
- The error if the produced character is not a lower-case character.Character.isLowerCase(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> upper(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a upper-case character with.sat
- The error if the produced character is not a upper-case character.Character.isUpperCase(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> upper(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a upper-case character with.sat
- The error if the produced character is not a upper-case character.Character.isUpperCase(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> defined(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a defined character with.sat
- The error if the produced character is not a defined character.Character.isDefined(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> defined(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a defined character with.sat
- The error if the produced character is not a defined character.Character.isDefined(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> highSurrogate(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a high-surrogate character with.sat
- The error if the produced character is not a high-surrogate character.Character.isHighSurrogate(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> highSurrogate(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a high-surrogate character with.sat
- The error if the produced character is not a high-surrogate character.Character.isHighSurrogate(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> identifierIgnorable(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an identifier-ignorable character with.sat
- The error if the produced character is not an identifier-ignorable character.Character.isIdentifierIgnorable(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> identifierIgnorable(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an identifier-ignorable character with.sat
- The error if the produced character is not an identifier-ignorable character.Character.isIdentifierIgnorable(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> isoControl(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an ISO control character with.sat
- The error if the produced character is not an ISO control character.Character.isISOControl(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> isoControl(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an ISO control character with.sat
- The error if the produced character is not an ISO control character.Character.isISOControl(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> javaIdentifierPart(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a Java identifier part character with.sat
- The error if the produced character is not a Java identifier part character.Character.isJavaIdentifierPart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> javaIdentifierPart(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a Java identifier part character with.sat
- The error if the produced character is not a Java identifier part character.Character.isJavaIdentifierPart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> javaIdentifierStart(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a Java identifier start character with.sat
- The error if the produced character is not a Java identifier start character.Character.isJavaIdentifierStart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> javaIdentifierStart(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a Java identifier start character with.sat
- The error if the produced character is not a Java identifier start character.Character.isJavaIdentifierStart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> alpha(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an alpha character with.sat
- The error if the produced character is not an alpha character.Character.isLetter(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> alpha(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an alpha character with.sat
- The error if the produced character is not an alpha character.Character.isLetter(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> alphaNum(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an alpha-numeric character with.sat
- The error if the produced character is not an alpha-numeric character.Character.isLetterOrDigit(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> alphaNum(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce an alpha-numeric character with.sat
- The error if the produced character is not an alpha-numeric character.Character.isLetterOrDigit(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> lowSurrogate(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a low-surrogate character with.sat
- The error if the produced character is not a low-surrogate character.Character.isLowSurrogate(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> lowSurrogate(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a low-surrogate character with.sat
- The error if the produced character is not a low-surrogate character.Character.isLowSurrogate(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> mirrored(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a mirrored character with.sat
- The error if the produced character is not a mirrored character.Character.isMirrored(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> mirrored(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a mirrored character with.sat
- The error if the produced character is not a mirrored character.Character.isMirrored(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> space(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a space character with.sat
- The error if the produced character is not a space character.Character.isSpace(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> space(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a space character with.sat
- The error if the produced character is not a space character.Character.isSpace(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> titleCase(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a title-case character with.sat
- The error if the produced character is not a title-case character.Character.isTitleCase(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> titleCase(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a title-case character with.sat
- The error if the produced character is not a title-case character.Character.isTitleCase(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> unicodeIdentiferPart(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a unicode identifier part character with.sat
- The error if the produced character is not a unicode identifier part character.Character.isUnicodeIdentifierPart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> unicodeIdentiferPart(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a unicode identifier part character with.sat
- The error if the produced character is not a unicode identifier part character.Character.isUnicodeIdentifierPart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> unicodeIdentiferStart(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a unicode identifier start character with.sat
- The error if the produced character is not a unicode identifier start character.Character.isUnicodeIdentifierStart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> unicodeIdentiferStart(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a unicode identifier start character with.sat
- The error if the produced character is not a unicode identifier start character.Character.isUnicodeIdentifierStart(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> whitespace(F0<E> missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a white-space character with.sat
- The error if the produced character is not a white-space character.Character.isWhitespace(char)
public static <E> Parser<Stream<java.lang.Character>,java.lang.Character,E> whitespace(E missing, F<java.lang.Character,E> sat)
missing
- The error if there is no character on the stream to produce a white-space character with.sat
- The error if the produced character is not a white-space character.Character.isWhitespace(char)