ImplicitApply

A dependent type class that invokes F with implicit values as parameters.

Imports

import com.thoughtworks.feature.ImplicitApply.ops._

This will enable the implicitApply method for any functions

Author:

杨博 (Yang Bo) <[email protected]>

F: The function type to be implicitly invoked

Source

ImplicitApply.scala

Examples:

Given a function f that requires an Ordering[Int]
```
val f = { x: Ordering[Int] =>
  "OK"
}
```
Then f can implicitly apply as long as its parameter is implicitly available,
```
f.implicitApply should be("OK")
```
Given a function f that requires an call-by-name Ordering[Int]
```
def f0(x: => Ordering[Int]) = "OK"
val f = f0 _
```
Then f can implicitly apply as long as its parameter is implicitly available,
```
f.implicitApply should be("OK")
```

Note

You can optionally add an implicit modifier on the function parameter.

val f = { implicit x: Ordering[Int] =>
  "OK"
}
f.implicitApply should be("OK")

It is very useful when you create a curried function.

def g[A] = { (i: A, j: A) => implicit x: Ordering[A] =>
  import x._
  if (i > j) {
    s"$i is greater than $j"
  } else {
    s"$i is not greater than $j"
  }
}
g(1, 2).implicitApply should be("1 is not greater than 2")

Linear Supertypes

Serializable, Serializable, AnyRef, Any

Type Hierarchy

Type Members

abstract type Out

Abstract Value Members

abstract def apply(f: F): Out

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to any2stringadd[ImplicitApply[F]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (ImplicitApply[F], B)

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to ArrowAssoc[ImplicitApply[F]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def ensuring(cond: (ImplicitApply[F]) ⇒ Boolean, msg: ⇒ Any): ImplicitApply[F]

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to Ensuring[ImplicitApply[F]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (ImplicitApply[F]) ⇒ Boolean): ImplicitApply[F]

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to Ensuring[ImplicitApply[F]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): ImplicitApply[F]

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to Ensuring[ImplicitApply[F]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): ImplicitApply[F]

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to Ensuring[ImplicitApply[F]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
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] )
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to StringFormat[ImplicitApply[F]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
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
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

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

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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( ... )
def →[B](y: B): (ImplicitApply[F], B)

Implicit information
This member is added by an implicit conversion from ImplicitApply[F] to ArrowAssoc[ImplicitApply[F]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Related Docs: object ImplicitApply | package feature

trait ImplicitApply[F] extends Serializable

Imports

Author:

Type Members

abstract type Out

Abstract Value Members

abstract def apply(f: F): Out

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (ImplicitApply[F], B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (ImplicitApply[F]) ⇒ Boolean, msg: ⇒ Any): ImplicitApply[F]

def ensuring(cond: (ImplicitApply[F]) ⇒ Boolean): ImplicitApply[F]

def ensuring(cond: Boolean, msg: ⇒ Any): ImplicitApply[F]

def ensuring(cond: Boolean): ImplicitApply[F]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): 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): (ImplicitApply[F], B)

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from ImplicitApply[F] to any2stringadd[ImplicitApply[F]]

Inherited by implicit conversion StringFormat from ImplicitApply[F] to StringFormat[ImplicitApply[F]]

Inherited by implicit conversion Ensuring from ImplicitApply[F] to Ensuring[ImplicitApply[F]]

Inherited by implicit conversion ArrowAssoc from ImplicitApply[F] to ArrowAssoc[ImplicitApply[F]]

Ungrouped