parsec

Type Members

class Ahead[E, T] extends Parsec[E, T]

Ahead use a parser to parse state, return the result and rollback whatever
Ahead use a parser to parse state, return the result and rollback whatever

Version
1.0.0
class Attempt[E, T] extends Parsec[E, T]

The parser try p behaves like parser p, except that it pretends that it hasn't consumed any input when an error occurs.
The parser try p behaves like parser p, except that it pretends that it hasn't consumed any input when an error occurs.
This combinator is used whenever arbitrary look ahead is needed. Since it pretends that it hasn't consumed any input when p fails, the (<|>) combinator will try its second alternative even when the first parser failed while consuming input.

Version
1.0.0
class Between[E, T] extends Parsec[E, T]

Between parse the open parser, and then sub parser, and then close parser, return sub parser result if success.
Between parse the open parser, and then sub parser, and then close parser, return sub parser result if success.

Version
1.0.0
trait Binder[E, T, O] extends AnyRef

TODO
TODO

Version
1.0.0
Since
2020/06/12 19:03
class Ch extends Parsec[Char, Char]

If get one char equals the Ch prepared, return it.
If get one char equals the Ch prepared, return it.

Version
1.0.0
class ChIn extends Parsec[Char, Char]

If get a char match any of content, return it.
If get a char match any of content, return it.

Version
1.0.0
class ChNone extends Parsec[Char, Char]

Char None get next char, return it if none of content chars match.
Char None get next char, return it if none of content chars match.

Version
1.0.0
case class Chars1In(elements: String, caseSensitive: Boolean = true) extends Parsec[Char, String] with Product with Serializable

TODO
TODO

Version
1.0.0
Since
2022/05/06 00:59
case class CharsIn(elements: String, caseSensitive: Boolean = true) extends Parsec[Char, String] with Product with Serializable

TODO
TODO

Version
1.0.0
Since
2022/05/06 00:59
class Choice[E, T] extends Parsec[E, T]

Choice just the operator <|> in Haskell parsec
Choice just the operator <|> in Haskell parsec

Version
1.0.0
trait CommonState[T] extends State[T]

Common State has int status and transaction market.
Common State has int status and transaction market. It can apply to Seq[T] or any serial collection.

Version
1.0.0
class Count[E, T] extends Parsec[E, Seq[T]]

count n p parses n occurrences of p.
count n p parses n occurrences of p. If n is smaller or equal to zero, the parser equals to return []. Returns a list of n values returned by p.

Version
1.0.0
class Crlf extends Parsec[Char, String]

Crlf 即 haskell parsec 的 crlf 算子,匹配 \r\n .
Crlf 即 haskell parsec 的 crlf 算子,匹配 \r\n .

Version
1.0.0
class Decimal extends Parsec[Char, String]

Decimal parser parse a decimal number with signed or no.
Decimal parser parse a decimal number with signed or no.

Version
1.0.0
class Digit extends Parsec[Char, Char]

Digit parser return char if it is a digit
Digit parser return char if it is a digit

Version
1.0.0
class EndBy[E, T] extends Parsec[E, Seq[T]]

EndBy p sep parses zero or more occurrences of p, separated and ended by sep.
EndBy p sep parses zero or more occurrences of p, separated and ended by sep. Returns a seq of values returned by p.

Version
1.0.0
class EndBy1[E, T] extends Parsec[E, Seq[T]]

EndBy1 p sep parses one or more occurrences of p, separated and ended by sep.
EndBy1 p sep parses one or more occurrences of p, separated and ended by sep. Returns a seq of values returned by p.

Version
1.0.0
class EndOfLine extends Parsec[Char, String]

check next content if a \n char or \r\n
check next content if a \n char or \r\n

Version
1.0.0
class Enumerate[E, T] extends Parsec[E, Set[T]]

TODO
TODO

Version
1.0.0
Since
2023/10/22 00:43
class Eof[E] extends Parsec[E, Unit]

Eof check state if get to end, It return nothing.
Eof check state if get to end, It return nothing. Eof just success or failed.

Version
1.0.0
class Eq[E] extends Parsec[E, E]

Eq return from state if get a item equals its.
Eq return from state if get a item equals its.

Version
1.0.0
class Fail[E] extends Parsec[E, E]

Fail do nothing but failed.
Fail do nothing but failed.

Version
1.0.0
class Find[E, T] extends Parsec[E, T]

Find try and next util success or eof.
Find try and next util success or eof.

Version
1.0.0
class Int extends Parsec[Char, String]

Int try to parse a long as long int from state and with signed.
Int try to parse a long as long int from state and with signed.

Version
1.0.0
class Is[T] extends Parsec[T, T]

TODO
TODO

Version
1.0.0
Since
2020/07/23 14:18
class Letter extends Parsec[Char, Char]

TODO
TODO

Version
1.0.0
Since
2020/06/12 18:53
class Many[E, T] extends Parsec[E, Seq[T]]

Many try to parse the parse more times, and collect all results into a Seq.
Many try to parse the parse more times, and collect all results into a Seq. Many could success 0 to any times.
class Many1[E, T] extends Parsec[E, Seq[T]]

Many try to parse the parse more times, and collect all results into a Seq.
Many try to parse the parse more times, and collect all results into a Seq. Many must success once at lest

Version
1.0.0
case class Many1In[E](toggle: Set[E]) extends Parsec[E, Seq[E]] with Product with Serializable

TODO
TODO

Version
1.0.0
Since
2022/05/06 00:47
case class ManyIn[E](toggle: Set[E]) extends Parsec[E, Seq[E]] with Product with Serializable

TODO
TODO

Version
1.0.0
Since
2022/05/06 00:47
class ManyTill[E, T, L] extends Parsec[E, Seq[T]]

manyTill p end applies parser p zero or more times until parser end succeeds.
manyTill p end applies parser p zero or more times until parser end succeeds. Returns the list of values returned by p. This parser can be used to scan comments.

Version
1.0.0
class MkString extends Binder[Char, Seq[Char], String]

TODO
TODO

Version
1.0.0
Since
2020/06/12 19:03
class NCh extends Parsec[Char, Char]

NCh return if get a char not equals prepared.
NCh return if get a char not equals prepared.

Version
1.0.0
class Ne[E] extends Parsec[E, E]

Ne success if get item not equals the prepared one.
Ne success if get item not equals the prepared one.

Version
1.0.0
class Newline extends Parsec[Char, Char]

Newline match \n char
Newline match \n char

Version
1.0.0
class NoWhitespace extends Parsec[Char, Char]

NoWhitespace success if the char is't any whitespace.
NoWhitespace success if the char is't any whitespace.

Version
1.0.0
class NoneOf[E] extends Parsec[E, E]

NoneOf success if get a item is none in prepared
NoneOf success if get a item is none in prepared

Version
1.0.0
class One[E] extends Parsec[E, E]

One just take state.next, It maybe throw eof exception.
One just take state.next, It maybe throw eof exception.

Version
1.0.0
class OneOf[T] extends Parsec[T, T]

OneOf success if item equals one of prepared.
OneOf success if item equals one of prepared.

Version
1.0.0
class Opt[E, T] extends Parsec[E, T]

Opt x p tries to apply parser p.
Opt x p tries to apply parser p. If p fails without consuming input, it returns the value x, otherwise the value returned by p.

Version
1.0.0
trait Parsec[E, +T] extends AnyRef

trait of Parsec parsers.
trait of Parsec parsers.

Version
1.0.0
class ParsecException extends Exception

Parser throw ParsecException if failed.
Parser throw ParsecException if failed.

Version
1.0.0
class Return[E, T] extends Parsec[E, T]

Return just lift a value to Parsec Parser.
Return just lift a value to Parsec Parser.

Version
1.0.0
class ScNumber extends Parsec[Char, String]

TODO
TODO

Version
1.0.0
class SepBy[E, T] extends Parsec[E, Seq[T]]

sepBy p sep parses zero or more occurrences of p, separated by sep.
sepBy p sep parses zero or more occurrences of p, separated by sep. Returns a list of values returned by p.

Version
1.0.0
class SepBy1[E, T] extends Parsec[E, Seq[T]]

SepBy1 p sep parses one or more occurrences of p, separated by sep.
SepBy1 p sep parses one or more occurrences of p, separated by sep. Returns a list of values returned by p.

Version
1.0.0
class SepEndBy[E, T] extends Parsec[E, Seq[T]]

SepEndBy p sep parses zero or more occurrences of p, separated and optionally ended by sep, ie.
SepEndBy p sep parses zero or more occurrences of p, separated and optionally ended by sep, ie. haskell style statements. Returns a seq of values returned by p.

Version
1.0.0
class SepEndBy1[E, T] extends Parsec[E, Seq[T]]

SepEndBy1 p sep parses one or more occurrences of p, separated and optionally ended by sep.
SepEndBy1 p sep parses one or more occurrences of p, separated and optionally ended by sep. Returns a list of values returned by p.

Version
1.0.0
class Skip[E] extends Parsec[E, Unit]

Skip p applies the parser p zero or more times, skipping its result.
Skip p applies the parser p zero or more times, skipping its result.

Version
1.0.0
class Skip1[E] extends Parsec[E, Unit]

Skip1 p applies the parser p one or more times, skipping its result.
Skip1 p applies the parser p one or more times, skipping its result.

Version
1.0.0
class Skip1Spaces extends Parsec[Char, Unit]

TODO
TODO

Version
1.0.0
class Skip1Whitespaces extends Parsec[Char, Unit]

TODO
TODO

Version
1.0.0
class SkipSpaces extends Parsec[Char, Unit]

TODO
TODO

Version
1.0.0
class SkipWhitespaces extends Parsec[Char, Unit]

TODO
TODO

Version
1.0.0
class Space extends Parsec[Char, Char]

TODO
TODO

Version
1.0.0
trait State[+E] extends AnyRef

TODO
TODO

Version
1.0.0
class Text extends Parsec[Char, String]

TODO
TODO

Version
1.0.0
class TxtState extends CommonState[Char]

Txt State extends Common State trait.
Txt State extends Common State trait. It special for text content analyst. Txt state could mark a status point in which line.

Version
1.0.0
class UDecimal extends Parsec[Char, String]

UDecimal parser parse a decimal number without signed
UDecimal parser parse a decimal number without signed

Version
1.0.0
class UInt extends Parsec[Char, String]

Int try to parse a long as long int from state and without signed.
Int try to parse a long as long int from state and without signed.

Version
1.0.0
class Whitespace extends Parsec[Char, Char]

TODO
TODO

Version
1.0.0
Since
2020/05/09 17:18

Value Members

object Ahead
object Atom

Atom parsers, like one, eof, return and failed, equals and not equals, etc.
Atom parsers, like one, eof, return and failed, equals and not equals, etc.

Version
1.0.0
object Attempt
object Between
object Ch
object ChIn
object ChNone
object Choice
object Combinator

Parsec Combinators
Parsec Combinators

Version
1.0.0
object Count
object Crlf
object Decimal
object Digit
object EndBy
object EndBy1
object EndOfLine
object Eof
object Eq
object Fail
object Find
object Int
object Letter
object Many
object Many1
object ManyTill
object MkString
object NCh
object Ne
object Newline
object NoWhitespace
object NoneOf
object One
object OneOf
object Opt
object Parsec
object Return
object SepBy
object SepBy1
object Skip
object Skip1
object SkipSpaces
object SkipWhitespaces
object Space
object State
object Text
object Txt

Functions Helper include parsers for Text
Functions Helper include parsers for Text

Version
1.0.0
object TxtState
object UDecimal
object UInt
object Whitespace

package parsec

Type Members

class Ahead[E, T] extends Parsec[E, T]

class Attempt[E, T] extends Parsec[E, T]

class Between[E, T] extends Parsec[E, T]

trait Binder[E, T, O] extends AnyRef

class Ch extends Parsec[Char, Char]

class ChIn extends Parsec[Char, Char]

class ChNone extends Parsec[Char, Char]

case class Chars1In(elements: String, caseSensitive: Boolean = true) extends Parsec[Char, String] with Product with Serializable

case class CharsIn(elements: String, caseSensitive: Boolean = true) extends Parsec[Char, String] with Product with Serializable

class Choice[E, T] extends Parsec[E, T]

trait CommonState[T] extends State[T]

class Count[E, T] extends Parsec[E, Seq[T]]

class Crlf extends Parsec[Char, String]

class Decimal extends Parsec[Char, String]

class Digit extends Parsec[Char, Char]

class EndBy[E, T] extends Parsec[E, Seq[T]]

class EndBy1[E, T] extends Parsec[E, Seq[T]]

class EndOfLine extends Parsec[Char, String]

class Enumerate[E, T] extends Parsec[E, Set[T]]

class Eof[E] extends Parsec[E, Unit]

class Eq[E] extends Parsec[E, E]

class Fail[E] extends Parsec[E, E]

class Find[E, T] extends Parsec[E, T]

class Int extends Parsec[Char, String]

class Is[T] extends Parsec[T, T]

class Letter extends Parsec[Char, Char]

class Many[E, T] extends Parsec[E, Seq[T]]

class Many1[E, T] extends Parsec[E, Seq[T]]

case class Many1In[E](toggle: Set[E]) extends Parsec[E, Seq[E]] with Product with Serializable

case class ManyIn[E](toggle: Set[E]) extends Parsec[E, Seq[E]] with Product with Serializable

class ManyTill[E, T, L] extends Parsec[E, Seq[T]]

class MkString extends Binder[Char, Seq[Char], String]

class NCh extends Parsec[Char, Char]

class Ne[E] extends Parsec[E, E]

class Newline extends Parsec[Char, Char]

class NoWhitespace extends Parsec[Char, Char]

class NoneOf[E] extends Parsec[E, E]

class One[E] extends Parsec[E, E]

class OneOf[T] extends Parsec[T, T]

class Opt[E, T] extends Parsec[E, T]

trait Parsec[E, +T] extends AnyRef

class ParsecException extends Exception

class Return[E, T] extends Parsec[E, T]

class ScNumber extends Parsec[Char, String]

class SepBy[E, T] extends Parsec[E, Seq[T]]

class SepBy1[E, T] extends Parsec[E, Seq[T]]

class SepEndBy[E, T] extends Parsec[E, Seq[T]]

class SepEndBy1[E, T] extends Parsec[E, Seq[T]]

class Skip[E] extends Parsec[E, Unit]

class Skip1[E] extends Parsec[E, Unit]

class Skip1Spaces extends Parsec[Char, Unit]

class Skip1Whitespaces extends Parsec[Char, Unit]

class SkipSpaces extends Parsec[Char, Unit]

class SkipWhitespaces extends Parsec[Char, Unit]

class Space extends Parsec[Char, Char]

trait State[+E] extends AnyRef

class Text extends Parsec[Char, String]

class TxtState extends CommonState[Char]

class UDecimal extends Parsec[Char, String]

class UInt extends Parsec[Char, String]

class Whitespace extends Parsec[Char, Char]

Value Members

object Ahead

object Atom

object Attempt

object Between

object Ch

object ChIn

object ChNone

object Choice

object Combinator

object Count

object Crlf

object Decimal

object Digit

object EndBy

object EndBy1