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 corresponding 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
    @HotSpotIntrinsicCandidate() @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. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  9. 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

  10. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  12. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  13. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

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

    Permalink
    Definition Classes
    AnyRef

  15. def toString(): String

    Permalink
    Definition Classes
    Liftable → AnyRef → Any

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

    Permalink
    Attributes
    protected

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

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

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

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

  19. final def wait(): Unit

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

Deprecated Value Members

  1. def finalize(): Unit

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

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped