Packages

sealed abstract class Regex[-In, +M, Out] extends Serializable

A generalized representation of a regular expression.

This code was ported (with minor modifications) from https://hackage.haskell.org/package/regex-applicative

In

the type of each element in the input. For a traditional regular expression, this would be Char.

M

metadata associated with each ceedubs.irrec.regex.Regex.Elem instance. This could be String to attach a name to elems. More commonly, it is something like ceedubs.irrec.regex.Match with a Char type parameter.

Out

the output produced by a regular expression if the input matches. Additional useful methods are added via syntax enrichment with ceedubs.irrec.regex.RegexOps and ceedubs.irrec.regex.RegexCOps.

Linear Supertypes
Serializable, AnyRef, Any
Known Subclasses
AndThen, Elem, Eps, FMap, Fail, MapFilter, Or, Repeat, Star, Void
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Regex
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. def *: Regex[In, M, Chain[Out]]
  4. def *?: Regex[In, M, Chain[Out]]
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. def ?: Regex[In, M, Option[Out]]
  7. def ??: Regex[In, M, Option[Out]]
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. def count(n: Int): Regex[In, M, Chain[Out]]
  11. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  14. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  17. def map[Out2](f: (Out) => Out2): Regex[In, M, Out2]
  18. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  20. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  21. def oneOrMore(greediness: Greediness): Regex[In, M, NonEmptyChain[Out]]
  22. def optional(greediness: Greediness): Regex[In, M, Option[Out]]
  23. def quantifyFold[Out2](q: Quantifier, z: Out2)(fold: (Out2, Out) => Out2): Regex[In, M, Out2]
  24. def repeat(minInclusive: Int, maxInclusive: Option[Int], greediness: Greediness): Regex[In, M, Chain[Out]]
  25. def star(greediness: Greediness): Regex[In, M, Chain[Out]]
  26. def starFold[Out2](g: Greediness, z: Out2)(fold: (Out2, Out) => Out2): Regex[In, M, Out2]
  27. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped