alignPatterns

Type Members

final case class Aligned(patterns: Patterns, extractor: Extractor) extends Product with Serializable

If elementArity is.
final case class Extractor(whole: Type, fixed: List[Type], repeated: Repeated) extends Product with Serializable

An 'extractor' can be a case class or an unapply or unapplySeq method.
final case class Patterns(fixed: List[Pattern], star: Pattern) extends Product with Serializable

Definition Classes
PatternExpander
sealed case class Repeated(sequenceType: Type, elementType: Type, repeatedType: Type) extends Product with Serializable

It's not optimal that we're carrying both sequence and repeated type here, but the implementation requires more unraveling before it can be avoided.
final case class TypedPat(pat: Pattern, tpe: Type) extends Product with Serializable

Definition Classes
PatternExpander

Value Members

final def !=(arg0: AnyRef): Boolean

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

Definition Classes
Any
final def ##(): Int

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

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

Definition Classes
Any
def NoPattern: Global.EmptyTree.type

You'll note we're not inside the cake.
You'll note we're not inside the cake. "Pattern" and "Type" are arbitrary types here, and NoPattern and NoType arbitrary values.

Definition Classes
ScalacPatternExpander → PatternExpander
object NoRepeated extends Repeated

Definition Classes
PatternExpander
def NoType: Global.NoType.type

Definition Classes
ScalacPatternExpander → PatternExpander
def apply(tree: Global.Tree): Aligned
def apply(sel: Global.Tree, args: List[Global.Tree]): Aligned
def applyMethodTypes(method: Global.Type): Extractor

In this case we are basing the pattern expansion on a case class constructor.
In this case we are basing the pattern expansion on a case class constructor. The argument is the MethodType carried by the primary constructor.

Definition Classes
ScalacPatternExpander
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def elementTypeOf(tpe: Global.Type): Global.Type

Definition Classes
ScalacPatternExpander
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

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

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def newExtractor(whole: Global.Type, fixed: List[Global.Type], repeated: Repeated): Extractor

Definition Classes
ScalacPatternExpander
def newPatterns(patterns: List[Global.Tree]): Patterns

Definition Classes
ScalacPatternExpander
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def repeatedFromSeq(seqType: Global.Type): Repeated

Definition Classes
ScalacPatternExpander
def repeatedFromVarargs(repeated: Global.Type): Repeated

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def tupleExtractor(extractor: Extractor): Extractor

Converts a T => (A, B, C) extractor to a T => ((A, B, CC)) extractor.
def unapplyMethodTypes(method: Global.Type, isSeq: Boolean): Extractor

In this case, expansion is based on an unapply or unapplySeq method.
In this case, expansion is based on an unapply or unapplySeq method. Unfortunately the MethodType does not carry the information of whether it was unapplySeq, so we have to funnel that information in separately.

Definition Classes
ScalacPatternExpander
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( ... )

object alignPatterns extends ScalacPatternExpander

Type Members

final case class Aligned(patterns: Patterns, extractor: Extractor) extends Product with Serializable

final case class Extractor(whole: Type, fixed: List[Type], repeated: Repeated) extends Product with Serializable

final case class Patterns(fixed: List[Pattern], star: Pattern) extends Product with Serializable

sealed case class Repeated(sequenceType: Type, elementType: Type, repeatedType: Type) extends Product with Serializable

final case class TypedPat(pat: Pattern, tpe: Type) extends Product with Serializable

Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def NoPattern: Global.EmptyTree.type

object NoRepeated extends Repeated

def NoType: Global.NoType.type

def apply(tree: Global.Tree): Aligned

def apply(sel: Global.Tree, args: List[Global.Tree]): Aligned

def applyMethodTypes(method: Global.Type): Extractor

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def elementTypeOf(tpe: Global.Type): Global.Type

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

def newExtractor(whole: Global.Type, fixed: List[Global.Type], repeated: Repeated): Extractor

def newPatterns(patterns: List[Global.Tree]): Patterns

final def notify(): Unit

final def notifyAll(): Unit

def repeatedFromSeq(seqType: Global.Type): Repeated

def repeatedFromVarargs(repeated: Global.Type): Repeated

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

def toString(): String

def tupleExtractor(extractor: Extractor): Extractor

def unapplyMethodTypes(method: Global.Type, isSeq: Boolean): Extractor

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from ScalacPatternExpander

Inherited from PatternExpander[Global.Tree, Global.Type]

Inherited from AnyRef

Inherited from Any

Ungrouped