trait
FreeVars extends FreeVars
Type Members
-
abstract
type
FreeTerm <: Symbol
-
abstract
type
FreeType <: Symbol
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (FreeVars, B)
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
object
FreeTerm extends FreeTermExtractor
-
object
FreeType extends FreeTypeExtractor
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
ensuring(cond: (FreeVars) ⇒ Boolean, msg: ⇒ Any): FreeVars
-
def
ensuring(cond: (FreeVars) ⇒ Boolean): FreeVars
-
def
ensuring(cond: Boolean, msg: ⇒ Any): FreeVars
-
def
ensuring(cond: Boolean): FreeVars
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
def
freeTerms(tree: Tree): List[FreeTerm]
-
def
freeTypes(tree: Tree): List[FreeType]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
logFreeVars(position: Position, reified: Tree): Unit
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
val
self: Any
-
val
self: Any
-
def
substituteFreeTypes(tpe0: Type, subs: Map[FreeType, Type]): Type
-
def
substituteFreeTypes(tree0: Tree, subs: Map[FreeType, Type]): Tree
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (FreeVars, B)
Inherited from FreeVars
Inherited from AnyRef
Inherited from Any
Inherited by implicit conversion any2stringfmt from
FreeVars to StringFormat
Inherited by implicit conversion any2stringadd from
FreeVars to StringAdd
Inherited by implicit conversion any2ArrowAssoc from
FreeVars to ArrowAssoc[FreeVars]
Inherited by implicit conversion any2Ensuring from
FreeVars to Ensuring[FreeVars]