Class

scalan.Base.Liftables

Liftable

Related Doc: package Liftables

Permalink

abstract class Liftable[ST, T] extends AnyRef

Describes lifting data values of type ST (Source Type) to IR nodes of the correspoding staged type T. In general T is different type obtained by virtualization procedure from ST. However ST can be the same as T as is the case for Byte, Int, String etc.

Annotations
@implicitNotFound( ... )
Linear Supertypes
AnyRef, Any
Known Subclasses
BaseLiftable, FuncLiftable, LiftableAnyValue, LiftableAvlTree, LiftableBigInt, LiftableBox, LiftableColl, LiftableCollBuilder, LiftableContext, LiftableCostModel, LiftableGroupElement, LiftableHeader, LiftableOption, LiftablePreHeader, LiftableRType, LiftableReplColl, LiftableSigmaContract, LiftableSigmaDslBuilder, LiftableSigmaProp, LiftableSize, LiftableSizeAnyValue, LiftableSizeBox, LiftableSizeBuilder, LiftableSizeColl, LiftableSizeContext, LiftableSizeFunc, LiftableSizeOption, LiftableSizePair, LiftableSizePrim, LiftableSizeSigmaProp, LiftableThunk, PairLiftable
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Liftable
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Liftable()

    Permalink

Abstract Value Members

  1. abstract def eW: Scalan.Elem[T]

    Permalink

    Type descriptor of the IR type

  2. abstract def lift(x: ST): Scalan.Ref[T]

    Permalink

    Method to embedd source type instance into graph IR.

  3. abstract def sourceType: RType[ST]

    Permalink

    Type descriptor of the source type

  4. abstract def unlift(w: Scalan.Ref[T]): ST

    Permalink

    Extract lifted value from graph node.

    Extract lifted value from graph node.

    returns

    constValue from LiftedConst if w refers to such a node.

    Exceptions thrown

    StagingException if w is not refering to the appropritate LiftedConst node.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  7. def equals(obj: Any): Boolean

    Permalink
    Definition Classes
    Liftable → AnyRef → Any

  8. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  9. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  10. def hashCode(): Int

    Permalink

    We assume only single Liftable[ST, T] implementation for every IR type T.

    We assume only single Liftable[ST, T] implementation for every IR type T. And all instances of it are equal.

    Definition Classes
    Liftable → AnyRef → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  13. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  14. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  15. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  16. def toString(): String

    Permalink
    Definition Classes
    Liftable → AnyRef → Any

  17. def unliftError(w: Scalan.Ref[T]): Nothing

    Permalink
    Attributes
    protected

  18. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  19. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  20. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped