Trait

sigmastate.eval

CostingRules

Related Doc: package eval

Permalink

trait CostingRules extends Scalan with SigmaLibrary

Self Type
IRContext
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CostingRules
  2. SigmaLibrary
  3. CostedObjectsModule
  4. CostedObjectsDefs
  5. CostedObjects
  6. SigmaDslModule
  7. SigmaDslDefs
  8. SigmaDsl
  9. WrappersModule
  10. Library
  11. CostedOptionsModule
  12. CostedOptionsDefs
  13. CostedOptions
  14. MonoidInstancesModule
  15. MonoidInstancesDefs
  16. MonoidInstances
  17. MonoidsModule
  18. MonoidsDefs
  19. Monoids
  20. ConcreteCostsModule
  21. ConcreteCostsDefs
  22. ConcreteCosts
  23. ConcreteSizesModule
  24. ConcreteSizesDefs
  25. ConcreteSizes
  26. CostsModule
  27. CostsDefs
  28. Costs
  29. SizesModule
  30. SizesDefs
  31. Sizes
  32. CollsModule
  33. CollsDefs
  34. Colls
  35. WrappersSpecModule
  36. WrappersSpecDefs
  37. WrappersSpec
  38. WrappersModule
  39. WRTypesModule
  40. WRTypesDefs
  41. WRTypes
  42. WOptionsModule
  43. WOptionsDefs
  44. WOptions
  45. WSpecialPredefsModule
  46. WSpecialPredefsDefs
  47. WSpecialPredefs
  48. Scalan
  49. DefRewriting
  50. Modules
  51. Entities
  52. Thunks
  53. IfThenElse
  54. Functions
  55. ProgramGraphs
  56. AstGraphs
  57. Transforming
  58. UniversalOps
  59. Equal
  60. OrderingOps
  61. LogicalOps
  62. UnBinOps
  63. NumericOps
  64. Tuples
  65. MethodCalls
  66. GraphVizExport
  67. TypeDescs
  68. Base
  69. AnyRef
  70. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class Abs[T](n: ExactNumeric[T])(implicit evidence$8: Scalan.Elem[T]) extends Scalan.UnOp[T, T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  2. trait AnyValue extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.AnyValue]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  3. trait AnyValueCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  4. case class Apply[A, B](f: Scalan.Ref[(A) ⇒ B], arg: Scalan.Ref[A], mayInline: Boolean = true) extends Scalan.Node with Scalan.Def[B] with Product with Serializable

    Permalink
    Definition Classes
    Functions
  5. case class ApplyBinOp[A, R](op: Scalan.BinOp[A, R], lhs: Scalan.Ref[A], rhs: Scalan.Ref[A]) extends Scalan.BaseDef[R] with Product with Serializable

    Permalink
    Definition Classes
    UnBinOps
  6. case class ApplyBinOpLazy[A, R](op: Scalan.BinOp[A, R], lhs: Scalan.Ref[A], rhs: Scalan.Ref[Scalan.Thunk[A]]) extends Scalan.BaseDef[R] with Product with Serializable

    Permalink
    Definition Classes
    UnBinOps
  7. case class ApplyUnOp[A, R](op: Scalan.UnOp[A, R], arg: Scalan.Ref[A]) extends Scalan.BaseDef[R] with Product with Serializable

    Permalink
    Definition Classes
    UnBinOps
  8. abstract class AstGraph extends Scalan.Node

    Permalink

    Base class for all compound nodes with schedule (e.g.

    Base class for all compound nodes with schedule (e.g. Lambda, ThunkDef). The graph is directed acyclic (i.e. DAG) in which edges go from boundVars down to roots.

    Definition Classes
    AstGraphs
  9. trait AvlTree extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.AvlTree]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable()
  10. trait AvlTreeCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  11. class AvlTreeCoster extends IRContext.Coster[IRContext.AvlTree]

    Permalink

    Costing rules for SAvlTree methods

  12. abstract class BaseDef[+T] extends Scalan.Node with Scalan.Def[T]

    Permalink

    Base class for most predefined operations.

    Base class for most predefined operations.

    Definition Classes
    Base
  13. abstract class BaseElem[A] extends Scalan.Elem[A] with Serializable with Equals

    Permalink
    Definition Classes
    TypeDescs
  14. class BaseElemLiftable[A] extends Scalan.BaseElem[A]

    Permalink

    Type descriptor for primitive types.

    Type descriptor for primitive types. There is implicit val declaration for each primitive type.

    Definition Classes
    TypeDescs
  15. trait BigInt extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.BigInt]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  16. trait BigIntCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  17. class BinOp[A, R] extends AnyRef

    Permalink
    Definition Classes
    UnBinOps
  18. trait Box extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.Box]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  19. trait BoxCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  20. class BoxCoster extends IRContext.Coster[IRContext.Box]

    Permalink

    Costing rules for SBox methods

  21. abstract class CCostedBuilder extends scalan.Library.Node with scalan.Library.CostedBuilder

    Permalink
    Definition Classes
    ConcreteCosts
  22. trait CCostedBuilderCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteCosts
  23. abstract class CCostedColl[Item] extends scalan.Library.Node with scalan.Library.CostedColl[Item]

    Permalink
    Definition Classes
    ConcreteCosts
  24. trait CCostedCollCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteCosts
  25. abstract class CCostedFunc[Env, Arg, Res] extends scalan.Library.Node with scalan.Library.CostedFunc[Env, Arg, Res]

    Permalink
    Definition Classes
    ConcreteCosts
  26. trait CCostedFuncCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteCosts
  27. abstract class CCostedOption[T] extends scalan.Library.Node with scalan.Library.CostedOption[T]

    Permalink
    Definition Classes
    CostedOptions
  28. trait CCostedOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    CostedOptions
  29. abstract class CCostedPair[L, R] extends scalan.Library.Node with scalan.Library.CostedPair[L, R]

    Permalink
    Definition Classes
    ConcreteCosts
  30. trait CCostedPairCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteCosts
  31. abstract class CCostedPrim[Val] extends scalan.Library.Node with scalan.Library.CostedPrim[Val]

    Permalink
    Definition Classes
    ConcreteCosts
  32. trait CCostedPrimCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteCosts
  33. abstract class CSizeColl[Item] extends scalan.Library.Node with scalan.Library.SizeColl[Item]

    Permalink
    Definition Classes
    ConcreteSizes
  34. trait CSizeCollCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteSizes
  35. abstract class CSizeFunc[Env, Arg, Res] extends scalan.Library.Node with scalan.Library.SizeFunc[Env, Arg, Res]

    Permalink
    Definition Classes
    ConcreteSizes
  36. trait CSizeFuncCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteSizes
  37. abstract class CSizeOption[Item] extends scalan.Library.Node with scalan.Library.SizeOption[Item]

    Permalink
    Definition Classes
    ConcreteSizes
  38. trait CSizeOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteSizes
  39. abstract class CSizePair[L, R] extends scalan.Library.Node with scalan.Library.SizePair[L, R]

    Permalink
    Definition Classes
    ConcreteSizes
  40. trait CSizePairCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteSizes
  41. abstract class CSizePrim[Val] extends scalan.Library.Node with scalan.Library.SizePrim[Val]

    Permalink
    Definition Classes
    ConcreteSizes
  42. trait CSizePrimCompanion extends AnyRef

    Permalink
    Definition Classes
    ConcreteSizes
  43. case class Cast[To](eTo: IRContext.Elem[To], x: IRContext.Ref[IRContext.Def[_]]) extends IRContext.BaseDef[To] with Product with Serializable

    Permalink
  44. trait Coll[A] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Coll[A]]

    Permalink
    Definition Classes
    Colls
    Annotations
    @ContainerType() @FunctorType() @Liftable() @WithMethodCallRecognizers()
  45. trait CollBuilder extends scalan.Library.Node with scalan.Library.Def[scalan.Library.CollBuilder]

    Permalink
    Definition Classes
    Colls
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  46. trait CollBuilderCompanion extends AnyRef

    Permalink
    Definition Classes
    Colls
  47. trait CollCompanion extends AnyRef

    Permalink
    Definition Classes
    Colls
  48. class CollCoster[T] extends IRContext.Coster[IRContext.Coll[T]]

    Permalink

    Costing rules for SCollection methods (see object SCollection)

  49. abstract class CompanionDef[T] extends Scalan.Node with Scalan.Def[T]

    Permalink

    Base class for virtualized instances of type companions.

    Base class for virtualized instances of type companions. Each virtualized entity type (trait or class) may have virtualized companion class.

    Definition Classes
    Base
  50. abstract class CompanionElem[T] extends Scalan.Elem[T]

    Permalink

    Base class for all descriptors of staged companions

    Base class for all descriptors of staged companions

    Definition Classes
    Entities
  51. trait ConcreteElem[TData, TClass] extends Scalan.EntityElem[TClass]

    Permalink

    Base class for all descriptors of staged classes.

    Base class for all descriptors of staged classes.

    Definition Classes
    Entities
  52. trait ConcreteElem1[A, TData, TClass, C[_]] extends Scalan.EntityElem1[A, TClass, C]

    Permalink

    Base class for all descriptors of staged classes with one type parameter.

    Base class for all descriptors of staged classes with one type parameter. Note, it doesn't inherit from ConcreteElem

    Definition Classes
    Entities
  53. case class Const[T](x: T)(implicit eT: Scalan.Elem[T]) extends Scalan.BaseDef[T] with Product with Serializable

    Permalink

    Default node type for embedding of literal values to graph IR.

    Default node type for embedding of literal values to graph IR. This can be used or those types T when Elem[T] is defined, but Liftable[_,T] is not, i.e. for non-liftable types.

    x

    literal value

    eT

    type descriptor of IR type T

    Definition Classes
    Base
  54. abstract class Cont[F[_]] extends Scalan.TypeDesc

    Permalink

    Descriptor of type constructor of * -> * kind.

    Descriptor of type constructor of * -> * kind. Type constructor is not a type, but rather a function from type to type. It contains methods which abstract relationship between types T, F[T] etc.

    Definition Classes
    TypeDescs
    Annotations
    @implicitNotFound( "No Cont available for ${F}." )
  55. trait Context extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.Context]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  56. trait ContextCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  57. class ContextCoster extends IRContext.Coster[IRContext.Context]

    Permalink

    Costing rules for SContext methods

  58. case class Convert[From, To](eFrom: Scalan.Elem[From], eTo: Scalan.Elem[To], x: Scalan.Ref[Scalan.Def[_]], conv: Scalan.Ref[(From) ⇒ To]) extends Scalan.BaseDef[To] with Product with Serializable

    Permalink
    Definition Classes
    UniversalOps
  59. trait CostModel extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.CostModel]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable()
  60. trait CostModelCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  61. trait Costed[Val] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Costed[Val]]

    Permalink
    Definition Classes
    Costs
    Annotations
    @WithMethodCallRecognizers()
  62. trait CostedBuilder extends scalan.Library.Node with scalan.Library.Def[scalan.Library.CostedBuilder]

    Permalink
    Definition Classes
    Costs
    Annotations
    @WithMethodCallRecognizers()
  63. trait CostedBuilderCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  64. trait CostedColl[Item] extends scalan.Library.Node with scalan.Library.Costed[scalan.Library.Coll[Item]]

    Permalink
    Definition Classes
    Costs
    Annotations
    @WithMethodCallRecognizers()
  65. trait CostedCollCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  66. trait CostedCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  67. trait CostedFunc[Env, Arg, Res] extends scalan.Library.Node with scalan.Library.Costed[(Arg) ⇒ Res]

    Permalink
    Definition Classes
    Costs
  68. trait CostedFuncCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  69. trait CostedOption[T] extends scalan.Library.Node with scalan.Library.Costed[scalan.Library.WOption[T]]

    Permalink
    Definition Classes
    Costs
  70. trait CostedOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  71. trait CostedPair[L, R] extends scalan.Library.Node with scalan.Library.Costed[(L, R)]

    Permalink
    Definition Classes
    Costs
  72. trait CostedPairCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  73. trait CostedPrim[Val] extends scalan.Library.Node with scalan.Library.Costed[Val]

    Permalink
    Definition Classes
    Costs
  74. trait CostedPrimCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  75. abstract class Coster[T] extends AnyRef

    Permalink

    For each Sigma type there should be one Coster class (derived from this).

    For each Sigma type there should be one Coster class (derived from this). Each coster object implements a set of costing rules, one rule for each method of the corresponding Sigma type. For example, BoxCoster is coster for Box type, it contains rules for all methods registered in SBox type descriptor. This class defines generic costing helpers, to unify and simplify costing rules of individual methods.

  76. abstract class CostingHandler[T] extends AnyRef

    Permalink

    Implements basic costing rule invocation mechanism.

    Implements basic costing rule invocation mechanism. Each MethodCall node of ErgoTree is costed using the same mechanism. When MethodCall is matched during traverse of ErgoTree in RuntimeCosting.evalNode: 1) the type of the receiver object is used to lookup the corresponding CostingHandler 2) The apply method of CostingHandler is called to create the Coster 3) When Coster is created, the costing-rule-method is looked up using reflection and then invoked. 4) The result of costing-rule-method is returned as the result of MethodCall node costing.

    Instances of this class are typically singleton objects (see below).

    See also

    Coster

  77. type DataEnv = Map[IRContext.Sym, AnyRef]

    Permalink

    Immutable data environment used to assign data values to graph nodes.

    Immutable data environment used to assign data values to graph nodes.

    Definition Classes
    TypeDescs
  78. trait Def[+T] extends Scalan.Node

    Permalink

    Base type for all graph nodes (aka computable value definitions).

    Base type for all graph nodes (aka computable value definitions). Each graph node or definition represent one operation node of the data flow graph.

    Definition Classes
    Base
  79. class DefaultPass extends Scalan.Pass

    Permalink

    Default pass to be used when IR is used without special compiler configuration.

    Default pass to be used when IR is used without special compiler configuration.

    Definition Classes
    Transforming
  80. class DivOp[T] extends Scalan.EndoBinOp[T]

    Permalink
    Definition Classes
    NumericOps
  81. case class Downcast[From, To](input: Scalan.Ref[From], eTo: Scalan.Elem[To]) extends Scalan.BaseDef[To] with Product with Serializable

    Permalink
    Definition Classes
    UniversalOps
  82. abstract class Elem[A] extends Scalan.TypeDesc

    Permalink

    Type descriptor of staged types, which correspond to source (unstaged) RTypes defined outside of IR cake.

    Type descriptor of staged types, which correspond to source (unstaged) RTypes defined outside of IR cake.

    A

    the type represented by this descriptor

    Definition Classes
    TypeDescs
    Annotations
    @implicitNotFound( "No Elem available for ${A}." )
  83. class ElemCacheEntry extends AnyRef

    Permalink

    Elements cache information for each Elem class.

    Elements cache information for each Elem class.

    Definition Classes
    TypeDescs
  84. class ElseIfBranch[T] extends AnyRef

    Permalink

    Defines syntax available after IF (cond) THEN thenp ELSEIF (cond1)

    Defines syntax available after IF (cond) THEN thenp ELSEIF (cond1)

    Definition Classes
    IfThenElse
  85. type EndoBinOp[A] = IRContext.BinOp[A, A]

    Permalink
    Definition Classes
    UnBinOps
  86. type EndoUnOp[A] = IRContext.UnOp[A, A]

    Permalink
    Definition Classes
    UnBinOps
  87. abstract class EntityElem[A] extends Scalan.Elem[A] with Equals

    Permalink

    Base class for all descriptors of staged traits.

    Base class for all descriptors of staged traits.

    Definition Classes
    Entities
  88. abstract class EntityElem1[A, To, C[_]] extends Scalan.EntityElem[To]

    Permalink

    Base class for all descriptors of staged traits with one type parameter.

    Base class for all descriptors of staged traits with one type parameter.

    Definition Classes
    Entities
  89. class EntityObject extends AnyRef

    Permalink

    Base class for all objects generated for virtualized types to support staged evaluation machinery.

    Base class for all objects generated for virtualized types to support staged evaluation machinery. Each object contains definitions which can be imported when necessary. All that objects are registered in entityObjects hash map, which is done while IR cake is constructed.

    Definition Classes
    Base
  90. case class EntityObjectOwner(obj: Scalan.EntityObject) extends Scalan.OwnerKind with Product with Serializable

    Permalink
    Definition Classes
    Base
  91. case class EnvRep[A](run: (Scalan.DataEnv) ⇒ (Scalan.DataEnv, Scalan.Ref[A])) extends Product with Serializable

    Permalink

    State monad for symbols computed in a data environment.

    State monad for symbols computed in a data environment. DataEnv is used as the state of the state monad.

    Definition Classes
    TypeDescs
  92. implicit class EqualOps[A] extends AnyRef

    Permalink

    Extension methods to construct ApplyBinOp nodes

    Extension methods to construct ApplyBinOp nodes

    Definition Classes
    Equal
  93. case class Equals[A]()(implicit evidence$1: Scalan.Elem[A]) extends Scalan.BinOp[A, Boolean] with Product with Serializable

    Permalink

    Binary operation representing structural equality between arguments.

    Binary operation representing structural equality between arguments.

    Definition Classes
    Equal
  94. case class First[A, B](pair: Scalan.Ref[(A, B)]) extends Scalan.Node with Scalan.Def[A] with Product with Serializable

    Permalink
    Definition Classes
    Tuples
  95. case class FuncElem[A, B](eDom: Scalan.Elem[A], eRange: Scalan.Elem[B]) extends Scalan.Elem[(A) ⇒ B] with Product with Serializable

    Permalink

    Type descriptor for A => B type where descriptors for A and B are given as arguments.

    Type descriptor for A => B type where descriptors for A and B are given as arguments.

    Definition Classes
    TypeDescs
  96. implicit class FuncExtensions[A, B] extends AnyRef

    Permalink
    Definition Classes
    Functions
  97. trait Functor[F[_]] extends Scalan.Cont[F]

    Permalink
    Definition Classes
    TypeDescs
  98. case class GraphFile(file: File, fileType: String) extends Product with Serializable

    Permalink
    Definition Classes
    GraphVizExport
  99. case class GraphNode(sym: Scalan.Sym, usages: Buffer[Int]) extends Product with Serializable

    Permalink

    GraphNode is created for each symbol of the AstGraph and represents graph linking structure

    GraphNode is created for each symbol of the AstGraph and represents graph linking structure

    Definition Classes
    AstGraphs
  100. trait GroupElement extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.GroupElement]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  101. trait GroupElementCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  102. class GroupElementCoster extends IRContext.Coster[IRContext.GroupElement]

    Permalink

    Costing rules for SGroupElement methods

  103. case class HashCode[A]() extends Scalan.UnOp[A, Int] with Product with Serializable

    Permalink
    Definition Classes
    UniversalOps
  104. trait Header extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.Header]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable()
  105. trait HeaderCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  106. class HeaderCoster extends IRContext.Coster[IRContext.Header]

    Permalink

    Costing rules for SHeader methods

  107. class IfBranch extends AnyRef

    Permalink

    Defines syntax available after IF (cond)

    Defines syntax available after IF (cond)

    Definition Classes
    IfThenElse
  108. case class IfThenElseLazy[T](cond: Scalan.Ref[Boolean], thenp: Scalan.Ref[Scalan.Thunk[T]], elsep: Scalan.Ref[Scalan.Thunk[T]]) extends Scalan.Node with Scalan.Def[T] with Product with Serializable

    Permalink

    IR node to represent IF condition with lazy branches.

    IR node to represent IF condition with lazy branches.

    Definition Classes
    IfThenElse
  109. abstract class IntPlusMonoid extends scalan.Library.Node with scalan.Library.Monoid[Int]

    Permalink
    Definition Classes
    MonoidInstances
  110. trait IntPlusMonoidCompanion extends AnyRef

    Permalink
    Definition Classes
    MonoidInstances
  111. case class IntegralDivide[T](i: ExactIntegral[T])(implicit elem: Scalan.Elem[T]) extends Scalan.DivOp[T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  112. case class IntegralMod[T](i: ExactIntegral[T])(implicit elem: Scalan.Elem[T]) extends Scalan.DivOp[T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  113. implicit class IntegralOpsCls[T] extends AnyRef

    Permalink
    Definition Classes
    NumericOps
  114. case class InvokeFailure(exception: Throwable) extends Scalan.InvokeResult with Product with Serializable

    Permalink

    Exception thrown during MethodCall invocation.

    Exception thrown during MethodCall invocation.

    Definition Classes
    MethodCalls
  115. sealed abstract class InvokeResult extends AnyRef

    Permalink

    Result of MethodCall invocation.

    Result of MethodCall invocation.

    Definition Classes
    MethodCalls
    See also

    tryInvoke

  116. case class InvokeSuccess(result: Scalan.Ref[_]) extends Scalan.InvokeResult with Product with Serializable

    Permalink

    Successful MethodCall invocation with the given result.

    Successful MethodCall invocation with the given result.

    Definition Classes
    MethodCalls
  117. class KnownCollInfo[T] extends AnyRef

    Permalink
  118. type LElem[A] = Lazy[IRContext.Elem[A]]

    Permalink

    Type descriptor which is computed lazily on demand.

    Type descriptor which is computed lazily on demand.

    Definition Classes
    TypeDescs
  119. class Lambda[A, B] extends Scalan.AstGraph with Scalan.Def[(A) ⇒ B]

    Permalink

    Represent lambda expression as IR node.

    Represent lambda expression as IR node.

    Definition Classes
    Functions
  120. type LambdaData[A, B] = (IRContext.Lambda[A, B], Nullable[(IRContext.Ref[A]) ⇒ IRContext.Ref[B]], IRContext.Ref[A], IRContext.Ref[B])

    Permalink
    Definition Classes
    Functions
  121. implicit class LambdaOps[A, B] extends AnyRef

    Permalink
    Definition Classes
    Functions
  122. class LambdaStack extends AnyRef

    Permalink
    Definition Classes
    Functions
  123. type LazyRep[T] = MutableLazy[IRContext.Ref[T]]

    Permalink
    Definition Classes
    Library
  124. case class LiftableThunk[ST, T](lT: Base.Liftables.Liftable[ST, T]) extends Base.Liftables.Liftable[Scalan.SThunk[ST], Scalan.Thunk[T]] with Product with Serializable

    Permalink
    Definition Classes
    Thunks
  125. implicit class ListOps[A, B] extends AnyRef

    Permalink
    Definition Classes
    Tuples
  126. abstract class LongPlusMonoid extends scalan.Library.Node with scalan.Library.Monoid[Long]

    Permalink
    Definition Classes
    MonoidInstances
  127. trait LongPlusMonoidCompanion extends AnyRef

    Permalink
    Definition Classes
    MonoidInstances
  128. case class MapTransformer(subst: HashMap[Scalan.Sym, Scalan.Sym]) extends Scalan.Transformer with Product with Serializable

    Permalink

    Concrete and default implementation of Transformer using underlying HashMap.

    Concrete and default implementation of Transformer using underlying HashMap.

    Definition Classes
    Transforming
  129. case class MethodCall extends Scalan.Node with Scalan.Def[Any] with Product with Serializable

    Permalink

    Graph node to represent invocation of the method of some class.

    Graph node to represent invocation of the method of some class.

    Definition Classes
    MethodCalls
  130. sealed abstract class MethodDesc extends AnyRef

    Permalink
    Definition Classes
    TypeDescs
  131. abstract class Mirror extends AnyRef

    Permalink

    Base class for mirrors of graph nodes.

    Base class for mirrors of graph nodes. Provides default implementations which can be overriden if special logic is required.

    Definition Classes
    Transforming
  132. trait Monoid[T] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Monoid[T]]

    Permalink
    Definition Classes
    Monoids
  133. trait MonoidBuilder extends scalan.Library.Node with scalan.Library.Def[scalan.Library.MonoidBuilder]

    Permalink
    Definition Classes
    Monoids
    Annotations
    @WithMethodCallRecognizers()
  134. trait MonoidBuilderCompanion extends AnyRef

    Permalink
    Definition Classes
    Monoids
  135. abstract class MonoidBuilderInst extends scalan.Library.Node with scalan.Library.MonoidBuilder

    Permalink
    Definition Classes
    MonoidInstances
  136. trait MonoidBuilderInstCompanion extends AnyRef

    Permalink
    Definition Classes
    MonoidInstances
  137. trait MonoidCompanion extends AnyRef

    Permalink
    Definition Classes
    Monoids
  138. case class NewObject[A](eA: Scalan.Elem[A], args: Seq[Any]) extends Scalan.BaseDef[A] with Product with Serializable

    Permalink

    Represents invocation of constructor of the class described by eA.

    Represents invocation of constructor of the class described by eA.

    eA

    class descriptor for new instance

    args

    arguments of class constructor

    Definition Classes
    MethodCalls
  139. abstract class Node extends Product

    Permalink

    Base class for all IR nodes/operations/definitions.

    Base class for all IR nodes/operations/definitions.

    Definition Classes
    Base
  140. case class NotEquals[A]()(implicit evidence$2: Scalan.Elem[A]) extends Scalan.BinOp[A, Boolean] with Product with Serializable

    Permalink

    Binary operation representing structural inequality between arguments.

    Binary operation representing structural inequality between arguments.

    Definition Classes
    Equal
  141. class NotImplementedStagingException extends Scalan.StagingException

    Permalink
    Definition Classes
    Base
  142. case class NumericMinus[T](n: ExactNumeric[T])(implicit evidence$4: Scalan.Elem[T]) extends Scalan.EndoBinOp[T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  143. case class NumericNegate[T](n: ExactNumeric[T])(implicit evidence$7: Scalan.Elem[T]) extends Scalan.UnOp[T, T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  144. implicit class NumericOpsCls[T] extends AnyRef

    Permalink
    Definition Classes
    NumericOps
  145. case class NumericPlus[T](n: ExactNumeric[T])(implicit evidence$3: Scalan.Elem[T]) extends Scalan.EndoBinOp[T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  146. case class NumericTimes[T](n: ExactNumeric[T])(implicit evidence$5: Scalan.Elem[T]) extends Scalan.EndoBinOp[T] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  147. case class NumericToDouble[T](n: ExactNumeric[T]) extends Scalan.UnOp[T, Double] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  148. case class NumericToFloat[T](n: ExactNumeric[T]) extends Scalan.UnOp[T, Float] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  149. case class NumericToInt[T](n: ExactNumeric[T]) extends Scalan.UnOp[T, Int] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  150. case class NumericToLong[T](n: ExactNumeric[T]) extends Scalan.UnOp[T, Long] with Product with Serializable

    Permalink
    Definition Classes
    NumericOps
  151. case class OpCost(lambdaVar: Scalan.Sym, costedValueId: Int, args: Seq[Scalan.Ref[Int]], opCost: Scalan.Ref[Int]) extends Scalan.BaseDef[Int] with Product with Serializable

    Permalink

    Special graph node to represent accumulation of the operation costs.

    Special graph node to represent accumulation of the operation costs. In general, due to node sharing it is incorrect to just sum up all the args costs and add resCost to that value. Example:
    val x = .. val y = op1(x) val z = op2(x) val res = op3(y, z) The naive summation will lead to the cost of x is accumulated both into cost of y and into cost of z, so in the cost of res it is accumulated twice. To avoid this problem OpCost nodes require special handling in during evaluation.

    lambdaVar

    the variable of the lambda in which scope this node is created. This makes this node belong to the lambda body, even if it doesn't otherwise depend on lambda argument.

    costedValueId

    The id of the node for which this node represents cost

    args

    costs of the arguments, which are here represent dependency information.

    opCost

    operation cost, which should be added to the current scope accumulated cost

    Definition Classes
    UniversalOps
  152. class OptionCoster[T] extends IRContext.Coster[IRContext.WOption[T]]

    Permalink

    Costing rules for SOption methods (see object SOption)

  153. trait OptionWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

    Permalink
    Definition Classes
    WrappersSpec
  154. trait OptionWrapSpecCompanion extends AnyRef

    Permalink
    Definition Classes
    WrappersSpec
  155. case class OrderingCompare[T](ord: ExactOrdering[T]) extends Scalan.BinOp[T, Int] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  156. case class OrderingGT[T](ord: ExactOrdering[T]) extends Scalan.BinOp[T, Boolean] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  157. case class OrderingGTEQ[T](ord: ExactOrdering[T]) extends Scalan.BinOp[T, Boolean] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  158. case class OrderingLT[T](ord: ExactOrdering[T]) extends Scalan.BinOp[T, Boolean] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  159. case class OrderingLTEQ[T](ord: ExactOrdering[T]) extends Scalan.BinOp[T, Boolean] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  160. case class OrderingMax[T](ord: ExactOrdering[T])(implicit evidence$1: Scalan.Elem[T]) extends Scalan.BinOp[T, T] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  161. case class OrderingMin[T](ord: ExactOrdering[T])(implicit evidence$2: Scalan.Elem[T]) extends Scalan.BinOp[T, T] with Product with Serializable

    Permalink
    Definition Classes
    OrderingOps
  162. class OrderingOpsCls[T] extends AnyRef

    Permalink
    Definition Classes
    OrderingOps
  163. sealed abstract class OwnerKind extends AnyRef

    Permalink

    Variants of owner parameter of constructors of nested classes: 1) predefined node classes are owned by IR cake (ScalanOwner) 2) entity classes are owned by enclosing EntityObject

    Variants of owner parameter of constructors of nested classes: 1) predefined node classes are owned by IR cake (ScalanOwner) 2) entity classes are owned by enclosing EntityObject

    Definition Classes
    Base
  164. type PGraph = IRContext.ProgramGraph

    Permalink
    Definition Classes
    ProgramGraphs
  165. class PGraphUsages extends DFunc[Int, Buffer[Int]]

    Permalink

    Deboxed function to obtain usages of a given node.

    Deboxed function to obtain usages of a given node. Represents adjacency matrix of the reversed graph g.

    Definition Classes
    ProgramGraphs
  166. trait PairColl[L, R] extends scalan.Library.Node with scalan.Library.Coll[(L, R)]

    Permalink
    Definition Classes
    Colls
    Annotations
    @WithMethodCallRecognizers()
  167. trait PairCollCompanion extends AnyRef

    Permalink
    Definition Classes
    Colls
  168. case class PairElem[A, B](eFst: Scalan.Elem[A], eSnd: Scalan.Elem[B]) extends Scalan.Elem[(A, B)] with Product with Serializable

    Permalink

    Type descriptor for (A, B) type where descriptors for A and B are given as arguments.

    Type descriptor for (A, B) type where descriptors for A and B are given as arguments.

    Definition Classes
    TypeDescs
  169. implicit class PartialRewriter extends Scalan.Rewriter

    Permalink

    Turns partial function into rewriter (i.e.

    Turns partial function into rewriter (i.e. set of rewriting rules)

    Definition Classes
    Transforming
  170. abstract class Pass extends AnyRef

    Permalink

    Descriptor of a current compiler pass.

    Descriptor of a current compiler pass. Compiler can be configured to perform one pass after another. Each pass has name, configuration parameters, finalizaton logic etc.

    Definition Classes
    Transforming
  171. case class PassConfig(shouldUnpackTuples: Boolean = false, shouldExtractFields: Boolean = true, constantPropagation: Boolean = true, shouldSlice: Boolean = false) extends Product with Serializable

    Permalink

    Configuration parameters of the Pass descriptor.

    Configuration parameters of the Pass descriptor.

    Definition Classes
    Transforming
  172. case class Placeholder[T](eT: Scalan.LElem[T]) extends Scalan.Node with Scalan.Def[T] with Product with Serializable

    Permalink

    Symbols may temporary refer to this node until their target node is updated.

    Symbols may temporary refer to this node until their target node is updated.

    Definition Classes
    Base
  173. trait PreHeader extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.PreHeader]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable()
  174. trait PreHeaderCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  175. class PreHeaderCoster extends IRContext.Coster[IRContext.PreHeader]

    Permalink

    Costing rules for SPreHeader methods

  176. case class ProgramGraph(roots: Seq[Scalan.Sym], mapping: Nullable[Scalan.Transformer], filterNode: Nullable[(Scalan.Sym) ⇒ Boolean]) extends Scalan.AstGraph with Product with Serializable

    Permalink

    Immutable graph collected from roots following Ref.node.deps links.

    Immutable graph collected from roots following Ref.node.deps links.

    Definition Classes
    ProgramGraphs
  177. type RCosted[A] = IRContext.Ref[IRContext.Costed[A]]

    Permalink
    Definition Classes
    Library
  178. type RFunc[-A, +B] = IRContext.Ref[(A) ⇒ B]

    Permalink
    Definition Classes
    Base
  179. case class RMethodDesc(method: Method) extends Scalan.MethodDesc with Product with Serializable

    Permalink
    Definition Classes
    TypeDescs
  180. type RPair[+A, +B] = IRContext.Ref[(A, B)]

    Permalink
    Definition Classes
    Base
  181. type RSize[Val] = IRContext.Ref[IRContext.Size[Val]]

    Permalink
    Definition Classes
    Library
  182. trait RTypeWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

    Permalink
    Definition Classes
    WrappersSpec
  183. trait RTypeWrapSpecCompanion extends AnyRef

    Permalink
    Definition Classes
    WrappersSpec
  184. abstract class Ref[+T] extends AnyRef

    Permalink

    Abstract representation of a computable value.

    Abstract representation of a computable value. Default implementation is a simple lightweight reference to the corresponding definition. Every Ref have direct access to its Def via node property. Every Ref is typed, and the type is avaliable via elem property.

    Definition Classes
    Base
    See also

    SingleRep

  185. implicit class RepBooleanOps extends AnyRef

    Permalink
    Definition Classes
    LogicalOps
  186. implicit class RepThunkOps[T] extends AnyRef

    Permalink
    Definition Classes
    Thunks
  187. implicit class RepUniversalOps[A] extends AnyRef

    Permalink
    Definition Classes
    UniversalOps
  188. trait ReplColl[A] extends scalan.Library.Node with scalan.Library.Coll[A]

    Permalink
    Definition Classes
    Colls
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  189. trait ReplCollCompanion extends AnyRef

    Permalink
    Definition Classes
    Colls
  190. abstract class Rewriter extends AnyRef

    Permalink
    Definition Classes
    Transforming
  191. type SThunk[T] = () ⇒ T

    Permalink
    Definition Classes
    Thunks
  192. type Schedule = Seq[IRContext.Sym]

    Permalink

    Type synonim for graph schedules.

    Type synonim for graph schedules.

    Definition Classes
    AstGraphs
  193. type ScheduleIds = Buffer[Int]

    Permalink

    Alternative representation of schedules using node ids.

    Alternative representation of schedules using node ids.

    Definition Classes
    AstGraphs
  194. case class Second[A, B](pair: Scalan.Ref[(A, B)]) extends Scalan.Node with Scalan.Def[B] with Product with Serializable

    Permalink
    Definition Classes
    Tuples
  195. implicit class SeqExpExtensionsForEmitGraph extends AnyRef

    Permalink
    Definition Classes
    GraphVizExport
  196. trait SigmaContract extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SigmaContract]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable()
  197. trait SigmaContractCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  198. trait SigmaDslBuilder extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SigmaDslBuilder]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  199. trait SigmaDslBuilderCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  200. class SigmaDslBuilderCoster extends IRContext.Coster[IRContext.SigmaDslBuilder]

    Permalink

    Costing rules for SGlobal methods

  201. trait SigmaProp extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SigmaProp]

    Permalink
    Definition Classes
    SigmaDsl
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  202. trait SigmaPropCompanion extends AnyRef

    Permalink
    Definition Classes
    SigmaDsl
  203. final class SingleRef[+T] extends Scalan.Ref[T]

    Permalink

    A Ref is a symbolic reference used internally to refer to graph nodes.

    A Ref is a symbolic reference used internally to refer to graph nodes. Light weight stateless immutable reference to a graph node (Def[T]). Two symbols are equal if they refer to the nodes with the same id, which is due to Def unification means equal symbols refer to the same instance of Def.

    Definition Classes
    Base
  204. trait Size[Val] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Size[Val]]

    Permalink
    Definition Classes
    Sizes
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  205. trait SizeAnyValue extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.AnyValue]

    Permalink
    Definition Classes
    CostedObjects
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  206. trait SizeAnyValueCompanion extends AnyRef

    Permalink
    Definition Classes
    CostedObjects
  207. trait SizeBox extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.Box]

    Permalink
    Definition Classes
    CostedObjects
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  208. trait SizeBoxCompanion extends AnyRef

    Permalink
    Definition Classes
    CostedObjects
  209. trait SizeBuilder extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SizeBuilder]

    Permalink
    Definition Classes
    CostedObjects
    Annotations
    @Liftable()
  210. trait SizeBuilderCompanion extends AnyRef

    Permalink
    Definition Classes
    CostedObjects
  211. trait SizeColl[Item] extends scalan.Library.Node with scalan.Library.Size[scalan.Library.Coll[Item]]

    Permalink
    Definition Classes
    Sizes
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  212. trait SizeCollCompanion extends AnyRef

    Permalink
    Definition Classes
    Sizes
  213. trait SizeCompanion extends AnyRef

    Permalink
    Definition Classes
    Sizes
  214. trait SizeContext extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.Context]

    Permalink
    Definition Classes
    CostedObjects
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  215. trait SizeContextCompanion extends AnyRef

    Permalink
    Definition Classes
    CostedObjects
  216. trait SizeFunc[Env, Arg, Res] extends scalan.Library.Node with scalan.Library.Size[(Arg) ⇒ Res]

    Permalink
    Definition Classes
    Sizes
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  217. trait SizeFuncCompanion extends AnyRef

    Permalink
    Definition Classes
    Sizes
  218. case class SizeOf[T](value: Scalan.Ref[T]) extends Scalan.BaseDef[Long] with Product with Serializable

    Permalink

    Represents calculation of size in bytes of the given value.

    Represents calculation of size in bytes of the given value. The descriptor value.elem can be used to decompose value into components.

    Definition Classes
    UniversalOps
  219. trait SizeOption[T] extends scalan.Library.Node with scalan.Library.Size[scalan.Library.WOption[T]]

    Permalink
    Definition Classes
    Sizes
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  220. trait SizeOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    Sizes
  221. trait SizePair[L, R] extends scalan.Library.Node with scalan.Library.Size[(L, R)]

    Permalink
    Definition Classes
    Sizes
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  222. trait SizePairCompanion extends AnyRef

    Permalink
    Definition Classes
    Sizes
  223. trait SizePrim[Val] extends scalan.Library.Node with scalan.Library.Size[Val]

    Permalink
    Definition Classes
    Sizes
    Annotations
    @Liftable()
  224. trait SizePrimCompanion extends AnyRef

    Permalink
    Definition Classes
    Sizes
  225. trait SizeSigmaProp extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.SigmaProp]

    Permalink
    Definition Classes
    CostedObjects
    Annotations
    @Liftable() @WithMethodCallRecognizers()
  226. trait SizeSigmaPropCompanion extends AnyRef

    Permalink
    Definition Classes
    CostedObjects
  227. trait SpecialPredefWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

    Permalink
    Definition Classes
    WrappersSpec
  228. trait SpecialPredefWrapSpecCompanion extends AnyRef

    Permalink
    Definition Classes
    WrappersSpec
  229. class StagingException extends RuntimeException

    Permalink
    Definition Classes
    Base
  230. type Subst = HashMap[IRContext.Sym, IRContext.Sym]

    Permalink
    Definition Classes
    Functions
  231. case class SumElem[A, B](eLeft: Scalan.Elem[A], eRight: Scalan.Elem[B]) extends Scalan.Elem[Scalan.|[A, B]] with Product with Serializable

    Permalink

    Type descriptor for A | B type where descriptors for A and B are given as arguments.

    Type descriptor for A | B type where descriptors for A and B are given as arguments.

    Definition Classes
    TypeDescs
  232. type Sym = IRContext.Ref[_]

    Permalink

    Untyped shortcut sinonim of Ref, which is used as untyped reference to graph nodes (definitions).

    Untyped shortcut sinonim of Ref, which is used as untyped reference to graph nodes (definitions). Following a tradition in compiler engineering we call references to definitions as symbols.

    Definition Classes
    Base
  233. type Th[+T] = IRContext.Ref[IRContext.Thunk[T]]

    Permalink
    Definition Classes
    Thunks
  234. class ThenIfBranch[T] extends AnyRef

    Permalink

    Defines syntax available after IF (cond) THEN thenp

    Defines syntax available after IF (cond) THEN thenp

    Definition Classes
    IfThenElse
  235. trait Thunk[+A] extends AnyRef

    Permalink
    Definition Classes
    Thunks
  236. class ThunkCompanion extends AnyRef

    Permalink
    Definition Classes
    Thunks
  237. case class ThunkConst[ST, T](constValue: Scalan.SThunk[ST], lT: Base.Liftables.Liftable[ST, T]) extends Scalan.BaseDef[Scalan.Thunk[T]] with LiftedConst[Scalan.SThunk[ST], Scalan.Thunk[T]] with Product with Serializable

    Permalink
    Definition Classes
    Thunks
  238. class ThunkDef[A] extends Scalan.AstGraph with Scalan.Def[Scalan.Thunk[A]]

    Permalink
    Definition Classes
    Thunks
  239. case class ThunkElem[A](eItem: Scalan.Elem[A]) extends Scalan.EntityElem1[A, Scalan.Thunk[A], Scalan.Thunk] with Product with Serializable

    Permalink
    Definition Classes
    Thunks
  240. case class ThunkForce[A](thunk: Scalan.Ref[Scalan.Thunk[A]]) extends Scalan.Node with Scalan.Def[A] with Product with Serializable

    Permalink
    Definition Classes
    Thunks
  241. class ThunkScope extends AnyRef

    Permalink
    Definition Classes
    Thunks
  242. class ThunkStack extends AnyRef

    Permalink
    Definition Classes
    Thunks
  243. case class ToString[A]() extends Scalan.UnOp[A, String] with Product with Serializable

    Permalink
    Definition Classes
    UniversalOps
  244. abstract class Transformer extends AnyRef

    Permalink

    Base class for Ref to Ref transformations.

    Base class for Ref to Ref transformations. Each transformer keeps a mapping data between references to original nodes and references to the corresponding transformed nodes.

    Definition Classes
    Base
  245. case class Tup[A, B](a: Scalan.Ref[A], b: Scalan.Ref[B]) extends Scalan.Node with Scalan.Def[(A, B)] with Product with Serializable

    Permalink
    Definition Classes
    Tuples
  246. implicit class TupleOps2[A, B] extends AnyRef

    Permalink
    Definition Classes
    Tuples
  247. implicit class TupleOps3[A, B, C] extends AnyRef

    Permalink
    Definition Classes
    Tuples
  248. implicit class TupleOps4[A, B, C, D] extends AnyRef

    Permalink
    Definition Classes
    Tuples
  249. implicit class TupleOps5[A, B, C, D, E] extends AnyRef

    Permalink
    Definition Classes
    Tuples
  250. abstract class TypeDesc extends Serializable

    Permalink
    Definition Classes
    TypeDescs
  251. class UnOp[A, R] extends AnyRef

    Permalink
    Definition Classes
    UnBinOps
  252. case class Upcast[From, To](input: Scalan.Ref[From], eTo: Scalan.Elem[To]) extends Scalan.BaseDef[To] with Product with Serializable

    Permalink
    Definition Classes
    UniversalOps
  253. case class Variable[T](varId: Int)(implicit eT: Scalan.LElem[T]) extends Scalan.Node with Scalan.Def[T] with Product with Serializable

    Permalink

    Node class for typed variables.

    Node class for typed variables. In particular for lambda-bound variables.

    varId

    is independent from nodeId, shouldn't be used as node id.

    eT

    type descriptor of the variable type

    Definition Classes
    Base
  254. case class WMethodDesc(wrapSpec: WrapSpec, method: Method) extends Scalan.MethodDesc with Product with Serializable

    Permalink
    Definition Classes
    TypeDescs
  255. trait WOption[A] extends special.wrappers.WrappersModule.Node with special.wrappers.WrappersModule.Def[special.wrappers.WrappersModule.WOption[A]]

    Permalink
    Definition Classes
    WOptions
    Annotations
    @External() @ContainerType() @FunctorType() @Liftable() @WithMethodCallRecognizers()
  256. trait WOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    WOptions
  257. trait WRType[A] extends special.wrappers.WrappersModule.Node with special.wrappers.WrappersModule.Def[special.wrappers.WrappersModule.WRType[A]]

    Permalink
    Definition Classes
    WRTypes
    Annotations
    @External() @Liftable() @WithMethodCallRecognizers()
  258. trait WRTypeCompanion extends AnyRef

    Permalink
    Definition Classes
    WRTypes
  259. trait WSpecialPredef extends special.wrappers.WrappersModule.Node with special.wrappers.WrappersModule.Def[special.wrappers.WrappersModule.WSpecialPredef]

    Permalink
    Definition Classes
    WSpecialPredefs
    Annotations
    @External() @WithMethodCallRecognizers()
  260. trait WSpecialPredefCompanion extends AnyRef

    Permalink
    Definition Classes
    WSpecialPredefs
  261. trait WrapSpecBase extends scalan.Library.Node with scalan.Library.Def[scalan.Library.WrapSpecBase] with WrapSpec

    Permalink
    Definition Classes
    WrappersSpec
  262. trait WrapSpecBaseCompanion extends AnyRef

    Permalink
    Definition Classes
    WrappersSpec
  263. type |[+A, +B] = Either[A, B]

    Permalink
    Definition Classes
    Base

Abstract Value Members

  1. abstract def colBuilder: IRContext.Ref[IRContext.CollBuilder]

    Permalink
    Definition Classes
    Library
  2. abstract def costedBuilder: IRContext.Ref[IRContext.CostedBuilder]

    Permalink
    Definition Classes
    Library
  3. abstract def intPlusMonoid: IRContext.Ref[IRContext.Monoid[Int]]

    Permalink
    Definition Classes
    Library
  4. abstract def longPlusMonoid: IRContext.Ref[IRContext.Monoid[Long]]

    Permalink
    Definition Classes
    Library
  5. abstract def sigmaDslBuilder: IRContext.Ref[IRContext.SigmaDslBuilder]

    Permalink
    Definition Classes
    SigmaLibrary

Concrete Value Members

  1. def !!!(msg: String, e: Throwable, syms: IRContext.Ref[_]*): Nothing

    Permalink
    Definition Classes
    Base
  2. def !!!(msg: String, syms: IRContext.Ref[_]*): Nothing

    Permalink
    Definition Classes
    Base
  3. def !!!: Nothing

    Permalink

    Helper methods to throw errors

    Helper methods to throw errors

    Definition Classes
    Base
  4. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  5. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  6. object &&

    Permalink

    Logical AND between two pattern matches of the save value x.

    Logical AND between two pattern matches of the save value x. Can be used to construct patterns like case P1 && P2 => ...

    Definition Classes
    Base
  7. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  8. def ???(value: Any, syms: IRContext.Ref[_]*): Nothing

    Permalink
    Definition Classes
    Base
  9. def ???: Nothing

    Permalink
    Definition Classes
    Base
  10. val And: IRContext.BinOp[Boolean, Boolean]

    Permalink
    Definition Classes
    LogicalOps
  11. val AnyElement: IRContext.Elem[Any]

    Permalink

    Type descriptor for Any, cannot be used implicitly.

    Type descriptor for Any, cannot be used implicitly.

    Definition Classes
    TypeDescs
  12. val AnyRefElement: IRContext.Elem[AnyRef]

    Permalink

    Type descriptor for AnyRef, cannot be used implicitly.

    Type descriptor for AnyRef, cannot be used implicitly.

    Definition Classes
    TypeDescs
  13. object AnyValue extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  14. object AvlTree extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  15. object AvlTreeCoster extends IRContext.CostingHandler[IRContext.AvlTree]

    Permalink
  16. val AvlTreeDigestInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  17. object BigInt extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  18. val BinaryXorOp: IRContext.BinOp[Boolean, Boolean]

    Permalink
    Definition Classes
    LogicalOps
  19. implicit val BooleanElement: IRContext.Elem[Boolean]

    Permalink
    Definition Classes
    TypeDescs
  20. val BooleanToInt: IRContext.UnOp[Boolean, Int]

    Permalink
    Definition Classes
    LogicalOps
  21. object Box extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  22. val BoxBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  23. val BoxBytesWithoutRefsInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  24. object BoxCoster extends IRContext.CostingHandler[IRContext.Box]

    Permalink
  25. val BoxPropositionBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  26. implicit val ByteElement: IRContext.Elem[Byte]

    Permalink
    Definition Classes
    TypeDescs
  27. object CCostedBuilder extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteCostsDefs
  28. object CCostedColl extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteCostsDefs
  29. object CCostedFunc extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteCostsDefs
  30. object CCostedOption extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostedOptionsDefs
  31. object CCostedPair extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteCostsDefs
  32. object CCostedPrim extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteCostsDefs
  33. val CM: CollMethods.type

    Permalink
    Definition Classes
    Library
  34. object CSizeColl extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteSizesDefs
  35. object CSizeFunc extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteSizesDefs
  36. object CSizeOption extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteSizesDefs
  37. object CSizePair extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteSizesDefs
  38. object CSizePrim extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    ConcreteSizesDefs
  39. implicit val CharElement: IRContext.Elem[Char]

    Permalink
    Definition Classes
    TypeDescs
  40. object Coll extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CollsDefs
  41. object CollBuilder extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CollsDefs
  42. object CollCoster extends IRContext.CostingHandler[IRContext.Coll[Any]]

    Permalink
  43. object ConstantLambda

    Permalink

    Matcher for lambdas which don't depend on their arguments (but can close over other expressions, unlike VeryConstantLambda).

    Matcher for lambdas which don't depend on their arguments (but can close over other expressions, unlike VeryConstantLambda).

    Definition Classes
    Functions
  44. object ConstantThunk

    Permalink
    Definition Classes
    Thunks
  45. object Context extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  46. object ContextCoster extends IRContext.CostingHandler[IRContext.Context]

    Permalink
  47. object CostModel extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  48. object Costed extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  49. object CostedBuilder extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  50. object CostedColl extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  51. object CostedFunc extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  52. object CostedOption extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  53. object CostedPair extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  54. object CostedPrim extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CostsDefs
  55. object Def

    Permalink
    Definition Classes
    Base
  56. val DefaultMirror: IRContext.Mirror

    Permalink

    Default Mirror instance which is used in core IR methods.

    Default Mirror instance which is used in core IR methods.

    Definition Classes
    Transforming
  57. implicit val DoubleElement: IRContext.Elem[Double]

    Permalink
    Definition Classes
    TypeDescs
  58. object Elem extends Serializable

    Permalink
    Definition Classes
    TypeDescs
  59. val EmptyTypeArgs: ListMap[String, (IRContext.TypeDesc, Variance)]

    Permalink

    Since ListMap is immutable this empty map can be shared by all other maps created from it.

    Since ListMap is immutable this empty map can be shared by all other maps created from it.

    Definition Classes
    TypeDescs
  60. val EncodedGroupElementInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  61. object EnvRep extends Serializable

    Permalink
    Definition Classes
    TypeDescs
  62. object ExpWithElem

    Permalink
    Definition Classes
    Base
  63. implicit val FloatElement: IRContext.Elem[Float]

    Permalink
    Definition Classes
    TypeDescs
  64. implicit final def FuncElemExtensions[A, B](eAB: IRContext.Elem[(A) ⇒ B]): IRContext.FuncElem[A, B]

    Permalink
    Definition Classes
    TypeDescs
  65. object GroupElement extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  66. object GroupElementCoster extends IRContext.CostingHandler[IRContext.GroupElement]

    Permalink

    CostingHandler for SGroupElement, see SGroupElement.coster

  67. val HashInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  68. object Header extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  69. object HeaderCoster extends IRContext.CostingHandler[IRContext.Header]

    Permalink
  70. val HeadersInfo: IRContext.KnownCollInfo[IRContext.Header]

    Permalink
  71. def IF(cond: IRContext.Ref[Boolean]): IRContext.IfBranch

    Permalink

    If c then t else e construction with standard lazy evaluation of branches.

    If c then t else e construction with standard lazy evaluation of branches. The representation uses Thunk for each branch

    Definition Classes
    IfThenElse
  72. object IdentityLambda

    Permalink
    Definition Classes
    Functions
  73. implicit val IntElement: IRContext.Elem[Int]

    Permalink
    Definition Classes
    TypeDescs
  74. object IntPlusMonoid extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    MonoidInstancesDefs
  75. final def IntZero: IRContext.Ref[Int]

    Permalink

    Zero literal node, which is lazily created and can be efficiently reused.

    Zero literal node, which is lazily created and can be efficiently reused. Much faster alternative to (0: Rep[Int]) or toRep(0).

    Definition Classes
    Base
    Annotations
    @inline()
  76. object InvokeImpossible extends Scalan.InvokeResult with Product with Serializable

    Permalink

    Invocation is not possible, e.g.

    Invocation is not possible, e.g. when receiver doesn't implemented the method.

    Definition Classes
    MethodCalls
  77. object IsNumericToInt

    Permalink
    Definition Classes
    Library
  78. object IsNumericToLong

    Permalink
    Definition Classes
    Library
  79. object IsPair

    Permalink
    Definition Classes
    Tuples
  80. object Lambda

    Permalink
    Definition Classes
    Functions
  81. val LazyAnyElement: Lazy[IRContext.Elem[Any]]

    Permalink

    Predefined Lazy value saved here to be used in hotspot code.

    Predefined Lazy value saved here to be used in hotspot code.

    Definition Classes
    TypeDescs
  82. object Liftables

    Permalink

    Data type ST is liftable is there is Liftable[ST, T] instance for some type T.

    Data type ST is liftable is there is Liftable[ST, T] instance for some type T. Liftable typeclass allows to define which types can have values embedded as literals into graph IR.

    Definition Classes
    Base
  83. val LongBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  84. implicit val LongElement: IRContext.Elem[Long]

    Permalink
    Definition Classes
    TypeDescs
  85. object LongPlusMonoid extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    MonoidInstancesDefs
  86. object MapTransformer extends Serializable

    Permalink
    Definition Classes
    Transforming
  87. object Monoid extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    MonoidsDefs
  88. object MonoidBuilder extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    MonoidsDefs
  89. object MonoidBuilderInst extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    MonoidInstancesDefs
  90. object NoOwner extends Scalan.OwnerKind with Product with Serializable

    Permalink
    Definition Classes
    Base
  91. val NoRewriting: IRContext.Rewriter

    Permalink

    Identity rewriter, i.e.

    Identity rewriter, i.e. doesn't change the graph when applied.

    Definition Classes
    Transforming
  92. val NonceBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  93. val Not: IRContext.UnOp[Boolean, Boolean]

    Permalink
    Definition Classes
    LogicalOps
  94. val NothingElement: IRContext.Elem[Nothing]

    Permalink
    Definition Classes
    TypeDescs
  95. object OptionCoster extends IRContext.CostingHandler[IRContext.WOption[Any]]

    Permalink
  96. object OptionWrapSpec extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    WrappersSpecDefs
  97. val Or: IRContext.BinOp[Boolean, Boolean]

    Permalink
    Definition Classes
    LogicalOps
  98. implicit def OrderingToOrderingOps[T](x: T)(implicit n: ExactOrdering[T], et: IRContext.Elem[T]): IRContext.OrderingOpsCls[T]

    Permalink
    Definition Classes
    OrderingOps
  99. object Pair

    Permalink
    Definition Classes
    Tuples
  100. object PairColl extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CollsDefs
  101. implicit final def PairElemExtensions[A, B](eAB: IRContext.Elem[(A, B)]): IRContext.PairElem[A, B]

    Permalink
    Definition Classes
    TypeDescs
  102. object Pass

    Permalink
    Definition Classes
    Transforming
  103. object PreHeader extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  104. object PreHeaderCoster extends IRContext.CostingHandler[IRContext.PreHeader]

    Permalink
  105. object ProgramGraph extends Serializable

    Permalink
    Definition Classes
    ProgramGraphs
  106. object RTypeWrapSpec extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    WrappersSpecDefs
  107. object ReplColl extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    CollsDefs
  108. def SOME[A](x: IRContext.Ref[A]): IRContext.Ref[IRContext.WOption[A]]

    Permalink
  109. object ScalanOwner extends Scalan.OwnerKind with Product with Serializable

    Permalink
    Definition Classes
    Base
  110. implicit val ShortElement: IRContext.Elem[Short]

    Permalink
    Definition Classes
    TypeDescs
  111. object SigmaContract extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  112. object SigmaDslBuilder extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  113. object SigmaDslBuilderCoster extends IRContext.CostingHandler[IRContext.SigmaDslBuilder]

    Permalink
  114. object SigmaProp extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  115. val SigmaPropBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  116. object Size extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    SizesDefs
  117. object SizeAnyValue extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    CostedObjectsDefs
  118. def SizeAvlTree: IRContext.RSize[IRContext.AvlTree]

    Permalink
    Annotations
    @inline()
  119. def SizeBigInt: IRContext.RSize[IRContext.BigInt]

    Permalink
    Annotations
    @inline()
  120. def SizeBoolean: IRContext.RSize[Boolean]

    Permalink
    Annotations
    @inline()
  121. object SizeBox extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    CostedObjectsDefs
  122. object SizeBuilder extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    CostedObjectsDefs
  123. def SizeByte: IRContext.RSize[Byte]

    Permalink
    Annotations
    @inline()
  124. object SizeColl extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    SizesDefs
  125. object SizeContext extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    CostedObjectsDefs
  126. object SizeFunc extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    SizesDefs
  127. def SizeGroupElement: IRContext.RSize[IRContext.GroupElement]

    Permalink
    Annotations
    @inline()
  128. def SizeInt: IRContext.RSize[Int]

    Permalink
    Annotations
    @inline()
  129. def SizeLong: IRContext.RSize[Long]

    Permalink
    Annotations
    @inline()
  130. object SizeOption extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    SizesDefs
  131. object SizePair extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    SizesDefs
  132. object SizePrim extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    SizesDefs
  133. def SizeShort: IRContext.RSize[Short]

    Permalink
    Annotations
    @inline()
  134. object SizeSigmaProp extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    CostedObjectsDefs
  135. def SizeSigmaProposition: IRContext.RSize[IRContext.SigmaProp]

    Permalink
    Annotations
    @inline()
  136. def SizeString: IRContext.RSize[String]

    Permalink
    Annotations
    @inline()
  137. def SizeUnit: IRContext.RSize[Unit]

    Permalink
    Annotations
    @inline()
  138. def SomeIntZero: IRContext.Ref[IRContext.WOption[Int]]

    Permalink
    Annotations
    @inline()
  139. object SpecialPredefWrapSpec extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    WrappersSpecDefs
  140. implicit val StringElement: IRContext.Elem[String]

    Permalink
    Definition Classes
    TypeDescs
  141. implicit final def SumElemExtensions[A, B](eAB: IRContext.Elem[IRContext.|[A, B]]): IRContext.SumElem[A, B]

    Permalink
    Definition Classes
    TypeDescs
  142. val Thunk: IRContext.ThunkCompanion

    Permalink
    Definition Classes
    Thunks
  143. object ThunkDef

    Permalink
    Definition Classes
    Thunks
  144. val TokensInfo: IRContext.KnownCollInfo[(IRContext.Coll[Byte], Long)]

    Permalink
  145. final def TypeArgs(descs: (String, (IRContext.TypeDesc, Variance))*): ListMap[String, (IRContext.TypeDesc, Variance)]

    Permalink
    Definition Classes
    TypeDescs
  146. implicit val UnitElement: IRContext.Elem[Unit]

    Permalink
    Definition Classes
    TypeDescs
  147. object VeryConstantLambda

    Permalink

    Matcher for lambdas which return staging-time constants.

    Matcher for lambdas which return staging-time constants. VeryConstantLambda(x) should be equivalent to ConstantLambda(Def(Const(x)))

    Definition Classes
    Functions
  148. val VotesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
  149. object WOption extends special.wrappers.WrappersModule.EntityObject

    Permalink
    Definition Classes
    WOptionsDefs
  150. object WRType extends special.wrappers.WrappersModule.EntityObject

    Permalink
    Definition Classes
    WRTypesDefs
  151. def WRTypeSigmaProp: IRContext.Ref[IRContext.WRType[IRContext.SigmaProp]]

    Permalink
    Annotations
    @inline()
  152. object WSpecialPredef extends special.wrappers.WrappersModule.EntityObject

    Permalink
    Definition Classes
    WSpecialPredefsDefs
  153. object WrapSpecBase extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    WrappersSpecDefs
  154. var _currentPass: IRContext.Pass

    Permalink
    Definition Classes
    Transforming
  155. def alphaEqual(s1: IRContext.Sym, s2: IRContext.Sym): Boolean

    Permalink
    Definition Classes
    Functions
  156. def applyBinOp[A, R](op: IRContext.BinOp[A, R], lhs: IRContext.Ref[A], rhs: IRContext.Ref[A]): IRContext.Ref[R]

    Permalink
    Definition Classes
    UnBinOps
  157. def applyBinOpLazy[A, R](op: IRContext.BinOp[A, R], lhs: IRContext.Ref[A], rhs: IRContext.Ref[IRContext.Thunk[A]]): IRContext.Ref[R]

    Permalink
    Definition Classes
    UnBinOps
  158. def applyUnOp[A, R](op: IRContext.UnOp[A, R], arg: IRContext.Ref[A]): IRContext.Ref[R]

    Permalink
    Definition Classes
    UnBinOps
  159. def asCostedColl[T](collC: IRContext.RCosted[IRContext.Coll[T]]): IRContext.Ref[IRContext.CostedColl[T]]

    Permalink
  160. def asCostedFunc[A, B](fC: IRContext.RCosted[(A) ⇒ B]): IRContext.Ref[IRContext.CostedFunc[Unit, A, B]]

    Permalink
  161. def asCostedPair[A, B](pC: IRContext.RCosted[(A, B)]): IRContext.Ref[IRContext.CostedPair[A, B]]

    Permalink
  162. final def asElem[T](d: IRContext.TypeDesc): IRContext.Elem[T]

    Permalink

    Helper type case method.

    Helper type case method.

    Definition Classes
    TypeDescs
    Annotations
    @inline()
  163. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  164. final def asRep[T](x: IRContext.Ref[_]): IRContext.Ref[T]

    Permalink

    Helper to type cast node references.

    Helper to type cast node references.

    Definition Classes
    Base
    Annotations
    @inline()
  165. def asSizeBox(ctx: IRContext.RSize[IRContext.Box]): IRContext.Ref[IRContext.SizeBox]

    Permalink
  166. def asSizeColl[T](collS: IRContext.RSize[IRContext.Coll[T]]): IRContext.Ref[IRContext.SizeColl[T]]

    Permalink
  167. def asSizeContext(ctx: IRContext.RSize[IRContext.Context]): IRContext.Ref[IRContext.SizeContext]

    Permalink
  168. def asSizeOption[T](optS: IRContext.RSize[IRContext.WOption[T]]): IRContext.Ref[IRContext.SizeOption[T]]

    Permalink
  169. def asSizePair[A, B](s: IRContext.RSize[(A, B)]): IRContext.Ref[IRContext.SizePair[A, B]]

    Permalink
  170. def assertElem(value: IRContext.Ref[_], elem: IRContext.Elem[_], hint: ⇒ String): Unit

    Permalink
    Definition Classes
    TypeDescs
  171. def assertElem(value: IRContext.Ref[_], elem: IRContext.Elem[_]): Unit

    Permalink
    Definition Classes
    TypeDescs
  172. def assertEqualElems[A](e1: IRContext.Elem[A], e2: IRContext.Elem[A], m: ⇒ String): Unit

    Permalink
    Definition Classes
    TypeDescs
  173. def assertValueIdForOpCost[A, B](value: IRContext.Ref[A], cost: IRContext.Ref[B]): Unit

    Permalink
    Definition Classes
    UniversalOps
  174. def beginPass(pass: IRContext.Pass): Unit

    Permalink

    Called to setup IR before the new pass is executed.

    Called to setup IR before the new pass is executed.

    Definition Classes
    Transforming
  175. val cacheElems: Boolean

    Permalink

    Whether IR type descriptors should be cached.

    Whether IR type descriptors should be cached.

    Definition Classes
    Base
  176. val cachePairs: Boolean

    Permalink

    Whether Tup instances should be cached.

    Whether Tup instances should be cached.

    Definition Classes
    Base
  177. final def cachedElemByClass[E <: IRContext.Elem[_]](args: AnyRef*)(implicit clazz: Class[E]): E

    Permalink

    Retrieve an instance of the given Elem class by either looking up in the cache or creating a new one.

    Retrieve an instance of the given Elem class by either looking up in the cache or creating a new one. We assume that all Elem instances are uniquely defined by (clazz, args)

    args

    arguments of Elem class constructor

    clazz

    Elem class

    Definition Classes
    TypeDescs
  178. def canBeInvoked(d: IRContext.Def[_], m: Method, args: Array[AnyRef]): Boolean

    Permalink

    Method invocation checker.

    Method invocation checker.

    Attributes
    protected
    Definition Classes
    MethodCalls
  179. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  180. def clusterColor(g: IRContext.AstGraph): Option[String]

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  181. def clusterSchedule(g: IRContext.AstGraph): Seq[IRContext.Sym]

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  182. def compose[A, B, C](f: IRContext.Ref[(B) ⇒ C], g: IRContext.Ref[(A) ⇒ B]): IRContext.Ref[(A) ⇒ C]

    Permalink

    Composition of two functions (in mathematical notation), where first g is applied and them f.

    Composition of two functions (in mathematical notation), where first g is applied and them f.

    Definition Classes
    Functions
  183. def constFun[A, B](x: IRContext.Ref[B])(implicit e: IRContext.Elem[A]): IRContext.Ref[(A) ⇒ B]

    Permalink
    Definition Classes
    Functions
  184. final def container[F[_]](implicit arg0: IRContext.Cont[F]): IRContext.Cont[F]

    Permalink
    Definition Classes
    TypeDescs
  185. implicit final def containerElem[F[_], A](implicit arg0: IRContext.Cont[F], arg1: IRContext.Elem[A]): IRContext.Elem[F[A]]

    Permalink
    Definition Classes
    TypeDescs
  186. def createDefinition[T](optScope: Nullable[IRContext.ThunkScope], s: IRContext.Ref[T], d: IRContext.Def[T]): IRContext.Ref[T]

    Permalink

    Create new definition entry in either given Thunk or in the global hash table.

    Create new definition entry in either given Thunk or in the global hash table.

    optScope

    optional thunk scope to put given definition

    s

    symbol refering to d

    d

    definition node to add to the scope of globally

    returns

    reference to d (which is s)

    Attributes
    protected
    Definition Classes
    Base
  187. def currentPass: IRContext.Pass

    Permalink

    IR global current Pass, changes when the compier switches from one pass to the next one.

    IR global current Pass, changes when the compier switches from one pass to the next one. Should remain constant during the whole pass execution.

    Definition Classes
    Transforming
  188. val debugModeSanityChecks: Boolean

    Permalink

    Whether to perform extended checks of correctness, expected invariants and data consistency.

    Whether to perform extended checks of correctness, expected invariants and data consistency. NOTE: Since it may add substantial overhead, set it to false before using in production.

    Definition Classes
    Base
  189. def defCount: Int

    Permalink

    Returns a number of definitions added to this IR context.

    Returns a number of definitions added to this IR context.

    Definition Classes
    Base
  190. def def_unapply[T](e: IRContext.Ref[T]): Nullable[IRContext.Def[T]]

    Permalink
    Definition Classes
    Base
  191. def defaultGraphVizConfig: GraphVizConfig

    Permalink
    Definition Classes
    GraphVizExport
  192. def delayInvoke: Nothing

    Permalink
    Definition Classes
    MethodCalls
  193. def downcast[To](value: IRContext.Ref[_])(implicit arg0: IRContext.Elem[To]): IRContext.Ref[To]

    Permalink
    Definition Classes
    UniversalOps
  194. val elemCache: AVHashMap[Class[_], IRContext.ElemCacheEntry]

    Permalink
    Attributes
    protected
    Definition Classes
    TypeDescs
  195. final def element[A](implicit ea: IRContext.Elem[A]): IRContext.Elem[A]

    Permalink
    Definition Classes
    TypeDescs
  196. def emitDepGraph(exceptionOrGraph: Either[Throwable, IRContext.AstGraph], directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  197. def emitDepGraph(graph: IRContext.AstGraph, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  198. def emitDepGraph(ss: Seq[IRContext.Sym], directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  199. def emitDepGraph(start: IRContext.Sym, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  200. def emitDepGraph(d: IRContext.Def[_], directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  201. def emitDot(dotText: String, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  202. def emitExceptionGraph(e: Throwable, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[IRContext.GraphFile]

    Permalink
    Definition Classes
    GraphVizExport
  203. def emptyMatchSubst: IRContext.Subst

    Permalink
    Definition Classes
    Functions
    Annotations
    @inline()
  204. def endPass(pass: IRContext.Pass): Unit

    Permalink

    Called to let this IR context to finalized the given pass.

    Called to let this IR context to finalized the given pass.

    Definition Classes
    Transforming
  205. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  206. def equalValues[A](x: Any, y: Any)(implicit eA: IRContext.Elem[A]): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    Equal
  207. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  208. implicit def extendThunkElement[T](elem: IRContext.Elem[IRContext.Thunk[T]]): IRContext.ThunkElem[T]

    Permalink
    Definition Classes
    Thunks
  209. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  210. def findGlobalDefinition[T](d: IRContext.Def[T]): IRContext.Ref[T]

    Permalink

    Lookup definition in this IR context's hash table of definitions.

    Lookup definition in this IR context's hash table of definitions.

    returns

    node reference to an instance stored in hash table, which is equal to d and null if there is no definition which is equal to d

    Definition Classes
    Base
  211. def findOrCreateDefinition[T](d: IRContext.Def[T], newSym: ⇒ IRContext.Ref[T]): IRContext.Ref[T]

    Permalink

    Lookup d in the heap of nodes.

    Lookup d in the heap of nodes. If the lookup is successfull, then its reference is returned. If the node is not found in the heap, then it is added and d.self reference is returned.

    d

    node to be added to the head of nodes

    newSym

    producer of the reference to be used as the reference to d node.

    returns

    return a reference to d node in the heap

    Definition Classes
    Base
  212. def forceThunkByMirror[A](thunk: IRContext.Th[A], subst: IRContext.MapTransformer = MapTransformer.empty()): IRContext.Ref[A]

    Permalink
    Definition Classes
    Thunks
  213. def forceThunkDefByMirror[A](th: IRContext.ThunkDef[A], subst: IRContext.MapTransformer = MapTransformer.empty()): IRContext.Ref[A]

    Permalink
    Definition Classes
    Thunks
  214. def formatConst(x: Any): String

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  215. def formatDef(d: IRContext.Def[_])(implicit config: GraphVizConfig): String

    Permalink
    Attributes
    protected
    Definition Classes
    ThunksGraphVizExport
  216. def formatMetadata(s: IRContext.Sym): List[String]

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  217. final def freshId: Int

    Permalink

    Get next fresh node id

    Get next fresh node id

    Definition Classes
    Base
    Annotations
    @inline()
  218. final def freshSym[T](d: IRContext.Def[T]): IRContext.Ref[T]

    Permalink

    Lookup of create reference to the given definition.

    Lookup of create reference to the given definition. To lookup d.nodeId is used as the index in the _symbolTable. If Ref is not found in _symbolTable, then new Ref instance is created and stored in _symbolTable at d.nodeId index.

    Definition Classes
    Base
    Annotations
    @inline()
  219. implicit final def fun[A, B](f: (IRContext.Ref[A]) ⇒ IRContext.Ref[B])(implicit eA: IRContext.LElem[A]): IRContext.Ref[(A) ⇒ B]

    Permalink

    Executes given lambda to construct Lambda node.

    Executes given lambda to construct Lambda node. The function f can be called with any symbol and has an effect of growing a graph starting from the argument symbol. If a reference to Variable node is passed as argument, then the constructed graph nodes can be collected to Lambda node forming its body and schedule.

    f

    function which execution will create body nodes

    eA

    arguments type descriptor

    Definition Classes
    Functions
  220. implicit final def fun2[A, B, C](f: (IRContext.Ref[A], IRContext.Ref[B]) ⇒ IRContext.Ref[C])(implicit eA: IRContext.LElem[A], eB: IRContext.LElem[B]): IRContext.Ref[((A, B)) ⇒ C]

    Permalink
    Definition Classes
    Functions
  221. implicit final def funcElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[(A) ⇒ B]

    Permalink
    Definition Classes
    TypeDescs
  222. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  223. def getEntityObject(name: String): Nullable[IRContext.EntityObject]

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  224. def getOwnerKind(constructor: Constructor[_]): IRContext.OwnerKind

    Permalink

    Returns OwnerKind for the given constructor, using its first parameter.

    Returns OwnerKind for the given constructor, using its first parameter.

    Attributes
    protected
    Definition Classes
    Base
  225. def getRegisterCost: IRContext.Ref[Int]

    Permalink
    Annotations
    @inline()
  226. final def getSourceValues(dataEnv: IRContext.DataEnv, forWrapper: Boolean, stagedValues: AnyRef*): Seq[AnyRef]

    Permalink
    Definition Classes
    TypeDescs
  227. final def getSym(id: Int): IRContext.Sym

    Permalink

    Lookup node reference by its id.

    Lookup node reference by its id. This is simple array access by index O(1) operation.

    Definition Classes
    Base
    Annotations
    @inline()
  228. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  229. def identityFun[A](implicit e: IRContext.Elem[A]): IRContext.Ref[(A) ⇒ A]

    Permalink
    Definition Classes
    Functions
  230. def ifThenElseLazy[T](cond: IRContext.Ref[Boolean], thenp: ⇒ IRContext.Ref[T], elsep: ⇒ IRContext.Ref[T]): IRContext.Ref[T]

    Permalink

    Constructs IfThenElse node wrapping by-name args into ThunkDef nodes.

    Constructs IfThenElse node wrapping by-name args into ThunkDef nodes.

    Definition Classes
    IfThenElse
  231. val intPlusMonoidValue: special.collection.IntPlusMonoid

    Permalink
    Definition Classes
    Library
  232. def integral[T](implicit arg0: ExactIntegral[T]): ExactIntegral[T]

    Permalink
    Definition Classes
    NumericOps
  233. def invokeUnlifted(e: IRContext.Elem[_], mc: IRContext.MethodCall, dataEnv: IRContext.DataEnv): AnyRef

    Permalink

    Invoke source type method corresponding to the given MethodCall node.

    Invoke source type method corresponding to the given MethodCall node. This method delegated the work to the given element instance.

    e

    type descriptor of receiver node

    mc

    IR node representing method invocation

    dataEnv

    environment where each symbol of 'mc' has associated data value

    returns

    data value returned from invoked method

    Definition Classes
    LibraryTypeDescs
  234. var isInlineThunksOnForce: Boolean

    Permalink
    Definition Classes
    Thunks
  235. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  236. def isInvokeEnabled(d: IRContext.Def[_], m: Method): Boolean

    Permalink

    Method invocation enabler.

    Method invocation enabler.

    returns

    true if the given method can be invoked on the given node.

    Definition Classes
    MethodCalls
  237. final def isOne[T](x: T, n: ExactNumeric[T]): Boolean

    Permalink
    Definition Classes
    NumericOps
    Annotations
    @inline()
  238. final def isZero[T](x: T, n: ExactNumeric[T]): Boolean

    Permalink
    Definition Classes
    NumericOps
    Annotations
    @inline()
  239. var keepOriginalFunc: Boolean

    Permalink

    Global flag governing lambda reification in fun and mkLambda.

    Global flag governing lambda reification in fun and mkLambda. If this flag is true then original f: Ref[A] => Ref[B] function is stored in Lambda node. As a consequence if f is not stored, then unfoldLambda is done by mirrorLambda.

    Definition Classes
    Functions
  240. var lambdaStack: List[IRContext.Lambda[_, _]]

    Permalink
    Definition Classes
    Functions
  241. implicit def liftElem[T](eT: IRContext.Elem[T]): IRContext.Ref[IRContext.WRType[T]]

    Permalink
    Definition Classes
    Library
  242. implicit def liftToRep[A](x: A)(implicit arg0: IRContext.Elem[A]): IRContext.Ref[A]

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  243. implicit def liftableThunk[ST, T](implicit lT: Liftable[ST, T]): Liftable[IRContext.SThunk[ST], IRContext.Thunk[T]]

    Permalink
    Definition Classes
    Thunks
  244. def logWarn(msg: ⇒ String): Unit

    Permalink

    Log warning message to the log.

    Log warning message to the log. This is default and simple implementation, which can be overriden.

    Definition Classes
    Base
  245. val longPlusMonoidValue: special.collection.LongPlusMonoid

    Permalink
    Definition Classes
    Library
  246. def matchAny(a1: Any, a2: Any, allowInexactMatch: Boolean, subst: IRContext.Subst): Nullable[IRContext.Subst]

    Permalink
    Attributes
    protected
    Definition Classes
    Functions
  247. def matchDefs(d1: IRContext.Def[_], d2: IRContext.Def[_], allowInexactMatch: Boolean, subst: IRContext.Subst): Nullable[IRContext.Subst]

    Permalink
    Attributes
    protected
    Definition Classes
    ThunksFunctions
  248. def matchExps(s1: IRContext.Sym, s2: IRContext.Sym, allowInexactMatch: Boolean, subst: IRContext.Subst): Nullable[IRContext.Subst]

    Permalink
    Attributes
    protected
    Definition Classes
    Functions
  249. def matchIterators(i1: Iterator[_], i2: Iterator[_], allowInexactMatch: Boolean, subst: IRContext.Subst): Nullable[IRContext.Subst]

    Permalink
    Attributes
    protected
    Definition Classes
    Functions
  250. def mirrorApply[A, B](lam: IRContext.Lambda[A, B], s: IRContext.Ref[A]): IRContext.Ref[B]

    Permalink
    Definition Classes
    Functions
  251. def mkApply[A, B](f: IRContext.Ref[(A) ⇒ B], x: IRContext.Ref[A]): IRContext.Ref[B]

    Permalink
    Definition Classes
    Functions
  252. def mkCostedColl[T](values: IRContext.RColl[T], costs: IRContext.RColl[Int], sizes: IRContext.RColl[IRContext.Size[T]], valuesCost: IRContext.Ref[Int]): IRContext.RCostedColl[T]

    Permalink
  253. def mkCostedFunc[A, R](f: IRContext.RFuncCosted[A, R], cost: IRContext.Ref[Int], codeSize: IRContext.Ref[Long], eArg: IRContext.Elem[A], eRes: IRContext.Elem[R]): IRContext.Ref[IRContext.CostedFunc[Unit, A, R]]

    Permalink
  254. def mkCostedOption[T](value: IRContext.ROption[T], costOpt: IRContext.ROption[Int], sizeOpt: IRContext.ROption[IRContext.Size[T]], accCost: IRContext.Ref[Int]): IRContext.RCostedOption[T]

    Permalink
  255. def mkLambda[A, B, C](f: (IRContext.Ref[A], IRContext.Ref[B]) ⇒ IRContext.Ref[C])(implicit eA: IRContext.LElem[A], eB: IRContext.LElem[B]): IRContext.Ref[((A, B)) ⇒ C]

    Permalink
    Definition Classes
    Functions
  256. def mkLambda[A, B, C](f: (IRContext.Ref[A]) ⇒ (IRContext.Ref[B]) ⇒ IRContext.Ref[C])(implicit eA: IRContext.LElem[A], eB: IRContext.Elem[B]): IRContext.Ref[(A) ⇒ (B) ⇒ C]

    Permalink
    Definition Classes
    Functions
  257. def mkLambda[A, B](f: (IRContext.Ref[A]) ⇒ IRContext.Ref[B], mayInline: Boolean, alphaEquality: Boolean, keepOriginalFunc: Boolean)(implicit eA: IRContext.LElem[A]): IRContext.Ref[(A) ⇒ B]

    Permalink
    Definition Classes
    Functions
  258. def mkMethodCall(receiver: IRContext.Sym, method: Method, args: Seq[AnyRef], neverInvoke: Boolean, isAdapterCall: Boolean, resultElem: IRContext.Elem[_]): IRContext.Sym

    Permalink

    Creates new MethodCall node and returns its node ref.

    Creates new MethodCall node and returns its node ref.

    Definition Classes
    MethodCalls
  259. def mkSizeColl[T](len: IRContext.Ref[Int], sItem: IRContext.RSize[T]): IRContext.Ref[IRContext.Size[IRContext.Coll[T]]]

    Permalink
  260. def mkSizeColl[T](len: IRContext.Ref[Int])(implicit arg0: IRContext.Elem[T]): IRContext.Ref[IRContext.Size[IRContext.Coll[T]]]

    Permalink
  261. def mkSizeOption[T](size: IRContext.RSize[T]): IRContext.Ref[IRContext.Size[IRContext.WOption[T]]]

    Permalink
  262. def mkSizePair[A, B](l: IRContext.RSize[A], r: IRContext.RSize[B]): IRContext.Ref[IRContext.Size[(A, B)]]

    Permalink
  263. val nInitialDefs: Int

    Permalink
    Definition Classes
    Base
  264. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  265. def newObjEx[A](args: Any*)(implicit eA: IRContext.Elem[A]): IRContext.Ref[A]

    Permalink

    Creates new NewObject node and returns its node ref.

    Creates new NewObject node and returns its node ref.

    Definition Classes
    MethodCalls
  266. def nodeColor(td: IRContext.TypeDesc, d: IRContext.Def[_])(implicit config: GraphVizConfig): String

    Permalink
    Attributes
    protected
    Definition Classes
    ThunksGraphVizExport
  267. def nodeColor(td: IRContext.TypeDesc): String

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  268. final def nodeLabel(parts: String*)(implicit config: GraphVizConfig): String

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  269. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  270. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  271. def numeric[T](implicit arg0: ExactNumeric[T]): ExactNumeric[T]

    Permalink
    Definition Classes
    NumericOps
  272. def okRegisterModules: Boolean

    Permalink

    Whether staged modules should be registered when cake is constructed and initialized.

    Whether staged modules should be registered when cake is constructed and initialized.

    Definition Classes
    Modules
  273. def onReset(): Unit

    Permalink

    Called during resetContext() operation after the core context state has been reset.

    Called during resetContext() operation after the core context state has been reset. Derived classes can override to define application specific initialization. Don't forget to call super method in the beginning of your overriding method.

    Attributes
    protected
    Definition Classes
    CostingRulesLibraryBase
  274. def opCost(costedValue: IRContext.Sym, args: Seq[IRContext.Ref[Int]], opCost: IRContext.Ref[Int]): IRContext.Ref[Int]

    Permalink
    Definition Classes
    UniversalOps
  275. implicit final def pairElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[(A, B)]

    Permalink
    Definition Classes
    TypeDescs
  276. def partsIterator(td: IRContext.TypeDesc): TraversableOnce[IRContext.TypeDesc] { def seq: scala.collection.TraversableOnce[CostingRules.this.TypeDesc]{def seq: scala.collection.TraversableOnce[CostingRules.this.TypeDesc]{def seq: scala.collection.TraversableOnce[CostingRules.this.TypeDesc]}} }

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  277. def patternMatch(s1: IRContext.Sym, s2: IRContext.Sym): Nullable[IRContext.Subst]

    Permalink
    Definition Classes
    Functions
  278. def placeholder[T](implicit eT: IRContext.LElem[T]): IRContext.Ref[T]

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  279. def propagateBinOp[T, R](op: IRContext.BinOp[T, R], x: IRContext.Ref[T], y: IRContext.Ref[T]): IRContext.Ref[R]

    Permalink

    Perform constant propagation if enabled and both arguments are Const.

    Perform constant propagation if enabled and both arguments are Const.

    returns

    null if propagation is not done

    Definition Classes
    DefRewriting
  280. def propagateUnOp[T, R](op: IRContext.UnOp[T, R], x: IRContext.Ref[T]): IRContext.Ref[R]

    Permalink

    Perform constant propagation if enabled and argument is Const.

    Perform constant propagation if enabled and argument is Const.

    returns

    null if propagation is not done

    Definition Classes
    DefRewriting
  281. def registerEntityObject(name: String, obj: IRContext.EntityObject): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    Base
  282. def registerModule(moduleInfo: ModuleInfo): Unit

    Permalink

    Called once for each staged module during this cake initialization.

    Called once for each staged module during this cake initialization.

    Attributes
    protected
    Definition Classes
    Modules
  283. implicit def reifyObject[A](obj: IRContext.Def[A]): IRContext.Ref[A]

    Permalink

    Implicit injection of new definition (graph node) into universum of nodes with collapsing semantics.

    Implicit injection of new definition (graph node) into universum of nodes with collapsing semantics. If there exists node n in this IR such that obj equals n, then the value of n.self is returned, i.e. the new node obj is collapsed with already existing one. This has an effect of Common Subexpression Elimination (CSE) when an expression tree is transformed to the graph and identical subtrees are collapsed. After a reference to the node is obtained, global rewriting rules are examined and the reference may be replaced with a new one.

    Definition Classes
    Base
  284. implicit def repOrderingToOrderingOps[T](x: IRContext.Ref[T])(implicit n: ExactOrdering[T]): IRContext.OrderingOpsCls[T]

    Permalink
    Definition Classes
    OrderingOps
  285. implicit def repToThunk[A](block: IRContext.Ref[A]): IRContext.Ref[IRContext.Thunk[A]]

    Permalink
    Definition Classes
    Thunks
  286. def resetContext(): Unit

    Permalink
    Definition Classes
    CostedObjectsDefsBase
  287. final def rewriteBinOp[A, R](op: IRContext.BinOp[A, R], x: IRContext.Ref[A], y: IRContext.Ref[A]): IRContext.Ref[_]

    Permalink

    Rewrites application of given binary operation to the given arguments.

    Rewrites application of given binary operation to the given arguments.

    returns

    null if no rewriting is defined.

    Definition Classes
    DefRewriting
  288. final def rewriteBoolConsts(lhs: IRContext.Sym, rhs: IRContext.Sym, ifTrue: (IRContext.Sym) ⇒ IRContext.Sym, ifFalse: (IRContext.Sym) ⇒ IRContext.Sym, ifEqual: (IRContext.Sym) ⇒ IRContext.Sym, ifNegated: (IRContext.Sym) ⇒ IRContext.Sym): IRContext.Sym

    Permalink
    Definition Classes
    LogicalOps
    Annotations
    @inline()
  289. def rewriteDef[T](d: IRContext.Def[T]): IRContext.Ref[Any]

    Permalink

    Rewrites given node to another equivalent node and returns its reference.

    Rewrites given node to another equivalent node and returns its reference.

    d

    node to be matched against rewrite patterns

    returns

    reference of new node if RW pattern is found and applied null if no rewriting is defined.

    Definition Classes
    LibraryDefRewriting
  290. def rewriteNonInvokableMethodCall(mc: IRContext.MethodCall): IRContext.Ref[_]

    Permalink

    This method is called for each MethodCall node which is about to be added to the graph.

    This method is called for each MethodCall node which is about to be added to the graph. This means mc has been examined by all the rewrite rules, but has not need rewritten. Now, if this method returns null, then mc will be added to the graph. However, in this method, mc can be examined by a second set of RW rules (kind of lower priority rules). These rules kind of context dependent, because at this point we know that the first RW set didn't triggered any rewrite.

    Definition Classes
    MethodCalls
  291. final def rewriteUnOp[A, R](op: IRContext.UnOp[A, R], x: IRContext.Ref[A]): IRContext.Ref[_]

    Permalink

    Rewrites application of given unary operation to the given argument.

    Rewrites application of given unary operation to the given argument.

    returns

    null if no rewriting is defined.

    Definition Classes
    DefRewriting
  292. def selectFieldCost: IRContext.Ref[Int]

    Permalink
    Annotations
    @inline()
  293. def shouldEmitCluster(g: IRContext.AstGraph): Boolean

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  294. def showGraphs(graph: IRContext.AstGraph)(implicit config: GraphVizConfig): Unit

    Permalink
    Definition Classes
    GraphVizExport
  295. def showGraphs(roots: IRContext.Sym*)(implicit config: GraphVizConfig): Unit

    Permalink
    Definition Classes
    GraphVizExport
  296. implicit lazy val sizeAnyElement: IRContext.Elem[IRContext.Size[Any]]

    Permalink
    Definition Classes
    SigmaLibrary
  297. def sizeOf[T](value: IRContext.Ref[T]): IRContext.Ref[Long]

    Permalink
    Definition Classes
    UniversalOps
  298. def specialPredef: IRContext.Ref[WSpecialPredefCompanionCtor]

    Permalink
    Definition Classes
    Library
  299. def stagingExceptionMessage(message: String, syms: Seq[IRContext.Ref[_]]): String

    Permalink

    Prettyprint exception message

    Prettyprint exception message

    Attributes
    protected
    Definition Classes
    Base
  300. implicit final def sumElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[IRContext.|[A, B]]

    Permalink
    Definition Classes
    TypeDescs
  301. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  302. def throwInvocationException(whatFailed: String, cause: Throwable, receiver: IRContext.Sym, m: Method, args: Seq[Any]): Nothing

    Permalink
    Definition Classes
    MethodCalls
  303. implicit val thunkCont: IRContext.Cont[IRContext.Thunk]

    Permalink
    Definition Classes
    Thunks
  304. implicit def thunkElement[T](implicit eItem: IRContext.Elem[T]): IRContext.Elem[IRContext.Thunk[T]]

    Permalink
    Definition Classes
    Thunks
  305. val thunkStack: IRContext.ThunkStack

    Permalink
    Attributes
    protected
    Definition Classes
    Thunks
  306. def thunk_create[A](block: ⇒ IRContext.Ref[A]): IRContext.Ref[IRContext.Thunk[A]]

    Permalink
    Definition Classes
    Thunks
  307. def thunk_force[A](t: IRContext.Th[A]): IRContext.Ref[A]

    Permalink
    Definition Classes
    Thunks
  308. def thunk_map[A, B](t: IRContext.Th[A], f: IRContext.Ref[(A) ⇒ B]): IRContext.Th[B]

    Permalink
    Definition Classes
    Thunks
  309. def thunk_map1[A, B](t: IRContext.Th[A], f: (IRContext.Ref[A]) ⇒ IRContext.Ref[B]): IRContext.Th[B]

    Permalink
    Definition Classes
    Thunks
  310. def toExp[T](d: IRContext.Def[T], newSym: ⇒ IRContext.Ref[T]): IRContext.Ref[T]

    Permalink

    Updates the universe of symbols and definitions, then rewrites until fix-point

    Updates the universe of symbols and definitions, then rewrites until fix-point

    d

    A new graph node to add to the universe

    newSym

    A symbol that will be used if d doesn't exist in the universe

    returns

    The symbol of the graph which is semantically(up to rewrites) equivalent to d

    Attributes
    protected[scalan]
    Definition Classes
    Base
  311. implicit final def toLazyElem[A](implicit eA: IRContext.Elem[A]): IRContext.LElem[A]

    Permalink
    Definition Classes
    TypeDescs
  312. def toRep[A](x: A)(implicit eA: IRContext.Elem[A]): IRContext.Ref[A]

    Permalink

    Lifting of data values to IR nodes.

    Lifting of data values to IR nodes.

    Definition Classes
    Base
  313. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  314. def transformProductParam(x: Any, t: IRContext.Transformer): Any

    Permalink

    Transforms this object into new one by applying t to every Ref inside its structure.

    Transforms this object into new one by applying t to every Ref inside its structure. The structure is build out of Seq, Array, Option and Def values. Other structure items remain unchanged and copied to the new instance.

    Attributes
    protected
    Definition Classes
    Base
  315. def tryCast[To](x: IRContext.Ref[IRContext.Def[_]])(implicit eTo: IRContext.Elem[To]): IRContext.Ref[To]

    Permalink
  316. def tryConvert[From, To](eFrom: IRContext.Elem[From], eTo: IRContext.Elem[To], x: IRContext.Ref[IRContext.Def[_]], conv: IRContext.Ref[(From) ⇒ To]): IRContext.Ref[To]

    Permalink
    Definition Classes
    UniversalOps
  317. val tuplesCache: AVHashMap[IRContext.Ref[_], (IRContext.Ref[_], IRContext.Ref[_])]

    Permalink
    Definition Classes
    Tuples
  318. def unfoldLambda[A, B](f: IRContext.Ref[(A) ⇒ B], x: IRContext.Ref[A]): IRContext.Ref[B]

    Permalink
    Definition Classes
    Functions
  319. def unfoldLambda[A, B](lam: IRContext.Lambda[A, B], x: IRContext.Ref[A]): IRContext.Ref[B]

    Permalink
    Definition Classes
    Functions
  320. var unfoldWithOriginalFunc: Boolean

    Permalink

    Turns on/off lambda unfolding using original function f stored in the Lambda node.

    Turns on/off lambda unfolding using original function f stored in the Lambda node. If this flag is false then this function cannot be used even if it is present in the node.

    Definition Classes
    Functions
  321. def unrefDelegate[T <: AnyRef](x: IRContext.Ref[T])(implicit ct: ClassTag[T]): T

    Permalink

    Create delegate instance suitable for method invocation.

    Create delegate instance suitable for method invocation. It is used when T is a class or a trait and the node referred by x doesn't conform to T. This method returns dynamically constructed instance, which conforms to T. Whenever a method of T is called on that instance, the call is intercepted and DelegatedInterceptionHandler.invoke method is called, then a new MethodCall can be constructed (which is befavior by default).

    Attributes
    protected
    Definition Classes
    MethodCalls
  322. def unzipPair[A, B](p: IRContext.Ref[(A, B)]): (IRContext.Ref[A], IRContext.Ref[B])

    Permalink
    Definition Classes
    Tuples
  323. def upcast[To](value: IRContext.Ref[_])(implicit arg0: IRContext.Elem[To]): IRContext.Ref[To]

    Permalink
    Definition Classes
    UniversalOps
  324. def upcastFun[A, B >: A](implicit arg0: IRContext.Elem[A]): IRContext.Ref[(A) ⇒ B]

    Permalink
    Definition Classes
    Functions
  325. final def updateSymbolTable[T](s: IRContext.Ref[T], d: IRContext.Def[T]): IRContext.Ref[T]

    Permalink

    Create or find symbol (node Ref) which refers to the given node in the table of all created symbols.

    Create or find symbol (node Ref) which refers to the given node in the table of all created symbols. The d.nodeId is the index in the _symbolTable which is DBuffer (backed by Array)

    returns

    new of existing symbol

    Definition Classes
    Base
  326. var useAlphaEquality: Boolean

    Permalink

    Global lambda equality mode used by default.

    Global lambda equality mode used by default. It is used in fun and fun2 lambda builders. If this flag is true then Lambda nodes are equal if they are the same up to renaming of symbols. (see Lambda.equals()). Each Lambda node has independent equality mode flag which is setup in the constructor.

    Definition Classes
    Functions
  327. final def valueFromRep[A](x: IRContext.Ref[A]): A

    Permalink

    Extract data value from Const node or throw an exception.

    Extract data value from Const node or throw an exception.

    Definition Classes
    Base
    Annotations
    @inline()
  328. def variable[T](implicit eT: IRContext.LElem[T]): IRContext.Ref[T]

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  329. implicit lazy val wRTypeAnyElement: IRContext.Elem[IRContext.WRType[Any]]

    Permalink
    Definition Classes
    SigmaLibrary
  330. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  331. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  332. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  333. def zeroSize[V](eVal: IRContext.Elem[V]): IRContext.RSize[V]

    Permalink
    Definition Classes
    Library
  334. implicit def zipPair[A, B](p: (IRContext.Ref[A], IRContext.Ref[B])): IRContext.Ref[(A, B)]

    Permalink
    Definition Classes
    Tuples

Inherited from SigmaLibrary

Inherited from CostedObjectsModule

Inherited from CostedObjectsDefs

Inherited from CostedObjects

Inherited from SigmaDslModule

Inherited from SigmaDslDefs

Inherited from SigmaDsl

Inherited from WrappersModule

Inherited from Library

Inherited from CostedOptionsModule

Inherited from CostedOptionsDefs

Inherited from CostedOptions

Inherited from MonoidInstancesModule

Inherited from MonoidInstancesDefs

Inherited from MonoidInstances

Inherited from MonoidsModule

Inherited from MonoidsDefs

Inherited from Monoids

Inherited from ConcreteCostsModule

Inherited from ConcreteCostsDefs

Inherited from ConcreteCosts

Inherited from ConcreteSizesModule

Inherited from ConcreteSizesDefs

Inherited from ConcreteSizes

Inherited from CostsModule

Inherited from CostsDefs

Inherited from Costs

Inherited from SizesModule

Inherited from SizesDefs

Inherited from Sizes

Inherited from CollsModule

Inherited from CollsDefs

Inherited from Colls

Inherited from WrappersSpecModule

Inherited from WrappersSpecDefs

Inherited from WrappersSpec

Inherited from WrappersModule

Inherited from WRTypesModule

Inherited from WRTypesDefs

Inherited from WRTypes

Inherited from WOptionsModule

Inherited from WOptionsDefs

Inherited from WOptions

Inherited from WSpecialPredefsModule

Inherited from WSpecialPredefsDefs

Inherited from WSpecialPredefs

Inherited from Scalan

Inherited from DefRewriting

Inherited from Modules

Inherited from Entities

Inherited from Thunks

Inherited from IfThenElse

Inherited from Functions

Inherited from ProgramGraphs

Inherited from AstGraphs

Inherited from Transforming

Inherited from UniversalOps

Inherited from Equal

Inherited from OrderingOps

Inherited from LogicalOps

Inherited from UnBinOps

Inherited from NumericOps

Inherited from Tuples

Inherited from MethodCalls

Inherited from GraphVizExport

Inherited from TypeDescs

Inherited from Base

Inherited from AnyRef

Inherited from Any

Ungrouped