trait Fun extends Type with TypeVarReplace[Fun] with TypeVarFetch
Функция/метод
- Функция сама по себе является типом
- Функция может содержаеть параметрические типы (типы переменные)
- Переменные типа (TypeVariable) могут ссылаться (owner):
- На класс в случае метода: owner=THIS
- На саму функцию: owner=FN
- Метод в качестве первого аргмента должен принимать ссылку на объект, с типом THIS
- Alphabetic
- By Inheritance
- Fun
- TypeVarFetch
- TypeVarReplace
- Type
- Genericable
- Extendable
- Assignable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Abstract Value Members
-
abstract
def
typeVarFetch(from: List[Any] = List()): List[TypeVarLocator]
Извлечение переменных
Извлечение переменных
- from
Путь относительно которого происходит вызов
- returns
список переменных
- Definition Classes
- TypeVarFetch
-
abstract
def
typeVarReplace(recipe: (TypeVariable) ⇒ Option[Type]): Fun
Замена переменных
Concrete 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
assignable(t: Type): Boolean
Проверяет что для текущего типа-функции (this) возможна операция присвоения типа функции t
Проверяет что для текущего типа-функции (this) возможна операция присвоения типа функции t
- t
присваемый тип данных
- returns
true - операция допускается, false - не допускается
- Definition Classes
- Fun → Genericable → Extendable → Assignable
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
extend: Option[Type]
Возвращает родительский тип данных
-
lazy val
generics: GenericParams
Список параметров типа
Список параметров типа
- Definition Classes
- Genericable
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
lazy val
parameters: Params
Параметры функции
-
lazy val
returns: Type
Результат вызова функции
-
def
sameTypes(f: Fun): Boolean
Проверяет что параметры функции и параметры типа совпадают с указанной функцией
Проверяет что параметры функции и параметры типа совпадают с указанной функцией
- f
функция
- returns
true - совпадают
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
Возвращает сигнатуру функции
-
def
typeVarReplace(recipe: (String, Type)*): Fun
Замена переменных
-
def
typeVarReplacer(recipe: Consumer[TypeVarReplacer]): Fun
- Definition Classes
- TypeVarReplace
-
lazy val
typeVariables: Seq[TypeVariable]
Переменные типа
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
object
typeVarBake
Замена переменных
Замена переменных
- Definition Classes
- TypeVarReplace
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
- Deprecated
(Since version ) see corresponding Javadoc for more information.