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

Mismatch

io.github.edadma.pattern_matcher.Matchers.Mismatch
case class Mismatch(msg: String, next: Input) extends MatcherResult[Nothing]

Represents an unsuccessful match.

Value parameters

next

character at which the mismatch occurred

Attributes

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

Members list

Value members

Concrete methods

def error: Nothing
def errorString: String
def map[S](f: Nothing => 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