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

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

Concrete methods

def *>[B](that: Parser[B]): Parser[B]

parser then that. Since that is a Parser the result is

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

parser then that. Since that is a Parser the result is

def between(b: Parser[Any], c: Parser[Any]): Parser[A]

parse between values. Since values are Parser the result is

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 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 ~

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 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

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. Since that is a Parser the result is

parse surrounded by that. Since that is a Parser the result is

def ~[B](that: Parser[B]): Parser[(A, B)]

parser then that. Since that is a Parser the result is

parser then that. Since that is a Parser the result is

Concrete fields

val parser: Parser0[A]