final class With1[+A] extends AnyVal
Enables syntax to access product01, product and flatMap01 This helps us build Parser instances when starting from a Parser0
- Source
- Parser.scala
- Alphabetic
- By Inheritance
- With1
- AnyVal
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
def
*>[B](that: Parser[B]): Parser[B]
parser then that.
parser then that. Since that is a Parser the result is
-
def
<*[B](that: Parser[B]): Parser[A]
parser then that.
parser then that. Since that is a Parser the result is
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
between(b: Parser[Any], c: Parser[Any]): Parser[A]
parse between values.
parse between values. Since values are
Parser
the result is -
def
flatMap[B](fn: (A) ⇒ Parser[B]): Parser[B]
This is the usual monadic composition, but you should much prefer to use ~ or Apply.product, *>, <*, etc if you can since it is much more efficient.
This is the usual monadic composition, but you should much prefer to use ~ or Apply.product, *>, <*, etc if you can since it is much more efficient. This has to call fn on each parse, which could be a lot of extra work is you already know the result as is the case for ~
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val parser: Parser0[A]
-
def
soft: Soft01[A]
If we can parse this then that, do so, if we fail that without consuming, rewind before this without consuming.
If we can parse this then that, do so, if we fail that without consuming, rewind before this without consuming. If either consume 1 or more, do not rewind
-
def
surroundedBy(that: Parser[Any]): Parser[A]
parse surrounded by that.
parse surrounded by that. Since that is a Parser the result is
-
def
toString(): String
- Definition Classes
- Any
-
def
~[B](that: Parser[B]): Parser[(A, B)]
parser then that.
parser then that. Since that is a Parser the result is