trait TypeSum extends Base
Ordering
- Alphabetic
- By Inheritance
Inherited
- TypeSum
- Base
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
abstract
class
BaseDef[+T] extends Scalan.Node with Scalan.Def[T]
- Definition Classes
- Base
-
abstract
class
CompanionDef[T] extends Scalan.Node with Scalan.Def[T]
- Definition Classes
- Base
-
case class
Const[T] extends Scalan.BaseDef[T] with Product with Serializable
- Definition Classes
- Base
-
trait
Def[+T] extends Scalan.Node
- Definition Classes
- Base
-
class
EntityObject extends AnyRef
- Definition Classes
- Base
-
case class
EntityObjectOwner extends Scalan.OwnerKind with Product with Serializable
- Definition Classes
- Base
- implicit class JoinSumOps[A] extends AnyRef
-
abstract
class
Node extends Product
- Definition Classes
- Base
-
class
NotImplementedStagingException extends Scalan.StagingException
- Definition Classes
- Base
- implicit class OptionOps[A] extends AnyRef
-
sealed abstract
class
OwnerKind extends AnyRef
- Definition Classes
- Base
-
case class
Placeholder[T] extends Scalan.Node with Scalan.Def[T] with Product with Serializable
- Definition Classes
- Base
-
type
RFunc[-A, +B] = (TypeSum.this)#Ref[(A) ⇒ B]
- Definition Classes
- Base
- type ROptional[A] = (TypeSum.this)#Ref[(TypeSum.this)#SOptional[A]]
-
type
RPair[+A, +B] = (TypeSum.this)#Ref[(A, B)]
- Definition Classes
- Base
-
abstract
class
Ref[+T] extends AnyRef
- Definition Classes
- Base
- implicit class RepExtensionsForSum[A] extends AnyRef
- case class SLeft[A, B](left: (TypeSum.this)#Ref[A], eRight: (TypeSum.this)#Elem[B]) extends (TypeSum.this)#BaseDef[(TypeSum.this)#|[A, B]] with Product with Serializable
- type SOptional[A] = Either[Unit, A]
- case class SRight[A, B](right: (TypeSum.this)#Ref[B], eLeft: (TypeSum.this)#Elem[A]) extends (TypeSum.this)#BaseDef[(TypeSum.this)#|[A, B]] with Product with Serializable
-
final
class
SingleRef[+T] extends Scalan.Ref[T]
- Definition Classes
- Base
-
class
StagingException extends RuntimeException
- Definition Classes
- Base
- case class SumFold[A, B, R](sum: (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]], left: (TypeSum.this)#Ref[(A) ⇒ R], right: (TypeSum.this)#Ref[(B) ⇒ R]) extends (TypeSum.this)#BaseDef[R] with Product with Serializable
- case class SumMap[A, B, C, D](sum: (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]], left: (TypeSum.this)#Ref[(A) ⇒ C], right: (TypeSum.this)#Ref[(B) ⇒ D]) extends (TypeSum.this)#BaseDef[(TypeSum.this)#|[C, D]] with Product with Serializable
- trait SumOps[A, B] extends AnyRef
- class SumOpsExp[A, B] extends (TypeSum.this)#SumOps[A, B]
-
type
Sym = (TypeSum.this)#Ref[_]
- Definition Classes
- Base
-
abstract
class
Transformer extends AnyRef
- Definition Classes
- Base
-
case class
Variable[T] extends Scalan.Node with Scalan.Def[T] with Product with Serializable
- Definition Classes
- Base
-
type
|[+A, +B] = Either[A, B]
- Definition Classes
- Base
Value Members
-
def
!!!(msg: String, e: Throwable, syms: (TypeSum.this)#Ref[_]*): Nothing
- Definition Classes
- Base
-
def
!!!(msg: String, syms: (TypeSum.this)#Ref[_]*): Nothing
- Definition Classes
- Base
-
def
!!!: Nothing
- Definition Classes
- Base
-
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
-
def
???(value: Any, syms: (TypeSum.this)#Ref[_]*): Nothing
- Definition Classes
- Base
-
def
???: Nothing
- Definition Classes
- Base
-
final
def
IntZero: (TypeSum.this)#Ref[Int]
- Definition Classes
- Base
- Annotations
- @inline()
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
asRep[T](x: (TypeSum.this)#Ref[_]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
val
cacheElems: Boolean
- Definition Classes
- Base
-
val
cachePairs: Boolean
- Definition Classes
- Base
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
createDefinition[T](optScope: Nullable[(TypeSum.this)#ThunkScope], s: (TypeSum.this)#Ref[T], d: (TypeSum.this)#Def[T]): (TypeSum.this)#Ref[T]
- Attributes
- protected
- Definition Classes
- Base
-
val
debugModeSanityChecks: Boolean
- Definition Classes
- Base
-
def
defCount: Int
- Definition Classes
- Base
-
def
def_unapply[T](e: (TypeSum.this)#Ref[T]): Nullable[(TypeSum.this)#Def[T]]
- Definition Classes
- Base
-
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] )
-
def
findGlobalDefinition[T](d: (TypeSum.this)#Def[T]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
-
def
findOrCreateDefinition[T](d: (TypeSum.this)#Def[T], newSym: ⇒ (TypeSum.this)#Ref[T]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
-
final
def
freshId: Int
- Definition Classes
- Base
- Annotations
- @inline()
-
final
def
freshSym[T](d: (TypeSum.this)#Def[T]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getEntityObject(name: String): Nullable[(TypeSum.this)#EntityObject]
- Definition Classes
- Base
- Annotations
- @inline()
-
def
getOwnerKind(constructor: java.lang.reflect.Constructor[_]): (TypeSum.this)#OwnerKind
- Attributes
- protected
- Definition Classes
- Base
-
final
def
getSym(id: Int): (TypeSum.this)#Sym
- Definition Classes
- Base
- Annotations
- @inline()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
implicit
def
liftToRep[A](x: A)(implicit arg0: (TypeSum.this)#Elem[A]): (TypeSum.this)#Ref[A]
- Definition Classes
- Base
- Annotations
- @inline()
-
def
logWarn(msg: ⇒ String): Unit
- Definition Classes
- Base
- def mkLeft[A, B](a: (TypeSum.this)#Ref[A])(implicit arg0: (TypeSum.this)#Elem[B]): (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]]
- def mkRight[A, B](b: (TypeSum.this)#Ref[B])(implicit arg0: (TypeSum.this)#Elem[A]): (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]]
-
val
nInitialDefs: Int
- Definition Classes
- Base
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
onReset(): Unit
- Attributes
- protected
- Definition Classes
- Base
- implicit def pimpSum[A, B](s: (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]]): (TypeSum.this)#SumOps[A, B]
-
def
placeholder[T](implicit eT: (TypeSum.this)#LElem[T]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
def
registerEntityObject(name: String, obj: (TypeSum.this)#EntityObject): Unit
- Attributes
- protected
- Definition Classes
- Base
-
implicit
def
reifyObject[A](obj: (TypeSum.this)#Def[A]): (TypeSum.this)#Ref[A]
- Definition Classes
- Base
-
def
resetContext(): Unit
- Definition Classes
- Base
- def sOptionElement[A](implicit arg0: (TypeSum.this)#Elem[A]): (TypeSum.this)#Elem[(TypeSum.this)#SOptional[A]]
-
def
stagingExceptionMessage(message: String, syms: Seq[(TypeSum.this)#Ref[_]]): String
- Attributes
- protected
- Definition Classes
- Base
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toExp[T](d: (TypeSum.this)#Def[T], newSym: ⇒ (TypeSum.this)#Ref[T]): (TypeSum.this)#Ref[T]
- Attributes
- protected[scalan]
- Definition Classes
- Base
-
def
toRep[A](x: A)(implicit eA: (TypeSum.this)#Elem[A]): (TypeSum.this)#Ref[A]
- Definition Classes
- Base
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
transformProductParam(x: Any, t: (TypeSum.this)#Transformer): Any
- Attributes
- protected
- Definition Classes
- Base
-
final
def
updateSymbolTable[T](s: (TypeSum.this)#Ref[T], d: (TypeSum.this)#Def[T]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
-
final
def
valueFromRep[A](x: (TypeSum.this)#Ref[A]): A
- Definition Classes
- Base
- Annotations
- @inline()
-
def
variable[T](implicit eT: (TypeSum.this)#LElem[T]): (TypeSum.this)#Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
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
- @native() @throws( ... )
-
object
Def
- Definition Classes
- Base
-
object
Liftables
- Definition Classes
- Base
- object SOptional