Packages

class ParserRethrow[In, Out] extends Parser[In, Out]

Source
ParserRethrow.scala
Linear Supertypes
Parser[In, Out], AnyRef, Any
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. ParserRethrow
  2. Parser
  3. AnyRef
  4. Any
Implicitly
  1. by ParserFollowedByOps
  2. by InvariantOps
  3. by any2stringadd
  4. by StringFormat
  5. by Ensuring
  6. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new ParserRethrow(self: Parser[In, Try[Out]])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toany2stringadd[ParserRethrow[In, Out]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (ParserRethrow[In, Out], B)
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toArrowAssoc[ParserRethrow[In, Out]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def asTransformer: Transformer[In, Out]

    Represent this parser as a Transformer which emits this parser's result

    Represent this parser as a Transformer which emits this parser's result

    Definition Classes
    Parser
  8. def attempt: Parser[In, Either[Throwable, Out]]

    Like wrapSafe, but represents exceptions as Left and successful results as Right

    Like wrapSafe, but represents exceptions as Left and successful results as Right

    Definition Classes
    Parser
  9. def beforeContext[I2 <: In, StackElem](matcher: ContextMatcher[StackElem, Any])(implicit stackable: StackLike[I2, StackElem], pos: CallerPos): Parser[I2, Out]

    Specialization of interruptedBy for stack-like input types, such that an interruption will occur upon entering a stack context that can be matched by the given matcher.

    Specialization of interruptedBy for stack-like input types, such that an interruption will occur upon entering a stack context that can be matched by the given matcher.

    Example:

    val preludeContext = * \ "prelude"
    val dataContext = * \ "data"
    for {
      prelude <- Splitter(preludeContext).firstOption[Prelude].beforeContext(dataContext).followedByStream
      data <- Splitter(dataContext).as[Data]
    } yield data
    I2

    Subtype of In, or just In (to satisfy contravariance of Parser's In type)

    StackElem

    Specialization of the In type for when it represents a stack push or pop

    matcher

    A matching function that operates on a context stack

    stackable

    Interprets the inputs as stack push/pop events to accumulate a context stack

    returns

    A parser which will perform an early finish() when a matching context is encountered

    Definition Classes
    Parser
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  11. def ensuring(cond: (ParserRethrow[In, Out]) => Boolean, msg: => Any): ParserRethrow[In, Out]
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toEnsuring[ParserRethrow[In, Out]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  12. def ensuring(cond: (ParserRethrow[In, Out]) => Boolean): ParserRethrow[In, Out]
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toEnsuring[ParserRethrow[In, Out]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  13. def ensuring(cond: Boolean, msg: => Any): ParserRethrow[In, Out]
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toEnsuring[ParserRethrow[In, Out]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  14. def ensuring(cond: Boolean): ParserRethrow[In, Out]
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toEnsuring[ParserRethrow[In, Out]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  15. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  16. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  17. def expectInputs[I2 <: In](expectations: List[(String, (I2) => Boolean)]): Parser[I2, Out]

    Impose expectations on the sequence of inputs to be received by handlers created by this parser.

    Impose expectations on the sequence of inputs to be received by handlers created by this parser. As this parser's handler receives an input, the input will be tested against the head of the expectations list. If the test returns false, the expectation is failed and the handler will throw an exception. If the test returns true, the expectation is satisfied, and the handler will advance to the next expectation. If there are no more expectations left in the list (i.e. N inputs have satisfied the corresponding N expectations), then all expectations have been met and inputs will be treated as normal by the handler. If the handler receives an EOF before all expectations are met, it will throw an exception.

    expectations

    A sequence of label -> test expectations imposed on inputs to this parser

    returns

    A copy of this parser with expectations imposed on its inputs

    Definition Classes
    Parser
  18. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  19. def followedBy: FollowedBy[In, Out, Parser]

    Intermediate object for creating a sequenced parser in which the result of this parser will be used to initialize a second parser as soon as it is available.

    Intermediate object for creating a sequenced parser in which the result of this parser will be used to initialize a second parser as soon as it is available.

    In other words, the source (series of In values) will be fed into this Parser until this parser's handler returns a result of type Out. At that point, the second parser (as specified by using the apply or flatMap methods on the FollowedBy returned by this method) will be instantiated. Any relevant "stack events" (see Stackable) will be replayed so the second parser has the right context, and from that point on, all In values will be sent to the second parser. When that second parser returns a result, that result becomes the output of the combined parser created by this.followedBy(out => makeSecondParser(out))

    Examples:

    val p1: Parser[A] = /* ... */
    def getP2(p1Result: A): Parser[B] = /* ... */
    val combined: Parser[B] = p1.followedBy(getP2)
    
    // alternative `flatMap` syntax
    val combined: Parser[B] = for {
      p1Result <- p1.followedBy
      p2Result <- getP2(p1Result)
    } yield p2Result

    See Parser's interruptedBy, which is useful when a transformer.parseFirstOption must be followedBy some other parser.

    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toParserFollowedByOps[In, Out] performed by method ParserFollowedByOps in io.dylemma.spac.Parser.
    Definition Classes
    ParserFollowedByOps
  20. def followedByParser: FollowedBy[In, Out, Parser]

    Alias for followedBy, for use when Cat's ApplyOps gets in the way with its own useless followedBy method.

    Alias for followedBy, for use when Cat's ApplyOps gets in the way with its own useless followedBy method.

    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toParserFollowedByOps[In, Out] performed by method ParserFollowedByOps in io.dylemma.spac.Parser.
    Definition Classes
    ParserFollowedByOps
  21. def followedByStream: FollowedBy[In, Out, Transformer]

    Intermediate object creating a transformer that depends on this parser.

    Intermediate object creating a transformer that depends on this parser. Particularly useful in cases where one or more specific "info" elements precede a stream of other elements which require that "info" to be parsed.

    Examples:

    val p1: Parser[In, A] = /* ... */
    def getP2Stream(p1Result: A): Transformer[In, B] = /* ... */
    val combined: Transformer[In, B] = p1.andThenStream(getP2Stream)
    
    // alternative `flatMap` syntax
    val combined: Transformer[In, B] = for {
      p1Result <- p1.andThenStream
      p2Result <- getP2Stream(p1Result)
    } yield p2Result

    See followedBy for a general explanation of how the combination works.

    See also, interruptedBy, which is useful when a transformer.parseFirstOption must be followedBy some other transformer.

    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toParserFollowedByOps[In, Out] performed by method ParserFollowedByOps in io.dylemma.spac.Parser.
    Definition Classes
    ParserFollowedByOps
  22. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toStringFormat[ParserRethrow[In, Out]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  23. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. def interruptedBy[I2 <: In](interrupter: Parser[I2, Any]): Parser[I2, Out]

    Create a copy of this parser that will treat a result from the interrupter as an early EOF.

    Create a copy of this parser that will treat a result from the interrupter as an early EOF. This is especially useful for creating followedBy chains involving optional elements.

    Normally, a parser for an optional item in some context will not finish until that context ends, or until the item is encountered. So if the item is not present, followedBy logic won't work since the followUp parser/transformer will not see any events.

    To make sure the leading parser can "fail fast", you can "interrupt" it, typically by creating a parser that immediately returns a result upon entering a particular context, i.e. the context in which the "following" parser will start. Parser#beforeContext provides a convenience for doing so.

    Note that if the interrupter throws an exception, that exception will not be caught. If your interrupter might throw, pass interrupter.wrapSafe instead to swallow the exception.

    I2

    Subtype of In, or just In (to satisfy contravariance of Parser's In type)

    interrupter

    A parser which will be run in parallel with this parser, and whose result will be treated as an early EOF for this parser, forcing an early call to finish().

    returns

    A parser which will perform an early finish() call when the interrupter produces a result.

    Definition Classes
    Parser
  26. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  27. def map[Out2](f: (Out) => Out2): Parser[In, Out2]

    Create a copy of this Parser whose result is transformed by the given function f.

    Create a copy of this Parser whose result is transformed by the given function f.

    Out2

    The new parser's result type

    f

    Result transformation function

    Definition Classes
    Parser
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. def newHandler: Handler[In, Out]

    Parser's main abstract method; constructs a new Handler representing this parser's logic.

    Parser's main abstract method; constructs a new Handler representing this parser's logic. Parsers are expected to be immutable, but Handlers may be internally-mutable.

    Definition Classes
    ParserRethrowParser
  30. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  31. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  32. def orElse[In2 <: In, Out2 >: Out](fallback: Parser[In2, Out2]): Parser[In2, Out2]

    Combine this parser with the fallback such that failures from the underlying parsers will be ignored as long as at least one succeeds.

    Combine this parser with the fallback such that failures from the underlying parsers will be ignored as long as at least one succeeds. The result will be the result of whichever underlying parser succeeds first. If all of the underlying parsers fail, a SpacException.FallbackChainFailure will be thrown by the returned parser's handler.

    In2

    Subtype of In, or just In (to satisfy Parser's contravariance on the In type)

    Out2

    Supertype of Out, or just Out (to satisfy Parser's covariance on the Out type)

    fallback

    another parser of the same(ish) type as this one

    returns

    A new parser that will succeed if either this parser or the fallback succeed

    Definition Classes
    Parser
  33. def parse[S](source: S)(implicit S: Parsable[Id, S, In], pos: CallerPos): Out

    Interpret the given source as a data stream of type In, using this parser to produce a result of type Out.

    Interpret the given source as a data stream of type In, using this parser to produce a result of type Out. Exceptions thrown by the underlying parser logic will bubble up and be thrown by this method.

    S

    The source type. Will typically be a File or a List[In].

    source

    The source of a data stream

    S

    Typeclass instance that provides the logic for feeding values from source into this parser

    pos

    Captures the caller filename and line number, used to fill in the 'spac trace' if the parser throws an exception

    Definition Classes
    Parser
    Annotations
    @throws(scala.this.throws.<init>$default$1[io.dylemma.spac.SpacException[_]])
  34. def parseF[F[_], S](source: S)(implicit S: Parsable[F, S, In], pos: CallerPos): F[Out]

    Interpret the given source as a data stream of type In, using this parser to produce a result of type Out.

    Interpret the given source as a data stream of type In, using this parser to produce a result of type Out. In this version of the parse method, the data-pull and handler logic is run in the F context. Exceptions thrown by the underlying parser logic will be raised in the F context instead of thrown.

    F

    An effect type in which the data-pull and handler logic will be run

    S

    The source type. Will typically be a File or a List[In].

    source

    The source of a data stream

    S

    Typeclass instance that provides the logic for feeding values from source into this parser

    pos

    Captures the caller filename and line number, used to fill in the 'spac trace' if the parser throws an exception

    returns

    An effect which, when evaluated, will consume data events from the source using this parser to produce a result. Note that if the F type isn't "lazy", the actual evaluation of the stream may happen as part of the *construction* of the F[Out], rather than during the *evaluation*.

    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toInvariantOps[In, Out] performed by method InvariantOps in io.dylemma.spac.Parser.
    Definition Classes
    InvariantOps
  35. def rethrow[T](implicit ev: <:<[Out, Either[Throwable, T]]): Parser[In, T]

    Like unwrapSafe, but rethrows exceptions from Left or returns results from Right.

    Like unwrapSafe, but rethrows exceptions from Left or returns results from Right. This operation is the opposite of attempt.

    Definition Classes
    Parser
  36. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  37. def toPipe[F[_]](implicit pos: CallerPos): Pipe[F, In, Out]

    Convert this parser to a FS2 "Pipe".

    Convert this parser to a FS2 "Pipe". The resulting pipe will forward inputs from the upstream into this parser, emitting a single value to the downstream when this parser finishes. Since a Parser may abort early (e.g. with Parser.first), the pipe may not pull the entire input stream.

    Definition Classes
    Parser
  38. def toString(): String
    Definition Classes
    AnyRef → Any
  39. def unwrapSafe[T](implicit ev: <:<[Out, Try[T]]): Parser[In, T]

    Creates a copy of this parser which unwraps the resulting Try, throwing an exception if the result was a Failure.

    Creates a copy of this parser which unwraps the resulting Try, throwing an exception if the result was a Failure. This operation is the opposite of wrapSafe.

    Definition Classes
    Parser
  40. def upcast[Out2](implicit ev: <:<[Out, Out2]): Parser[In, Out2]

    Returns this parser, with the output type widened to Out2, which is some supertype of Out.

    Returns this parser, with the output type widened to Out2, which is some supertype of Out. Uses asInstanceOf rather than creating a new parser.

    Definition Classes
    Parser
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  44. def withName(name: String): Parser[In, Out]

    Creates a copy of this parser, but with a different toString

    Creates a copy of this parser, but with a different toString

    name

    The new "name" (i.e. toString) for this parser

    returns

    A copy of this parser whose toString returns the given name

    Definition Classes
    Parser
  45. def wrapSafe: Parser[In, Try[Out]]

    Create a copy of this Parser whose handler will catch NonFatal exceptions thrown by the underlying logic.

    Create a copy of this Parser whose handler will catch NonFatal exceptions thrown by the underlying logic. Caught exceptions will be yielded as a Failure output. Normal results will be wrapped in Success.

    returns

    A copy of this parser that will return a Failure instead of throwing exceptions

    Definition Classes
    Parser

Deprecated Value Members

  1. def [B](y: B): (ParserRethrow[In, Out], B)
    Implicit
    This member is added by an implicit conversion from ParserRethrow[In, Out] toArrowAssoc[ParserRethrow[In, Out]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from Parser[In, Out]

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion ParserFollowedByOps fromParserRethrow[In, Out] to ParserFollowedByOps[In, Out]

Inherited by implicit conversion InvariantOps fromParserRethrow[In, Out] to InvariantOps[In, Out]

Inherited by implicit conversion any2stringadd fromParserRethrow[In, Out] to any2stringadd[ParserRethrow[In, Out]]

Inherited by implicit conversion StringFormat fromParserRethrow[In, Out] to StringFormat[ParserRethrow[In, Out]]

Inherited by implicit conversion Ensuring fromParserRethrow[In, Out] to Ensuring[ParserRethrow[In, Out]]

Inherited by implicit conversion ArrowAssoc fromParserRethrow[In, Out] to ArrowAssoc[ParserRethrow[In, Out]]

Abstract Members

Consumer Methods

Transformation / Combinator Methods

Ungrouped