emblem
WideningTypeBoundFunction
trait
WideningTypeBoundFunction[TypeBound, WiderTypeBound >: TypeBound, Arg[_ <: TypeBound], ReturnVal[_ <: WiderTypeBound]] extends AnyRef
Abstract Value Members
-
abstract
def
apply[TypeParam <: TypeBound](value: Arg[TypeParam]): ReturnVal[TypeParam]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (WideningTypeBoundFunction[TypeBound, WiderTypeBound, Arg, ReturnVal], B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
ensuring(cond: (WideningTypeBoundFunction[TypeBound, WiderTypeBound, Arg, ReturnVal]) ⇒ Boolean, msg: ⇒ Any): WideningTypeBoundFunction[TypeBound, WiderTypeBound, Arg, ReturnVal]
-
-
def
ensuring(cond: Boolean, msg: ⇒ Any): WideningTypeBoundFunction[TypeBound, WiderTypeBound, Arg, ReturnVal]
-
def
ensuring(cond: Boolean): WideningTypeBoundFunction[TypeBound, WiderTypeBound, Arg, ReturnVal]
-
-
-
def
finalize(): Unit
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
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): (WideningTypeBoundFunction[TypeBound, WiderTypeBound, Arg, ReturnVal], B)
like a TypeBoundFunction, except that the type bound for the return value is wider than the type bound for the argument. This is useful for
mapWiden
andmapValuesWiden
methods in TypeKeyMap and TypeBoundMap that return a map with a wider type bound than the original.the type bound to use for the argument type
the type bound to use for the return value type
the argument type
the return value type
TypeBoundFunction