OtherInputPattern

Represents a general pattern that is neither a wildcard nor a single variable nor a constant. Examples of such patterns are a(Some(x)) and a( (x, _, 2, List(a, b)) ).

A pattern is recognized to be _irrefutable_ when it is a tuple where all places are either simple variables or wildcards. For example, a( z@(x, y, _) ) is an irrefutable pattern for a 3-tuple type. On the other hand, a( (x, _, Some(_) ) ) is not irrefutable because it fails to match a( (_, _, None) ). Another recognized case of irrefutable patterns is a single case class that extends a sealed trait.

matcher: Partial function that applies to the argument when the pattern matches.
vars: List of symbols representing the variables used in the pattern, in the left-to-right order.
irrefutable: true if the pattern will always match the argument of the correct type, false otherwise.

Linear Supertypes

Serializable, Serializable, Product, Equals, InputPatternType, AnyRef, Any

Instance Constructors

new OtherInputPattern(matcher: PartialFunction[Any, Unit], vars: List[Symbol], irrefutable: Boolean)

matcher
Partial function that applies to the argument when the pattern matches.
vars
List of symbols representing the variables used in the pattern, in the left-to-right order.
irrefutable
true if the pattern will always match the argument of the correct type, false otherwise.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
val irrefutable: Boolean

true if the pattern will always match the argument of the correct type, false otherwise.
val isConstantValue: Boolean

Definition Classes
InputPatternType
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isIrrefutable: Boolean

Detect whether the input pattern is irrefutable and will always match any given value.
Detect whether the input pattern is irrefutable and will always match any given value. An irrefutable pattern does not constrain the input value but merely puts variables on the value or on its parts.
Examples of irrefutable patterns are a(_), a(x), and a( z@(x,y,_) ), where a(...) is a molecule with a suitable value type. Examples of refutable patterns are a(1), a(Some(x)), a( (_, None) ).
returns
true if the pattern is irrefutable, false otherwise.

Definition Classes
OtherInputPattern → InputPatternType
val matcher: PartialFunction[Any, Unit]

Partial function that applies to the argument when the pattern matches.
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
val vars: List[Symbol]

List of symbols representing the variables used in the pattern, in the left-to-right order.
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package jc

final case class OtherInputPattern(matcher: PartialFunction[Any, Unit], vars: List[Symbol], irrefutable: Boolean) extends InputPatternType with Product with Serializable

Instance Constructors

new OtherInputPattern(matcher: PartialFunction[Any, Unit], vars: List[Symbol], irrefutable: Boolean)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val irrefutable: Boolean

val isConstantValue: Boolean

final def isInstanceOf[T0]: Boolean

def isIrrefutable: Boolean

val matcher: PartialFunction[Any, Unit]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

val vars: List[Symbol]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from InputPatternType

Inherited from AnyRef

Inherited from Any

Ungrouped