RefInfoOps

Type Members

trait Lift1[A] extends AnyRef

Provides a generic way of lifting A into a container for which a RefInfoType instance can be retrieved.
trait Lift2[A, B] extends AnyRef

Provides a generic way of lifting A and B into a container for which a RefInfoType instance can be retrieved.

Abstract Value Members

abstract def either[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[Either[A, B]]

Get reflection information about scala.
Get reflection information about scala.util.Either.
A
left type parameter of Either
B
right type parameter of Either
returns
reflection information about scala.util.Either
abstract def execStaticNoArgFunc[A](name: String)(implicit arg0: RefInfo[A]): Either[Seq[String], AnyRef]
abstract def fromSimpleClass[A](clazz: Class[_ <: A]): RefInfoType[A]

Get reflection info from a simple Class.
Get reflection info from a simple Class. Will throw an exception if we find that the type is parametrized.
A
the type of the RefInfoType to create
clazz
a Class object
returns

Annotations
@throws( ... )
abstract def genAggFunc[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[GenAggFunc[A, B]]

Get reflection information about com.eharmony.aloha.semantics.func.GenAggFunc
Get reflection information about com.eharmony.aloha.semantics.func.GenAggFunc
A
function input type
B
function output type
returns
reflection information about com.eharmony.aloha.semantics.func.GenAggFunc
abstract def isImmutableIterableButNotMap[A, Iter](implicit a: RefInfoType[A], possibleIterable: RefInfoType[Iter]): Boolean

Attempt to determine if possibleIterable is a scala.collection.immutable.Iterable[A] but not a scala.collection.Map.
Attempt to determine if possibleIterable is a scala.collection.immutable.Iterable[A] but not a scala.collection.Map.
This is kind of a stopgap solution because the subtype operator <:< doesn't really work well for Manifests. This is an issue because currently, Aloha uses Manifests rather than TypeTags for type checking. Comments in ClassManifestDeprecatedApis says:
"this part is wrong for punting unless the rhs has no type arguments, but it's better than a blindfolded pinata swing."
A
element type
Iter
possible iterable type.
a
RefInfo instance of element type
possibleIterable
a possible Iterable
returns
true if possibleIterable is a scala.collection.immutable.Iterable[A] but not a scala.collection.Map[_, _].
abstract def isSubType[Sub, Super](implicit sub: RefInfoType[Sub], sup: RefInfoType[Super]): Boolean

Is Sub a subtype of Super
Is Sub a subtype of Super
Sub
subtype in test
Super
supertype in test
sub
RefInfo instance of type A
sup
RefInfo instance of type A
abstract def option[A](implicit arg0: RefInfoType[A]): RefInfoType[Option[A]]

Get reflection information about Option.
Get reflection information about Option.
A
type of Option
returns
reflection information about Option.
abstract def toString[A](implicit arg0: RefInfoType[A]): String

Get a string representation of the RefInfoType.
Get a string representation of the RefInfoType. This should be adequate to full characterize the type and any type parameters (i.e., should contain the erased type information)
A
type of the reflected object whose string-based representation the function is retrieving.
returns
string-based representation of A
abstract def typeParams[A](implicit a: RefInfoType[A]): List[RefInfoType[_]]
abstract def validation[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[Validation[A, B]]

Get reflection information about scalaz.
Get reflection information about scalaz.Validation.
A
left type parameter of Validation
B
right type parameter of Validation
returns
reflection information about scalaz.Validation
abstract def validationNel[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[ValidationNel[A, B]]

Get reflection information about scalaz.
Get reflection information about scalaz.ValidationNel.
A
left type parameter of ValidationNel
B
right type parameter of ValidationNel
returns
reflection information about scalaz.ValidationNel

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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] )
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
def refInfo[A](implicit arg0: RefInfoType[A]): RefInfoType[A]

Get the RefInfoType instance for type A.
Get the RefInfoType instance for type A.
A
type for which reflection information should be retrieved.
returns
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 wrap[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): Lift2[A, B]

Provides a generic mechanism to wrap the types A and B inside a container taking two parameters.
Provides a generic mechanism to wrap the types A and B inside a container taking two parameters.
```
val w = RefInfoOps.wrap[String, Double]
// pass around w to some other object ...
val e: RefInfo[Either[String, Double]] = w.in[Either]

import scalaz.Validation
val v1 = RefInfoOps.wrap[String, Double].in[Validation]
val v2 = RefInfoOps.validation[String, Double]
assert(v1 == v2)
```
A
first type being lifted.
B
second type being lifted.
returns
a Lift2 instance containing information about A and B that can be used to later construct a RefInfoType from a kind passed to the in function.
def wrap[A](implicit arg0: RefInfoType[A]): Lift1[A]

Get a Lift1 instance to wrap type A in a RefInfoType.
Get a Lift1 instance to wrap type A in a RefInfoType.
```
val w = RefInfoOps.wrap[String]
val o1 = w.in[Option]
val o2 = RefInfoOps.option[String]
assert(o1 == o2)
```
A
type being lifted
returns

sealed trait RefInfoOps[RefInfoType[_]] extends AnyRef

Type Members

trait Lift1[A] extends AnyRef

trait Lift2[A, B] extends AnyRef

Abstract Value Members

abstract def either[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[Either[A, B]]

abstract def execStaticNoArgFunc[A](name: String)(implicit arg0: RefInfo[A]): Either[Seq[String], AnyRef]

abstract def fromSimpleClass[A](clazz: Class[_ <: A]): RefInfoType[A]

abstract def genAggFunc[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[GenAggFunc[A, B]]

abstract def isImmutableIterableButNotMap[A, Iter](implicit a: RefInfoType[A], possibleIterable: RefInfoType[Iter]): Boolean

abstract def isSubType[Sub, Super](implicit sub: RefInfoType[Sub], sup: RefInfoType[Super]): Boolean

abstract def option[A](implicit arg0: RefInfoType[A]): RefInfoType[Option[A]]

abstract def toString[A](implicit arg0: RefInfoType[A]): String

abstract def typeParams[A](implicit a: RefInfoType[A]): List[RefInfoType[_]]

abstract def validation[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[Validation[A, B]]

abstract def validationNel[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): RefInfoType[ValidationNel[A, B]]

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

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

def refInfo[A](implicit arg0: RefInfoType[A]): RefInfoType[A]

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 wrap[A, B](implicit arg0: RefInfoType[A], arg1: RefInfoType[B]): Lift2[A, B]

def wrap[A](implicit arg0: RefInfoType[A]): Lift1[A]

Inherited from AnyRef

Inherited from Any

Ungrouped