Packages

class TreeMakersToProps extends AnyRef

Source
MatchAnalysis.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TreeMakersToProps
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new TreeMakersToProps(root: Global.Symbol)

Value Members

  1. final def approximateMatch(cases: List[List[MatchApproximator.TreeMaker]], treeMakerToProp: TreeMakerToProp = conservative): collection.immutable.List[collection.immutable.List[Test]]
  2. final def binderToUniqueTree(b: Global.Symbol): MatchApproximator.Tree
  3. val fullRewrite: PartialFunction[MatchApproximator.TreeMaker, MatchApproximator.Prop]
  4. def onUnknown(handler: (MatchApproximator.TreeMaker) => MatchApproximator.Prop): TreeMakerToProp
    Annotations
    @inline()
  5. val refutableRewrite: PartialFunction[MatchApproximator.TreeMaker, MatchApproximator.Prop]
  6. val root: Global.Symbol
  7. def unique(t: MatchApproximator.Tree, tpOverride: MatchApproximator.Type = NoType): MatchApproximator.Tree
  8. def uniqueEqualityProp(testedPath: MatchApproximator.Tree, rhs: MatchApproximator.Tree): MatchApproximator.Prop
  9. def uniqueNonNullProp(testedPath: MatchApproximator.Tree): MatchApproximator.Prop
  10. def uniqueTp(tp: MatchApproximator.Type): MatchApproximator.Type
  11. def uniqueTypeProp(testedPath: MatchApproximator.Tree, pt: MatchApproximator.Type): MatchApproximator.Prop
  12. object condStrategy extends TypeTestCondStrategy
  13. object conservative extends TreeMakerToProp