RuntimeCosting

trait RuntimeCosting extends Scalan with CostingRules

Self Type: IRContext

Linear Supertypes

CostingRules, SigmaLibrary, CostedObjectsModule, CostedObjectsDefs, CostedObjects, SigmaDslModule, SigmaDslDefs, SigmaDsl, WrappersModule, Library, CostedOptionsModule, CostedOptionsDefs, CostedOptions, MonoidInstancesModule, MonoidInstancesDefs, MonoidInstances, MonoidsModule, MonoidsDefs, Monoids, ConcreteCostsModule, ConcreteCostsDefs, ConcreteCosts, ConcreteSizesModule, ConcreteSizesDefs, ConcreteSizes, CostsModule, CostsDefs, Costs, SizesModule, SizesDefs, Sizes, CollsModule, CollsDefs, Colls, WrappersSpecModule, WrappersSpecDefs, WrappersSpec, WrappersModule, WRTypesModule, WRTypesDefs, WRTypes, WOptionsModule, WOptionsDefs, WOptions, WSpecialPredefsModule, WSpecialPredefsDefs, WSpecialPredefs, Scalan, DefRewriting, Modules, Entities, Thunks, IfThenElse, Functions, ProgramGraphs, AstGraphs, Transforming, UniversalOps, Equal, OrderingOps, LogicalOps, UnBinOps, NumericOps, Tuples, MethodCalls, GraphVizExport, TypeDescs, Base, AnyRef, Any

Known Subclasses

CompiletimeCosting, CompiletimeIRContext, Evaluation, IRContext, RuntimeIRContext, TreeBuilding

Ordering

Alphabetic
By Inheritance

Inherited

RuntimeCosting
CostingRules
SigmaLibrary
CostedObjectsModule
CostedObjectsDefs
CostedObjects
SigmaDslModule
SigmaDslDefs
SigmaDsl
WrappersModule
Library
CostedOptionsModule
CostedOptionsDefs
CostedOptions
MonoidInstancesModule
MonoidInstancesDefs
MonoidInstances
MonoidsModule
MonoidsDefs
Monoids
ConcreteCostsModule
ConcreteCostsDefs
ConcreteCosts
ConcreteSizesModule
ConcreteSizesDefs
ConcreteSizes
CostsModule
CostsDefs
Costs
SizesModule
SizesDefs
Sizes
CollsModule
CollsDefs
Colls
WrappersSpecModule
WrappersSpecDefs
WrappersSpec
WrappersModule
WRTypesModule
WRTypesDefs
WRTypes
WOptionsModule
WOptionsDefs
WOptions
WSpecialPredefsModule
WSpecialPredefsDefs
WSpecialPredefs
Scalan
DefRewriting
Modules
Entities
Thunks
IfThenElse
Functions
ProgramGraphs
AstGraphs
Transforming
UniversalOps
Equal
OrderingOps
LogicalOps
UnBinOps
NumericOps
Tuples
MethodCalls
GraphVizExport
TypeDescs
Base
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Type Members

abstract class BaseDef[+T] extends Scalan.Node with Scalan.Def[T]
Base class for most predefined operations.
Base class for most predefined operations.

Definition Classes
Base
abstract class CompanionDef[T] extends Scalan.Node with Scalan.Def[T]
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
case class Const[T](x: T)(implicit eT: Scalan.Elem[T]) extends Scalan.BaseDef[T] with Product with Serializable
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
trait Def[+T] extends Scalan.Node
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
class EntityObject extends AnyRef
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
case class EntityObjectOwner(obj: Scalan.EntityObject) extends Scalan.OwnerKind with Product with Serializable

Definition Classes
Base
abstract class Node extends Product
Base class for all IR nodes/operations/definitions.
Base class for all IR nodes/operations/definitions.

Definition Classes
Base
class NotImplementedStagingException extends Scalan.StagingException

Definition Classes
Base
sealed abstract class OwnerKind extends AnyRef
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
case class Placeholder[T](eT: Scalan.LElem[T]) extends Scalan.Node with Scalan.Def[T] with Product with Serializable
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
abstract class Ref[+T] extends AnyRef
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
final class SingleRef[+T] extends Scalan.Ref[T]
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
class StagingException extends RuntimeException

Definition Classes
Base
abstract class Transformer extends AnyRef
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
case class Variable[T](varId: Int)(implicit eT: Scalan.LElem[T]) extends Scalan.Node with Scalan.Def[T] with Product with Serializable
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
abstract class CompanionElem[T] extends Scalan.Elem[T]
Base class for all descriptors of staged companions
Base class for all descriptors of staged companions

Definition Classes
Entities
trait ConcreteElem[TData, TClass] extends Scalan.EntityElem[TClass]
Base class for all descriptors of staged classes.
Base class for all descriptors of staged classes.

Definition Classes
Entities
trait ConcreteElem1[A, TData, TClass, C[_]] extends Scalan.EntityElem1[A, TClass, C]
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
abstract class EntityElem[A] extends Scalan.Elem[A] with Equals
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
abstract class EntityElem1[A, To, C[_]] extends Scalan.EntityElem[To]
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
case class InvokeFailure(exception: Throwable) extends Scalan.InvokeResult with Product with Serializable
Exception thrown during MethodCall invocation.
Exception thrown during MethodCall invocation.

Definition Classes
MethodCalls
sealed abstract class InvokeResult extends AnyRef
Result of MethodCall invocation.
Result of MethodCall invocation.

Definition Classes
MethodCalls
See also
tryInvoke
case class InvokeSuccess(result: Scalan.Ref[_]) extends Scalan.InvokeResult with Product with Serializable
Successful MethodCall invocation with the given result.
Successful MethodCall invocation with the given result.

Definition Classes
MethodCalls
case class MethodCall extends Scalan.Node with Scalan.Def[Any] with Product with Serializable
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
case class NewObject[A](eA: Scalan.Elem[A], args: Seq[Any]) extends Scalan.BaseDef[A] with Product with Serializable
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
abstract class BaseElem[A] extends Scalan.Elem[A] with Serializable with Equals

Definition Classes
TypeDescs
class BaseElemLiftable[A] extends Scalan.BaseElem[A]
Type descriptor for primitive types.
Type descriptor for primitive types. There is implicit val declaration for each primitive type.

Definition Classes
TypeDescs
abstract class Cont[F[_]] extends Scalan.TypeDesc
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}." )
abstract class Elem[A] extends Scalan.TypeDesc
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}." )
class ElemCacheEntry extends AnyRef
Elements cache information for each Elem class.
Elements cache information for each Elem class.

Definition Classes
TypeDescs
case class EnvRep[A](run: (Scalan.DataEnv) ⇒ (Scalan.DataEnv, Scalan.Ref[A])) extends Product with Serializable
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
case class FuncElem[A, B](eDom: Scalan.Elem[A], eRange: Scalan.Elem[B]) extends Scalan.Elem[(A) ⇒ B] with Product with Serializable
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
trait Functor[F[_]] extends Scalan.Cont[F]

Definition Classes
TypeDescs
sealed abstract class MethodDesc extends AnyRef

Definition Classes
TypeDescs
case class PairElem[A, B](eFst: Scalan.Elem[A], eSnd: Scalan.Elem[B]) extends Scalan.Elem[(A, B)] with Product with Serializable
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
case class RMethodDesc(method: Method) extends Scalan.MethodDesc with Product with Serializable

Definition Classes
TypeDescs
case class SumElem[A, B](eLeft: Scalan.Elem[A], eRight: Scalan.Elem[B]) extends Scalan.Elem[Scalan.|[A, B]] with Product with Serializable
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
abstract class TypeDesc extends Serializable

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

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

Definition Classes
GraphVizExport
implicit class SeqExpExtensionsForEmitGraph extends AnyRef

Definition Classes
GraphVizExport
implicit class EqualOps[A] extends AnyRef
Extension methods to construct ApplyBinOp nodes
Extension methods to construct ApplyBinOp nodes

Definition Classes
Equal
case class Equals[A]()(implicit evidence$1: Scalan.Elem[A]) extends Scalan.BinOp[A, Boolean] with Product with Serializable
Binary operation representing structural equality between arguments.
Binary operation representing structural equality between arguments.

Definition Classes
Equal
case class NotEquals[A]()(implicit evidence$2: Scalan.Elem[A]) extends Scalan.BinOp[A, Boolean] with Product with Serializable
Binary operation representing structural inequality between arguments.
Binary operation representing structural inequality between arguments.

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

Definition Classes
Functions
implicit class FuncExtensions[A, B] extends AnyRef

Definition Classes
Functions
class Lambda[A, B] extends Scalan.AstGraph with Scalan.Def[(A) ⇒ B]
Represent lambda expression as IR node.
Represent lambda expression as IR node.

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

Definition Classes
Functions
class LambdaStack extends AnyRef

Definition Classes
Functions
class ElseIfBranch[T] extends AnyRef
Defines syntax available after IF (cond) THEN thenp ELSEIF (cond1)
Defines syntax available after IF (cond) THEN thenp ELSEIF (cond1)

Definition Classes
IfThenElse
class IfBranch extends AnyRef
Defines syntax available after IF (cond)
Defines syntax available after IF (cond)

Definition Classes
IfThenElse
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
IR node to represent IF condition with lazy branches.
IR node to represent IF condition with lazy branches.

Definition Classes
IfThenElse
class ThenIfBranch[T] extends AnyRef
Defines syntax available after IF (cond) THEN thenp
Defines syntax available after IF (cond) THEN thenp

Definition Classes
IfThenElse
implicit class RepBooleanOps extends AnyRef

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

Definition Classes
NumericOps
class DivOp[T] extends Scalan.EndoBinOp[T]

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

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

Definition Classes
NumericOps
implicit class IntegralOpsCls[T] extends AnyRef

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

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

Definition Classes
NumericOps
implicit class NumericOpsCls[T] extends AnyRef

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

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

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

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

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

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

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

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

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

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

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

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

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

Definition Classes
OrderingOps
class OrderingOpsCls[T] extends AnyRef

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

Definition Classes
Thunks
implicit class RepThunkOps[T] extends AnyRef

Definition Classes
Thunks
trait Thunk[+A] extends AnyRef

Definition Classes
Thunks
class ThunkCompanion extends AnyRef

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

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

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

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

Definition Classes
Thunks
class ThunkScope extends AnyRef

Definition Classes
Thunks
class ThunkStack extends AnyRef

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

Definition Classes
Tuples
implicit class ListOps[A, B] extends AnyRef

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

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

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

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

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

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

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

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

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

Definition Classes
UnBinOps
class BinOp[A, R] extends AnyRef

Definition Classes
UnBinOps
class UnOp[A, R] extends AnyRef

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

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

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

Definition Classes
UniversalOps
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
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 yand intocost of z, so in the cost of resit 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
implicit class RepUniversalOps[A] extends AnyRef

Definition Classes
UniversalOps
case class SizeOf[T](value: Scalan.Ref[T]) extends Scalan.BaseDef[Long] with Product with Serializable
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
case class ToString[A]() extends Scalan.UnOp[A, String] with Product with Serializable

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

Definition Classes
UniversalOps
abstract class AstGraph extends Scalan.Node
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
case class GraphNode(sym: Scalan.Sym, usages: Buffer[Int]) extends Product with Serializable
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
class PGraphUsages extends DFunc[Int, Buffer[Int]]
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
case class ProgramGraph(roots: Seq[Scalan.Sym], mapping: Nullable[Scalan.Transformer], filterNode: Nullable[(Scalan.Sym) ⇒ Boolean]) extends Scalan.AstGraph with Product with Serializable
Immutable graph collected from roots following Ref.node.deps links.
Immutable graph collected from roots following Ref.node.deps links.

Definition Classes
ProgramGraphs
class DefaultPass extends Scalan.Pass
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
case class MapTransformer(subst: HashMap[Scalan.Sym, Scalan.Sym]) extends Scalan.Transformer with Product with Serializable
Concrete and default implementation of Transformer using underlying HashMap.
Concrete and default implementation of Transformer using underlying HashMap.

Definition Classes
Transforming
abstract class Mirror extends AnyRef
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
implicit class PartialRewriter extends Scalan.Rewriter
Turns partial function into rewriter (i.e.
Turns partial function into rewriter (i.e. set of rewriting rules)

Definition Classes
Transforming
abstract class Pass extends AnyRef
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
case class PassConfig(shouldUnpackTuples: Boolean = false, shouldExtractFields: Boolean = true, constantPropagation: Boolean = true, shouldSlice: Boolean = false) extends Product with Serializable
Configuration parameters of the Pass descriptor.
Configuration parameters of the Pass descriptor.

Definition Classes
Transforming
abstract class Rewriter extends AnyRef

Definition Classes
Transforming
class AvlTreeCoster extends IRContext.Coster[IRContext.AvlTree]
Costing rules for SAvlTree methods
Costing rules for SAvlTree methods

Definition Classes
CostingRules
class BoxCoster extends IRContext.Coster[IRContext.Box]
Costing rules for SBox methods
Costing rules for SBox methods

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

Definition Classes
CostingRules
class CollCoster[T] extends IRContext.Coster[IRContext.Coll[T]]
Costing rules for SCollection methods (see object SCollection)
Costing rules for SCollection methods (see object SCollection)

Definition Classes
CostingRules
class ContextCoster extends IRContext.Coster[IRContext.Context]
Costing rules for SContext methods
Costing rules for SContext methods

Definition Classes
CostingRules
abstract class Coster[T] extends AnyRef
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
abstract class CostingHandler[T] extends AnyRef
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
class GroupElementCoster extends IRContext.Coster[IRContext.GroupElement]
Costing rules for SGroupElement methods
Costing rules for SGroupElement methods

Definition Classes
CostingRules
class HeaderCoster extends IRContext.Coster[IRContext.Header]
Costing rules for SHeader methods
Costing rules for SHeader methods

Definition Classes
CostingRules
class KnownCollInfo[T] extends AnyRef

Definition Classes
CostingRules
class OptionCoster[T] extends IRContext.Coster[IRContext.WOption[T]]
Costing rules for SOption methods (see object SOption)
Costing rules for SOption methods (see object SOption)

Definition Classes
CostingRules
class PreHeaderCoster extends IRContext.Coster[IRContext.PreHeader]
Costing rules for SPreHeader methods
Costing rules for SPreHeader methods

Definition Classes
CostingRules
class SigmaDslBuilderCoster extends IRContext.Coster[IRContext.SigmaDslBuilder]
Costing rules for SGlobal methods
Costing rules for SGlobal methods

Definition Classes
CostingRules
case class CostOf(opName: String, opType: SFunc) extends IRContext.BaseDef[Int] with Product with Serializable
To enable specific configuration uncomment one of the lines above and use it in the beginPass below.
type CostedCollFunc[A, B] = (IRContext.Costed[A]) ⇒ IRContext.CostedColl[B]
type CostedOptionFunc[A, B] = (IRContext.Costed[A]) ⇒ IRContext.CostedOption[B]
type CostedTh[T] = IRContext.Ref[IRContext.Thunk[IRContext.Costed[T]]]
trait CostedThunk[A] extends IRContext.Node with IRContext.Costed[IRContext.Thunk[A]]
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
type CostingEnv = Map[Any, IRContext.RCosted[_]]
class CostingRuleStat extends AnyRef
type DataEnv = Map[IRContext.Sym, AnyRef]
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
class ElemAccessor[T] extends AnyRef
implicit class ElemOpsForCosting extends AnyRef
type EndoBinOp[A] = IRContext.BinOp[A, A]

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

Definition Classes
UnBinOps
type LElem[A] = Lazy[IRContext.Elem[A]]
Type descriptor which is computed lazily on demand.
Type descriptor which is computed lazily on demand.

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

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

Definition Classes
Library
type PGraph = IRContext.ProgramGraph

Definition Classes
ProgramGraphs
case class PerKbCostOf(operId: OperationId, size: IRContext.Ref[Long]) extends IRContext.BaseDef[Int] with Product with Serializable
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
type RColl[T] = IRContext.Ref[IRContext.Coll[T]]
type RCosted[A] = IRContext.Ref[IRContext.Costed[A]]

Definition Classes
Library
type RCostedColl[T] = IRContext.Ref[IRContext.CostedColl[T]]
type RCostedCollFunc[A, B] = IRContext.Ref[IRContext.CostedCollFunc[A, B]]
implicit class RCostedCollFuncOps[A, B] extends AnyRef
type RCostedOption[T] = IRContext.Ref[IRContext.CostedOption[T]]
type RCostedOptionFunc[A, B] = IRContext.Ref[IRContext.CostedOptionFunc[A, B]]
type RFunc[-A, +B] = IRContext.Ref[(A) ⇒ B]

Definition Classes
Base
type RFuncCosted[A, B] = IRContext.Ref[(IRContext.Costed[A]) ⇒ IRContext.Costed[B]]
implicit class RFuncCostedOps[A, B] extends AnyRef
type ROption[T] = IRContext.Ref[IRContext.WOption[T]]
type RPair[+A, +B] = IRContext.Ref[(A, B)]

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

Definition Classes
Library
type SThunk[T] = () ⇒ T

Definition Classes
Thunks
type Schedule = Seq[IRContext.Sym]
Type synonim for graph schedules.
Type synonim for graph schedules.

Definition Classes
AstGraphs
type ScheduleIds = Buffer[Int]
Alternative representation of schedules using node ids.
Alternative representation of schedules using node ids.

Definition Classes
AstGraphs
trait SizeThunk[A] extends IRContext.Node with IRContext.Size[IRContext.Thunk[A]]
case class SizeThunkCtor[A](sizeBlock: IRContext.Ref[IRContext.Thunk[IRContext.Size[A]]]) extends IRContext.Node with IRContext.SizeThunk[A] with Product with Serializable
type Subst = HashMap[IRContext.Sym, IRContext.Sym]

Definition Classes
Functions
type Sym = IRContext.Ref[_]
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
type Th[+T] = IRContext.Ref[IRContext.Thunk[T]]

Definition Classes
Thunks
type |[+A, +B] = Either[A, B]

Definition Classes
Base
trait Coll[A] extends scalan.Library.Node with scalan.Library.Def[scalan.Library.Coll[A]]

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

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

Definition Classes
Colls
trait CollCompanion extends AnyRef

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

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

Definition Classes
Colls
trait ReplColl[A] extends scalan.Library.Node with scalan.Library.Coll[A]

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

Definition Classes
Colls
abstract class CCostedBuilder extends scalan.Library.Node with scalan.Library.CostedBuilder

Definition Classes
ConcreteCosts
trait CCostedBuilderCompanion extends AnyRef

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

Definition Classes
ConcreteCosts
trait CCostedCollCompanion extends AnyRef

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

Definition Classes
ConcreteCosts
trait CCostedFuncCompanion extends AnyRef

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

Definition Classes
ConcreteCosts
trait CCostedPairCompanion extends AnyRef

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

Definition Classes
ConcreteCosts
trait CCostedPrimCompanion extends AnyRef

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

Definition Classes
ConcreteSizes
trait CSizeCollCompanion extends AnyRef

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

Definition Classes
ConcreteSizes
trait CSizeFuncCompanion extends AnyRef

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

Definition Classes
ConcreteSizes
trait CSizeOptionCompanion extends AnyRef

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

Definition Classes
ConcreteSizes
trait CSizePairCompanion extends AnyRef

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

Definition Classes
ConcreteSizes
trait CSizePrimCompanion extends AnyRef

Definition Classes
ConcreteSizes
abstract class CCostedOption[T] extends scalan.Library.Node with scalan.Library.CostedOption[T]

Definition Classes
CostedOptions
trait CCostedOptionCompanion extends AnyRef

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

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

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

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

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

Definition Classes
Costs
trait CostedCompanion extends AnyRef

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

Definition Classes
Costs
trait CostedFuncCompanion extends AnyRef

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

Definition Classes
Costs
trait CostedOptionCompanion extends AnyRef

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

Definition Classes
Costs
trait CostedPairCompanion extends AnyRef

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

Definition Classes
Costs
trait CostedPrimCompanion extends AnyRef

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

Definition Classes
MonoidInstances
trait IntPlusMonoidCompanion extends AnyRef

Definition Classes
MonoidInstances
abstract class LongPlusMonoid extends scalan.Library.Node with scalan.Library.Monoid[Long]

Definition Classes
MonoidInstances
trait LongPlusMonoidCompanion extends AnyRef

Definition Classes
MonoidInstances
abstract class MonoidBuilderInst extends scalan.Library.Node with scalan.Library.MonoidBuilder

Definition Classes
MonoidInstances
trait MonoidBuilderInstCompanion extends AnyRef

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

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

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

Definition Classes
Monoids
trait MonoidCompanion extends AnyRef

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

Definition Classes
Sizes
Annotations
@Liftable() @WithMethodCallRecognizers()
trait SizeColl[Item] extends scalan.Library.Node with scalan.Library.Size[scalan.Library.Coll[Item]]

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

Definition Classes
Sizes
trait SizeCompanion extends AnyRef

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

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

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

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

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

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

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

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

Definition Classes
Sizes
trait SizeAnyValue extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.AnyValue]

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

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

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

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

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

Definition Classes
CostedObjects
trait SizeContext extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.Context]

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

Definition Classes
CostedObjects
trait SizeSigmaProp extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Size[scalan.SigmaLibrary.SigmaProp]

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

Definition Classes
CostedObjects
trait AnyValue extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.AnyValue]

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

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

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

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

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

Definition Classes
SigmaDsl
trait Box extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.Box]

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

Definition Classes
SigmaDsl
trait Context extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.Context]

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

Definition Classes
SigmaDsl
trait CostModel extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.CostModel]

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

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

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

Definition Classes
SigmaDsl
trait Header extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.Header]

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

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

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

Definition Classes
SigmaDsl
trait SigmaContract extends scalan.SigmaLibrary.Node with scalan.SigmaLibrary.Def[scalan.SigmaLibrary.SigmaContract]

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

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

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

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

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

Definition Classes
SigmaDsl
trait OptionWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

Definition Classes
WrappersSpec
trait OptionWrapSpecCompanion extends AnyRef

Definition Classes
WrappersSpec
trait RTypeWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

Definition Classes
WrappersSpec
trait RTypeWrapSpecCompanion extends AnyRef

Definition Classes
WrappersSpec
trait SpecialPredefWrapSpec extends scalan.Library.Node with scalan.Library.WrapSpecBase

Definition Classes
WrappersSpec
trait SpecialPredefWrapSpecCompanion extends AnyRef

Definition Classes
WrappersSpec
trait WrapSpecBase extends scalan.Library.Node with scalan.Library.Def[scalan.Library.WrapSpecBase] with WrapSpec

Definition Classes
WrappersSpec
trait WrapSpecBaseCompanion extends AnyRef

Definition Classes
WrappersSpec
trait WOption[A] extends special.wrappers.WrappersModule.Node with special.wrappers.WrappersModule.Def[special.wrappers.WrappersModule.WOption[A]]

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

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

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

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

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

Definition Classes
WSpecialPredefs

Abstract Value Members

abstract val builder: SigmaBuilder
Should be specified in the final cake

Concrete Value Members

object &&
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
object Def

Definition Classes
Base
object ExpWithElem

Definition Classes
Base
object Liftables
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
object NoOwner extends Scalan.OwnerKind with Product with Serializable

Definition Classes
Base
object ScalanOwner extends Scalan.OwnerKind with Product with Serializable

Definition Classes
Base
object IsNumericToInt

Definition Classes
Library
object IsNumericToLong

Definition Classes
Library
object InvokeImpossible extends Scalan.InvokeResult with Product with Serializable
Invocation is not possible, e.g.
Invocation is not possible, e.g. when receiver doesn't implemented the method.

Definition Classes
MethodCalls
object Elem extends Serializable

Definition Classes
TypeDescs
object EnvRep extends Serializable

Definition Classes
TypeDescs
object ConstantLambda
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
object IdentityLambda

Definition Classes
Functions
object Lambda

Definition Classes
Functions
object VeryConstantLambda
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
object ConstantThunk

Definition Classes
Thunks
object ThunkDef

Definition Classes
Thunks
object IsPair

Definition Classes
Tuples
object Pair

Definition Classes
Tuples
object ProgramGraph extends Serializable

Definition Classes
ProgramGraphs
object MapTransformer extends Serializable

Definition Classes
Transforming
object Pass

Definition Classes
Transforming
object AvlTreeCoster extends IRContext.CostingHandler[IRContext.AvlTree]

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

Definition Classes
CostingRules
object CollCoster extends IRContext.CostingHandler[IRContext.Coll[Any]]

Definition Classes
CostingRules
object ContextCoster extends IRContext.CostingHandler[IRContext.Context]

Definition Classes
CostingRules
object GroupElementCoster extends IRContext.CostingHandler[IRContext.GroupElement]
CostingHandler for SGroupElement, see SGroupElement.coster
CostingHandler for SGroupElement, see SGroupElement.coster

Definition Classes
CostingRules
object HeaderCoster extends IRContext.CostingHandler[IRContext.Header]

Definition Classes
CostingRules
object OptionCoster extends IRContext.CostingHandler[IRContext.WOption[Any]]

Definition Classes
CostingRules
object PreHeaderCoster extends IRContext.CostingHandler[IRContext.PreHeader]

Definition Classes
CostingRules
object SigmaDslBuilderCoster extends IRContext.CostingHandler[IRContext.SigmaDslBuilder]

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

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

Definition Classes
Base
def !!!: Nothing
Helper methods to throw errors
Helper methods to throw errors

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

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

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

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

Definition Classes
Base
def ???: Nothing

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

Definition Classes
LogicalOps
val AnyElement: IRContext.Elem[Any]
Type descriptor for Any, cannot be used implicitly.
Type descriptor for Any, cannot be used implicitly.

Definition Classes
TypeDescs
val AnyRefElement: IRContext.Elem[AnyRef]
Type descriptor for AnyRef, cannot be used implicitly.
Type descriptor for AnyRef, cannot be used implicitly.

Definition Classes
TypeDescs
val AvlTreeDigestInfo: IRContext.KnownCollInfo[Byte]

Definition Classes
CostingRules
val BinaryXorOp: IRContext.BinOp[Boolean, Boolean]

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

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

Definition Classes
LogicalOps
val BoxBytesInfo: IRContext.KnownCollInfo[Byte]

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

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

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

Definition Classes
TypeDescs
val CM: CollMethods.type

Definition Classes
Library
implicit val CharElement: IRContext.Elem[Char]

Definition Classes
TypeDescs
def Colls: special.collection.CollBuilder

Annotations
@inline()
def CostOfDHTuple: IRContext.Ref[Int]

Annotations
@inline()
def CostOfProveDlog: IRContext.Ref[Int]

Annotations
@inline()
val DefaultMirror: IRContext.Mirror
Default Mirror instance which is used in core IR methods.
Default Mirror instance which is used in core IR methods.

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

Definition Classes
TypeDescs
val DowncastBigIntOpType: SFunc
val EValOfSizeColl: IRContext.ElemAccessor[IRContext.Coll[IRContext.Size[Any]]]
val EmptyTypeArgs: ListMap[String, (IRContext.TypeDesc, Variance)]
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
val EncodedGroupElementInfo: IRContext.KnownCollInfo[Byte]

Definition Classes
CostingRules
implicit val FloatElement: IRContext.Elem[Float]

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

Definition Classes
TypeDescs
val HashInfo: IRContext.KnownCollInfo[Byte]

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

Definition Classes
CostingRules
def IF(cond: IRContext.Ref[Boolean]): IRContext.IfBranch
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
implicit val IntElement: IRContext.Elem[Int]

Definition Classes
TypeDescs
final def IntZero: IRContext.Ref[Int]
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()
val LazyAnyElement: Lazy[IRContext.Elem[Any]]
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
val LongBytesInfo: IRContext.KnownCollInfo[Byte]

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

Definition Classes
TypeDescs
val NoRewriting: IRContext.Rewriter
Identity rewriter, i.e.
Identity rewriter, i.e. doesn't change the graph when applied.

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

Definition Classes
CostingRules
val Not: IRContext.UnOp[Boolean, Boolean]

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

Definition Classes
TypeDescs
val Or: IRContext.BinOp[Boolean, Boolean]

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

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

Definition Classes
TypeDescs
def RCostedThunk[A](costedBlock: IRContext.Ref[IRContext.Thunk[IRContext.Costed[A]]], thunkCost: IRContext.Ref[Int]): IRContext.Ref[IRContext.Costed[IRContext.Thunk[A]]]
def RSizeThunk[A](sizeBlock: IRContext.Ref[IRContext.Thunk[IRContext.Size[A]]]): IRContext.Ref[IRContext.Size[IRContext.Thunk[A]]]
def SOME[A](x: IRContext.Ref[A]): IRContext.Ref[IRContext.WOption[A]]

Definition Classes
CostingRules
implicit val ShortElement: IRContext.Elem[Short]

Definition Classes
TypeDescs
def SigmaDsl: CostingSigmaDslBuilder.type

Annotations
@inline()
val SigmaPropBytesInfo: IRContext.KnownCollInfo[Byte]

Definition Classes
CostingRules
def SizeAvlTree: IRContext.RSize[IRContext.AvlTree]

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

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

Definition Classes
CostingRules
Annotations
@inline()
def SizeByte: IRContext.RSize[Byte]

Definition Classes
CostingRules
Annotations
@inline()
def SizeGroupElement: IRContext.RSize[IRContext.GroupElement]

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

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

Definition Classes
CostingRules
Annotations
@inline()
def SizeShort: IRContext.RSize[Short]

Definition Classes
CostingRules
Annotations
@inline()
def SizeSigmaProposition: IRContext.RSize[IRContext.SigmaProp]

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

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

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

Definition Classes
CostingRules
Annotations
@inline()
implicit val StringElement: IRContext.Elem[String]

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

Definition Classes
TypeDescs
val Thunk: IRContext.ThunkCompanion

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

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

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

Definition Classes
TypeDescs
val UpcastBigIntOpType: SFunc
val VotesInfo: IRContext.KnownCollInfo[Byte]

Definition Classes
CostingRules
def WRTypeSigmaProp: IRContext.Ref[IRContext.WRType[IRContext.SigmaProp]]

Definition Classes
CostingRules
Annotations
@inline()
val _costOfProveDHTuple: IRContext.CostOf
val _costOfProveDlogEval: IRContext.CostOf
val _currentPass: IRContext.Pass

Definition Classes
Transforming
def adaptSigmaBoolean(v: BoolValue): Value[SBoolean.type]
final def allContextDependant(syms: Array[IRContext.Sym]): Boolean

Annotations
@inline()
def alphaEqual(s1: IRContext.Sym, s2: IRContext.Sym): Boolean

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

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

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

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

Annotations
@inline()
def asCostedColl[T](collC: IRContext.RCosted[IRContext.Coll[T]]): IRContext.Ref[IRContext.CostedColl[T]]

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

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

Definition Classes
CostingRules
final def asElem[T](d: IRContext.TypeDesc): IRContext.Elem[T]
Helper type case method.
Helper type case method.

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

Definition Classes
Any
final def asRep[T](x: IRContext.Ref[_]): IRContext.Ref[T]
Helper to type cast node references.
Helper to type cast node references.

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

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

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

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

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

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

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

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

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

Definition Classes
UniversalOps
def attachCost[T](source: IRContext.RCosted[T], accCost: IRContext.Ref[Int], cost: IRContext.Ref[Int]): IRContext.RCosted[T]
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.
def beginPass(pass: IRContext.Pass): Unit
Called to setup IR before the new pass is executed.
Called to setup IR before the new pass is executed.

Definition Classes
Transforming
def buildCostedGraph[T](envVals: Map[Any, SValue], tree: SValue): IRContext.Ref[(IRContext.Costed[IRContext.Context]) ⇒ IRContext.Costed[T]]
val cacheElems: Boolean
Whether IR type descriptors should be cached.
Whether IR type descriptors should be cached.

Definition Classes
Base
val cachePairs: Boolean
Whether Tup instances should be cached.
Whether Tup instances should be cached.

Definition Classes
Base
final def cachedElemByClass[E <: IRContext.Elem[_]](args: AnyRef*)(implicit clazz: Class[E]): E
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
def canBeInvoked(d: IRContext.Def[_], m: Method, args: Array[AnyRef]): Boolean
Method invocation checker.
Method invocation checker.

Attributes
protected
Definition Classes
MethodCalls
def clone(): AnyRef

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

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

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

Definition Classes
RuntimeCosting → Library
Annotations
@inline()
def compose[A, B, C](f: IRContext.Ref[(B) ⇒ C], g: IRContext.Ref[(A) ⇒ B]): IRContext.Ref[(A) ⇒ C]
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
def constCost[T](implicit arg0: IRContext.Elem[T]): IRContext.Ref[Int]
def constCost(tpe: SType): IRContext.Ref[Int]
def constFun[A, B](x: IRContext.Ref[B])(implicit e: IRContext.Elem[A]): IRContext.Ref[(A) ⇒ B]

Definition Classes
Functions
def constantTypeSize[T](implicit eT: IRContext.Elem[T]): IRContext.RSize[T]
final def container[F[_]](implicit arg0: IRContext.Cont[F]): IRContext.Cont[F]

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

Definition Classes
TypeDescs
def cost[T](env: ScriptEnv, typed: SValue): IRContext.Ref[(IRContext.Costed[IRContext.Context]) ⇒ IRContext.Costed[T]]
def costOf(v: SValue): IRContext.Ref[Int]
def costOf(method: SMethod): IRContext.Ref[Int]
def costOf(opName: String, opType: SFunc): IRContext.Ref[Int]
def costOf(opName: String, opType: SFunc, doEval: Boolean): IRContext.Ref[Int]
def costOf(costOp: IRContext.CostOf, doEval: Boolean): IRContext.Ref[Int]
def costOfSigmaTree(sigmaTree: SigmaBoolean): Int
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]]
def costedBuilder: IRContext.Ref[IRContext.CostedBuilder]

Definition Classes
RuntimeCosting → Library
Annotations
@inline()
def costedGlobal: IRContext.RCosted[IRContext.SigmaDslBuilder]

Annotations
@inline()
def costedPrimToColl[A](coll: IRContext.Ref[IRContext.Coll[A]], c: IRContext.Ref[Int], s: IRContext.RSize[IRContext.Coll[A]]): IRContext.RCostedColl[A]
def costedPrimToOption[A](opt: IRContext.Ref[IRContext.WOption[A]], c: IRContext.Ref[Int], s: IRContext.RSize[IRContext.WOption[A]]): IRContext.RCostedOption[A]
def costedPrimToPair[A, B](p: IRContext.Ref[(A, B)], c: IRContext.Ref[Int], s: IRContext.RSize[(A, B)]): IRContext.Ref[IRContext.CCostedPair[A, B]]
def createDefinition[T](optScope: Nullable[IRContext.ThunkScope], s: IRContext.Ref[T], d: IRContext.Def[T]): IRContext.Ref[T]
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
RuntimeCosting → Base
See also
super.createDefinition, isSupportedIndexExpression
def currentPass: IRContext.Pass
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
val debugModeSanityChecks: Boolean
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
def defCount: Int
Returns a number of definitions added to this IR context.
Returns a number of definitions added to this IR context.

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

Definition Classes
Base
def defaultGraphVizConfig: GraphVizConfig

Definition Classes
GraphVizExport
def delayInvoke: Nothing

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

Definition Classes
UniversalOps
val eCollByte: IRContext.Elem[IRContext.Coll[Byte]]
val ePairOfCollByte: IRContext.Elem[(IRContext.Coll[Byte], IRContext.Coll[Byte])]
val elemCache: AVHashMap[Class[_], IRContext.ElemCacheEntry]

Attributes
protected
Definition Classes
TypeDescs
def elemToCostedElem[T](implicit e: IRContext.Elem[T]): IRContext.Elem[IRContext.Costed[T]]
For a given data type returns the corresponding specific descendant of CostedElem[T]
def elemToExactIntegral[T](e: IRContext.Elem[T]): ExactIntegral[T]
def elemToExactNumeric[T](e: IRContext.Elem[T]): ExactNumeric[T]
def elemToExactOrdering[T](e: IRContext.Elem[T]): ExactOrdering[T]
def elemToSType[T](e: IRContext.Elem[T]): SType
final def element[A](implicit ea: IRContext.Elem[A]): IRContext.Elem[A]

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

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

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

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

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

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

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

Definition Classes
GraphVizExport
def emptyMatchSubst: IRContext.Subst

Definition Classes
Functions
Annotations
@inline()
def endPass(pass: IRContext.Pass): Unit
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
final def eq(arg0: AnyRef): Boolean

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

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

Definition Classes
AnyRef → Any
def error(msg: String, srcCtx: Option[SourceContext]): Nothing
def error(msg: String): Nothing
def evalNode[T <: SType](ctx: IRContext.RCosted[IRContext.Context], env: IRContext.CostingEnv, node: Value[T]): IRContext.RCosted[evalNode.T.WrappedType]
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
implicit def extendCostedCollElem[A](elem: IRContext.Elem[IRContext.CostedColl[A]]): CostedCollElem[A, IRContext.CostedColl[A]]
implicit def extendCostedElem[A](elem: IRContext.Elem[IRContext.Costed[A]]): CostedElem[A, IRContext.Costed[A]]
implicit def extendCostedFuncElem[E, A, B](e: IRContext.Elem[IRContext.CostedFunc[E, A, B]]): CostedFuncElem[E, A, B, _]
implicit def extendSizeElem[A](elem: IRContext.Elem[IRContext.Size[A]]): SizeElem[A, IRContext.Size[A]]
implicit def extendThunkElement[T](elem: IRContext.Elem[IRContext.Thunk[T]]): IRContext.ThunkElem[T]

Definition Classes
Thunks
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
def findGlobalDefinition[T](d: IRContext.Def[T]): IRContext.Ref[T]
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
def findOrCreateDefinition[T](d: IRContext.Def[T], newSym: ⇒ IRContext.Ref[T]): IRContext.Ref[T]
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
def forceThunkByMirror[A](thunk: IRContext.Th[A], subst: IRContext.MapTransformer = MapTransformer.empty()): IRContext.Ref[A]

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

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

Attributes
protected
Definition Classes
GraphVizExport
def formatDef(d: IRContext.Def[_])(implicit config: GraphVizConfig): String
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
RuntimeCosting → Thunks → MethodCalls → GraphVizExport
def formatMetadata(s: IRContext.Sym): List[String]

Attributes
protected
Definition Classes
GraphVizExport
final def freshId: Int
Get next fresh node id
Get next fresh node id

Definition Classes
Base
Annotations
@inline()
final def freshSym[T](d: IRContext.Def[T]): IRContext.Ref[T]
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()
implicit final def fun[A, B](f: (IRContext.Ref[A]) ⇒ IRContext.Ref[B])(implicit eA: IRContext.LElem[A]): IRContext.Ref[(A) ⇒ B]
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
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]

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

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

Definition Classes
AnyRef → Any
Annotations
@native()
def getEntityObject(name: String): Nullable[IRContext.EntityObject]

Definition Classes
Base
Annotations
@inline()
def getOwnerKind(constructor: Constructor[_]): IRContext.OwnerKind
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
def getRegisterCost: IRContext.Ref[Int]

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

Definition Classes
TypeDescs
final def getSym(id: Int): IRContext.Sym
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()
implicit def groupElementToECPoint(g: special.sigma.GroupElement): EcPointType

Attributes
protected
def hashCode(): Int

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

Definition Classes
Functions
def ifThenElseLazy[T](cond: IRContext.Ref[Boolean], thenp: ⇒ IRContext.Ref[T], elsep: ⇒ IRContext.Ref[T]): IRContext.Ref[T]
Constructs IfThenElse node wrapping by-name args into ThunkDef nodes.
Constructs IfThenElse node wrapping by-name args into ThunkDef nodes.

Definition Classes
IfThenElse
def intPlusMonoid: IRContext.Ref[IRContext.Monoid[Int]]

Definition Classes
RuntimeCosting → Library
Annotations
@inline()
val intPlusMonoidValue: special.collection.IntPlusMonoid

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

Definition Classes
NumericOps
def invokeUnlifted(e: IRContext.Elem[_], mc: IRContext.MethodCall, dataEnv: IRContext.DataEnv): AnyRef
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
Library → TypeDescs
final def isContextDependant(sym: IRContext.Sym): Boolean

Annotations
@inline()
def isCostingProcess: Boolean
val isInlineThunksOnForce: Boolean

Definition Classes
Thunks
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isInvokeEnabled(d: IRContext.Def[_], m: Method): Boolean
Method invocation enabler.
Method invocation enabler.
returns
true if the given method can be invoked on the given node.

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

Definition Classes
NumericOps
Annotations
@inline()
def isSupportedIndexExpression(i: IRContext.Ref[Int]): Boolean
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.

See also
RuntimeCosting, CheckIsSupportedIndexExpression
final def isZero[T](x: T, n: ExactNumeric[T]): Boolean

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

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

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

Definition Classes
Base
Annotations
@inline()
def liftableFromElem[WT](eWT: IRContext.Elem[WT]): Liftable[_, WT]
implicit def liftableThunk[ST, T](implicit lT: Liftable[ST, T]): Liftable[IRContext.SThunk[ST], IRContext.Thunk[T]]

Definition Classes
Thunks
def logWarn(msg: ⇒ String): Unit
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
def longPlusMonoid: IRContext.Ref[IRContext.Monoid[Long]]

Definition Classes
RuntimeCosting → Library
Annotations
@inline()
val longPlusMonoidValue: special.collection.LongPlusMonoid

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

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

Attributes
protected
Definition Classes
Thunks → Functions
def matchExps(s1: IRContext.Sym, s2: IRContext.Sym, allowInexactMatch: Boolean, subst: IRContext.Subst): Nullable[IRContext.Subst]

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

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

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

Definition Classes
Functions
def mkCostedColl[T](col: IRContext.Ref[IRContext.Coll[T]], len: IRContext.Ref[Int], cost: IRContext.Ref[Int]): IRContext.Ref[IRContext.CostedColl[T]]
Helper to create costed collection of some constant size type T
def mkCostedColl[T](values: IRContext.RColl[T], costs: IRContext.RColl[Int], sizes: IRContext.RColl[IRContext.Size[T]], valuesCost: IRContext.Ref[Int]): IRContext.RCostedColl[T]

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

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

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

Definition Classes
Functions
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]

Definition Classes
Functions
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]

Definition Classes
Functions
def mkMethodCall(receiver: IRContext.Sym, method: Method, args: Seq[AnyRef], neverInvoke: Boolean, isAdapterCall: Boolean, resultElem: IRContext.Elem[_]): IRContext.Sym
Creates new MethodCall node and returns its node ref.
Creates new MethodCall node and returns its node ref.

Definition Classes
MethodCalls
def mkNormalizedOpCost(costedValue: IRContext.Sym, costs: Seq[IRContext.Ref[Int]]): IRContext.Ref[Int]
def mkSizeColl[T](len: IRContext.Ref[Int])(implicit arg0: IRContext.Elem[T]): IRContext.Ref[IRContext.Size[IRContext.Coll[T]]]

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

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

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

Annotations
@inline()
val nInitialDefs: Int

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

Definition Classes
AnyRef
def newObjEx[A](args: Any*)(implicit eA: IRContext.Elem[A]): IRContext.Ref[A]
Creates new NewObject node and returns its node ref.
Creates new NewObject node and returns its node ref.

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

Attributes
protected
Definition Classes
Thunks → GraphVizExport
def nodeColor(td: IRContext.TypeDesc): String

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

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

Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native()
def numeric[T](implicit arg0: ExactNumeric[T]): ExactNumeric[T]

Definition Classes
NumericOps
val okMeasureOperationTime: Boolean
val okPrintEvaluatedEntries: Boolean
Whether to print values of evaluated nodes of the graph.
def okRegisterModules: Boolean
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
def onReset(): Unit
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
RuntimeCosting → CostingRules → Library → Base
def onTreeNodeCosted[T <: SType](ctx: IRContext.RCosted[IRContext.Context], env: IRContext.CostingEnv, node: Value[T], costed: IRContext.RCosted[onTreeNodeCosted.T.WrappedType]): Unit

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

Definition Classes
UniversalOps
def opcodeToBinOp[A](opCode: Byte, eA: IRContext.Elem[A]): IRContext.BinOp[A, _]
def opcodeToEndoBinOp[T](opCode: Byte, eT: IRContext.Elem[T]): IRContext.EndoBinOp[T]
val outputComputedResults: Boolean
Whether to output the computed results of the script.
val outputEstimatedCost: Boolean
Whether to output the cost value estimated for the script given by ScriptNameProp environment variable
implicit final def pairElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[(A, B)]

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

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

Definition Classes
Functions
def perItemCostOf(node: SValue, arrLength: IRContext.Ref[Int]): IRContext.Ref[Int]
def perKbCostOf(node: SValue, dataSize: IRContext.Ref[Long]): IRContext.Ref[Int]
def perKbCostOf(opName: String, opType: SFunc, dataSize: IRContext.Ref[Long]): IRContext.Ref[Int]
def perKbCostOf(method: SMethod, dataSize: IRContext.Ref[Long]): IRContext.Ref[Int]
def placeholder[T](implicit eT: IRContext.LElem[T]): IRContext.Ref[T]

Definition Classes
Base
Annotations
@inline()
def propagateBinOp[T, R](op: IRContext.BinOp[T, R], x: IRContext.Ref[T], y: IRContext.Ref[T]): IRContext.Ref[R]
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
def propagateUnOp[T, R](op: IRContext.UnOp[T, R], x: IRContext.Ref[T]): IRContext.Ref[R]
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
def registerEntityObject(name: String, obj: IRContext.EntityObject): Unit

Attributes
protected
Definition Classes
Base
def registerModule(moduleInfo: ModuleInfo): Unit
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
implicit def reifyObject[A](obj: IRContext.Def[A]): IRContext.Ref[A]
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
def removeIsProven[T, R](f: (IRContext.Ref[T]) ⇒ IRContext.Ref[Any]): (IRContext.Ref[T]) ⇒ IRContext.Ref[Any]
implicit def repOrderingToOrderingOps[T](x: IRContext.Ref[T])(implicit n: ExactOrdering[T]): IRContext.OrderingOpsCls[T]

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

Definition Classes
Thunks
def resetContext(): Unit

Definition Classes
CostedObjectsDefs → Base
final def rewriteBinOp[A, R](op: IRContext.BinOp[A, R], x: IRContext.Ref[A], y: IRContext.Ref[A]): IRContext.Ref[_]
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
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

Definition Classes
LogicalOps
Annotations
@inline()
def rewriteDef[T](d: IRContext.Def[T]): IRContext.Ref[_]
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
RuntimeCosting → Library → DefRewriting
def rewriteNonInvokableMethodCall(mc: IRContext.MethodCall): IRContext.Ref[_]
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
RuntimeCosting → MethodCalls
final def rewriteUnOp[A, R](op: IRContext.UnOp[A, R], x: IRContext.Ref[A]): IRContext.Ref[_]
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
val ruleStack: List[IRContext.CostingRuleStat]
val saveGraphsInFile: Boolean
Whether to save calcF and costF graphs in the file given by ScriptNameProp environment variable
def selectFieldCost: IRContext.Ref[Int]

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

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

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

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

Definition Classes
RuntimeCosting → SigmaLibrary
Annotations
@inline()
implicit lazy val sizeAnyElement: IRContext.Elem[IRContext.Size[Any]]

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

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

Definition Classes
Library
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]]])
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]])
def splitCostedFunc2[A, B](f: IRContext.RFuncCosted[A, B], okRemoveIsValid: Boolean): (IRContext.Ref[(A) ⇒ Any], IRContext.Ref[((Int, IRContext.Size[A])) ⇒ Int])
def stagingExceptionMessage(message: String, syms: Seq[IRContext.Ref[_]]): String
Prettyprint exception message
Prettyprint exception message

Attributes
protected
Definition Classes
Base
def stypeToElem[T <: SType](t: T): IRContext.Elem[stypeToElem.T.WrappedType]
val substFromCostTable: Boolean
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
implicit final def sumElement[A, B](implicit ea: IRContext.Elem[A], eb: IRContext.Elem[B]): IRContext.Elem[IRContext.|[A, B]]

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

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

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

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

Definition Classes
Thunks
val thunkStack: IRContext.ThunkStack

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

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

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

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

Definition Classes
Thunks
def toExp[T](d: IRContext.Def[T], newSym: ⇒ IRContext.Ref[T]): IRContext.Ref[T]
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
implicit final def toLazyElem[A](implicit eA: IRContext.Elem[A]): IRContext.LElem[A]

Definition Classes
TypeDescs
def toRep[A](x: A)(implicit eA: IRContext.Elem[A]): IRContext.Ref[A]
Lifting of data values to IR nodes.
Lifting of data values to IR nodes.

Definition Classes
Base
def toString(): String

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

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

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

Definition Classes
Tuples
def typeSize[T](implicit arg0: IRContext.Elem[T]): IRContext.Ref[Long]
def typeSize(tpe: SType): IRContext.Ref[Long]
def unfoldLambda[A, B](f: IRContext.Ref[(A) ⇒ B], x: IRContext.Ref[A]): IRContext.Ref[B]

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

Definition Classes
Functions
val unfoldWithOriginalFunc: Boolean
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
def unrefDelegate[T <: AnyRef](x: IRContext.Ref[T])(implicit ct: ClassTag[T]): T
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
def unzipPair[A, B](p: IRContext.Ref[(A, B)]): (IRContext.Ref[A], IRContext.Ref[B])

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

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

Definition Classes
Functions
final def updateSymbolTable[T](s: IRContext.Ref[T], d: IRContext.Def[T]): IRContext.Ref[T]
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
val useAlphaEquality: Boolean
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
final def valueFromRep[A](x: IRContext.Ref[A]): A
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()
def variable[T](implicit eT: IRContext.LElem[T]): IRContext.Ref[T]

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

Definition Classes
SigmaLibrary
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... ) @native()
def withConstantSize[T](v: IRContext.Ref[T], cost: IRContext.Ref[Int]): IRContext.RCosted[T]
def zeroSize[V](eVal: IRContext.Elem[V]): IRContext.RSize[V]

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

Definition Classes
Tuples
object AllOf
object AllZk
object AnyOf
object AnyZk
object CostedFoldExtractors
object ElemAccessor
object HasSigmas
object IsConstSizeCostedColl
object IsCostedPair
object Coll extends scalan.Library.EntityObject

Definition Classes
CollsDefs
object CollBuilder extends scalan.Library.EntityObject

Definition Classes
CollsDefs
object PairColl extends scalan.Library.EntityObject

Definition Classes
CollsDefs
object ReplColl extends scalan.Library.EntityObject

Definition Classes
CollsDefs
object CCostedBuilder extends scalan.Library.EntityObject

Definition Classes
ConcreteCostsDefs
object CCostedColl extends scalan.Library.EntityObject

Definition Classes
ConcreteCostsDefs
object CCostedFunc extends scalan.Library.EntityObject

Definition Classes
ConcreteCostsDefs
object CCostedPair extends scalan.Library.EntityObject

Definition Classes
ConcreteCostsDefs
object CCostedPrim extends scalan.Library.EntityObject

Definition Classes
ConcreteCostsDefs
object CSizeColl extends scalan.Library.EntityObject

Definition Classes
ConcreteSizesDefs
object CSizeFunc extends scalan.Library.EntityObject

Definition Classes
ConcreteSizesDefs
object CSizeOption extends scalan.Library.EntityObject

Definition Classes
ConcreteSizesDefs
object CSizePair extends scalan.Library.EntityObject

Definition Classes
ConcreteSizesDefs
object CSizePrim extends scalan.Library.EntityObject

Definition Classes
ConcreteSizesDefs
object CCostedOption extends scalan.Library.EntityObject

Definition Classes
CostedOptionsDefs
object Costed extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object CostedBuilder extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object CostedColl extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object CostedFunc extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object CostedOption extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object CostedPair extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object CostedPrim extends scalan.Library.EntityObject

Definition Classes
CostsDefs
object IntPlusMonoid extends scalan.Library.EntityObject

Definition Classes
MonoidInstancesDefs
object LongPlusMonoid extends scalan.Library.EntityObject

Definition Classes
MonoidInstancesDefs
object MonoidBuilderInst extends scalan.Library.EntityObject

Definition Classes
MonoidInstancesDefs
object Monoid extends scalan.Library.EntityObject

Definition Classes
MonoidsDefs
object MonoidBuilder extends scalan.Library.EntityObject

Definition Classes
MonoidsDefs
object Size extends scalan.Library.EntityObject

Definition Classes
SizesDefs
object SizeColl extends scalan.Library.EntityObject

Definition Classes
SizesDefs
object SizeFunc extends scalan.Library.EntityObject

Definition Classes
SizesDefs
object SizeOption extends scalan.Library.EntityObject

Definition Classes
SizesDefs
object SizePair extends scalan.Library.EntityObject

Definition Classes
SizesDefs
object SizePrim extends scalan.Library.EntityObject

Definition Classes
SizesDefs
object SizeAnyValue extends scalan.SigmaLibrary.EntityObject

Definition Classes
CostedObjectsDefs
object SizeBox extends scalan.SigmaLibrary.EntityObject

Definition Classes
CostedObjectsDefs
object SizeBuilder extends scalan.SigmaLibrary.EntityObject

Definition Classes
CostedObjectsDefs
object SizeContext extends scalan.SigmaLibrary.EntityObject

Definition Classes
CostedObjectsDefs
object SizeSigmaProp extends scalan.SigmaLibrary.EntityObject

Definition Classes
CostedObjectsDefs
object AnyValue extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object AvlTree extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object BigInt extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object Box extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object Context extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object CostModel extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object GroupElement extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object Header extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object PreHeader extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object SigmaContract extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object SigmaDslBuilder extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object SigmaProp extends scalan.SigmaLibrary.EntityObject

Definition Classes
SigmaDslDefs
object OptionWrapSpec extends scalan.Library.EntityObject

Definition Classes
WrappersSpecDefs
object RTypeWrapSpec extends scalan.Library.EntityObject

Definition Classes
WrappersSpecDefs
object SpecialPredefWrapSpec extends scalan.Library.EntityObject

Definition Classes
WrappersSpecDefs
object WrapSpecBase extends scalan.Library.EntityObject

Definition Classes
WrappersSpecDefs
object WOption extends special.wrappers.WrappersModule.EntityObject

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

Definition Classes
WRTypesDefs
object WSpecialPredef extends special.wrappers.WrappersModule.EntityObject

Definition Classes
WSpecialPredefsDefs

Packages

RuntimeCosting 

trait RuntimeCosting extends Scalan with CostingRules

Type Members

Abstract Value Members

Concrete Value Members

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

RuntimeCosting