Class

cats.parse.Parser

With1

Related Doc: package Parser

Permalink

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
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. With1
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new With1(parser: Parser0[A])

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    Any
  3. def *>[B](that: Parser[B]): Parser[B]

    Permalink

    parser then that.

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

  4. def <*[B](that: Parser[B]): Parser[A]

    Permalink

    parser then that.

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

  5. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def between(b: Parser[Any], c: Parser[Any]): Parser[A]

    Permalink

    parse between values.

    parse between values. Since values are Parser the result is

  8. def flatMap[B](fn: (A) ⇒ Parser[B]): Parser[B]

    Permalink

    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 ~

  9. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any
  10. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  11. val parser: Parser0[A]

    Permalink
  12. def soft: Soft01[A]

    Permalink

    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

  13. def surroundedBy(that: Parser[Any]): Parser[A]

    Permalink

    parse surrounded by that.

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

  14. def toString(): String

    Permalink
    Definition Classes
    Any
  15. def ~[B](that: Parser[B]): Parser[(A, B)]

    Permalink

    parser then that.

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

Inherited from AnyVal

Inherited from Any

Ungrouped