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 ArtifactLocation.type
object BooleanObj.type
object DoubleObj.type
object DoubleVector.type
object IntObj.type
object IntVector.type
object LongObj.type
object SpanLikeObj.type
object SpanObj.type
object StringObj.type

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]]