GraphObj

object GraphObj extends ExprTypeImpl[SynthGraph, [T <: Txn[T]] =>> GraphObj[T]]
Companion
class
trait ExprTypeImpl[SynthGraph, [T <: Txn[T]] =>> GraphObj[T]]
trait Type[SynthGraph, [T <: Txn[T]] =>> GraphObj[T]]
trait Type
trait Type
class Object
trait Matchable
class Any

Type members

Classlikes

object valueFormat extends ConstFormat[SynthGraph]

A format for synth graphs.

A format for synth graphs.

Inherited classlikes

protected
trait ConstImpl[T <: Txn[T]]
Inherited from
ExprTypeImpl
object Var
Inherited from
Type
protected
trait VarImpl[T <: Txn[T]]
Inherited from
ExprTypeImpl

Inherited types

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

Value members

Concrete methods

def empty[T <: Txn[LazyRef(...)]](implicit tx: T): GraphObj[T]
def tape[T <: Txn[LazyRef(...)]](implicit tx: T): GraphObj[T]
def tapeSource[T <: Txn[LazyRef(...)]](implicit tx: T): Obj[T]
def tryParse(value: Any): Option[SynthGraph]

Inherited methods

final protected
def addExtension(extensions: Array[ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]], ext: ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]): Array[ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]]
Inherited from
ExprTypeImpl
final protected
def findExt(op: Int): ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]
Inherited from
ExprTypeImpl
final protected
def findExt(extensions: Array[ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]], op: Int): ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]
Inherited from
ExprTypeImpl
override
def init(): Unit
Definition Classes
Type -> Type
Inherited from
Type
protected
def mkExtArray(size: Int): Array[ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]]
Inherited from
ExprTypeImpl
final
def newVar[T <: Txn[LazyRef(...)]](init: GraphObj[T])(implicit tx: T): Var[T]
Inherited from
ExprTypeImpl
final override
def read[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): GraphObj[T]
Definition Classes
ExprTypeImpl -> Type
Inherited from
ExprTypeImpl
final override
def readConst[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Const[T]
Definition Classes
ExprTypeImpl -> Type
Inherited from
ExprTypeImpl
final protected
def readExtension[T <: Txn[LazyRef(...)]](op: Int, in: DataInput, targets: Targets[T])(implicit tx: T): GraphObj[T]
Inherited from
ExprTypeImpl
override
def readIdentifiedObj[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): GraphObj[T]
Definition Classes
ExprTypeImpl -> Type -> Type
Inherited from
ExprTypeImpl
protected
def readNode[T <: Txn[LazyRef(...)]](in: DataInput, targets: Targets[T])(implicit tx: T): GraphObj[T]

The default implementation reads a type Int as operator id Int which will be resolved using readOpExtension.

The default implementation reads a type Int as operator id Int which will be resolved using readOpExtension.

Inherited from
ExprTypeImpl
final override
def readObj[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Obj[T]
Definition Classes
Type -> Type
Inherited from
Type
final override
def readVar[T <: Txn[LazyRef(...)]](in: DataInput)(implicit tx: T): Var[T]
Definition Classes
ExprTypeImpl -> Type
Inherited from
ExprTypeImpl
final
def registerExtension(ext: ExprTypeExtension1[[T <: Txn[T]] =>> GraphObj[T]]): Unit
Inherited from
ExprTypeImpl

Concrete fields

final
val typeId: 16

Implicits

Inherited implicits

final implicit
def format[T <: Txn[LazyRef(...)]]: TFormat[T, GraphObj[T]]
Inherited from
ExprTypeImpl
final implicit
def newConst[T <: Txn[LazyRef(...)]](value: A)(implicit tx: T): Const[T]
Inherited from
ExprTypeImpl
final implicit
def tpe: Type[SynthGraph, [T <: Txn[T]] =>> GraphObj[T]]
Inherited from
ExprTypeImpl
final implicit
def varFormat[T <: Txn[LazyRef(...)]]: TFormat[T, Var[T]]
Inherited from
ExprTypeImpl