ConstInputPattern

Represents molecules that have constant pattern matchers, such as a(1). Constant pattern matchers are either literal values (Int, String, Symbol, etc.) or special values such as None, Nil, (), as well as Some, Left, Right, List, and tuples of constant matchers.

v: Value of the constant. This is nominally of type Any but actually is of the molecule's value type T.

Linear Supertypes

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

Instance Constructors

new ConstInputPattern(v: Any)

v
Value of the constant. This is nominally of type Any but actually is of the molecule's value type T.

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 isConstantValue: Boolean

Definition Classes
ConstInputPattern → 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
InputPatternType
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 v: Any

Value of the constant.
Value of the constant. This is nominally of type Any but actually is of the molecule's value type T.
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 ConstInputPattern(v: Any) extends InputPatternType with Product with Serializable

Instance Constructors

new ConstInputPattern(v: Any)

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 isConstantValue: Boolean

final def isInstanceOf[T0]: Boolean

def isIrrefutable: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

val v: Any

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