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. class NoSuccess [+X] extends Result[Nothing, Nothing, X]

    Attributes
    sealed abstract
  21. trait OrElse [+A] extends AnyRef

  22. trait Plus [+A] extends AnyRef

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

    Attributes
    sealed abstract
  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