cats-parse/cats.parse/Parser$/With1

With1

final class With1[+A](val parser: Parser0[A]) extends AnyVal
Enables syntax to access product01, product and flatMap01
This helps us build Parser instances when starting from
a Parser0
class AnyVal
trait Matchable
class Any

Value members

Methods

def ~[B](that: Parser[B]): Parser[(A, B)]
parser then that.
Since that is a 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
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 *>[B](that: Parser[B]): Parser[B]
parser then that.
Since that is a Parser the result is
def <*[B](that: Parser[B]): Parser[A]
parser then that.
Since that is a Parser the result is
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 either consume 1 or more, do not rewind
def between(b: Parser[Any], c: Parser[Any]): Parser[A]
parse between values.
Since values are Parser the result is
def surroundedBy(that: Parser[Any]): Parser[A]
parse surrounded by that.
Since that is a Parser the result is

Fields