Rhs

object Rhs
Companion:
class
Source:
Rhs.scala
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Rhs.type

Type members

Classlikes

case class Call[Tag](q: Int, depth: Depth, params: List[Rhs[Tag]]) extends Rhs[Tag]

Calls a new rule at a given depth with the given parameters.

Calls a new rule at a given depth with the given parameters.

Source:
Rhs.scala
case class CapturedLeaf(name: String) extends Rhs[Nothing]

Emits the captured input value.

Emits the captured input value.

Source:
Rhs.scala
case class CapturedTree[OutTag](name: String, inner: Rhs[OutTag]) extends Rhs[OutTag]

Builds a tree with the captured node tag in pattern.

Builds a tree with the captured node tag in pattern.

Source:
Rhs.scala
case class Concat[OutTag](fst: Rhs[OutTag], snd: Rhs[OutTag]) extends Rhs[OutTag]

Concatenates two RHS.

Concatenates two RHS.

Source:
Rhs.scala
case object Epsilon extends Rhs[Nothing]

Empty RHS.

Empty RHS.

Source:
Rhs.scala
case class Leaf[OutTag](value: OutTag) extends Rhs[OutTag]

Emits a leaf value.

Emits a leaf value.

Source:
Rhs.scala
case class Param(n: Int) extends Rhs[Nothing]

Reads the rule parameter.

Reads the rule parameter.

Source:
Rhs.scala
case class SelfCall[Tag](q: Int, params: List[Rhs[Tag]]) extends Rhs[Tag]

Calls a new rule at a given depth with the given parameters on the current input.

Calls a new rule at a given depth with the given parameters on the current input.

Source:
Rhs.scala
case class Tree[OutTag](tag: OutTag, inner: Rhs[OutTag]) extends Rhs[OutTag]

Builds a tree.

Builds a tree.

Source:
Rhs.scala

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
Source:
Mirror.scala

The name of the type

The name of the type

Inherited from:
Mirror
Source:
Mirror.scala

Value members

Concrete methods

def epsilon[OutTag]: Rhs[OutTag]
Source:
Rhs.scala