pattern-matcher
API
Generated with
pattern-matcher/io.github.edadma.pattern_matcher/Matchers/Match

Match

io.github.edadma.pattern_matcher.Matchers.Match
case class Match[R](result: R, next: Input) extends MatcherResult[R]

Represents a successful match.

Type parameters

R

type of result value

Value parameters

next

next character of input

result

result value of the match

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class MatcherResult[R]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def map[S](f: R => S): MatcherResult[S]

Applies of function to matcher result value.

Applies of function to matcher result value.

Type parameters

S

type of new result value

Value parameters

f

funciton to be applied to result value

Attributes

Returns

new matcher result

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with