MorphableSemantics

A version of Semantics that can morph into other instances of the same structure but with a different type parameter.

An example:

case class X[A]() extends MorphableSemantics[X, A] {
  // ...
  def morph[B: RefInfo]: Option[X[B]] = Some(X[B]())
}

Notice for class X, that the M type constructor is X and the A is the same for the second type parameter of MorphableSemantics as for the type parameter in Semantics.

This can be use like the following:

import com.eharmony.aloha.reflect.RefInfo

val xF = X[Float]
val riD = implicitly[RefInfo[Double]]
val xDo: Option[X[Double]] = xF.morph[Double]
val xDo1: Option[X[Double]] = xF.morph(riD)

or use it generically:

def morph[M[_] <: Semantics[_], A, B: RefInfo](m: MorphableSemantics[M, A]): Option[Semantics[B]] = {
  m.morph[B]
}

val sDO: Option[Semantics[Double]] = morph(xF)

M: a type constructor providing the structure of the Semantics. This will most likely always be the concrete subclass of Semantics that implements MorphableSemantics.
A: the type parameter to which M is applied for this instance of Semantics, also the type parameter for the Semantics.

Linear Supertypes

Semantics[A], Closeable, AutoCloseable, AnyRef, Any

Known Subclasses

CompiledSemantics

Abstract Value Members

abstract def accessorFunctionNames: Seq[String]

Returns the string representations of all of the data "variables" used by functions created from this Semantics object.
Returns the string representations of all of the data "variables" used by functions created from this Semantics object.

Definition Classes
Semantics
abstract def close(): Unit

Definition Classes
Closeable → AutoCloseable
Annotations
@throws( classOf[java.io.IOException] )
abstract def createFunction[B](codeSpec: String, default: Option[B] = None)(implicit arg0: RefInfo[B]): Either[Seq[String], GenAggFunc[A, B]]

Create a function from A to B.
Create a function from A to B.
B
The return type of the function.
codeSpec
specification for a function to be produced by this semantics.
default
a default value in the case that the function would produce an optional type.

Definition Classes
Semantics
abstract def morph[B](implicit ri: RefInfo[B]): Option[MorphableSemantics[M, B]]

Attempt to morph this MorphableSemantics into a new one with the same structure.
Attempt to morph this MorphableSemantics into a new one with the same structure.
The new MorphableSemantics will have the same structure (as dictated by the M type parameter) but with a different second parameter. This new instance must also be a Semantics[B]. It can be the case that a specific implementation of MorphableSemantics doesn't allow for all B, in which case a None can be returned.
B
input type for the new MorphableSemantics instance that might be created. A MorphableSemantics instance may choose not allow morphing to all B. In that case, a None will be returned.
ri
reflection information that may be necessary to determine whether to create the MorphableSemantics that was requested.
abstract def refInfoA: RefInfo[A]

returns
a com.eharmony.aloha.reflect.RefInfo for input type A.

Definition Classes
Semantics

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 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
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( ... )

Related Doc: package semantics

trait MorphableSemantics[M[_] <: Semantics[_], A] extends Semantics[A]

Abstract Value Members

abstract def accessorFunctionNames: Seq[String]

abstract def close(): Unit

abstract def createFunction[B](codeSpec: String, default: Option[B] = None)(implicit arg0: RefInfo[B]): Either[Seq[String], GenAggFunc[A, B]]

abstract def morph[B](implicit ri: RefInfo[B]): Option[MorphableSemantics[M, B]]

abstract def refInfoA: RefInfo[A]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

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

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

Inherited from Semantics[A]

Inherited from Closeable

Inherited from AutoCloseable

Inherited from AnyRef

Inherited from Any

Ungrouped