Packages

object RegularLanguage extends Serializable

Linear Supertypes
Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RegularLanguage
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final case class Alt(left: RegularLanguage, right: RegularLanguage) extends RegularLanguage with Product with Serializable

    Alt(left, right) represents the union of two regular languages.

    Alt(left, right) represents the union of two regular languages. We call it "Alt" for consistency with the names used in the "Parsing With Derivatives" paper.

  2. final case class Cat(left: RegularLanguage, right: RegularLanguage) extends RegularLanguage with Product with Serializable

    Cat(left, right) represents the concatenation of two regular languages.

  3. final case class Permutation(values: RegularLanguage*) extends RegularLanguage with Product with Serializable

    Permutation is like Cat, but it is a commutative monoid.

    Permutation is like Cat, but it is a commutative monoid. A Permutation(a_1, a_2, ..., a_{k}) is equivalent to the following language:

    a2 ~ Permutation(a_1, a_3, ..., a_k) | a1 ~ Permutation(a_2, a_3, ..., a_k) | ... ak ~ Permutation(a_1, a_2, ..., a_{k - 1})

    So when we calculate its derivative, we apply the above "desugaring" transformation, then compute the derivative as usual.

  4. final case class PrimTypeToken(value: PrimType[Any]) extends Token with Product with Serializable

    A PrimTypeToken(value) language represents the regular language containing any strings s where value.validate(s) succeeds.

  5. final case class Rep(language: RegularLanguage, min: Option[Int], max: Option[Int]) extends RegularLanguage with Product with Serializable

    Rep(language, min, max) represents the repetition of language.

    Rep(language, min, max) represents the repetition of language. The number of repetitions can be bounded via min and max. Setting max=None represents the "Kleene star" of language.

  6. final case class StringToken(value: String) extends Token with Product with Serializable

    A StringToken(value) language represents the regular language that contains only value.

  7. sealed trait Token extends RegularLanguage

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  20. case object AnyStringToken extends Token with Product with Serializable

    AnyStringToken represents the set of all strings.

    AnyStringToken represents the set of all strings. For tab completion purposes, this is used to represent the name of the executable. (It may be aliased or renamed to be different than Command.Single.name.)

  21. case object Empty extends RegularLanguage with Product with Serializable

    The Empty language (∅) accepts no strings.

  22. case object Epsilon extends RegularLanguage with Product with Serializable

    The Epsilon language (ε) accepts only the empty string.

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped