recognizer
API
Generated with
recognizer/io.github.edadma.recognizer/Recognizer/Push

Push

io.github.edadma.recognizer.Recognizer.Push
protected case class Push(v: Any) extends Pattern

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Pattern
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def |(that: Pattern): Pattern

Attributes

Inherited from:
Pattern
def ~(that: Pattern): Pattern

Attributes

Inherited from:
Pattern
Generated with