Trait/Object

sigmastate.eval

Evaluation

Related Docs: object Evaluation | package eval

Permalink

trait Evaluation extends Scalan with RuntimeCosting

This is a slice in IRContext cake which implements evaluation of graphs.

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

    Descriptor of unary abs operation.

    Descriptor of unary abs operation.

    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

    Graph node which represents application of the given binary operation to the given arguments.

    Graph node which represents application of the given binary operation to the given arguments.

    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

    Graph node which represents application of the given binary operation to the given arguments where the second argument is lazy.

    Graph node which represents application of the given binary operation to the given arguments where the second argument is lazy.

    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

    Graph node which represents application of the given unary operation to the given argument.

    Graph node which represents application of the given unary operation to the given argument.

    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

    Costing rules for SAvlTree methods

    Definition Classes
    CostingRules
  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. abstract class BinOp[A, R] extends AnyRef

    Permalink

    Base class for descriptors of binary operations.

    Base class for descriptors of binary operations.

    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

    Costing rules for SBox methods

    Definition Classes
    CostingRules
  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
    Definition Classes
    CostingRules
  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)

    Costing rules for SCollection methods (see object SCollection)

    Definition Classes
    CostingRules
  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

    Costing rules for SContext methods

    Definition Classes
    CostingRules
  58. type ContextFunc[T <: SType] = (special.sigma.Context) ⇒ Value[T]

    Permalink
  59. 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
  60. class CostAccumulator extends AnyRef

    Permalink

    Implements finite state machine with stack of graph blocks (scopes), which correspond to lambdas and thunks.

    Implements finite state machine with stack of graph blocks (scopes), which correspond to lambdas and thunks. It accepts messages: startScope(), endScope(), add(), reset() At any time totalCost is the currently accumulated cost.

  61. class CostCounter extends AnyRef

    Permalink

    Incapsulate simple monotonic (add only) counter with reset.

  62. trait CostModel extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.CostModel]

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

    Permalink
    Definition Classes
    SigmaDsl
  64. case class CostOf(opName: String, opType: SFunc) extends IRContext.BaseDef[Int] with Product with Serializable

    Permalink

    To enable specific configuration uncomment one of the lines above and use it in the beginPass below.

    To enable specific configuration uncomment one of the lines above and use it in the beginPass below.

    Definition Classes
    RuntimeCosting
  65. trait Costed[Val] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Costed[Val]]

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

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

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

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

    Permalink
    Definition Classes
    Costs
  70. type CostedCollFunc[A, B] = (IRContext.Costed[A]) ⇒ IRContext.CostedColl[B]

    Permalink
    Definition Classes
    RuntimeCosting
  71. trait CostedCompanion extends AnyRef

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

    Permalink
    Definition Classes
    Costs
  73. trait CostedFuncCompanion extends AnyRef

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

    Permalink
    Definition Classes
    Costs
  75. trait CostedOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  76. type CostedOptionFunc[A, B] = (IRContext.Costed[A]) ⇒ IRContext.CostedOption[B]

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

    Permalink
    Definition Classes
    Costs
  78. trait CostedPairCompanion extends AnyRef

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

    Permalink
    Definition Classes
    Costs
  80. trait CostedPrimCompanion extends AnyRef

    Permalink
    Definition Classes
    Costs
  81. type CostedTh[T] = IRContext.Ref[IRContext.Thunk[IRContext.Costed[T]]]

    Permalink
    Definition Classes
    RuntimeCosting
  82. trait CostedThunk[A] extends IRContext.Node with IRContext.Costed[IRContext.Thunk[A]]

    Permalink
    Definition Classes
    RuntimeCosting
  83. case class CostedThunkCtor[A](costedBlock: IRContext.Ref[IRContext.Thunk[IRContext.Costed[A]]], thunkCost: IRContext.Ref[Int]) extends IRContext.Node with IRContext.CostedThunk[A] with Product with Serializable

    Permalink
    Definition Classes
    RuntimeCosting
  84. 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.

    Definition Classes
    CostingRules
  85. type CostingEnv = Map[Any, IRContext.RCosted[_]]

    Permalink
    Definition Classes
    RuntimeCosting
  86. 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).

    Definition Classes
    CostingRules
    See also

    Coster

  87. class CostingRuleStat extends AnyRef

    Permalink
    Definition Classes
    RuntimeCosting
  88. 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
  89. 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
  90. 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
  91. abstract class DivOp[T] extends Scalan.EndoBinOp[T]

    Permalink

    Base class for descriptors of binary division operations.

    Base class for descriptors of binary division operations.

    Definition Classes
    NumericOps
  92. 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
  93. 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}." )
  94. class ElemAccessor[T] extends AnyRef

    Permalink
    Definition Classes
    RuntimeCosting
  95. class ElemCacheEntry extends AnyRef

    Permalink

    Elements cache information for each Elem class.

    Elements cache information for each Elem class.

    Definition Classes
    TypeDescs
  96. implicit class ElemOpsForCosting extends AnyRef

    Permalink
    Definition Classes
    RuntimeCosting
  97. 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
  98. type EndoBinOp[A] = IRContext.BinOp[A, A]

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

    Permalink
    Definition Classes
    UnBinOps
  100. 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. See derived classes in impl packages.

    Definition Classes
    Entities
  101. 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
  102. 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
  103. case class EntityObjectOwner(obj: Scalan.EntityObject) extends Scalan.OwnerKind with Product with Serializable

    Permalink
    Definition Classes
    Base
  104. 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
  105. implicit class EqualOps[A] extends AnyRef

    Permalink

    Extension methods to construct ApplyBinOp nodes

    Extension methods to construct ApplyBinOp nodes

    Definition Classes
    Equal
  106. 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
  107. 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
  108. 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
  109. implicit class FuncExtensions[A, B] extends AnyRef

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

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

    Permalink
    Definition Classes
    GraphVizExport
  112. 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
  113. trait GroupElement extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.GroupElement]

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

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

    Permalink

    Costing rules for SGroupElement methods

    Costing rules for SGroupElement methods

    Definition Classes
    CostingRules
  116. case class HashCode[A]() extends Scalan.UnOp[A, Int] with Product with Serializable

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

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

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

    Permalink

    Costing rules for SHeader methods

    Costing rules for SHeader methods

    Definition Classes
    CostingRules
  120. class IfBranch extends AnyRef

    Permalink

    Defines syntax available after IF (cond)

    Defines syntax available after IF (cond)

    Definition Classes
    IfThenElse
  121. 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
  122. abstract class IntPlusMonoid extends scalan.Library.Node with scalan.Library.Monoid[Int]

    Permalink
    Definition Classes
    MonoidInstances
  123. trait IntPlusMonoidCompanion extends AnyRef

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

    Permalink

    Descriptor of binary / operation (integral division).

    Descriptor of binary / operation (integral division).

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

    Permalink

    Descriptor of binary % operation (reminder of integral division).

    Descriptor of binary % operation (reminder of integral division).

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

    Permalink

    Extension methods over Ref[T] where T is instance of ExactIntegral type-class.

    Extension methods over Ref[T] where T is instance of ExactIntegral type-class.

    Definition Classes
    NumericOps
  127. 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
  128. sealed abstract class InvokeResult extends AnyRef

    Permalink

    Result of MethodCall invocation.

    Result of MethodCall invocation.

    Definition Classes
    MethodCalls
    See also

    tryInvoke

  129. 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
  130. class KnownCollInfo[T] extends AnyRef

    Permalink
    Definition Classes
    CostingRules
  131. 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
  132. 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
  133. 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
  134. implicit class LambdaOps[A, B] extends AnyRef

    Permalink
    Definition Classes
    Functions
  135. class LambdaStack extends AnyRef

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

    Permalink
    Definition Classes
    Library
  137. 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

    Implementation of Liftable type class for Thunk[T] given liftable for T.

    Implementation of Liftable type class for Thunk[T] given liftable for T.

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

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

    Permalink
    Definition Classes
    MonoidInstances
  140. trait LongPlusMonoidCompanion extends AnyRef

    Permalink
    Definition Classes
    MonoidInstances
  141. 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
  142. 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
  143. sealed abstract class MethodDesc extends AnyRef

    Permalink
    Definition Classes
    TypeDescs
  144. 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
  145. trait Monoid[T] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Monoid[T]]

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

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

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

    Permalink
    Definition Classes
    MonoidInstances
  149. trait MonoidBuilderInstCompanion extends AnyRef

    Permalink
    Definition Classes
    MonoidInstances
  150. trait MonoidCompanion extends AnyRef

    Permalink
    Definition Classes
    Monoids
  151. 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
  152. 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
  153. 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
  154. class NotImplementedStagingException extends Scalan.StagingException

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

    Permalink

    Descriptor of binary - operation.

    Descriptor of binary - operation.

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

    Permalink

    Descriptor of unary - operation.

    Descriptor of unary - operation.

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

    Permalink

    Extension methods over Ref[T] where T is instance of ExactNumeric type-class.

    Extension methods over Ref[T] where T is instance of ExactNumeric type-class.

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

    Permalink

    Descriptor of binary + operation.

    Descriptor of binary + operation.

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

    Permalink

    Descriptor of binary * operation.

    Descriptor of binary * operation.

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

    Permalink

    Descriptor of unary ToDouble conversion operation.

    Descriptor of unary ToDouble conversion operation.

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

    Permalink

    Descriptor of unary ToFloat conversion operation.

    Descriptor of unary ToFloat conversion operation.

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

    Permalink

    Descriptor of unary ToInt conversion operation.

    Descriptor of unary ToInt conversion operation.

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

    Permalink

    Descriptor of unary ToLong conversion operation.

    Descriptor of unary ToLong conversion operation.

    Definition Classes
    NumericOps
  164. 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
  165. class OptionCoster[T] extends IRContext.Coster[IRContext.WOption[T]]

    Permalink

    Costing rules for SOption methods (see object SOption)

    Costing rules for SOption methods (see object SOption)

    Definition Classes
    CostingRules
  166. trait OptionWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

    Permalink
    Definition Classes
    WrappersSpec
  167. trait OptionWrapSpecCompanion extends AnyRef

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

    Permalink

    Descriptor of binary compare operation.

    Descriptor of binary compare operation.

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

    Permalink

    Descriptor of binary > operation.

    Descriptor of binary > operation.

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

    Permalink

    Descriptor of binary >= operation.

    Descriptor of binary >= operation.

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

    Permalink

    Descriptor of binary < operation.

    Descriptor of binary < operation.

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

    Permalink

    Descriptor of binary <= operation.

    Descriptor of binary <= operation.

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

    Permalink

    Descriptor of binary max operation.

    Descriptor of binary max operation.

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

    Permalink

    Descriptor of binary min operation.

    Descriptor of binary min operation.

    Definition Classes
    OrderingOps
  175. class OrderingOpsCls[T] extends AnyRef

    Permalink

    Extension method over Ref[T] given an instance of ExactOrdering for T.

    Extension method over Ref[T] given an instance of ExactOrdering for T.

    Definition Classes
    OrderingOps
  176. 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
  177. type PGraph = IRContext.ProgramGraph

    Permalink
    Definition Classes
    ProgramGraphs
  178. 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
  179. trait PairColl[L, R] extends scalan.Library.Node with scalan.Library.Coll[(L, R)]

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

    Permalink
    Definition Classes
    Colls
  181. 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
  182. 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
  183. 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
  184. 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
  185. case class PerKbCostOf(operId: OperationId, size: IRContext.Ref[Long]) extends IRContext.BaseDef[Int] with Product with Serializable

    Permalink

    Graph node which represents cost of operation, which depends on size of the data.

    Graph node which represents cost of operation, which depends on size of the data.

    operId

    id of the operation in CostTable

    size

    size of the data which is used to compute operation cost

    Definition Classes
    RuntimeCosting
  186. 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
  187. trait PreHeader extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.PreHeader]

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

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

    Permalink

    Costing rules for SPreHeader methods

    Costing rules for SPreHeader methods

    Definition Classes
    CostingRules
  190. 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
  191. type RColl[T] = IRContext.Ref[IRContext.Coll[T]]

    Permalink
    Definition Classes
    RuntimeCosting
  192. type RCosted[A] = IRContext.Ref[IRContext.Costed[A]]

    Permalink
    Definition Classes
    Library
  193. type RCostedColl[T] = IRContext.Ref[IRContext.CostedColl[T]]

    Permalink
    Definition Classes
    RuntimeCosting
  194. type RCostedCollFunc[A, B] = IRContext.Ref[IRContext.CostedCollFunc[A, B]]

    Permalink
    Definition Classes
    RuntimeCosting
  195. implicit class RCostedCollFuncOps[A, B] extends AnyRef

    Permalink
    Definition Classes
    RuntimeCosting
  196. type RCostedOption[T] = IRContext.Ref[IRContext.CostedOption[T]]

    Permalink
    Definition Classes
    RuntimeCosting
  197. type RCostedOptionFunc[A, B] = IRContext.Ref[IRContext.CostedOptionFunc[A, B]]

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

    Permalink
    Definition Classes
    Base
  199. type RFuncCosted[A, B] = IRContext.Ref[(IRContext.Costed[A]) ⇒ IRContext.Costed[B]]

    Permalink
    Definition Classes
    RuntimeCosting
  200. implicit class RFuncCostedOps[A, B] extends AnyRef

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

    Permalink
    Definition Classes
    TypeDescs
  202. type ROption[T] = IRContext.Ref[IRContext.WOption[T]]

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

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

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

    Permalink
    Definition Classes
    WrappersSpec
  206. trait RTypeWrapSpecCompanion extends AnyRef

    Permalink
    Definition Classes
    WrappersSpec
  207. 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

  208. implicit class RepBooleanOps extends AnyRef

    Permalink

    Extension methods over Ref[Boolean].

    Extension methods over Ref[Boolean].

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

    Permalink

    Extension methods on Ref[Thunk[T]] values.

    Extension methods on Ref[Thunk[T]] values.

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

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

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

    Permalink
    Definition Classes
    Colls
  213. abstract class Rewriter extends AnyRef

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

    Permalink

    Runtime representation of lazy values.

    Runtime representation of lazy values. Each Thunk typed graph node evaluates to a value of this type.

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

    Permalink

    Type synonim for graph schedules.

    Type synonim for graph schedules.

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

    Permalink

    Alternative representation of schedules using node ids.

    Alternative representation of schedules using node ids.

    Definition Classes
    AstGraphs
  217. 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
  218. implicit class SeqExpExtensionsForEmitGraph extends AnyRef

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

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

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

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

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

    Permalink

    Costing rules for SGlobal methods

    Costing rules for SGlobal methods

    Definition Classes
    CostingRules
  224. trait SigmaProp extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SigmaProp]

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

    Permalink
    Definition Classes
    SigmaDsl
  226. 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
  227. trait Size[Val] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Size[Val]]

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    Sizes
  236. trait SizeCompanion extends AnyRef

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

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

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

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

    Permalink
    Definition Classes
    Sizes
  241. 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
  242. trait SizeOption[T] extends scalan.Library.Node with scalan.Library.Size[scalan.Library.WOption[T]]

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    CostedObjects
  250. trait SizeThunk[A] extends IRContext.Node with IRContext.Size[IRContext.Thunk[A]]

    Permalink
    Definition Classes
    RuntimeCosting
  251. case class SizeThunkCtor[A](sizeBlock: IRContext.Ref[IRContext.Thunk[IRContext.Size[A]]]) extends IRContext.Node with IRContext.SizeThunk[A] with Product with Serializable

    Permalink
    Definition Classes
    RuntimeCosting
  252. trait SpecialPredefWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

    Permalink
    Definition Classes
    WrappersSpec
  253. trait SpecialPredefWrapSpecCompanion extends AnyRef

    Permalink
    Definition Classes
    WrappersSpec
  254. class StagingException extends RuntimeException

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

    Permalink
    Definition Classes
    Functions
  256. 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
  257. 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
  258. type Th[+T] = IRContext.Ref[IRContext.Thunk[T]]

    Permalink
    Definition Classes
    Thunks
  259. 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
  260. trait Thunk[+A] extends AnyRef

    Permalink

    Phantom type to define thunk-typed graph nodes and thunk based lazy operations.

    Phantom type to define thunk-typed graph nodes and thunk based lazy operations. Usually used inside Ref, see for example Th. See also for details http://gigiigig.github.io/tlp-step-by-step/phantom-types.html

    Definition Classes
    Thunks
  261. class ThunkCompanion extends AnyRef

    Permalink

    A class of factory to create new Thunks by use Thunk { ... } expressions.

    A class of factory to create new Thunks by use Thunk { ... } expressions.

    Definition Classes
    Thunks
  262. 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

    Graph node to represent constants of type Thunk.

    Graph node to represent constants of type Thunk.

    Definition Classes
    Thunks
    See also

    scalan.Base.Liftables.Liftable

  263. class ThunkDef[A] extends Scalan.AstGraph with Scalan.Def[Scalan.Thunk[A]]

    Permalink

    Graph node representing thunk with reified body.

    Graph node representing thunk with reified body. Each thunk node is a specialized implementation of AstGraph abstract class.

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

    Permalink

    Implements a type descriptor of Thunk[A] type given the instance of A.

    Implements a type descriptor of Thunk[A] type given the instance of A.

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

    Permalink

    Graph node to represent thunk forcing operation.

    Graph node to represent thunk forcing operation.

    Definition Classes
    Thunks
  266. class ThunkScope extends AnyRef

    Permalink

    Helper object to handle construction of nested thunks.

    Helper object to handle construction of nested thunks. One instance is created for each ThunkDef under construction. This corresponds to syntactic nesting of thunks.

    Definition Classes
    Thunks
  267. class ThunkStack extends AnyRef

    Permalink

    The stack of nested thunks during graph construction.

    The stack of nested thunks during graph construction.

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

    Permalink
    Definition Classes
    UniversalOps
  269. 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
  270. 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
  271. implicit class TupleOps2[A, B] extends AnyRef

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

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

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

    Permalink
    Definition Classes
    Tuples
  275. abstract class TypeDesc extends Serializable

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

    Permalink

    Base class for descriptors of unary operations.

    Base class for descriptors of unary operations.

    Definition Classes
    UnBinOps
  277. 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
  278. 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
  279. case class WMethodDesc(wrapSpec: WrapSpec, method: Method) extends Scalan.MethodDesc with Product with Serializable

    Permalink
    Definition Classes
    TypeDescs
  280. 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()
  281. trait WOptionCompanion extends AnyRef

    Permalink
    Definition Classes
    WOptions
  282. 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()
  283. trait WRTypeCompanion extends AnyRef

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

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

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

    Permalink
    Definition Classes
    WrappersSpec
  287. trait WrapSpecBaseCompanion extends AnyRef

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

    Permalink
    Definition Classes
    Base

Abstract Value Members

  1. abstract val builder: SigmaBuilder

    Permalink

    Should be specified in the final cake

    Should be specified in the final cake

    Definition Classes
    RuntimeCosting
  2. abstract val costedBuilderValue: special.collection.CostedBuilder

    Permalink
  3. abstract val monoidBuilderValue: special.collection.MonoidBuilder

    Permalink
  4. abstract val sigmaDslBuilderValue: CostingSigmaDslBuilder

    Permalink

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. object AllOf

    Permalink
    Definition Classes
    RuntimeCosting
  11. object AllZk

    Permalink
    Definition Classes
    RuntimeCosting
  12. val And: IRContext.EndoBinOp[Boolean]

    Permalink

    Logical AND binary operation.

    Logical AND binary operation.

    Definition Classes
    LogicalOps
  13. 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
  14. object AnyOf

    Permalink
    Definition Classes
    RuntimeCosting
  15. 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
  16. object AnyValue extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  17. object AnyZk

    Permalink
    Definition Classes
    RuntimeCosting
  18. object AvlTree extends scalan.SigmaLibrary.EntityObject

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

    Permalink
    Definition Classes
    CostingRules
  20. val AvlTreeDigestInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  21. object BigInt extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  22. val BinaryXorOp: IRContext.EndoBinOp[Boolean]

    Permalink

    Logical XOR binary operation.

    Logical XOR binary operation.

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

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

    Permalink

    Boolean to Int conversion unary operation.

    Boolean to Int conversion unary operation.

    Definition Classes
    LogicalOps
  25. object Box extends scalan.SigmaLibrary.EntityObject

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

    Permalink
    Definition Classes
    CostingRules
  27. val BoxBytesWithoutRefsInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  28. object BoxCoster extends IRContext.CostingHandler[IRContext.Box]

    Permalink
    Definition Classes
    CostingRules
  29. val BoxPropositionBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  30. implicit val ByteElement: IRContext.Elem[Byte]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    CostingRules
  47. def Colls: special.collection.CollBuilder

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  48. 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
  49. object ConstantThunk

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

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

    Permalink
    Definition Classes
    CostingRules
  52. object CostModel extends scalan.SigmaLibrary.EntityObject

    Permalink
    Definition Classes
    SigmaDslDefs
  53. def CostOfDHTuple: IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  54. def CostOfProveDlog: IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  55. object Costed extends scalan.Library.EntityObject

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

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

    Permalink
    Definition Classes
    CostsDefs
  58. object CostedFoldExtractors

    Permalink
    Definition Classes
    RuntimeCosting
  59. object CostedFunc extends scalan.Library.EntityObject

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

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

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

    Permalink
    Definition Classes
    CostsDefs
  63. object Def

    Permalink
    Definition Classes
    Base
  64. 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
  65. implicit val DoubleElement: IRContext.Elem[Double]

    Permalink
    Definition Classes
    TypeDescs
  66. val DowncastBigIntOpType: SFunc

    Permalink
    Definition Classes
    RuntimeCosting
  67. val EValOfSizeColl: IRContext.ElemAccessor[IRContext.Coll[IRContext.Size[Any]]]

    Permalink
    Definition Classes
    RuntimeCosting
  68. object Elem extends Serializable

    Permalink
    Definition Classes
    TypeDescs
  69. object ElemAccessor

    Permalink
    Definition Classes
    RuntimeCosting
  70. val EmptyArrayOfSym: Array[IRContext.Sym]

    Permalink

    Immutable empty array of symbols, can be used to avoid unnecessary allocations.

    Immutable empty array of symbols, can be used to avoid unnecessary allocations.

    Definition Classes
    Base
  71. val EmptyDSetOfInt: Set[Int]

    Permalink

    Used internally in IR and should be used with care since it is mutable.

    Used internally in IR and should be used with care since it is mutable. At the same time, it is used in the hotspot and allows to avoid roughly tens of thousands of allocations per second. WARNING: Mutations of this instance can lead to undefined behavior.

    Attributes
    protected
    Definition Classes
    Base
  72. val EmptySeqOfSym: Seq[IRContext.Sym]

    Permalink

    Immutable empty Seq, can be used to avoid unnecessary allocations.

    Immutable empty Seq, can be used to avoid unnecessary allocations.

    Definition Classes
    Base
  73. 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
  74. val EncodedGroupElementInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  75. object EnvRep extends Serializable

    Permalink
    Definition Classes
    TypeDescs
  76. object ExpWithElem

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

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

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

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

    Permalink

    CostingHandler for SGroupElement, see SGroupElement.coster

    CostingHandler for SGroupElement, see SGroupElement.coster

    Definition Classes
    CostingRules
  81. object HasSigmas

    Permalink
    Definition Classes
    RuntimeCosting
  82. val HashInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  83. object Header extends scalan.SigmaLibrary.EntityObject

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

    Permalink
    Definition Classes
    CostingRules
  85. val HeadersInfo: IRContext.KnownCollInfo[IRContext.Header]

    Permalink
    Definition Classes
    CostingRules
  86. 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
  87. object IdentityLambda

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

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

    Permalink
    Definition Classes
    MonoidInstancesDefs
  90. 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()
  91. 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
  92. object IsConstSizeCostedColl

    Permalink
    Definition Classes
    RuntimeCosting
  93. object IsCostedPair

    Permalink
    Definition Classes
    RuntimeCosting
  94. object IsNumericToInt

    Permalink
    Definition Classes
    Library
  95. object IsNumericToLong

    Permalink
    Definition Classes
    Library
  96. object IsPair

    Permalink
    Definition Classes
    Tuples
  97. object Lambda

    Permalink
    Definition Classes
    Functions
  98. 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
  99. 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
  100. val LongBytesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  101. implicit val LongElement: IRContext.Elem[Long]

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

    Permalink
    Definition Classes
    MonoidInstancesDefs
  103. object LoopOperation

    Permalink
  104. object MapTransformer extends Serializable

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

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

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

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

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

    Permalink

    Identity rewriter, i.e.

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

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

    Permalink
    Definition Classes
    CostingRules
  111. val Not: IRContext.EndoUnOp[Boolean]

    Permalink

    Logical NOT unary operation.

    Logical NOT unary operation.

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

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

    Permalink
    Definition Classes
    CostingRules
  114. object OptionWrapSpec extends scalan.Library.EntityObject

    Permalink
    Definition Classes
    WrappersSpecDefs
  115. val Or: IRContext.EndoBinOp[Boolean]

    Permalink

    Logical AND binary operation.

    Logical AND binary operation.

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

    Permalink
    Definition Classes
    OrderingOps
  117. object Pair

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

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

    Permalink
    Definition Classes
    TypeDescs
  120. object Pass

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

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

    Permalink
    Definition Classes
    CostingRules
  123. object ProgramGraph extends Serializable

    Permalink
    Definition Classes
    ProgramGraphs
  124. def RCostedThunk[A](costedBlock: IRContext.Ref[IRContext.Thunk[IRContext.Costed[A]]], thunkCost: IRContext.Ref[Int]): IRContext.Ref[IRContext.Costed[IRContext.Thunk[A]]]

    Permalink
    Definition Classes
    RuntimeCosting
  125. def RSizeThunk[A](sizeBlock: IRContext.Ref[IRContext.Thunk[IRContext.Size[A]]]): IRContext.Ref[IRContext.Size[IRContext.Thunk[A]]]

    Permalink
    Definition Classes
    RuntimeCosting
  126. object RTypeWrapSpec extends scalan.Library.EntityObject

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

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

    Permalink
    Definition Classes
    CostingRules
  129. object ScalanOwner extends Scalan.OwnerKind with Product with Serializable

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

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

    Permalink
    Definition Classes
    SigmaDslDefs
  132. def SigmaDsl: CostingSigmaDslBuilder.type

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  133. object SigmaDslBuilder extends scalan.SigmaLibrary.EntityObject

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

    Permalink
    Definition Classes
    CostingRules
  135. object SigmaProp extends scalan.SigmaLibrary.EntityObject

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

    Permalink
    Definition Classes
    CostingRules
  137. object Size extends scalan.Library.EntityObject

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

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

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  140. def SizeBigInt: IRContext.RSize[IRContext.BigInt]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  141. def SizeBoolean: IRContext.RSize[Boolean]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  142. object SizeBox extends scalan.SigmaLibrary.EntityObject

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

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

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  145. object SizeColl extends scalan.Library.EntityObject

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

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

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

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  149. def SizeInt: IRContext.RSize[Int]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  150. def SizeLong: IRContext.RSize[Long]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  151. object SizeOption extends scalan.Library.EntityObject

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

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

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

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  155. object SizeSigmaProp extends scalan.SigmaLibrary.EntityObject

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

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  157. def SizeString: IRContext.RSize[String]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  158. def SizeUnit: IRContext.RSize[Unit]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  159. def SomeIntZero: IRContext.Ref[IRContext.WOption[Int]]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  160. object SpecialPredefWrapSpec extends scalan.Library.EntityObject

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

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

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

    Permalink

    Allow expressions like Thunk { ... } to create new Thunks.

    Allow expressions like Thunk { ... } to create new Thunks.

    Definition Classes
    Thunks
  164. object ThunkDef

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

    Permalink
    Definition Classes
    CostingRules
  166. final def TypeArgs(descs: (String, (IRContext.TypeDesc, Variance))*): ListMap[String, (IRContext.TypeDesc, Variance)]

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

    Permalink
    Definition Classes
    TypeDescs
  168. val UpcastBigIntOpType: SFunc

    Permalink
    Definition Classes
    RuntimeCosting
  169. 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
  170. val VotesInfo: IRContext.KnownCollInfo[Byte]

    Permalink
    Definition Classes
    CostingRules
  171. object WOption extends special.wrappers.WrappersModule.EntityObject

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

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

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  174. object WSpecialPredef extends special.wrappers.WrappersModule.EntityObject

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

    Permalink
    Definition Classes
    WrappersSpecDefs
  176. val _costOfProveDHTuple: IRContext.CostOf

    Permalink
    Definition Classes
    RuntimeCosting
  177. val _costOfProveDlogEval: IRContext.CostOf

    Permalink
    Definition Classes
    RuntimeCosting
  178. var _currentPass: IRContext.Pass

    Permalink
    Definition Classes
    Transforming
  179. def adaptSigmaBoolean(v: BoolValue): Value[SBoolean.type]

    Permalink
    Definition Classes
    RuntimeCosting
  180. final def allContextDependant(syms: Array[IRContext.Sym]): Boolean

    Permalink

    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  181. def allowedOpCodesInCosting: HashSet[OpCodeExtra]

    Permalink

    Returns a set of opCodeEx values (extended op codes) which are allowed in cost function.

    Returns a set of opCodeEx values (extended op codes) which are allowed in cost function. This may include both ErgoTree codes (from OpCodes) and also additional non-ErgoTree codes from OpCodesExtra. Any IR graph node can be uniquely assigned to extended op code value from OpCodes + OpCodesExtra combined range. (See getOpCodeEx)

    Attributes
    protected
  182. def alphaEqual(s1: IRContext.Sym, s2: IRContext.Sym): Boolean

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

    Permalink

    Overridable constructor of a binary operation node.

    Overridable constructor of a binary operation node.

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

    Permalink

    Overridable constructor of a binary operation node with lazy argument.

    Overridable constructor of a binary operation node with lazy argument.

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

    Permalink

    Overridable constructor of an unary operation node.

    Overridable constructor of an unary operation node.

    Definition Classes
    UnBinOps
  186. final def asCosted[T](x: IRContext.Ref[_]): IRContext.Ref[IRContext.Costed[T]]

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  187. def asCostedColl[T](collC: IRContext.RCosted[IRContext.Coll[T]]): IRContext.Ref[IRContext.CostedColl[T]]

    Permalink
    Definition Classes
    CostingRules
  188. def asCostedFunc[A, B](fC: IRContext.RCosted[(A) ⇒ B]): IRContext.Ref[IRContext.CostedFunc[Unit, A, B]]

    Permalink
    Definition Classes
    CostingRules
  189. def asCostedPair[A, B](pC: IRContext.RCosted[(A, B)]): IRContext.Ref[IRContext.CostedPair[A, B]]

    Permalink
    Definition Classes
    CostingRules
  190. final def asElem[T](d: IRContext.TypeDesc): IRContext.Elem[T]

    Permalink

    Helper type case method.

    Helper type case method.

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

    Permalink
    Definition Classes
    Any
  192. 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()
  193. def asSizeBox(ctx: IRContext.RSize[IRContext.Box]): IRContext.Ref[IRContext.SizeBox]

    Permalink
    Definition Classes
    CostingRules
  194. def asSizeColl[T](collS: IRContext.RSize[IRContext.Coll[T]]): IRContext.Ref[IRContext.SizeColl[T]]

    Permalink
    Definition Classes
    CostingRules
  195. def asSizeContext(ctx: IRContext.RSize[IRContext.Context]): IRContext.Ref[IRContext.SizeContext]

    Permalink
    Definition Classes
    CostingRules
  196. def asSizeOption[T](optS: IRContext.RSize[IRContext.WOption[T]]): IRContext.Ref[IRContext.SizeOption[T]]

    Permalink
    Definition Classes
    CostingRules
  197. def asSizePair[A, B](s: IRContext.RSize[(A, B)]): IRContext.Ref[IRContext.SizePair[A, B]]

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

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

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

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

    Permalink
    Definition Classes
    UniversalOps
  202. def attachCost[T](source: IRContext.RCosted[T], accCost: IRContext.Ref[Int], cost: IRContext.Ref[Int]): IRContext.RCosted[T]

    Permalink

    Build a new costed value with the given cost in a dependency list.

    Build a new costed value with the given cost in a dependency list. This is required to correctly handle tuple field accesses like v._1 and not to lose the cost of v in the cost of resulting value.

    Definition Classes
    RuntimeCosting
  203. 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
  204. def buildCostedGraph[T](envVals: Map[Any, SValue], tree: SValue): IRContext.Ref[(IRContext.Costed[IRContext.Context]) ⇒ IRContext.Costed[T]]

    Permalink
    Definition Classes
    RuntimeCosting
  205. val cacheElems: Boolean

    Permalink

    Whether IR type descriptors should be cached.

    Whether IR type descriptors should be cached.

    Definition Classes
    Base
  206. val cachePairs: Boolean

    Permalink

    Whether Tup instances should be cached.

    Whether Tup instances should be cached.

    Definition Classes
    Base
  207. 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
  208. def canBeInvoked(d: IRContext.Def[_], m: Method, args: Array[AnyRef]): Boolean

    Permalink

    Method invocation checker.

    Method invocation checker.

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

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

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

    Permalink
    Attributes
    protected
    Definition Classes
    GraphVizExport
  212. def colBuilder: IRContext.Ref[IRContext.CollBuilder]

    Permalink
    Definition Classes
    RuntimeCostingLibrary
    Annotations
    @inline()
  213. def compile[SA, SB, A, B](dataEnv: Map[IRContext.Sym, AnyRef], f: IRContext.Ref[(A) ⇒ B], costLimit: Option[Long] = None)(implicit lA: Liftable[SA, A], lB: Liftable[SB, B]): (SA) ⇒ (SB, Int)

    Permalink

    Transform graph IR into the corresponding Scala function

    Transform graph IR into the corresponding Scala function

    f

    simbol of the graph representing function from type A to B

    costLimit

    when Some(value) is specified, then OpCost nodes will be used to accumulate total cost of execution.

  214. 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
  215. def constCost[T](implicit arg0: IRContext.Elem[T]): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  216. def constCost(tpe: SType): IRContext.Ref[Int]

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

    Permalink
    Definition Classes
    Functions
  218. def constantTypeSize[T](implicit eT: IRContext.Elem[T]): IRContext.RSize[T]

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

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

    Permalink
    Definition Classes
    TypeDescs
  221. def cost[T](env: ScriptEnv, typed: SValue): IRContext.Ref[(IRContext.Costed[IRContext.Context]) ⇒ IRContext.Costed[T]]

    Permalink
    Definition Classes
    RuntimeCosting
  222. def costOf(v: SValue): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  223. def costOf(method: SMethod): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  224. def costOf(opName: String, opType: SFunc): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  225. def costOf(opName: String, opType: SFunc, doEval: Boolean): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  226. def costOf(costOp: IRContext.CostOf, doEval: Boolean): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  227. def costOfSigmaTree(sigmaTree: SigmaBoolean): Int

    Permalink
    Definition Classes
    RuntimeCosting
  228. def costedBooleanTransformer[T](node: BooleanTransformer[_], xs: IRContext.RCostedColl[T], condition: IRContext.RCosted[(T) ⇒ WrappedType], calcF: IRContext.Ref[(T) ⇒ Any], accCost: IRContext.Ref[Int]): IRContext.Ref[IRContext.Costed[_ >: Boolean with IRContext.SigmaProp]]

    Permalink
    Definition Classes
    RuntimeCosting
  229. def costedBuilder: IRContext.Ref[IRContext.CostedBuilder]

    Permalink
    Definition Classes
    RuntimeCostingLibrary
    Annotations
    @inline()
  230. def costedGlobal: IRContext.RCosted[IRContext.SigmaDslBuilder]

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  231. def costedPrimToColl[A](coll: IRContext.Ref[IRContext.Coll[A]], c: IRContext.Ref[Int], s: IRContext.RSize[IRContext.Coll[A]]): IRContext.RCostedColl[A]

    Permalink
    Definition Classes
    RuntimeCosting
  232. def costedPrimToOption[A](opt: IRContext.Ref[IRContext.WOption[A]], c: IRContext.Ref[Int], s: IRContext.RSize[IRContext.WOption[A]]): IRContext.RCostedOption[A]

    Permalink
    Definition Classes
    RuntimeCosting
  233. def costedPrimToPair[A, B](p: IRContext.Ref[(A, B)], c: IRContext.Ref[Int], s: IRContext.RSize[(A, B)]): IRContext.Ref[IRContext.CCostedPair[A, B]]

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

    Permalink

    Here we hook into graph building process at the point where each new graph node is added to the graph.

    Here we hook into graph building process at the point where each new graph node is added to the graph. First, we call super.createDefinition, which adds the new node d to the graph (s is the node's symbol). Next, we update context dependence analysis information (see isSupportedIndexExpression) The graph node is context-dependent if: 1) it is the node of Context type 2) all nodes it depends on are context-dependent

    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
    RuntimeCostingBase
    See also

    super.createDefinition, isSupportedIndexExpression

  235. 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
  236. 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
  237. 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
  238. def def_unapply[T](e: IRContext.Ref[T]): Nullable[IRContext.Def[T]]

    Permalink
    Definition Classes
    Base
  239. def defaultGraphVizConfig: GraphVizConfig

    Permalink
    Definition Classes
    GraphVizExport
  240. def delayInvoke: Nothing

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

    Permalink
    Definition Classes
    UniversalOps
  242. val eCollByte: IRContext.Elem[IRContext.Coll[Byte]]

    Permalink
    Definition Classes
    RuntimeCosting
  243. val ePairOfCollByte: IRContext.Elem[(IRContext.Coll[Byte], IRContext.Coll[Byte])]

    Permalink
    Definition Classes
    RuntimeCosting
  244. val elemCache: AVHashMap[Class[_], IRContext.ElemCacheEntry]

    Permalink
    Attributes
    protected
    Definition Classes
    TypeDescs
  245. def elemToCostedElem[T](implicit e: IRContext.Elem[T]): IRContext.Elem[IRContext.Costed[T]]

    Permalink

    For a given data type returns the corresponding specific descendant of CostedElem[T]

    For a given data type returns the corresponding specific descendant of CostedElem[T]

    Definition Classes
    RuntimeCosting
  246. def elemToExactIntegral[T](e: IRContext.Elem[T]): ExactIntegral[T]

    Permalink
    Definition Classes
    RuntimeCosting
  247. def elemToExactNumeric[T](e: IRContext.Elem[T]): ExactNumeric[T]

    Permalink
    Definition Classes
    RuntimeCosting
  248. def elemToExactOrdering[T](e: IRContext.Elem[T]): ExactOrdering[T]

    Permalink
    Definition Classes
    RuntimeCosting
  249. def elemToSType[T](e: IRContext.Elem[T]): SType

    Permalink
    Definition Classes
    RuntimeCosting
  250. final def element[A](implicit ea: IRContext.Elem[A]): IRContext.Elem[A]

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    GraphVizExport
  258. final def emptyDBufferOfSym: Buffer[IRContext.Sym]

    Permalink

    Create a new empty buffer around pre-allocated empty array.

    Create a new empty buffer around pre-allocated empty array. This method is preferred, rather that creating empty debox.Buffer directly because it allows to avoid allocation of the empty array.

    Definition Classes
    Base
    Annotations
    @inline()
  259. def emptyMatchSubst: IRContext.Subst

    Permalink
    Definition Classes
    Functions
    Annotations
    @inline()
  260. 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
  261. final def eq(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  264. def error(msg: String, srcCtx: Option[SourceContext]): Nothing

    Permalink
    Definition Classes
    RuntimeCosting
  265. def error(msg: String): Nothing

    Permalink
    Definition Classes
    RuntimeCosting
  266. def evalNode[T <: SType](ctx: IRContext.RCosted[IRContext.Context], env: IRContext.CostingEnv, node: Value[T]): IRContext.RCosted[RuntimeCosting.evalNode.T.WrappedType]

    Permalink

    Recursively translates each ErgoTree node into the corresponding cost formula.

    Recursively translates each ErgoTree node into the corresponding cost formula. The cost formula is represented using graph-based IR defined by this IRContext cake. Each node: Value[T] which evaluates to the value of type T is transformed to a value of type RCosted[A] which is a synonym of Ref[Costed[A]] type. The translation is performed recursively on a structure of the ErgoTree expression.

    ctx

    reference to the graph node, which represents costed CONTEXT expression.

    env

    environment of costed ValDef nodes (see BlockValue case).

    node

    expression to be costed

    returns

    a reference to the graph node of type Costed[T#WrappedType]

    Attributes
    protected
    Definition Classes
    RuntimeCosting
  267. implicit def extendCostedCollElem[A](elem: IRContext.Elem[IRContext.CostedColl[A]]): CostedCollElem[A, IRContext.CostedColl[A]]

    Permalink
    Definition Classes
    RuntimeCosting
  268. implicit def extendCostedElem[A](elem: IRContext.Elem[IRContext.Costed[A]]): CostedElem[A, IRContext.Costed[A]]

    Permalink
    Definition Classes
    RuntimeCosting
  269. implicit def extendCostedFuncElem[E, A, B](e: IRContext.Elem[IRContext.CostedFunc[E, A, B]]): CostedFuncElem[E, A, B, _]

    Permalink
    Definition Classes
    RuntimeCosting
  270. implicit def extendSizeElem[A](elem: IRContext.Elem[IRContext.Size[A]]): SizeElem[A, IRContext.Size[A]]

    Permalink
    Definition Classes
    RuntimeCosting
  271. implicit def extendThunkElement[T](elem: IRContext.Elem[IRContext.Thunk[T]]): IRContext.ThunkElem[T]

    Permalink

    Implicit conversion (downcast) to access ThunkElem.eItem field.

    Implicit conversion (downcast) to access ThunkElem.eItem field.

    Definition Classes
    Thunks
  272. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  273. 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
  274. def findIsProven[T](f: IRContext.Ref[(IRContext.Context) ⇒ T]): Option[IRContext.Sym]

    Permalink

    Finds SigmaProp.isProven method calls in the given Lambda f

  275. 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
  276. def forceThunkByMirror[A](thunk: IRContext.Th[A], subst: IRContext.MapTransformer = MapTransformer.empty()): IRContext.Ref[A]

    Permalink

    Inlines the given thunk by cloning all its nodes and applying the given substitution (transformer).

    Inlines the given thunk by cloning all its nodes and applying the given substitution (transformer).

    thunk

    reference to the thunk node

    subst

    transformer to be applied for each mirrored (cloned) node.

    returns

    the reference to the graph node, which represents the resulting value of the thunk

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

    Permalink

    Inlines the given thunk by cloning all its nodes and applying the given substitution (transformer).

    Inlines the given thunk by cloning all its nodes and applying the given substitution (transformer).

    th

    the thunk node

    subst

    transformer to be applied for each mirrored (cloned) node.

    returns

    the reference to the graph node, which represents the resulting value of the thunk

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

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

    Permalink

    Used by Graphviz dot file generator to format text label of the graph node.

    Used by Graphviz dot file generator to format text label of the graph node.

    Attributes
    protected
    Definition Classes
    RuntimeCostingThunksMethodCallsGraphVizExport
  280. def formatMetadata(s: IRContext.Sym): List[String]

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

    Permalink

    Get next fresh node id

    Get next fresh node id

    Definition Classes
    Base
    Annotations
    @inline()
  282. 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()
  283. 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
  284. 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
  285. implicit final def funcElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[(A) ⇒ B]

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

    Permalink
    Definition Classes
    AnyRef → Any
  287. def getDataEnv: IRContext.DataEnv

    Permalink

    Constructs a new data environment for evaluation of graphs using compile method.

    Constructs a new data environment for evaluation of graphs using compile method. This environment contains global variables.

  288. def getEntityObject(name: String): Nullable[IRContext.EntityObject]

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  289. def getFromEnv(dataEnv: IRContext.DataEnv, s: IRContext.Sym): Any

    Permalink
  290. def getOpCodeEx(d: IRContext.Def[_]): OpCodeExtra

    Permalink

    Returns extended op code assigned to the given IR graph node.

  291. 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
  292. def getRegisterCost: IRContext.Ref[Int]

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

    Permalink
    Definition Classes
    TypeDescs
  294. 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()
  295. implicit def groupElementToECPoint(g: special.sigma.GroupElement): EcPointType

    Permalink
    Attributes
    protected
    Definition Classes
    RuntimeCosting
  296. def hashCode(): Int

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

    Permalink
    Definition Classes
    Functions
  298. 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
  299. def intPlusMonoid: IRContext.Ref[IRContext.Monoid[Int]]

    Permalink
    Definition Classes
    RuntimeCostingLibrary
    Annotations
    @inline()
  300. val intPlusMonoidValue: special.collection.IntPlusMonoid

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

    Permalink

    Return an ExactIntegral for a given type T.

    Return an ExactIntegral for a given type T.

    Definition Classes
    NumericOps
  302. 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
  303. def isAllowedOpCodeInCosting(opCode: OpCodeExtra): Boolean

    Permalink

    Checks the given opCode belong to an operation allowed in cost function.

  304. final def isContextDependant(sym: IRContext.Sym): Boolean

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  305. def isCostingProcess: Boolean

    Permalink
    Definition Classes
    RuntimeCosting
  306. var isInlineThunksOnForce: Boolean

    Permalink

    Specifies thunk staging strategy with respect to handling thunk_force operation.

    Specifies thunk staging strategy with respect to handling thunk_force operation.

    Definition Classes
    Thunks
    See also

    thunk_force

  307. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  308. 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
  309. final def isOne[T](x: T, n: ExactNumeric[T]): Boolean

    Permalink

    Compares the given value with 1 of the given ExactNumeric instance.

    Compares the given value with 1 of the given ExactNumeric instance.

    Definition Classes
    NumericOps
    Annotations
    @inline()
  310. def isSupportedIndexExpression(i: IRContext.Ref[Int]): Boolean

    Permalink

    Checks that index expression sub-graph (which root is i) consists of context-dependent nodes.

    Checks that index expression sub-graph (which root is i) consists of context-dependent nodes. This is used in the validation rule for the costing of ByIndex operation.

    Definition Classes
    RuntimeCosting
    See also

    RuntimeCosting, CheckIsSupportedIndexExpression

  311. final def isZero[T](x: T, n: ExactNumeric[T]): Boolean

    Permalink

    Compares the given value with zero of the given ExactNumeric instance.

    Compares the given value with zero of the given ExactNumeric instance.

    Definition Classes
    NumericOps
    Annotations
    @inline()
  312. 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
  313. var lambdaStack: List[IRContext.Lambda[_, _]]

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

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

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  316. def liftableFromElem[WT](eWT: IRContext.Elem[WT]): Liftable[_, WT]

    Permalink
    Definition Classes
    RuntimeCosting
  317. implicit def liftableThunk[ST, T](implicit lT: Liftable[ST, T]): Liftable[IRContext.SThunk[ST], IRContext.Thunk[T]]

    Permalink
    Definition Classes
    Thunks
  318. 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
  319. def longPlusMonoid: IRContext.Ref[IRContext.Monoid[Long]]

    Permalink
    Definition Classes
    RuntimeCostingLibrary
    Annotations
    @inline()
  320. val longPlusMonoidValue: special.collection.LongPlusMonoid

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

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

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

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

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

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

    Permalink
    Definition Classes
    Functions
  327. def mkCostedColl[T](col: IRContext.Ref[IRContext.Coll[T]], len: IRContext.Ref[Int], cost: IRContext.Ref[Int]): IRContext.Ref[IRContext.CostedColl[T]]

    Permalink

    Helper to create costed collection of some constant size type T

    Helper to create costed collection of some constant size type T

    Definition Classes
    RuntimeCosting
  328. 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
    Definition Classes
    CostingRules
  329. 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
    Definition Classes
    CostingRules
  330. 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
    Definition Classes
    CostingRules
  331. 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
  332. 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
  333. 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
  334. 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
  335. def mkNormalizedOpCost(costedValue: IRContext.Sym, costs: Seq[IRContext.Ref[Int]]): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  336. def mkSizeColl[T](len: IRContext.Ref[Int])(implicit arg0: IRContext.Elem[T]): IRContext.Ref[IRContext.Size[IRContext.Coll[T]]]

    Permalink
    Definition Classes
    CostingRules
  337. def mkSizeOption[T](size: IRContext.RSize[T]): IRContext.Ref[IRContext.Size[IRContext.WOption[T]]]

    Permalink
    Definition Classes
    CostingRules
  338. def mkSizePair[A, B](l: IRContext.RSize[A], r: IRContext.RSize[B]): IRContext.Ref[IRContext.Size[(A, B)]]

    Permalink
    Definition Classes
    CostingRules
  339. def monoidBuilder: IRContext.Ref[IRContext.MonoidBuilder]

    Permalink
    Definition Classes
    RuntimeCosting
    Annotations
    @inline()
  340. val nInitialDefs: Int

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

    Permalink
    Definition Classes
    AnyRef
  342. 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
  343. def nodeColor(td: IRContext.TypeDesc, d: IRContext.Def[_])(implicit config: GraphVizConfig): String

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

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

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

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

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

    Permalink

    Return an ExactNumeric for a given type T.

    Return an ExactNumeric for a given type T.

    Definition Classes
    NumericOps
  349. val okMeasureOperationTime: Boolean

    Permalink
    Definition Classes
    RuntimeCosting
  350. val okPrintEvaluatedEntries: Boolean

    Permalink

    Whether to print values of evaluated nodes of the graph.

    Whether to print values of evaluated nodes of the graph.

    Definition Classes
    RuntimeCosting
  351. 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
  352. def onEvaluatedGraphNode(env: IRContext.DataEnv, sym: IRContext.Sym, value: AnyRef): Unit

    Permalink
  353. 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
    RuntimeCostingCostingRulesLibraryBase
  354. def onTreeNodeCosted[T <: SType](ctx: IRContext.RCosted[IRContext.Context], env: IRContext.CostingEnv, node: Value[T], costed: IRContext.RCosted[RuntimeCosting.onTreeNodeCosted.T.WrappedType]): Unit

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

    Permalink
    Definition Classes
    UniversalOps
  356. def opcodeToBinOp[A](opCode: Byte, eA: IRContext.Elem[A]): IRContext.BinOp[A, _]

    Permalink
    Definition Classes
    RuntimeCosting
  357. def opcodeToEndoBinOp[T](opCode: Byte, eT: IRContext.Elem[T]): IRContext.EndoBinOp[T]

    Permalink
    Definition Classes
    RuntimeCosting
  358. var outputComputedResults: Boolean

    Permalink

    Whether to output the computed results of the script.

    Whether to output the computed results of the script.

    Definition Classes
    RuntimeCosting
  359. var outputEstimatedCost: Boolean

    Permalink

    Whether to output the cost value estimated for the script given by ScriptNameProp environment variable

    Whether to output the cost value estimated for the script given by ScriptNameProp environment variable

    Definition Classes
    RuntimeCosting
  360. implicit final def pairElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[(A, B)]

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

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

    Permalink
    Definition Classes
    Functions
  363. def perItemCostOf(node: SValue, arrLength: IRContext.Ref[Int]): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  364. def perKbCostOf(node: SValue, dataSize: IRContext.Ref[Long]): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  365. def perKbCostOf(opName: String, opType: SFunc, dataSize: IRContext.Ref[Long]): IRContext.Ref[Int]

    Permalink
    Definition Classes
    RuntimeCosting
  366. def perKbCostOf(method: SMethod, dataSize: IRContext.Ref[Long]): IRContext.Ref[Int]

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

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  368. def printEnvEntry(sym: IRContext.Sym, value: AnyRef): String

    Permalink
    Attributes
    protected
  369. 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
  370. 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
  371. def registerEntityObject(name: String, obj: IRContext.EntityObject): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    Base
  372. 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
  373. 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
  374. def removeIsProven[T, R](f: (IRContext.Ref[T]) ⇒ IRContext.Ref[Any]): (IRContext.Ref[T]) ⇒ IRContext.Ref[Any]

    Permalink
    Definition Classes
    RuntimeCosting
  375. implicit def repOrderingToOrderingOps[T](x: IRContext.Ref[T])(implicit n: ExactOrdering[T]): IRContext.OrderingOpsCls[T]

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

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

    Permalink
    Definition Classes
    CostedObjectsDefsBase
  378. 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
  379. 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

    Helper method which defines rewriting rules with boolean constants.

    Helper method which defines rewriting rules with boolean constants.

    Definition Classes
    LogicalOps
    Annotations
    @inline()
  380. def rewriteDef[T](d: IRContext.Def[T]): IRContext.Ref[_]

    Permalink

    For performance reasons the patterns are organized in special (non-declarative) way.

    For performance reasons the patterns are organized in special (non-declarative) way. Unfortunately, this is less readable, but gives significant performance boost Look at comments to understand the logic of the rules.

    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
    RuntimeCostingLibraryDefRewriting
  381. 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
    RuntimeCostingMethodCalls
  382. 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
  383. var ruleStack: List[IRContext.CostingRuleStat]

    Permalink
    Definition Classes
    RuntimeCosting
  384. var saveGraphsInFile: Boolean

    Permalink

    Whether to save calcF and costF graphs in the file given by ScriptNameProp environment variable

    Whether to save calcF and costF graphs in the file given by ScriptNameProp environment variable

    Definition Classes
    RuntimeCosting
  385. def selectFieldCost: IRContext.Ref[Int]

    Permalink
    Definition Classes
    CostingRules
    Annotations
    @inline()
  386. def shouldEmitCluster(g: IRContext.AstGraph): Boolean

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

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

    Permalink
    Definition Classes
    GraphVizExport
  389. def sigmaDslBuilder: IRContext.Ref[IRContext.SigmaDslBuilder]

    Permalink
    Definition Classes
    RuntimeCostingSigmaLibrary
    Annotations
    @inline()
  390. implicit lazy val sizeAnyElement: IRContext.Elem[IRContext.Size[Any]]

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

    Permalink
    Definition Classes
    UniversalOps
  392. def sizeOfData[ST, T](x: ST)(implicit lT: Liftable[ST, T]): IRContext.RSize[T]

    Permalink
    Definition Classes
    RuntimeCosting
  393. def specialPredef: IRContext.Ref[WSpecialPredefCompanionCtor]

    Permalink
    Definition Classes
    Library
  394. def splitCostedCollFunc[A, B](f: IRContext.RCostedCollFunc[A, B]): (IRContext.Ref[(A) ⇒ IRContext.Coll[B]], IRContext.Ref[((Int, IRContext.Size[A])) ⇒ (IRContext.Coll[Int], Int)], IRContext.Ref[(IRContext.Size[A]) ⇒ IRContext.Coll[IRContext.Size[B]]])

    Permalink
    Definition Classes
    RuntimeCosting
  395. def splitCostedFunc[A, B](f: IRContext.RFuncCosted[A, B]): (IRContext.Ref[(A) ⇒ B], IRContext.Ref[((Int, IRContext.Size[A])) ⇒ Int], IRContext.Ref[(IRContext.Size[A]) ⇒ IRContext.Size[B]])

    Permalink
    Definition Classes
    RuntimeCosting
  396. def splitCostedFunc2[A, B](f: IRContext.RFuncCosted[A, B], okRemoveIsValid: Boolean): (IRContext.Ref[(A) ⇒ Any], IRContext.Ref[((Int, IRContext.Size[A])) ⇒ Int])

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

    Permalink

    Prettyprint exception message

    Prettyprint exception message

    Attributes
    protected
    Definition Classes
    Base
  398. def stypeToElem[T <: SType](t: T): IRContext.Elem[RuntimeCosting.stypeToElem.T.WrappedType]

    Permalink
    Definition Classes
    RuntimeCosting
  399. var substFromCostTable: Boolean

    Permalink

    Whether to create CostOf nodes or substutute costs from CostTable as constants in the graph.

    Whether to create CostOf nodes or substutute costs from CostTable as constants in the graph. true - substitute; false - create CostOf nodes

    Definition Classes
    RuntimeCosting
  400. implicit final def sumElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[IRContext.|[A, B]]

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

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

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

    Permalink

    Thunk is an instance of container type class Cont.

    Thunk is an instance of container type class Cont.

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

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

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

    Permalink

    Constructs a new thunk node by executing the given block and collecting all the graph node created along the way.

    Constructs a new thunk node by executing the given block and collecting all the graph node created along the way. This methods: 1) starts a new nested ThunkScope, 2) executes the block to obtain resulting graph node 3) schedule thunk body for execution order 4) adds a new ThunkDef node and returns its reference.

    returns

    a reference to the newly created ThunkDef node

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

    Permalink

    Logical force of the thunk.

    Logical force of the thunk. Depending on isInlineThunksOnForce it either inlines the thunk body or creates a new ThunkForce node.

    returns

    a reference to the graph node, which represent the result of the thunk's evaluation.

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

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

    Permalink
    Definition Classes
    Thunks
  410. 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
  411. implicit final def toLazyElem[A](implicit eA: IRContext.Elem[A]): IRContext.LElem[A]

    Permalink
    Definition Classes
    TypeDescs
  412. 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
  413. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  414. 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
  415. def tryCast[To](x: IRContext.Ref[IRContext.Def[_]])(implicit eTo: IRContext.Elem[To]): IRContext.Ref[To]

    Permalink
    Definition Classes
    CostingRules
  416. 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
  417. val tuplesCache: AVHashMap[IRContext.Ref[_], (IRContext.Ref[_], IRContext.Ref[_])]

    Permalink
    Definition Classes
    Tuples
  418. def typeSize[T](implicit arg0: IRContext.Elem[T]): IRContext.Ref[Long]

    Permalink
    Definition Classes
    RuntimeCosting
  419. def typeSize(tpe: SType): IRContext.Ref[Long]

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

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

    Permalink
    Definition Classes
    Functions
  422. 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
  423. 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
  424. def unzipPair[A, B](p: IRContext.Ref[(A, B)]): (IRContext.Ref[A], IRContext.Ref[B])

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

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

    Permalink
    Definition Classes
    Functions
  427. 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
  428. 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
  429. 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()
  430. def variable[T](implicit eT: IRContext.LElem[T]): IRContext.Ref[T]

    Permalink
    Definition Classes
    Base
    Annotations
    @inline()
  431. def verifyCostFunc(costF: IRContext.Ref[(Any) ⇒ Int]): Try[Unit]

    Permalink

    Checks if the function (Lambda node) given by the symbol costF contains only allowed operations in the schedule.

  432. def verifyIsProven[T](f: IRContext.Ref[(IRContext.Context) ⇒ T]): Try[Unit]

    Permalink

    Checks that if SigmaProp.isProven method calls exists in the given Lambda's schedule, then it is the last operation.

  433. implicit lazy val wRTypeAnyElement: IRContext.Elem[IRContext.WRType[Any]]

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

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  437. def withConstantSize[T](v: IRContext.Ref[T], cost: IRContext.Ref[Int]): IRContext.RCosted[T]

    Permalink
    Definition Classes
    RuntimeCosting
  438. def zeroSize[V](eVal: IRContext.Elem[V]): IRContext.RSize[V]

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

    Permalink
    Definition Classes
    Tuples

Inherited from RuntimeCosting

Inherited from CostingRules

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