Type

trait Type[A1, Repr <: ([~ <: Txn[~]] =>> Expr[~, A1])] extends Type
Companion
object
trait Type
trait Type
class Object
trait Matchable
class Any
trait ExprTypeImpl[A1, Repr]
object BooleanObj
object DoubleObj
object IntObj
object IntVector
object LongObj
object SpanObj
object StringObj

Type members

Classlikes

object Program
object Var

Types

type A = A1
type Const[T <: Txn[T]] = Repr[T] & Const[T, A]
type E[T <: Txn[T]] = Repr[T]
type Program[T <: Txn[T]] = Repr[T] & Program[T, A]
type Var[T <: Txn[T]] = Repr[T] & Var[T, Repr[T]]

Value members

Abstract methods

A value that can be used to initialize objects, as a temporary value, etc. If the valueFormat supports null, it may also be null. It should not be used for any semantic purposes.

A value that can be used to initialize objects, as a temporary value, etc. If the valueFormat supports null, it may also be null. It should not be used for any semantic purposes.

def newProgram[T <: Txn[LazyRef(...)]](ex: Ex[A])(implicit tx: T): Program[T]
def newVar[T <: Txn[LazyRef(...)]](init: Repr[T])(implicit tx: T): Var[T]
def read[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Repr[T]
def readConst[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Const[T]
def readProgram[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Program[T]
def readVar[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Var[T]
def tryParse(value: Any): Option[A]
def valueName: String

A human readable string representing the expression's element type.

A human readable string representing the expression's element type.

Inherited methods

override
def init(): Unit
Definition Classes
Type -> Type
Inherited from
Type
override
def readIdentifiedObj[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Obj[T]
Definition Classes
Type -> Type
Inherited from
Type
final override
def readObj[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Obj[T]
Definition Classes
Type -> Type
Inherited from
Type
def typeId: Int
Inherited from
Type

Implicits

Implicits

implicit
def format[T <: Txn[LazyRef(...)]]: TFormat[T, Repr[T]]
implicit
def newConst[T <: Txn[LazyRef(...)]](value: A)(implicit tx: T): Const[T]
implicit
def programFormat[T <: Txn[LazyRef(...)]]: TFormat[T, Program[T]]
implicit
def valueFormat: ConstFormat[A]
implicit
def varFormat[T <: Txn[LazyRef(...)]]: TFormat[T, Var[T]]