scala.tools.scalap.scalax

rules

package rules

Visibility
  1. Public
  2. All

Type Members

  1. trait ApplicativeArrows extends Arrows

  2. class ArrayInput[A] extends Input[A]

  3. trait ArrowMonads extends ApplicativeArrows with Monads

  4. trait Arrows extends UnitFunctors

  5. trait Choice[-In, +Out, +A, +X] extends Rule[In, Out, A, X]

  6. trait DefaultMemoisable extends Memoisable

  7. case class Error[+X](error: X) extends NoSuccess[X] with Product with Serializable

  8. trait Filter[+A] extends AnyRef

  9. trait Functor[+A] extends AnyRef

  10. trait Functors extends AnyRef

  11. class InRule[In, +Out, +A, +X] extends AnyRef

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

  12. trait Input[+A] extends Iterable[A]

  13. class IterableInput[A] extends Input[A]

  14. trait Memoisable extends AnyRef

  15. trait MemoisableRules extends Rules

  16. trait Monad[+A] extends Functor[A]

  17. trait Monads extends UnitFunctors

  18. trait Monoidals extends UnitFunctors

  19. trait Name extends AnyRef

  20. sealed abstract class NoSuccess[+X] extends Result[Nothing, Nothing, X]

  21. trait OrElse[+A] extends AnyRef

  22. trait Plus[+A] extends AnyRef

  23. sealed abstract class Result[+Out, +A, +X] extends AnyRef

  24. trait Rule[-In, +Out, +A, +X] extends (In) ⇒ Result[Out, A, X]

    A Rule is a function from some input to a Result.

  25. trait Rules extends AnyRef

    A factory for rules.

  26. trait RulesWithState extends Rules with StateRules

  27. case class ScalaSigParserError(msg: String) extends RuntimeException with Product with Serializable

  28. class SeqRule[S, +A, +X] extends AnyRef

  29. trait StateReader extends Monads

  30. trait StateRules extends AnyRef

    A factory for rules that apply to a particular context.

  31. case class Success[+Out, +A](out: Out, value: A) extends Result[Out, A, Nothing] with Product with Serializable

  32. trait UnitFunctors extends Units with Functors

    One of the 'unit' definitions must be overridden in concrete subclasses

  33. trait Units extends AnyRef

  34. class View[A, B] extends Input[B]

    View one type of input as another based on a transformation rule

  35. trait Zero extends AnyRef

  36. case class ~[+A, +B](_1: A, _2: B) extends Product with Serializable

    Represents the combined value of two rules applied in sequence.

Value Members

  1. object DefaultMemoisable extends AnyRef

  2. object Failure extends NoSuccess[Nothing] with Product with Serializable

  3. package scalasig