org.json4s.scalap

Type members

Classlikes

trait Choice[-In, +Out, +A, +X] extends Rule[In, Out, A, X]
Source:
Rule.scala
case class Error[+X](error: X) extends NoSuccess[X]
case object Failure extends NoSuccess[Nothing]
class InRule[In, +Out, +A, +X](rule: Rule[In, Out, A, X])

A workaround for the difficulties of dealing with a contravariant 'In' parameter type...

A workaround for the difficulties of dealing with a contravariant 'In' parameter type...

Source:
SeqRule.scala
object Main
Source:
Main.scala
trait Name
sealed abstract class NoSuccess[+X] extends Result[Nothing, Nothing, X]
sealed abstract class Result[+Out, +A, +X]
trait Rule[-In, +Out, +A, +X] extends In => Result[Out, A, X]

A Rule is a function from some input to a Result. The result may be:

A Rule is a function from some input to a Result. The result may be:

  • Success, with a value of some type and an output that may serve as the input to subsequent rules.

  • Failure. A failure may result in some alternative rule being applied.

  • Error. No further rules should be attempted.

Source:
Rule.scala
trait Rules

A factory for rules.

A factory for rules.

Source:
Rules.scala
trait RulesWithState extends Rules with StateRules
case class ScalaSigParserError(msg: String) extends RuntimeException
class SeqRule[S, +A, +X](rule: Rule[S, S, A, X])

A factory for rules that apply to a particular context.

A factory for rules that apply to a particular context.

Source:
Rules.scala
case class Success[+Out, +A](out: Out, value: A) extends Result[Out, A, Nothing]
case class ~[+A, +B](_1: A, _2: B)

Represents the combined value of two rules applied in sequence.

Represents the combined value of two rules applied in sequence.

See also:

the Scala parser combinator

Source:
Result.scala