class ScalanEx extends Scalan with Blocks with ViewsModule with ConvertersModule with StringOps with Metadata with RewriteRules with BaseEx with TuplesEx with TypeSum with Structs with ModulesEx with TransformingEx with ViewsModuleEx with ThunksEx with StructsEx with ConvertersModuleEx
- Alphabetic
- By Inheritance
- ScalanEx
- ConvertersModuleEx
- TypeSumEx
- StructsEx
- StructKeysModule
- StructKeysDefs
- StructKeys
- StructItemsModule
- StructItemsDefs
- StructItems
- ThunksEx
- ViewsModuleEx
- ViewsEx
- TransformingEx
- ModulesEx
- Structs
- TuplesEx
- RewriteRules
- Metadata
- StringOps
- ConvertersModule
- ConvertersDefs
- Converters
- ViewsModule
- ViewsDefs
- Views
- TypeSum
- Blocks
- BaseEx
- 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
- Public
- All
Instance Constructors
- new ScalanEx()
Type Members
-
implicit
class
ElemOpsForEntities[T] extends AnyRef
- Definition Classes
- BaseEx
-
implicit
class
EntityElemExtensions[A <: ScalanEx.Def[_]] extends AnyRef
- Definition Classes
- BaseEx
-
case class
NamedInvokeTester(name: String, tester: ScalanEx.InvokeTester) extends ScalanEx.InvokeTester with Product with Serializable
- Definition Classes
- BaseEx
-
case class
NamedUnpackTester(name: String, tester: ScalanEx.UnpackTester) extends ScalanEx.UnpackTester with Product with Serializable
- Definition Classes
- BaseEx
-
case class
NumericRand[T](bound: ScalanEx.Ref[T], id: Int = IdSupply.nextId)(implicit eT: ScalanEx.Elem[T]) extends ScalanEx.BaseDef[T] with Product with Serializable
- Definition Classes
- BaseEx
-
implicit
class
RepDefViewOps[T <: ScalanEx.Def[_]] extends AnyRef
- Definition Classes
- BaseEx
-
implicit
class
AnyConvOps extends AnyRef
- Definition Classes
- Converters
-
abstract
class
BaseConverter[T, R] extends (Converters.this)#Node with (Converters.this)#Converter[T, R]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
trait
BaseConverterCompanion extends AnyRef
- Definition Classes
- Converters
-
abstract
class
ComposeConverter[A, B, C] extends (Converters.this)#Node with (Converters.this)#Converter[A, C]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
implicit
class
ConvOps[A, B] extends AnyRef
- Definition Classes
- Converters
-
trait
Converter[T, R] extends (Converters.this)#Node with (Converters.this)#Def[(Converters.this)#Converter[T, R]]
- Definition Classes
- Converters
-
trait
ConverterCompanion extends AnyRef
- Definition Classes
- Converters
-
abstract
class
ConverterIso[A, B] extends (Converters.this)#Node with (Converters.this)#IsoUR[A, B]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
abstract
class
FunctorConverter[A, B, F[_]] extends (Converters.this)#Node with (Converters.this)#Converter[F[A], F[B]]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
trait
FunctorConverterCompanion extends AnyRef
- Definition Classes
- Converters
-
abstract
class
IdentityConv[A] extends (Converters.this)#Node with (Converters.this)#Converter[A, A]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
abstract
class
NaturalConverter[A, F[_], G[_]] extends (Converters.this)#Node with (Converters.this)#Converter[F[A], G[A]]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
abstract
class
PairConverter[A1, A2, B1, B2] extends (Converters.this)#Node with (Converters.this)#Converter[(A1, A2), (B1, B2)]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
trait
PairConverterCompanion extends AnyRef
- Definition Classes
- Converters
-
abstract
class
SumConverter[A1, A2, B1, B2] extends (Converters.this)#Node with (Converters.this)#Converter[(Converters.this)#|[A1, A2], (Converters.this)#|[B1, B2]]
- Definition Classes
- Converters
- Annotations
- @Isospec()
-
trait
SumConverterCompanion extends AnyRef
- Definition Classes
- Converters
-
case class
MetaKey[A](name: String)(implicit eA: (Metadata.this)#Elem[A]) extends Product with Serializable
Key for metadata of type
A
.Key for metadata of type
A
.- Definition Classes
- Metadata
-
case class
MetaNode(meta: Map[(Metadata.this)#MetaKey[_], (Metadata.this)#MetaValue[Any]]) extends Product with Serializable
- Definition Classes
- Metadata
-
case class
MetaValue[A](value: A, mirrorWithDef: Option[Boolean] = None) extends Product with Serializable
Value for metadata of type
A
.Value for metadata of type
A
.- mirrorWithDef
None - mirror always, Some(true) - mirror during graph mirroring and rewriting of current stage (used for Analyzer markings) Some(false) - don't mirror during stage mirroring
- Definition Classes
- Metadata
-
implicit
class
MetadataOps[A] extends AnyRef
Sets metadata for the target.
Sets metadata for the target. No-op in sequential context, but the metadata can be accessed, transformed, etc. in staged context.
Returns the target for chaining.
- Definition Classes
- Metadata
-
implicit
class
MetadataOpsExp extends AnyRef
- Definition Classes
- Metadata
-
implicit
class
MultipleArgs extends AnyRef
- Definition Classes
- Metadata
-
case class
Abs[T] extends Scalan.UnOp[T, T] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
Apply[A, B] extends Scalan.Node with Scalan.Def[B] with Product with Serializable
- Definition Classes
- Functions
-
case class
ApplyBinOp[A, R] extends Scalan.BaseDef[R] with Product with Serializable
- Definition Classes
- UnBinOps
-
case class
ApplyBinOpLazy[A, R] extends Scalan.BaseDef[R] with Product with Serializable
- Definition Classes
- UnBinOps
-
case class
ApplyUnOp[A, R] extends Scalan.BaseDef[R] with Product with Serializable
- Definition Classes
- UnBinOps
- class ArgElem extends Elem[Any] with Serializable with scala.Equals
-
abstract
class
AstGraph extends Scalan.Node
- Definition Classes
- AstGraphs
-
abstract
class
BaseDef[+T] extends Scalan.Node with Scalan.Def[T]
- Definition Classes
- Base
-
abstract
class
BaseElem[A] extends Scalan.Elem[A] with Serializable with scala.Equals
- Definition Classes
- TypeDescs
-
class
BaseElemLiftable[A] extends Scalan.BaseElem[A]
- Definition Classes
- TypeDescs
-
class
BinOp[A, R] extends AnyRef
- Definition Classes
- UnBinOps
- implicit class BooleanFuncOps[A] extends AnyRef
-
case class
CachedDelegateClass(delegateClass: Class[_ <: AnyRef], instances: AVHashMap[ScalanEx.Sym, AnyRef]) extends Product with Serializable
Used to cache generated delegate classes along with instantiated instances of the class.
-
abstract
class
CompanionDef[T] extends Scalan.Node with Scalan.Def[T]
- Definition Classes
- Base
-
abstract
class
CompanionElem[T] extends Scalan.Elem[T]
- Definition Classes
- Entities
-
trait
ConcreteElem[TData, TClass] extends Scalan.EntityElem[TClass]
- Definition Classes
- Entities
-
trait
ConcreteElem1[A, TData, TClass, C[_]] extends Scalan.EntityElem1[A, TClass, C]
- Definition Classes
- Entities
-
case class
Const[T] extends Scalan.BaseDef[T] with Product with Serializable
- Definition Classes
- Base
-
abstract
class
Cont[F[_]] extends Scalan.TypeDesc
- Definition Classes
- TypeDescs
- Annotations
- @implicitNotFound( "No Cont available for ${F}." )
-
type
Conv[T, R] = Ref[Converter[T, R]]
- Definition Classes
- Converters
-
case class
Convert[From, To] extends Scalan.BaseDef[To] with Product with Serializable
- Definition Classes
- UniversalOps
-
type
DataEnv = Map[Sym, AnyRef]
- Definition Classes
- TypeDescs
-
trait
Def[+T] extends Scalan.Node
- Definition Classes
- Base
-
class
DefaultPass extends Scalan.Pass
- Definition Classes
- Transforming
-
class
DelegatedInvocationHandler[T] extends InvocationHandler
Handles intercepted invocations of method on delegates.
-
class
DivOp[T] extends Scalan.EndoBinOp[T]
- Definition Classes
- NumericOps
-
case class
Downcast[From, To] extends Scalan.BaseDef[To] with Product with Serializable
- Definition Classes
- UniversalOps
-
abstract
class
Elem[A] extends Scalan.TypeDesc
- Definition Classes
- TypeDescs
- Annotations
- @implicitNotFound( "No Elem available for ${A}." )
-
class
ElemCacheEntry extends AnyRef
- Definition Classes
- TypeDescs
- implicit class ElemOps extends AnyRef
-
class
ElseIfBranch[T] extends AnyRef
- Definition Classes
- IfThenElse
-
type
EndoBinOp[A] = BinOp[A, A]
- Definition Classes
- UnBinOps
-
type
EndoUnOp[A] = UnOp[A, A]
- Definition Classes
- UnBinOps
-
abstract
class
EntityElem[A] extends Scalan.Elem[A] with scala.Equals
- Definition Classes
- Entities
-
abstract
class
EntityElem1[A, To, C[_]] extends Scalan.EntityElem[To]
- Definition Classes
- Entities
-
class
EntityObject extends AnyRef
- Definition Classes
- Base
-
case class
EntityObjectOwner extends Scalan.OwnerKind with Product with Serializable
- Definition Classes
- Base
-
case class
EnvRep[A] extends Product with Serializable
- Definition Classes
- TypeDescs
-
implicit
class
EqualOps[A] extends AnyRef
- Definition Classes
- Equal
-
case class
Equals[A] extends Scalan.BinOp[A, Boolean] with Product with Serializable
- Definition Classes
- Equal
-
case class
First[A, B] extends Scalan.Node with Scalan.Def[A] with Product with Serializable
- Definition Classes
- Tuples
-
case class
FractionalDivide[T] extends Scalan.DivOp[T] with Product with Serializable
- Definition Classes
- NumericOps
-
implicit
class
FractionalOpsCls[T] extends AnyRef
- Definition Classes
- NumericOps
-
case class
FuncElem[A, B] extends Scalan.Elem[(A) ⇒ B] with Product with Serializable
- Definition Classes
- TypeDescs
-
implicit
class
FuncExtensions[A, B] extends AnyRef
- Definition Classes
- Functions
-
trait
Functor[F[_]] extends Scalan.Cont[F]
- Definition Classes
- TypeDescs
-
case class
GraphFile extends Product with Serializable
- Definition Classes
- GraphVizExport
-
case class
GraphNode extends Product with Serializable
- Definition Classes
- AstGraphs
-
case class
HashCode[A] extends Scalan.UnOp[A, Int] with Product with Serializable
- Definition Classes
- UniversalOps
-
class
IfBranch extends AnyRef
- Definition Classes
- IfThenElse
-
case class
IfThenElseLazy[T] extends Scalan.Node with Scalan.Def[T] with Product with Serializable
- Definition Classes
- IfThenElse
-
case class
IntegralDivide[T] extends Scalan.DivOp[T] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
IntegralMod[T] extends Scalan.DivOp[T] with Product with Serializable
- Definition Classes
- NumericOps
-
implicit
class
IntegralOpsCls[T] extends AnyRef
- Definition Classes
- NumericOps
-
case class
InvokeFailure extends Scalan.InvokeResult with Product with Serializable
- Definition Classes
- MethodCalls
-
sealed abstract
class
InvokeResult extends AnyRef
- Definition Classes
- MethodCalls
-
case class
InvokeSuccess extends Scalan.InvokeResult with Product with Serializable
- Definition Classes
- MethodCalls
-
type
InvokeTester = (Def[_], Method) ⇒ Boolean
- Definition Classes
- BaseEx
-
type
Iso[From, To] = Ref[IsoUR[From, To]]
- Definition Classes
- Views
-
type
Iso1[A, B, C[_]] = Ref[Iso1UR[A, B, C]]
- Definition Classes
- Views
-
type
KSet = Ref[KeySet]
- Definition Classes
- StructKeysModule
-
type
LElem[A] = Lazy[Elem[A]]
- Definition Classes
- TypeDescs
-
class
Lambda[A, B] extends Scalan.AstGraph with Scalan.Def[(A) ⇒ B]
- Definition Classes
- Functions
-
type
LambdaData[A, B] = (Lambda[A, B], Nullable[(Ref[A]) ⇒ Ref[B]], Ref[A], Ref[B])
- Definition Classes
- Functions
-
implicit
class
LambdaOps[A, B] extends AnyRef
- Definition Classes
- Functions
-
class
LambdaStack extends AnyRef
- Definition Classes
- Functions
-
case class
LiftableThunk[ST, T] extends Base.Liftables.Liftable[Scalan.SThunk[ST], Scalan.Thunk[T]] with Product with Serializable
- Definition Classes
- Thunks
-
implicit
class
ListOps[A, B] extends AnyRef
- Definition Classes
- Tuples
-
case class
MapTransformer extends Scalan.Transformer with Product with Serializable
- Definition Classes
- Transforming
-
type
MarkedSym = (Ref[T], Marking[T]) forSome {type T}
- Definition Classes
- TransformingEx
-
type
MarkedSyms = Seq[MarkedSym]
- Definition Classes
- TransformingEx
-
case class
MethodCall extends Scalan.Node with Scalan.Def[Any] with Product with Serializable
- Definition Classes
- MethodCalls
-
sealed abstract
class
MethodDesc extends AnyRef
- Definition Classes
- TypeDescs
-
abstract
class
Mirror extends AnyRef
- Definition Classes
- Transforming
-
case class
NewObject[A] extends Scalan.BaseDef[A] with Product with Serializable
- Definition Classes
- MethodCalls
-
abstract
class
Node extends Product
- Definition Classes
- Base
-
case class
NotEquals[A] extends Scalan.BinOp[A, Boolean] with Product with Serializable
- Definition Classes
- Equal
-
class
NotImplementedStagingException extends Scalan.StagingException
- Definition Classes
- Base
-
case class
NumericMinus[T] extends Scalan.EndoBinOp[T] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
NumericNegate[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] extends Scalan.EndoBinOp[T] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
NumericTimes[T] extends Scalan.EndoBinOp[T] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
NumericToDouble[T] extends Scalan.UnOp[T, Double] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
NumericToFloat[T] extends Scalan.UnOp[T, Float] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
NumericToInt[T] extends Scalan.UnOp[T, Int] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
NumericToLong[T] extends Scalan.UnOp[T, Long] with Product with Serializable
- Definition Classes
- NumericOps
-
case class
OpCost extends Scalan.BaseDef[Int] with Product with Serializable
- Definition Classes
- UniversalOps
-
case class
OrderingCompare[T] extends Scalan.BinOp[T, Int] with Product with Serializable
- Definition Classes
- OrderingOps
-
case class
OrderingGT[T] extends Scalan.BinOp[T, Boolean] with Product with Serializable
- Definition Classes
- OrderingOps
-
case class
OrderingGTEQ[T] extends Scalan.BinOp[T, Boolean] with Product with Serializable
- Definition Classes
- OrderingOps
-
case class
OrderingLT[T] extends Scalan.BinOp[T, Boolean] with Product with Serializable
- Definition Classes
- OrderingOps
-
case class
OrderingLTEQ[T] extends Scalan.BinOp[T, Boolean] with Product with Serializable
- Definition Classes
- OrderingOps
-
case class
OrderingMax[T] extends Scalan.BinOp[T, T] with Product with Serializable
- Definition Classes
- OrderingOps
-
case class
OrderingMin[T] extends Scalan.BinOp[T, T] with Product with Serializable
- Definition Classes
- OrderingOps
-
class
OrderingOpsCls[T] extends AnyRef
- Definition Classes
- OrderingOps
-
sealed abstract
class
OwnerKind extends AnyRef
- Definition Classes
- Base
-
type
PGraph = ProgramGraph
- Definition Classes
- ProgramGraphs
-
class
PGraphUsages extends DFunc[Int, Buffer[Int]]
- Definition Classes
- ProgramGraphs
-
case class
PairElem[A, B] extends Scalan.Elem[(A, B)] with Product with Serializable
- Definition Classes
- TypeDescs
-
implicit
class
PartialRewriter extends Scalan.Rewriter
- Definition Classes
- Transforming
-
abstract
class
Pass extends AnyRef
- Definition Classes
- Transforming
-
case class
PassConfig extends Product with Serializable
- Definition Classes
- Transforming
-
case class
Placeholder[T] extends Scalan.Node with Scalan.Def[T] with Product with Serializable
- Definition Classes
- Base
-
case class
ProgramGraph extends Scalan.AstGraph with Product with Serializable
- Definition Classes
- ProgramGraphs
-
type
RFunc[-A, +B] = Ref[(A) ⇒ B]
- Definition Classes
- Base
-
case class
RMethodDesc extends Scalan.MethodDesc with Product with Serializable
- Definition Classes
- TypeDescs
-
type
ROptional[A] = Ref[SOptional[A]]
- Definition Classes
- TypeSum
-
type
RPair[+A, +B] = Ref[(A, B)]
- Definition Classes
- Base
-
type
RRewrite[A] = Ref[Rewrite[A]]
- Definition Classes
- RewriteRules
-
type
RStruct = Ref[Struct]
- Definition Classes
- Structs
-
abstract
class
Ref[+T] extends AnyRef
- Definition Classes
- Base
-
implicit
class
RepBooleanOps extends AnyRef
- Definition Classes
- LogicalOps
-
implicit
class
RepThunkOps[T] extends AnyRef
- Definition Classes
- Thunks
-
implicit
class
RepUniversalOps[A] extends AnyRef
- Definition Classes
- UniversalOps
-
abstract
class
Rewriter extends AnyRef
- Definition Classes
- Transforming
-
type
SKey[S <: Struct] = Ref[StructKey[S]]
- Definition Classes
- StructKeys
-
type
SOptional[A] = Either[Unit, A]
- Definition Classes
- TypeSum
-
type
SStruct = Coll[Any]
- Definition Classes
- Structs
-
type
SThunk[T] = () ⇒ T
- Definition Classes
- Thunks
- implicit class STpeExprOpsForTypeDesc extends AnyRef
-
type
Schedule = Seq[Sym]
- Definition Classes
- AstGraphs
-
type
ScheduleIds = Buffer[Int]
- Definition Classes
- AstGraphs
-
case class
Second[A, B] extends Scalan.Node with Scalan.Def[B] with Product with Serializable
- Definition Classes
- Tuples
-
implicit
class
SeqExpExtensionsForEmitGraph extends AnyRef
- Definition Classes
- GraphVizExport
-
final
class
SingleRef[+T] extends Scalan.Ref[T]
- Definition Classes
- Base
-
case class
SizeOf[T] extends Scalan.BaseDef[Long] with Product with Serializable
- Definition Classes
- UniversalOps
-
class
StagingException extends RuntimeException
- Definition Classes
- Base
-
type
StructField = (String, Ref[Any])
- Definition Classes
- Structs
-
type
Subst = HashMap[Sym, Sym]
- Definition Classes
- Functions
-
case class
SumElem[A, B] extends Scalan.Elem[Scalan.|[A, B]] with Product with Serializable
- Definition Classes
- TypeDescs
-
type
Sym = Ref[_]
- Definition Classes
- Base
-
type
Th[+T] = Ref[Thunk[T]]
- Definition Classes
- Thunks
-
class
ThenIfBranch[T] extends AnyRef
- Definition Classes
- IfThenElse
-
trait
Thunk[+A] extends AnyRef
- Definition Classes
- Thunks
-
class
ThunkCompanion extends AnyRef
- Definition Classes
- Thunks
-
case class
ThunkConst[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] extends Scalan.EntityElem1[A, Scalan.Thunk[A], Scalan.Thunk] with Product with Serializable
- Definition Classes
- Thunks
-
case class
ThunkForce[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
ToString[A] extends Scalan.UnOp[A, String] with Product with Serializable
- Definition Classes
- UniversalOps
-
abstract
class
Transformer extends AnyRef
- Definition Classes
- Base
-
case class
Tup[A, 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
-
type
TuplePath = List[Int]
- Definition Classes
- TransformingEx
- type TypeArgSubst = Map[String, TypeDesc]
-
abstract
class
TypeDesc extends Serializable
- Definition Classes
- TypeDescs
- implicit class TypeDescOps extends AnyRef
- type TypePredicate = (Elem[_]) ⇒ Boolean
-
class
UnOp[A, R] extends AnyRef
- Definition Classes
- UnBinOps
-
type
UnpackTester = (Elem[_]) ⇒ Boolean
- Definition Classes
- ViewsModule
-
type
Unpacked[T] = (Ref[Source], Iso[Source, T]) forSome {type Source}
- Definition Classes
- ViewsModule
-
type
UnpackedLambdaResult[T, R] = (Ref[(T) ⇒ R], Iso[Source, R]) forSome {type Source}
- Definition Classes
- ViewsModule
-
case class
Upcast[From, To] extends Scalan.BaseDef[To] with Product with Serializable
- Definition Classes
- UniversalOps
-
case class
Variable[T] extends Scalan.Node with Scalan.Def[T] with Product with Serializable
- Definition Classes
- Base
-
case class
WMethodDesc extends Scalan.MethodDesc with Product with Serializable
- Definition Classes
- TypeDescs
-
type
|[+A, +B] = Either[A, B]
- Definition Classes
- Base
-
abstract
class
AbsorbFirstUnitIso[A2, B2] extends (Views.this)#Node with (Views.this)#IsoUR[A2, (Unit, B2)]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
abstract
class
AbsorbSecondUnitIso[A1, B1] extends (Views.this)#Node with (Views.this)#IsoUR[A1, (B1, Unit)]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
implicit
class
AnyIsoOps extends AnyRef
- Definition Classes
- Views
-
abstract
class
ComposeIso[A, B, C] extends (Views.this)#Node with (Views.this)#IsoUR[A, C]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
abstract
class
FuncIso[A, B, C, D] extends (Views.this)#Node with (Views.this)#IsoUR[(A) ⇒ C, (B) ⇒ D]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
abstract
class
IdentityIso[A] extends (Views.this)#Node with (Views.this)#IsoUR[A, A]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
trait
Iso1UR[A, B, C[_]] extends (Views.this)#Node with (Views.this)#IsoUR[C[A], C[B]]
- Definition Classes
- Views
-
implicit
class
IsoOps[A, B] extends AnyRef
- Definition Classes
- Views
-
trait
IsoUR[From, To] extends (Views.this)#Node with (Views.this)#Def[(Views.this)#IsoUR[From, To]]
- Definition Classes
- Views
-
abstract
class
PairIso[A1, A2, B1, B2] extends (Views.this)#Node with (Views.this)#IsoUR[(A1, A2), (B1, B2)]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
trait
PairIsoCompanion extends AnyRef
- Definition Classes
- Views
-
abstract
class
SumIso[A1, A2, B1, B2] extends (Views.this)#Node with (Views.this)#IsoUR[(Views.this)#|[A1, A2], (Views.this)#|[B1, B2]]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
abstract
class
ThunkIso[A, B] extends (Views.this)#Node with (Views.this)#Iso1UR[A, B, (Views.this)#Thunk]
- Definition Classes
- Views
- Annotations
- @Isospec()
-
class
ConcreteIsoElem[From, To, IsoType <: (ViewsModule.this)#IsoUR[From, To]] extends IsoURElem[From, To, IsoType]
- Definition Classes
- ViewsModule
-
trait
EntityIso[From, To] extends (ViewsModule.this)#Node with (ViewsModule.this)#IsoUR[From, To] with Product
The base type of all isos for user-defined types
The base type of all isos for user-defined types
- Definition Classes
- ViewsModule
-
case class
PairView[A1, A2, B1, B2](source: (ViewsModule.this)#Ref[(A1, A2)], iso1: (ViewsModule.this)#Iso[A1, B1], iso2: (ViewsModule.this)#Iso[A2, B2]) extends (ViewsModule.this)#View2[A1, A2, B1, B2, Tuple2] with Product with Serializable
- Definition Classes
- ViewsModule
-
case class
SumView[A1, A2, B1, B2](source: (ViewsModule.this)#Ref[(ViewsModule.this)#|[A1, A2]])(implicit iso1: (ViewsModule.this)#Iso[A1, B1], iso2: (ViewsModule.this)#Iso[A2, B2]) extends (ViewsModule.this)#View2[A1, A2, B1, B2, (ViewsModule.this)#|] with Product with Serializable
- Definition Classes
- ViewsModule
-
case class
UnpackView[A, B](view: (ViewsModule.this)#Ref[B], iso: (ViewsModule.this)#Iso[A, B]) extends (ViewsModule.this)#Node with (ViewsModule.this)#Def[A] with Product with Serializable
- Definition Classes
- ViewsModule
-
abstract
class
View[From, To] extends (ViewsModule.this)#Node with (ViewsModule.this)#Def[To]
- Definition Classes
- ViewsModule
-
abstract
class
View1[A, B, C[_]] extends (ViewsModule.this)#View[C[A], C[B]]
- Definition Classes
- ViewsModule
-
abstract
class
View2[A1, A2, B1, B2, C[_, _]] extends (ViewsModule.this)#View[C[A1, A2], C[B1, B2]]
- Definition Classes
- ViewsModule
-
trait
ViewElem[From, To] extends (ViewsModule.this)#Elem[To]
- Definition Classes
- ViewsModule
-
trait
ViewElem1[A, From, To, C[_]] extends (ViewsModule.this)#Elem[To] with (ViewsModule.this)#ViewElem[From, To]
- Definition Classes
- ViewsModule
-
trait
IsoBuilder extends AnyRef
- Definition Classes
- ViewsModuleEx
-
implicit
class
RepBlock[A] extends AnyRef
- Definition Classes
- Blocks
-
case class
Semicolon[A, B](left: ScalanEx.Ref[A], right: ScalanEx.Ref[B]) extends ScalanEx.BaseDef[B] with Product with Serializable
- Definition Classes
- Blocks
-
case class
SemicolonMulti[B](left: Seq[ScalanEx.Ref[_]], right: ScalanEx.Ref[B]) extends ScalanEx.BaseDef[B] with Product with Serializable
- Definition Classes
- Blocks
-
case class
PatternRewriteRule[A](lhs: ScalanEx.Ref[A], rhs: ScalanEx.Ref[A], eA: ScalanEx.Elem[A]) extends ScalanEx.RewriteRule[A] with Product with Serializable
- Definition Classes
- RewriteRules
-
implicit
class
PropEqualityOps[A] extends AnyRef
- Definition Classes
- RewriteRules
-
case class
Rewrite[A](lhs: ScalanEx.Ref[A], rhs: ScalanEx.Ref[A]) extends Product with Serializable
- Definition Classes
- RewriteRules
-
case class
RewriteElem[A](eA: ScalanEx.Elem[A]) extends ScalanEx.Elem[ScalanEx.Rewrite[A]] with Product with Serializable
- Definition Classes
- RewriteRules
-
case class
RewriteOp[A]()(implicit evidence$1: ScalanEx.Elem[A]) extends ScalanEx.BinOp[A, ScalanEx.Rewrite[A]] with Product with Serializable
- Definition Classes
- RewriteRules
-
trait
RewriteRule[A] extends AnyRef
- Definition Classes
- RewriteRules
-
class
RulesRewriter extends ScalanEx.Rewriter
- Definition Classes
- RewriteRules
-
case class
StringCharAt(str: ScalanEx.Ref[String], index: ScalanEx.Ref[Int]) extends ScalanEx.BaseDef[Char] with Product with Serializable
- Definition Classes
- StringOps
-
implicit
class
StringOpsCls extends AnyRef
- Definition Classes
- StringOps
-
case class
StringSubstring(str: ScalanEx.Ref[String], start: ScalanEx.Ref[Int], end: ScalanEx.Ref[Int]) extends ScalanEx.BaseDef[String] with Product with Serializable
- Definition Classes
- StringOps
-
trait
StructItem[+Val, Schema <: (StructItems.this)#Struct] extends (StructItems.this)#Node with (StructItems.this)#Def[(StructItems.this)#StructItem[Val, Schema]]
- Definition Classes
- StructItems
-
abstract
class
StructItemBase[Val, Schema <: (StructItems.this)#Struct] extends (StructItems.this)#Node with (StructItems.this)#StructItem[Val, Schema]
- Definition Classes
- StructItems
- Annotations
- @Isospec()
-
implicit
class
StructElemExtensionsForStructItem[S <: (StructItemsModule.this)#Struct] extends AnyRef
- Definition Classes
- StructItemsModule
-
implicit
class
StructExtensionsForStructItem[S <: (StructItemsModule.this)#Struct] extends AnyRef
- Definition Classes
- StructItemsModule
-
trait
StructItemFunctor[S <: (StructItemsModule.this)#Struct] extends (StructItemsModule.this)#Cont[[x](StructItemsModule.this)#StructItem[x, S]] with (StructItemsModule.this)#Functor[[x](StructItemsModule.this)#StructItem[x, S]]
- Definition Classes
- StructItemsModule
-
abstract
class
IndexStructKey[Schema <: (StructKeys.this)#Struct] extends (StructKeys.this)#Node with (StructKeys.this)#StructKey[Schema]
- Definition Classes
- StructKeys
- Annotations
- @Isospec()
-
abstract
class
NameStructKey[Schema <: (StructKeys.this)#Struct] extends (StructKeys.this)#Node with (StructKeys.this)#StructKey[Schema]
- Definition Classes
- StructKeys
- Annotations
- @Isospec()
-
trait
StructKey[Schema <: (StructKeys.this)#Struct] extends (StructKeys.this)#Node with (StructKeys.this)#Def[(StructKeys.this)#StructKey[Schema]]
- Definition Classes
- StructKeys
-
trait
KeySet extends AnyRef
- Definition Classes
- StructKeysModule
-
class
KeySetCompanion extends AnyRef
- Definition Classes
- StructKeysModule
-
case class
KeySetDef(keys: Seq[String]) extends (StructKeysModule.this)#BaseDef[(StructKeysModule.this)#KeySet] with Product with Serializable
- Definition Classes
- StructKeysModule
-
class
KeySetElem extends (StructKeysModule.this)#BaseElemLiftable[(StructKeysModule.this)#KeySet]
- Definition Classes
- StructKeysModule
-
case class
KeySetSeq(keys: Seq[String]) extends (StructKeysModule.this)#KeySet with Product with Serializable
- Definition Classes
- StructKeysModule
-
abstract
class
AbstractStruct[T <: (Structs.this)#Struct] extends (Structs.this)#Node with (Structs.this)#Def[T]
- Definition Classes
- Structs
-
case class
FieldApply[T](struct: (Structs.this)#Ref[(Structs.this)#Struct], fieldName: String) extends (Structs.this)#BaseDef[T] with Product with Serializable
- Definition Classes
- Structs
-
case class
FieldUpdate[S <: (Structs.this)#Struct, T](struct: (Structs.this)#Ref[S], fieldName: String, value: (Structs.this)#Ref[T]) extends (Structs.this)#AbstractStruct[S] with Product with Serializable
- Definition Classes
- Structs
-
case class
LiftableStruct[T <: (Structs.this)#Struct](eW: (Structs.this)#Elem[T]) extends Base.Liftables.Liftable[(Structs.this)#SStruct, T] with Product with Serializable
- Definition Classes
- Structs
-
case class
ProjectionStruct(struct: (Structs.this)#Ref[(Structs.this)#Struct], outFields: Seq[String]) extends (Structs.this)#AbstractStruct[(Structs.this)#Struct] with Product with Serializable
- Definition Classes
- Structs
-
case class
SimpleStruct[T <: (Structs.this)#Struct](tag: (Structs.this)#StructTag[T], fields: Seq[(Structs.this)#StructField]) extends (Structs.this)#AbstractStruct[T] with Product with Serializable
- Definition Classes
- Structs
-
case class
SimpleTag[T <: (Structs.this)#Struct](name: String)(implicit typeTag: scala.reflect.api.JavaUniverse.TypeTag[T]) extends (Structs.this)#StructTag[T] with Product with Serializable
- Definition Classes
- Structs
-
trait
Struct extends AnyRef
- Definition Classes
- Structs
-
case class
StructConst[T <: (Structs.this)#Struct](constValue: (Structs.this)#SStruct, _selfType: (Structs.this)#StructElem[T]) extends (Structs.this)#AbstractStruct[T] with LiftedConst[(Structs.this)#SStruct, T] with Product with Serializable
- Definition Classes
- Structs
-
case class
StructElem[T <: (Structs.this)#Struct](structTag: (Structs.this)#StructTag[T], fields: Seq[(String, (Structs.this)#Elem[_])]) extends (Structs.this)#Elem[T] with Product with Serializable
- Definition Classes
- Structs
-
implicit
class
StructOps extends AnyRef
- Definition Classes
- Structs
-
abstract
class
StructTag[T <: (Structs.this)#Struct] extends Product
- Definition Classes
- Structs
-
case class
FlatteningIso[T <: ScalanEx.Struct](eTo: ScalanEx.StructElem[T], flatIsos: Map[String, ScalanEx.Iso[_, _]], links: Seq[ScalanEx.Link]) extends ScalanEx.Node with ScalanEx.IsoUR[ScalanEx.Struct, T] with Product with Serializable
- Definition Classes
- StructsEx
-
case class
Link(field: String, nestedField: String, nestedElem: ScalanEx.Elem[_], flatName: String) extends Product with Serializable
- Definition Classes
- StructsEx
-
case class
MergeIso[T <: ScalanEx.Struct](eTo: ScalanEx.StructElem[T]) extends ScalanEx.Node with ScalanEx.IsoUR[ScalanEx.Struct, T] with Product with Serializable
- Definition Classes
- StructsEx
-
case class
PairifyIso[A, AS <: ScalanEx.Struct](eTo: ScalanEx.Elem[AS]) extends ScalanEx.Node with ScalanEx.IsoUR[A, AS] with Product with Serializable
- Definition Classes
- StructsEx
-
case class
StructIso[S <: ScalanEx.Struct, T <: ScalanEx.Struct](eFrom: ScalanEx.StructElem[S], eTo: ScalanEx.StructElem[T], itemIsos: Seq[ScalanEx.Iso[_, _]]) extends ScalanEx.Node with ScalanEx.IsoUR[S, T] with Product with Serializable
- Definition Classes
- StructsEx
-
case class
StructToPairIso[A1, A2, B1, B2](iso1: ScalanEx.Iso[A1, B1], iso2: ScalanEx.Iso[A2, B2]) extends ScalanEx.Node with ScalanEx.IsoUR[ScalanEx.Struct, (B1, B2)] with Product with Serializable
- Definition Classes
- StructsEx
-
case class
ViewStruct[A, B](source: ScalanEx.Ref[A])(iso: ScalanEx.Iso[A, B]) extends ScalanEx.View[A, B] with Product with Serializable
- Definition Classes
- StructsEx
-
case class
ThunkView[A, B](source: ScalanEx.Ref[ScalanEx.Thunk[A]])(innerIso: ScalanEx.Iso[A, B]) extends ScalanEx.View1[A, B, ScalanEx.Thunk] with Product with Serializable
- Definition Classes
- ThunksEx
-
implicit
class
TupleOps16[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P] extends AnyRef
- Definition Classes
- TuplesEx
-
implicit
class
TupleOps6[A, B, C, D, E, F] extends AnyRef
- Definition Classes
- TuplesEx
-
implicit
class
TupleOps7[A, B, C, D, E, F, G] extends AnyRef
- Definition Classes
- TuplesEx
-
implicit
class
TupleOps8[A, B, C, D, E, F, G, H] extends AnyRef
- Definition Classes
- TuplesEx
-
implicit
class
TupleOps9[A, B, C, D, E, F, G, H, I] extends AnyRef
- Definition Classes
- TuplesEx
-
implicit
class
JoinSumOps[A] extends AnyRef
- Definition Classes
- TypeSum
-
implicit
class
OptionOps[A] extends AnyRef
- Definition Classes
- TypeSum
-
implicit
class
RepExtensionsForSum[A] extends AnyRef
- Definition Classes
- TypeSum
-
case class
SLeft[A, B](left: (TypeSum.this)#Ref[A], eRight: (TypeSum.this)#Elem[B]) extends (TypeSum.this)#BaseDef[(TypeSum.this)#|[A, B]] with Product with Serializable
- Definition Classes
- TypeSum
-
case class
SRight[A, B](right: (TypeSum.this)#Ref[B], eLeft: (TypeSum.this)#Elem[A]) extends (TypeSum.this)#BaseDef[(TypeSum.this)#|[A, B]] with Product with Serializable
- Definition Classes
- TypeSum
-
case class
SumFold[A, B, R](sum: (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]], left: (TypeSum.this)#Ref[(A) ⇒ R], right: (TypeSum.this)#Ref[(B) ⇒ R]) extends (TypeSum.this)#BaseDef[R] with Product with Serializable
- Definition Classes
- TypeSum
-
case class
SumMap[A, B, C, D](sum: (TypeSum.this)#Ref[(TypeSum.this)#|[A, B]], left: (TypeSum.this)#Ref[(A) ⇒ C], right: (TypeSum.this)#Ref[(B) ⇒ D]) extends (TypeSum.this)#BaseDef[(TypeSum.this)#|[C, D]] with Product with Serializable
- Definition Classes
- TypeSum
-
trait
SumOps[A, B] extends AnyRef
- Definition Classes
- TypeSum
-
class
SumOpsExp[A, B] extends (TypeSum.this)#SumOps[A, B]
- Definition Classes
- TypeSum
-
case class
FindArg(predicate: (ScalanEx.Ref[_]) ⇒ Boolean) extends Product with Serializable
- Definition Classes
- TypeSumEx
-
case class
HasArg(predicate: (ScalanEx.Ref[_]) ⇒ Boolean) extends Product with Serializable
- Definition Classes
- TypeSumEx
-
abstract
class
Analyzer extends AnyRef
- Definition Classes
- TransformingEx
-
trait
BackwardAnalyzer[M[_]] extends ScalanEx.Analyzer
- Definition Classes
- TransformingEx
-
class
EmptyMarking[T] extends ScalanEx.Marking[T]
- Definition Classes
- TransformingEx
-
sealed abstract
class
KeyPath extends AnyRef
- Definition Classes
- TransformingEx
-
implicit
class
KeyPathElemOps extends AnyRef
- Definition Classes
- TransformingEx
-
trait
Lattice[M[_]] extends AnyRef
- Definition Classes
- TransformingEx
-
trait
Marking[T] extends AnyRef
- Definition Classes
- TransformingEx
-
class
MarkingElem[T] extends ScalanEx.BaseElemLiftable[ScalanEx.Marking[T]]
- Definition Classes
- TransformingEx
-
case class
MarkingType[A](tA: RType[A]) extends RType[ScalanEx.Marking[A]] with Product with Serializable
- Definition Classes
- TransformingEx
-
abstract
class
MirrorEx extends ScalanEx.Mirror
- Definition Classes
- TransformingEx
-
class
ProjectionTree extends ScalanEx.SymbolTree
- Definition Classes
- TransformingEx
-
case class
SingletonElem[T](value: T)(implicit evidence$1: ClassTag[T]) extends ScalanEx.BaseElemLiftable[T] with Product with Serializable
- Definition Classes
- TransformingEx
-
abstract
class
SymbolTree extends AnyRef
- Definition Classes
- TransformingEx
-
class
TupleTree extends ScalanEx.SymbolTree
- Definition Classes
- TransformingEx
Value Members
-
object
IdSupply
- Definition Classes
- BaseEx
-
object
HasConv
- Definition Classes
- ConvertersModule
-
object
IsConvertible
- Definition Classes
- ConvertersModule
-
object
MetaNode extends Serializable
- Definition Classes
- Metadata
-
def
!!!(msg: String, e: Throwable, syms: Ref[_]*): Nothing
- Definition Classes
- Base
-
def
!!!(msg: String, syms: Ref[_]*): Nothing
- Definition Classes
- Base
-
def
!!!: Nothing
- 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: Ref[_]*): Nothing
- Definition Classes
- Base
-
def
???: Nothing
- Definition Classes
- Base
- def AllTypes(e: Elem[_]): Boolean
-
val
And: BinOp[Boolean, Boolean]
- Definition Classes
- LogicalOps
-
val
AnyElement: Elem[Any]
- Definition Classes
- TypeDescs
-
val
AnyRefElement: Elem[AnyRef]
- Definition Classes
- TypeDescs
-
val
BinaryXorOp: BinOp[Boolean, Boolean]
- Definition Classes
- LogicalOps
-
implicit
val
BooleanElement: Elem[Boolean]
- Definition Classes
- TypeDescs
-
val
BooleanToInt: UnOp[Boolean, Int]
- Definition Classes
- LogicalOps
-
implicit
val
ByteElement: Elem[Byte]
- Definition Classes
- TypeDescs
-
implicit
val
CharElement: Elem[Char]
- Definition Classes
- TypeDescs
-
val
DefaultMirror: Mirror
- Definition Classes
- Transforming
-
implicit
val
DoubleElement: Elem[Double]
- Definition Classes
- TypeDescs
-
val
EmptyTypeArgs: ListMap[String, (TypeDesc, Variance)]
- Definition Classes
- TypeDescs
-
val
FindFoldArg: FindArg
- Definition Classes
- TypeSumEx
-
implicit
val
FloatElement: Elem[Float]
- Definition Classes
- TypeDescs
-
implicit final
def
FuncElemExtensions[A, B](eAB: Elem[(A) ⇒ B]): FuncElem[A, B]
- Definition Classes
- TypeDescs
-
def
IF(cond: Ref[Boolean]): IfBranch
- Definition Classes
- IfThenElse
-
implicit
val
IntElement: Elem[Int]
- Definition Classes
- TypeDescs
-
final
def
IntZero: Ref[Int]
- Definition Classes
- Base
- Annotations
- @inline()
-
val
KeySet: KeySetCompanion
- Definition Classes
- StructKeysModule
-
implicit
lazy val
KeySetElement: Elem[KeySet]
- Definition Classes
- StructKeysModule
-
val
KeySetRType: RType[KeySet]
- Definition Classes
- StructKeysModule
-
val
LazyAnyElement: Lazy[Elem[Any]]
- Definition Classes
- TypeDescs
-
implicit
val
LongElement: Elem[Long]
- Definition Classes
- TypeDescs
-
val
MultipleArgsKey: MetaKey[Int]
- Definition Classes
- Metadata
-
val
NoRewriting: Rewriter
- Definition Classes
- Transforming
-
val
Not: UnOp[Boolean, Boolean]
- Definition Classes
- LogicalOps
-
val
NothingElement: Elem[Nothing]
- Definition Classes
- TypeDescs
-
val
Or: BinOp[Boolean, Boolean]
- Definition Classes
- LogicalOps
-
implicit
def
OrderingToOrderingOps[T](x: T)(implicit n: Ordering[T], et: Elem[T]): OrderingOpsCls[T]
- Definition Classes
- OrderingOps
-
implicit final
def
PairElemExtensions[A, B](eAB: Elem[(A, B)]): PairElem[A, B]
- Definition Classes
- TypeDescs
-
implicit
val
ShortElement: Elem[Short]
- Definition Classes
- TypeDescs
-
val
StringConcat: BinOp[String, String]
- Definition Classes
- StringOps
-
val
StringContains: BinOp[String, Boolean]
- Definition Classes
- StringOps
-
implicit
val
StringElement: Elem[String]
- Definition Classes
- TypeDescs
-
val
StringEndsWith: BinOp[String, Boolean]
- Definition Classes
- StringOps
-
val
StringLength: UnOp[String, Int]
- Definition Classes
- StringOps
-
val
StringMatches: BinOp[String, Boolean]
- Definition Classes
- StringOps
-
val
StringStartsWith: BinOp[String, Boolean]
- Definition Classes
- StringOps
-
val
StringToDouble: UnOp[String, Double]
- Definition Classes
- StringOps
-
val
StringToInt: UnOp[String, Int]
- Definition Classes
- StringOps
-
implicit
def
StructElemExtensions[T <: Struct](e: Elem[T]): StructElem[T]
- Definition Classes
- Structs
-
implicit final
def
SumElemExtensions[A, B](eAB: Elem[|[A, B]]): SumElem[A, B]
- Definition Classes
- TypeDescs
-
val
Thunk: ThunkCompanion
- Definition Classes
- Thunks
-
final
def
TypeArgs(descs: (String, (TypeDesc, Variance))*): ListMap[String, (TypeDesc, Variance)]
- Definition Classes
- TypeDescs
-
implicit
val
UnitElement: Elem[Unit]
- Definition Classes
- TypeDescs
-
val
_currentPass: Pass
- Definition Classes
- Transforming
-
def
addInvokeTester(pred: InvokeTester): Unit
- Definition Classes
- BaseEx
-
def
addRewriteRules(rules: RewriteRule[_]*): Unit
- Definition Classes
- RewriteRules
-
def
addToSet[A](xs: Seq[Ref[A]], y: Ref[A]): Seq[Ref[A]]
- Definition Classes
- Blocks
-
def
addUnpackTester(tester: UnpackTester): Unit
- Definition Classes
- ViewsModule
-
def
allEntities: Iterable[SEntityDef]
- Definition Classes
- ModulesEx
-
def
allMetadataOf(target: Ref[_]): MetaNode
- Definition Classes
- Metadata
-
def
alphaEqual(s1: Sym, s2: Sym): Boolean
- Definition Classes
- Functions
-
def
applyBinOp[A, R](op: BinOp[A, R], lhs: Ref[A], rhs: Ref[A]): Ref[R]
- Definition Classes
- UnBinOps
-
def
applyBinOpLazy[A, R](op: BinOp[A, R], lhs: Ref[A], rhs: Ref[Thunk[A]]): Ref[R]
- Definition Classes
- UnBinOps
-
def
applyUnOp[A, R](op: UnOp[A, R], arg: Ref[A]): Ref[R]
- Definition Classes
- UnBinOps
-
final
def
asElem[T](d: TypeDesc): Elem[T]
- Definition Classes
- TypeDescs
- Annotations
- @inline()
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
final
def
asRep[T](x: Ref[_]): Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
def
assertElem(value: Ref[_], elem: Elem[_], hint: ⇒ String): Unit
- Definition Classes
- TypeDescs
-
def
assertElem(value: Ref[_], elem: Elem[_]): Unit
- Definition Classes
- TypeDescs
-
def
assertEqualElems[A](e1: Elem[A], e2: Elem[A], m: ⇒ String): Unit
- Definition Classes
- TypeDescs
-
def
assertValueIdForOpCost[A, B](value: Ref[A], cost: Ref[B]): Unit
- Definition Classes
- UniversalOps
-
def
astContext: AstContextBase
- Definition Classes
- ModulesEx
-
def
baseConv[T, R](f: Ref[(T) ⇒ R]): Conv[T, R]
- Definition Classes
- ConvertersModule
-
def
baseStructName(tag: StructTag[_]): String
- Attributes
- protected
- Definition Classes
- Structs
-
def
beginPass(pass: Pass): Unit
- Definition Classes
- Transforming
-
def
buildIso[T](e: Elem[T], builder: IsoBuilder): Iso[_, T]
- Definition Classes
- ViewsModuleEx
-
val
cacheElems: Boolean
- Definition Classes
- Base
-
val
cachePairs: Boolean
- Definition Classes
- Base
-
def
cachedElem[E <: Elem[_]](args: AnyRef*)(implicit tag: ClassTag[E]): E
- Definition Classes
- RewriteRules
-
final
def
cachedElemByClass[E <: Elem[_]](args: AnyRef*)(implicit clazz: Class[E]): E
- Definition Classes
- TypeDescs
-
def
canBeInvoked(d: Def[_], m: Method, args: Array[AnyRef]): Boolean
- Attributes
- protected
- Definition Classes
- BaseEx
-
def
canBeInvoked(mc: MethodCall): Boolean
- Definition Classes
- BaseEx
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
clusterColor(g: AstGraph): Option[String]
- Attributes
- protected
- Definition Classes
- GraphVizExport
-
def
clusterSchedule(g: AstGraph): Seq[Sym]
- Attributes
- protected
- Definition Classes
- GraphVizExport
-
def
compose[A, B, C](f: Ref[(B) ⇒ C], g: Ref[(A) ⇒ B]): Ref[(A) ⇒ C]
- Definition Classes
- Functions
- def composeBi[A, B, C, D](f: Ref[(A) ⇒ B], g: Ref[(A) ⇒ C])(h: (Ref[B], Ref[C]) ⇒ Ref[D]): Ref[(A) ⇒ D]
-
def
composeConv[A, B, B1 >: B, C](c2: Conv[B1, C], c1: Conv[A, B]): Conv[A, C]
- Definition Classes
- ConvertersModule
-
def
composeIso[A, B, C](iso2: Iso[B, C], iso1: Iso[A, B]): Iso[A, C]
- Definition Classes
- ViewsModule
-
def
configs: List[UnitConfig]
- Definition Classes
- ModulesEx
-
def
constFun[A, B](x: Ref[B])(implicit e: Elem[A]): Ref[(A) ⇒ B]
- Definition Classes
- Functions
-
final
def
container[F[_]](implicit arg0: Cont[F]): Cont[F]
- Definition Classes
- TypeDescs
-
implicit final
def
containerElem[F[_], A](implicit arg0: Cont[F], arg1: Elem[A]): Elem[F[A]]
- Definition Classes
- TypeDescs
-
def
convertAfterIso[A, B, C](iso0: Iso[A, B], convTo: Conv[B, C], convFrom: Conv[C, B]): Iso[A, C]
- Definition Classes
- ConvertersModule
-
def
convertBeforeIso[A, B, C](convTo: Conv[A, B], convFrom: Conv[B, A], iso0: Iso[B, C]): Iso[A, C]
- Definition Classes
- ConvertersModule
-
def
converterIso[A, B](convTo: Conv[A, B], convFrom: Conv[B, A]): Iso[A, B]
- Definition Classes
- ConvertersModule
-
def
createDefinition[T](optScope: Nullable[ThunkScope], s: Ref[T], d: Def[T]): Ref[T]
- Attributes
- protected
- Definition Classes
- Base
-
def
currentPass: Pass
- Definition Classes
- Transforming
-
val
debugModeSanityChecks: Boolean
- Definition Classes
- Base
-
def
decompose[T](d: Def[T]): Option[Ref[T]]
- Definition Classes
- BaseEx
-
def
defCount: Int
- Definition Classes
- Base
-
def
def_unapply[T](e: Ref[T]): Nullable[Def[T]]
- Definition Classes
- Base
-
def
defaultGraphVizConfig: GraphVizConfig
- Definition Classes
- GraphVizExport
-
lazy val
defaultStructTag: SimpleTag[Struct]
- Definition Classes
- Structs
-
def
defaultUnpackTester(e: Elem[_]): Boolean
- Definition Classes
- ViewsModule
-
def
delayInvoke: Nothing
- Definition Classes
- MethodCalls
-
def
downcast[To](value: Ref[_])(implicit arg0: Elem[To]): Ref[To]
- Definition Classes
- UniversalOps
-
val
elemCache: AVHashMap[Class[_], ElemCacheEntry]
- Attributes
- protected
- Definition Classes
- TypeDescs
-
final
def
element[A](implicit ea: Elem[A]): Elem[A]
- Definition Classes
- TypeDescs
-
def
emitDepGraph(exceptionOrGraph: Either[Throwable, AstGraph], directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emitDepGraph(graph: AstGraph, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emitDepGraph(ss: Seq[Sym], directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emitDepGraph(start: Sym, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emitDepGraph(d: Def[_], directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emitDot(dotText: String, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emitExceptionGraph(e: Throwable, directory: File, fileName: String)(implicit config: GraphVizConfig): Option[GraphFile]
- Definition Classes
- GraphVizExport
-
def
emptyMatchSubst: Subst
- Definition Classes
- Functions
- Annotations
- @inline()
- val emptySubst: Map[String, TypeDesc]
-
def
endPass(pass: Pass): Unit
- Definition Classes
- Transforming
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equalValues[A](x: Any, y: Any)(implicit eA: Elem[A]): Boolean
- Attributes
- protected
- Definition Classes
- Equal
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
implicit
def
extendThunkElement[T](elem: Elem[Thunk[T]]): ThunkElem[T]
- Definition Classes
- Thunks
-
def
field(struct: Ref[Struct], fieldIndex: Int): Ref[_]
- Definition Classes
- Structs
-
def
field(struct: Ref[Struct], field: String): Ref[_]
- Definition Classes
- Structs
-
def
fields(struct: Ref[Struct], fields: Seq[String]): Ref[Struct]
- Definition Classes
- Structs
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
def
findGlobalDefinition[T](d: Def[T]): Ref[T]
- Definition Classes
- Base
-
def
findOrCreateDefinition[T](d: Def[T], newSym: ⇒ Ref[T]): Ref[T]
- Definition Classes
- Base
-
val
flatteningBuilder: IsoBuilder
- Definition Classes
- StructsEx
-
def
flatteningIso[T <: Struct](eTo: StructElem[T]): Iso[_, T]
- Definition Classes
- StructsEx
-
def
forceThunkByMirror[A](thunk: Th[A], subst: MapTransformer): Ref[A]
- Definition Classes
- Thunks
-
def
forceThunkDefByMirror[A](th: ThunkDef[A], subst: MapTransformer): Ref[A]
- Definition Classes
- Thunks
-
def
formatConst(x: Any): String
- Attributes
- protected
- Definition Classes
- GraphVizExport
-
def
formatDef(d: Def[_])(implicit config: GraphVizConfig): String
- Attributes
- protected
- Definition Classes
- Structs → GraphVizExport
-
def
formatMetadata(s: Sym): List[String]
- Attributes
- protected
- Definition Classes
- ScalanEx → GraphVizExport
-
def
fractional[T](implicit arg0: Fractional[T]): Fractional[T]
- Definition Classes
- NumericOps
-
final
def
freshId: Int
- Definition Classes
- Base
- Annotations
- @inline()
-
final
def
freshSym[T](d: Def[T]): Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
implicit final
def
fun[A, B](f: (Ref[A]) ⇒ Ref[B])(implicit eA: LElem[A]): Ref[(A) ⇒ B]
- Definition Classes
- Functions
-
implicit final
def
fun2[A, B, C](f: (Ref[A], Ref[B]) ⇒ Ref[C])(implicit eA: LElem[A], eB: LElem[B]): Ref[((A, B)) ⇒ C]
- Definition Classes
- Functions
-
implicit final
def
funcElement[A, B](implicit ea: Elem[A], eb: Elem[B]): Elem[(A) ⇒ B]
- Definition Classes
- TypeDescs
-
def
funcFromConv[T, R](c: Conv[T, R]): Ref[(T) ⇒ R]
- Definition Classes
- ConvertersModule
-
def
funcIso[A, B, C, D](iso1: Iso[A, B], iso2: Iso[C, D]): Iso[(A) ⇒ C, (B) ⇒ D]
- Definition Classes
- ViewsModule
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getConverter[A, B](eA: Elem[A], eB: Elem[B]): Option[Conv[A, B]]
- Definition Classes
- ConvertersModule
-
def
getConverterFrom[TData, TClass, E](eEntity: EntityElem[E], eClass: ConcreteElem[TData, TClass]): Option[Conv[E, TClass]]
- Definition Classes
- ConvertersModule
-
def
getEntityObject(name: String): Nullable[EntityObject]
- Definition Classes
- Base
- Annotations
- @inline()
-
def
getFlatteningIso[T](e: Elem[T]): Iso[_, T]
Flattens all subtrees of structs in e.
Flattens all subtrees of structs in e. Types other than structs are considered either as internal nodes or as leaves.
- e
descriptor of struct type
- returns
an isomorphism in which e is given by param and
eFrom
is flattened e preserving related order of the components
- Definition Classes
- StructsEx
-
def
getIsoByElem[T](e: Elem[T]): Iso[_, T]
- Definition Classes
- ViewsModuleEx
-
def
getMetadata[A](target: Sym, key: MetaKey[A]): Option[A]
- Definition Classes
- Metadata
-
def
getModules: Map[String, SUnitDef]
- Definition Classes
- ModulesEx
-
def
getOwnerKind(constructor: java.lang.reflect.Constructor[_]): OwnerKind
- Attributes
- protected
- Definition Classes
- Base
-
final
def
getSourceValues(dataEnv: DataEnv, forWrapper: Boolean, stagedValues: AnyRef*): Seq[AnyRef]
- Definition Classes
- TypeDescs
-
def
getStagedFunc(name: String): Ref[_]
- Definition Classes
- BaseEx
-
def
getStructMergeIso[T](implicit e: Elem[T]): Iso[_, T]
- Definition Classes
- StructsEx
-
def
getStructToPairsIso[T](implicit e: Elem[T]): Iso[_, T]
- Definition Classes
- StructsEx
-
def
getStructWrapperIso[T](implicit e: Elem[T]): Iso[_, T]
- Definition Classes
- StructsEx
-
final
def
getSym(id: Int): Sym
- Definition Classes
- Base
- Annotations
- @inline()
-
def
hasFuncArg(args: Array[AnyRef]): Boolean
- Attributes
- protected
- Definition Classes
- BaseEx
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
identityConv[A](implicit elem: Elem[A]): Conv[A, A]
- Definition Classes
- ConvertersModule
-
def
identityFun[A](implicit e: Elem[A]): Ref[(A) ⇒ A]
- Definition Classes
- Functions
-
def
identityIso[A](implicit elem: Elem[A]): Iso[A, A]
- Definition Classes
- ViewsModule
-
def
ifThenElseLazy[T](cond: Ref[Boolean], thenp: ⇒ Ref[T], elsep: ⇒ Ref[T]): Ref[T]
- Definition Classes
- IfThenElse
-
def
initialInvokeTesters: ArrayBuffer[InvokeTester]
- Attributes
- protected
- Definition Classes
- BaseEx
-
val
initialUnpackTesters: Set[UnpackTester]
- Attributes
- protected
- Definition Classes
- ViewsModule
-
def
integral[T](implicit arg0: Integral[T]): Integral[T]
- Definition Classes
- NumericOps
-
def
invokeAll: Boolean
- Attributes
- protected
- Definition Classes
- BaseEx
-
def
invokeUnlifted(e: Elem[_], mc: MethodCall, dataEnv: DataEnv): AnyRef
- Definition Classes
- TypeDescs
-
def
isConcreteElem(e: TypeDesc): Boolean
- Definition Classes
- BaseEx
-
def
isConcreteModuloTypeArgs(e: EntityElem[_]): Boolean
- Attributes
- protected
- Definition Classes
- BaseEx
-
val
isInlineThunksOnForce: Boolean
- Definition Classes
- Thunks
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isInvokeEnabled(d: Def[_], m: Method): Boolean
- Definition Classes
- BaseEx
-
final
def
isOne[T](x: T, n: Numeric[T]): Boolean
- Definition Classes
- NumericOps
- Annotations
- @inline()
-
def
isPureDataflow[A](x: Ref[A]): Boolean
- Definition Classes
- Blocks
-
final
def
isZero[T](x: T, n: Numeric[T]): Boolean
- Definition Classes
- NumericOps
- Annotations
- @inline()
-
val
keepOriginalFunc: Boolean
- Definition Classes
- Functions
-
def
keyPathElem(kp: KeyPath): Elem[KeyPath]
- Definition Classes
- TransformingEx
-
def
keyset_create(keys: Seq[String]): Ref[KeySet]
- Definition Classes
- StructKeysModule
-
val
lambdaStack: List[Lambda[_, _]]
- Definition Classes
- Functions
-
def
liftFromSumFold[T1, T2, A, B, C, D](sum: Ref[|[T1, T2]], left: Ref[(T1) ⇒ C], right: Ref[(T2) ⇒ D], iso1: Iso[A, C], iso2: Iso[B, D], toD: Conv[C, D], toC: Conv[D, C]): Ref[C]
- Definition Classes
- TypeSumEx
-
def
liftFromSumFold[T1, T2, A, B](sum: Ref[|[T1, T2]], left: Ref[(T1) ⇒ B], right: Ref[(T2) ⇒ B], iso: Iso[A, B]): Ref[B]
- Definition Classes
- TypeSumEx
-
def
liftStruct[T <: Struct](x: SStruct)(implicit eT: Elem[T]): Ref[T]
- Definition Classes
- Structs
-
implicit
def
liftToRep[A](x: A)(implicit arg0: Elem[A]): Ref[A]
- Definition Classes
- Base
- Annotations
- @inline()
-
implicit
def
liftableStruct[T <: Struct](implicit e: Elem[T]): Base.Liftables.Liftable[SStruct, T]
- Definition Classes
- Structs
-
implicit
def
liftableThunk[ST, T](implicit lT: Base.Liftables.Liftable[ST, T]): Base.Liftables.Liftable[SThunk[ST], Thunk[T]]
- Definition Classes
- Thunks
-
def
logWarn(msg: ⇒ String): Unit
- Definition Classes
- Base
-
implicit
def
markingElem[T](implicit arg0: Elem[T]): MarkingElem[T]
- Definition Classes
- TransformingEx
-
def
markingKey[T](prefix: String)(implicit eT: Elem[T]): MetaKey[Marking[T]]
- Definition Classes
- TransformingEx
-
implicit
def
markingRType[A](implicit tA: RType[A]): RType[Marking[A]]
- Definition Classes
- TransformingEx
-
def
matchAny(a1: Any, a2: Any, allowInexactMatch: Boolean, subst: Subst): Nullable[Subst]
- Attributes
- protected
- Definition Classes
- Functions
-
def
matchDefs(d1: Def[_], d2: Def[_], allowInexactMatch: Boolean, subst: Subst): Nullable[Subst]
- Attributes
- protected
- Definition Classes
- Thunks → Functions
-
def
matchExps(s1: Sym, s2: Sym, allowInexactMatch: Boolean, subst: Subst): Nullable[Subst]
- Attributes
- protected
- Definition Classes
- Functions
-
def
matchIterators(i1: Iterator[_], i2: Iterator[_], allowInexactMatch: Boolean, subst: Subst): Nullable[Subst]
- Attributes
- protected
- Definition Classes
- Functions
-
def
mirrorApply[A, B](lam: Lambda[A, B], s: Ref[A]): Ref[B]
- Definition Classes
- Functions
-
def
mkApply[A, B](f: Ref[(A) ⇒ B], x: Ref[A]): Ref[B]
- Definition Classes
- Functions
-
def
mkLambda[A, B, C](f: (Ref[A], Ref[B]) ⇒ Ref[C])(implicit eA: LElem[A], eB: LElem[B]): Ref[((A, B)) ⇒ C]
- Definition Classes
- Functions
-
def
mkLambda[A, B, C](f: (Ref[A]) ⇒ (Ref[B]) ⇒ Ref[C])(implicit eA: LElem[A], eB: Elem[B]): Ref[(A) ⇒ (B) ⇒ C]
- Definition Classes
- Functions
-
def
mkLambda[A, B](f: (Ref[A]) ⇒ Ref[B], mayInline: Boolean, alphaEquality: Boolean, keepOriginalFunc: Boolean)(implicit eA: LElem[A]): Ref[(A) ⇒ B]
- Definition Classes
- Functions
-
def
mkLeft[A, B](a: Ref[A])(implicit arg0: Elem[B]): Ref[|[A, B]]
- Definition Classes
- TypeSum
-
def
mkMethodCall(receiver: Sym, method: Method, args: Seq[AnyRef], neverInvoke: Boolean, isAdapterCall: Boolean, resultElem: Elem[_]): Sym
- Definition Classes
- MethodCalls
-
def
mkRewrite[A](x: Ref[A], y: Ref[A]): Ref[Rewrite[A]]
- Definition Classes
- RewriteRules
-
def
mkRight[A, B](b: Ref[B])(implicit arg0: Elem[A]): Ref[|[A, B]]
- Definition Classes
- TypeSum
-
val
nInitialDefs: Int
- Definition Classes
- Base
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newObjEx[A](args: Any*)(implicit eA: Elem[A]): Ref[A]
- Definition Classes
- MethodCalls
-
def
nodeColor(td: TypeDesc, d: Def[_])(implicit config: GraphVizConfig): String
Used by Graphviz dot file generator to specify color of the node.
Used by Graphviz dot file generator to specify color of the node.
- Attributes
- protected
- Definition Classes
- ScalanEx → Thunks → GraphVizExport
-
def
nodeColor(td: 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: Numeric[T]): Numeric[T]
- Definition Classes
- NumericOps
-
def
okRegisterModules: Boolean
- Definition Classes
- Modules
-
def
onReset(): Unit
- Attributes
- protected
- Definition Classes
- Base
-
def
opCost(costedValue: Sym, args: Seq[Ref[Int]], opCost: Ref[Int]): Ref[Int]
- Definition Classes
- UniversalOps
-
def
pairConv[A1, A2, B1, B2](conv1: Conv[A1, B1], conv2: Conv[A2, B2]): Conv[(A1, A2), (B1, B2)]
- Definition Classes
- ConvertersModule
-
implicit final
def
pairElement[A, B](implicit ea: Elem[A], eb: Elem[B]): Elem[(A, B)]
- Definition Classes
- TypeDescs
-
def
pairIso[A1, A2, B1, B2](iso1: Iso[A1, B1], iso2: Iso[A2, B2]): Iso[(A1, A2), (B1, B2)]
- Definition Classes
- ViewsModule
-
def
pairMany(env: List[Sym]): Sym
- Definition Classes
- TransformingEx
- def pairifyElems(es: Iterator[Elem[_]]): Elem[_]
-
def
pairifyStruct[A <: Struct](se: Elem[A]): Elem[_]
- Definition Classes
- StructsEx
-
def
partsIterator(td: TypeDesc): TraversableOnce[TypeDesc] { def seq: scala.collection.TraversableOnce[ScalanEx.this.TypeDesc]{def seq: scala.collection.TraversableOnce[ScalanEx.this.TypeDesc]{def seq: scala.collection.TraversableOnce[ScalanEx.this.TypeDesc]}} }
- Attributes
- protected
- Definition Classes
- ScalanEx → GraphVizExport
-
def
patternMatch(s1: Sym, s2: Sym): Nullable[Subst]
- Definition Classes
- Functions
-
def
patternRewriteRule[A](rewrite: RRewrite[A]): PatternRewriteRule[A]
- Definition Classes
- RewriteRules
-
def
peelViews(x: Ref[_]): Ref[_]
- Definition Classes
- Blocks
-
val
performViewsLifting: Boolean
- Definition Classes
- BaseEx
-
implicit
def
pimpSum[A, B](s: Ref[|[A, B]]): SumOps[A, B]
- Definition Classes
- TypeSum
-
def
placeholder[T](implicit eT: LElem[T]): Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
def
postulate[A, B, C, R](p: (Ref[A], Ref[B], Ref[C]) ⇒ RRewrite[R])(implicit arg0: Elem[A], arg1: Elem[B], arg2: Elem[C]): RRewrite[R]
- Definition Classes
- RewriteRules
-
def
postulate[A, B, R](p: (Ref[A], Ref[B]) ⇒ RRewrite[R])(implicit arg0: Elem[A], arg1: Elem[B]): RRewrite[R]
- Definition Classes
- RewriteRules
-
def
postulate[A, R](p: (Ref[A]) ⇒ RRewrite[R])(implicit arg0: Elem[A]): RRewrite[R]
- Definition Classes
- RewriteRules
-
def
projectPath(x: Ref[Any], path: TuplePath): Ref[Any]
- Definition Classes
- TransformingEx
-
def
projectTree(root: Ref[Any], tree: ProjectionTree): ProjectionTree
- Definition Classes
- TransformingEx
-
def
projectionIndex(p: Sym): Int
- Definition Classes
- TuplesEx
-
def
propagateBinOp[T, R](op: BinOp[T, R], x: Ref[T], y: Ref[T]): Ref[R]
- Definition Classes
- DefRewriting
-
def
propagateUnOp[T, R](op: UnOp[T, R], x: Ref[T]): Ref[R]
- Definition Classes
- DefRewriting
-
def
random[T](bound: Ref[T])(implicit n: Numeric[T]): Ref[T]
- Definition Classes
- BaseEx
-
def
registerEntityObject(name: String, obj: EntityObject): Unit
- Attributes
- protected
- Definition Classes
- Base
-
def
registerModule(moduleInfo: ModuleInfo): Unit
- Attributes
- protected
- Definition Classes
- Modules
-
implicit
def
reifyObject[A](obj: Def[A]): Ref[A]
- Definition Classes
- Base
-
def
removeInvokeTester(pred: InvokeTester): Unit
- Definition Classes
- BaseEx
-
def
removeMetadata[A](target: Sym, key: MetaKey[A]): Unit
- Definition Classes
- Metadata
-
def
removeRewriteRules(rules: RewriteRule[_]*): Unit
- Definition Classes
- RewriteRules
-
def
removeUnpackTester(tester: UnpackTester): Unit
- Definition Classes
- ViewsModule
-
implicit
def
repOrderingToOrderingOps[T](x: Ref[T])(implicit n: Ordering[T]): OrderingOpsCls[T]
- Definition Classes
- OrderingOps
-
implicit
def
repToThunk[A](block: Ref[A]): Ref[Thunk[A]]
- Definition Classes
- Thunks
-
def
resetContext(): Unit
- Definition Classes
- ScalanEx → Base
-
def
resetTesters(): Unit
- Definition Classes
- BaseEx
-
def
rewrite[T](s: Ref[T]): Sym
This is default implementation which delegates to global rewrite rules.
This is default implementation which delegates to global rewrite rules. However, this can be overriden, as it is done in RewriteRules.
- Definition Classes
- RewriteRules
-
final
def
rewriteBinOp[A, R](op: BinOp[A, R], x: Ref[A], y: Ref[A]): Ref[_]
- Definition Classes
- DefRewriting
-
final
def
rewriteBoolConsts(lhs: Sym, rhs: Sym, ifTrue: (Sym) ⇒ Sym, ifFalse: (Sym) ⇒ Sym, ifEqual: (Sym) ⇒ Sym, ifNegated: (Sym) ⇒ Sym): Sym
- Definition Classes
- LogicalOps
- Annotations
- @inline()
-
def
rewriteDef[T](d: Def[T]): Ref[Any]
- Definition Classes
- TypeSumEx → DefRewriting
-
implicit
def
rewriteElement[A](implicit eA: Elem[A]): Elem[Rewrite[A]]
- Definition Classes
- RewriteRules
-
def
rewriteNonInvokableMethodCall(mc: MethodCall): Ref[_]
- Definition Classes
- MethodCalls
-
val
rewriteRules: List[RewriteRule[_]]
- Definition Classes
- RewriteRules
-
final
def
rewriteUnOp[A, R](op: UnOp[A, R], x: Ref[A]): Ref[_]
- Definition Classes
- DefRewriting
-
def
rewriteUntilFixPoint[T](start: Ref[T], mn: MetaNode, rw: Rewriter): Ref[T]
- Attributes
- protected
-
def
rewriteViews[T](d: Def[T]): Ref[Any]
- Definition Classes
- ConvertersModuleEx → TypeSumEx → BaseEx
-
def
rewriteWithRules[T](rules: List[RewriteRule[_]])(s: Ref[T]): Sym
- Definition Classes
- RewriteRules
-
def
sOptionElement[A](implicit arg0: Elem[A]): Elem[SOptional[A]]
- Definition Classes
- TypeSum
-
def
semicolon[A, B](left: Ref[A], right: Ref[B]): Ref[B]
- Definition Classes
- Blocks
-
def
semicolonMulti[B](xs: Seq[Ref[_]], y: Ref[B]): Ref[B]
- Definition Classes
- Blocks
- def setAllMetadata(target: Ref[_], node: MetaNode): Unit
-
def
setMetadata[A, B](target: Ref[A], key: MetaKey[B])(value: B, mirrorWithDef: Option[Boolean] = None): Ref[A]
- Definition Classes
- Metadata
-
def
shouldEmitCluster(g: AstGraph): Boolean
- Attributes
- protected
- Definition Classes
- GraphVizExport
-
def
shouldExtractFields: Boolean
- Definition Classes
- StructsEx
-
def
shouldSlice: Boolean
- Definition Classes
- StructsEx
-
def
shouldUnpack(e: Elem[_]): Boolean
- Definition Classes
- ViewsModule
-
def
shouldUnpackTuples: Boolean
- Definition Classes
- StructsEx
-
def
showGraphs(graph: AstGraph)(implicit config: GraphVizConfig): Unit
- Definition Classes
- GraphVizExport
-
def
showGraphs(roots: Sym*)(implicit config: GraphVizConfig): Unit
- Definition Classes
- GraphVizExport
-
def
sizeOf[T](value: Ref[T]): Ref[Long]
- Definition Classes
- UniversalOps
-
def
stagingExceptionMessage(message: String, syms: Seq[Ref[_]]): String
- Attributes
- protected
- Definition Classes
- Base
-
def
string_apply(str: Ref[String], index: Ref[Int]): Ref[Char]
- Definition Classes
- StringOps
-
def
string_substring(str: Ref[String], start: Ref[Int], end: Ref[Int]): Ref[String]
- Definition Classes
- StringOps
-
def
struct[T <: Struct](tag: StructTag[T], fields: Seq[StructField]): Ref[T]
- Definition Classes
- Structs
-
def
struct[T <: Struct](tag: StructTag[T], fields: StructField*)(implicit o: Overloaded1): Ref[T]
- Definition Classes
- Structs
-
def
struct(fields: Seq[StructField]): Ref[Struct]
- Definition Classes
- Structs
-
def
struct(fields: StructField*)(implicit o: Overloaded1): Ref[Struct]
- Definition Classes
- Structs
-
def
structElement(fields: Seq[(String, Elem[_])]): StructElem[Struct]
- Definition Classes
- Structs
-
def
structElement[T <: Struct](tag: StructTag[T], fields: Seq[(String, Elem[_])]): StructElem[T]
- Definition Classes
- Structs
-
def
structElementFor[T <: Struct](fields: Seq[(String, Elem[_])])(implicit arg0: scala.reflect.api.JavaUniverse.TypeTag[T]): StructElem[T]
- Definition Classes
- Structs
-
def
structIso[S <: Struct, T <: Struct](eFrom: StructElem[S], eTo: StructElem[T], itemIsos: Seq[Iso[_, _]]): Iso[S, T]
- Definition Classes
- StructsEx
-
implicit
def
structItemContainer[S <: Struct](implicit arg0: Elem[S]): Functor[[x]StructItem[x, S]]
- Definition Classes
- StructItemsModule
-
def
structToPairIso[A, B](pe: Elem[(A, B)]): Iso[Struct, (A, B)]
- Definition Classes
- StructsEx
-
def
structToPairIso[A, B](implicit arg0: Elem[A], arg1: Elem[B]): Iso[Struct, (A, B)]
- Definition Classes
- StructsEx
-
def
structToPairIso[A1, A2, B1, B2](iso1: Iso[A1, B1], iso2: Iso[A2, B2]): Iso[Struct, (B1, B2)]
- Definition Classes
- StructsEx
-
def
structWrapper[A, B](f: Ref[(A) ⇒ B]): Ref[(Any) ⇒ Any]
- Definition Classes
- StructsEx
-
def
structWrapperIn[A, B](f: Ref[(A) ⇒ B]): Ref[(Any) ⇒ B]
- Definition Classes
- StructsEx
-
def
structWrapperOut[A, B](f: Ref[(A) ⇒ B]): Ref[(A) ⇒ Any]
- Definition Classes
- StructsEx
-
def
struct_getItem[S <: Struct](s: Ref[S], i: Ref[Int]): Ref[StructItem[_, S]]
- Definition Classes
- StructItemsModule
-
def
struct_getItem[S <: Struct](s: Ref[S], i: Int)(implicit o1: Overloaded1): Ref[StructItem[_, S]]
- Definition Classes
- StructItemsModule
-
def
struct_setItem[S <: Struct](s: Ref[S], i: Ref[Int], v: Ref[_]): Ref[S]
- Definition Classes
- StructItemsModule
-
implicit final
def
sumElement[A, B](implicit ea: Elem[A], eb: Elem[B]): Elem[|[A, B]]
- Definition Classes
- TypeDescs
-
def
sumIso[A1, A2, B1, B2](iso1: Iso[A1, B1], iso2: Iso[A2, B2]): Iso[|[A1, A2], |[B1, B2]]
- Definition Classes
- ViewsModule
-
val
symNameKey: MetaKey[String]
- Definition Classes
- Metadata
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
throwInvocationException(whatFailed: String, cause: Throwable, receiver: Sym, m: Method, args: Seq[Any]): Nothing
- Definition Classes
- MethodCalls
-
implicit
val
thunkCont: Cont[Thunk]
- Definition Classes
- Thunks
-
implicit
def
thunkElement[T](implicit eItem: Elem[T]): Elem[Thunk[T]]
- Definition Classes
- Thunks
-
def
thunkIso[A, B](iso: Iso[A, B]): Iso1[A, B, Thunk]
- Definition Classes
- ViewsModule
-
val
thunkStack: ThunkStack
- Attributes
- protected
- Definition Classes
- Thunks
-
def
thunk_create[A](block: ⇒ Ref[A]): Ref[Thunk[A]]
- Definition Classes
- Thunks
-
def
thunk_force[A](t: Th[A]): Ref[A]
- Definition Classes
- Thunks
-
def
thunk_map[A, B](t: Th[A], f: Ref[(A) ⇒ B]): Th[B]
- Definition Classes
- Thunks
-
def
thunk_map1[A, B](t: Th[A], f: (Ref[A]) ⇒ Ref[B]): Th[B]
- Definition Classes
- Thunks
- def toExp[T](d: Def[T], newSym: ⇒ Ref[T]): Ref[T]
-
implicit final
def
toLazyElem[A](implicit eA: Elem[A]): LElem[A]
- Definition Classes
- TypeDescs
-
def
toRep[A](x: A)(implicit eA: Elem[A]): Ref[A]
- Definition Classes
- TypeSumEx → Base
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
toStructElemShallow[T](e: Elem[T]): Elem[_]
Replaces a root tree of
PairElem
s in the given elemente
withStructElem
s.Replaces a root tree of
PairElem
s in the given elemente
withStructElem
s. All other types are considered as leaves.- returns
new StructElem if
e
isPairElem
otherwise returnse
.
- Definition Classes
- Structs
- def toTpeExpr(d: TypeDesc): STpeExpr
-
def
transformProductParam(x: Any, t: Transformer): Any
- Attributes
- protected
- Definition Classes
- Base
-
def
trivialUnapply[T](s: Ref[T]): (Ref[T], Iso[T, T])
- Attributes
- protected
- Definition Classes
- ViewsModuleEx
-
def
tryComposeIso[A, B, C](iso2: Iso[B, C], iso1: Iso[A, B]): Option[Iso[A, C]]
- Definition Classes
- ViewsModuleEx
-
def
tryConvert[From, To](eFrom: Elem[From], eTo: Elem[To], x: Ref[Def[_]], conv: Ref[(From) ⇒ To]): Ref[To]
- Definition Classes
- UniversalOps
-
def
tuple2StructElement[A, B](implicit arg0: Elem[A], arg1: Elem[B]): StructElem[Struct]
- Definition Classes
- Structs
-
def
tuple3StructElement[A, B, C](implicit arg0: Elem[A], arg1: Elem[B], arg2: Elem[C]): StructElem[Struct]
- Definition Classes
- Structs
-
def
tupleFN(fieldIndex: Int): String
Get tuple field name by index
Get tuple field name by index
- Definition Classes
- Structs
-
def
tupleStruct(items: Ref[_]*): Ref[Struct]
- Definition Classes
- Structs
-
def
tupleStructElement(fieldElems: Elem[_]*)(implicit o: Overloaded1): StructElem[Struct]
- Definition Classes
- Structs
-
val
tuplesCache: AVHashMap[Ref[_], (Ref[_], Ref[_])]
- Definition Classes
- Tuples
-
final
def
typedfun[A, B](eA: Elem[A])(f: (Ref[A]) ⇒ Ref[B]): Ref[(A) ⇒ B]
A more convenient then
fun
to call with explicit eA. - def unapplyViews[T](s: Ref[T]): Option[Unpacked[T]]
-
def
unfoldLambda[A, B](f: Ref[(A) ⇒ B], x: Ref[A]): Ref[B]
- Definition Classes
- Functions
-
def
unfoldLambda[A, B](lam: Lambda[A, B], x: Ref[A]): Ref[B]
- Definition Classes
- Functions
-
val
unfoldWithOriginalFunc: Boolean
- Definition Classes
- Functions
-
def
unifyIsos[A, B, C, D](iso1: Iso[A, C], iso2: Iso[B, D], toD: Conv[C, D], toC: Conv[D, C]): (Iso[A, C], Iso[B, C])
- Definition Classes
- ConvertersModule
-
val
unpackTesters: Set[UnpackTester]
- Attributes
- protected
- Definition Classes
- ViewsModule
-
def
unrefDelegate[T <: AnyRef](x: 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
- ScalanEx → MethodCalls
-
def
unzipMany[T](tuple: Ref[_], list: List[T]): List[Ref[_]]
- Definition Classes
- StructsEx
-
def
unzipPair[A, B](p: Ref[(A, B)]): (Ref[A], Ref[B])
- Definition Classes
- Tuples
-
def
upcast[To](value: Ref[_])(implicit arg0: Elem[To]): Ref[To]
- Definition Classes
- UniversalOps
-
def
upcastFun[A, B >: A](implicit arg0: Elem[A]): Ref[(A) ⇒ B]
- Definition Classes
- Functions
-
def
updateField[S <: Struct](struct: Ref[S], fieldName: String, v: Ref[_]): Ref[S]
- Definition Classes
- Structs
-
final
def
updateSymbolTable[T](s: Ref[T], d: Def[T]): Ref[T]
- Definition Classes
- Base
-
val
useAlphaEquality: Boolean
- Definition Classes
- Functions
-
final
def
valueFromRep[A](x: Ref[A]): A
- Definition Classes
- Base
- Annotations
- @inline()
-
def
variable[T](implicit eT: LElem[T]): Ref[T]
- Definition Classes
- Base
- Annotations
- @inline()
-
implicit
def
viewElement[From, To](implicit iso: Iso[From, To]): Elem[To]
- Definition Classes
- ViewsModule
-
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
- @native() @throws( ... )
-
implicit
def
zipPair[A, B](p: (Ref[A], Ref[B])): Ref[(A, B)]
- Definition Classes
- Tuples
-
implicit
def
zipTuple16[A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P](p: (Ref[A], Ref[B], Ref[C], Ref[D], Ref[E], Ref[F], Ref[G], Ref[H], Ref[I], Ref[J], Ref[K], Ref[L], Ref[M], Ref[N], Ref[O], Ref[P])): Ref[(A, (B, (C, (D, (E, (F, (G, (H, (I, (J, (K, (L, (M, (N, (O, P)))))))))))))))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple3[A, B, C](p: (Ref[A], Ref[B], Ref[C])): Ref[(A, (B, C))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple4[A, B, C, D](p: (Ref[A], Ref[B], Ref[C], Ref[D])): Ref[(A, (B, (C, D)))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple5[A, B, C, D, E](p: (Ref[A], Ref[B], Ref[C], Ref[D], Ref[E])): Ref[(A, (B, (C, (D, E))))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple6[A, B, C, D, E, F](p: (Ref[A], Ref[B], Ref[C], Ref[D], Ref[E], Ref[F])): Ref[(A, (B, (C, (D, (E, F)))))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple7[A, B, C, D, E, F, G](p: (Ref[A], Ref[B], Ref[C], Ref[D], Ref[E], Ref[F], Ref[G])): Ref[(A, (B, (C, (D, (E, (F, G))))))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple8[A, B, C, D, E, F, G, H](p: (Ref[A], Ref[B], Ref[C], Ref[D], Ref[E], Ref[F], Ref[G], Ref[H])): Ref[(A, (B, (C, (D, (E, (F, (G, H)))))))]
- Definition Classes
- TuplesEx
-
implicit
def
zipTuple9[A, B, C, D, E, F, G, H, I](p: (Ref[A], Ref[B], Ref[C], Ref[D], Ref[E], Ref[F], Ref[G], Ref[H], Ref[I])): Ref[(A, (B, (C, (D, (E, (F, (G, (H, I))))))))]
- Definition Classes
- TuplesEx
- object ArgElem extends Serializable
-
object
ConstantLambda
- Definition Classes
- Functions
-
object
Def
- Definition Classes
- Base
-
object
Elem extends Serializable
- Definition Classes
- TypeDescs
-
object
IdentityLambda
- Definition Classes
- Functions
-
object
Lambda
- Definition Classes
- Functions
-
object
Liftables
- Definition Classes
- Base
-
object
MapTransformer extends Serializable
- Definition Classes
- Transforming
-
object
Pair
- Definition Classes
- Tuples
-
object
Pass
- Definition Classes
- Transforming
-
object
ProgramGraph extends Serializable
- Definition Classes
- ProgramGraphs
-
object
ThunkDef
- Definition Classes
- Thunks
- object TypeDesc
-
object
VeryConstantLambda
- Definition Classes
- Functions
-
object
ViewElem extends Serializable
- Definition Classes
- ViewsModule
-
object
HasViews
- Definition Classes
- ViewsModuleEx
-
object
LambdaResultHasViews
- Definition Classes
- ViewsModuleEx
-
object
PairIsos
- Definition Classes
- ViewsModuleEx
-
object
UnpackableDef
- Definition Classes
- ViewsModuleEx
-
object
UnpackableElem
- Definition Classes
- ViewsModuleEx
-
object
UnpackableExp
- Definition Classes
- ViewsModuleEx
-
object
BaseConverter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
ComposeConverter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
Converter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
ConverterIso extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
FunctorConverter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
IdentityConv extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
NaturalConverter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
PairConverter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
SumConverter extends (ConvertersDefs.this)#EntityObject
- Definition Classes
- ConvertersDefs
-
object
AbsorbFirstUnitIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
AbsorbSecondUnitIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
ComposeIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
FuncIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
IdentityIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
Iso1UR extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
IsoUR extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
PairIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
SumIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
ThunkIso extends (ViewsDefs.this)#EntityObject
- Definition Classes
- ViewsDefs
-
object
HasSemicolons
- Definition Classes
- Blocks
-
object
StringObject
- Definition Classes
- StringOps
-
object
Field
- Definition Classes
- Structs
-
object
SimpleTag extends Serializable
- Definition Classes
- Structs
-
object
Struct
- Definition Classes
- Structs
-
object
FieldGet
- Definition Classes
- StructsEx
-
object
SameStructAs
- Definition Classes
- StructsEx
-
object
StructsRewriter extends ScalanEx.Rewriter
- Definition Classes
- StructsEx
-
object
Tuple
- Definition Classes
- TuplesEx
-
object
TupleProjection
- Definition Classes
- TuplesEx
-
object
SOptional
- Definition Classes
- TypeSum
-
object
IsJoinSum
- Definition Classes
- TypeSumEx
-
object
IsLeft
- Definition Classes
- TypeSumEx
-
object
IsRight
- Definition Classes
- TypeSumEx
-
object
IsSumMapLambda
- Definition Classes
- TypeSumEx
-
object
StructItem extends (StructItemsDefs.this)#EntityObject
- Definition Classes
- StructItemsDefs
-
object
StructItemBase extends (StructItemsDefs.this)#EntityObject
- Definition Classes
- StructItemsDefs
-
object
IndexStructKey extends (StructKeysDefs.this)#EntityObject
- Definition Classes
- StructKeysDefs
-
object
NameStructKey extends (StructKeysDefs.this)#EntityObject
- Definition Classes
- StructKeysDefs
-
object
StructKey extends (StructKeysDefs.this)#EntityObject
- Definition Classes
- StructKeysDefs
-
object
DecomposeRewriter extends ScalanEx.Rewriter
- Definition Classes
- TransformingEx
-
object
InvokeRewriter extends ScalanEx.Rewriter
Rewriter of the MethodCall nodes that can be invoked.
Rewriter of the MethodCall nodes that can be invoked. For such nodes has an effect of inlining the method body in place of MethodCall node.
- Definition Classes
- TransformingEx
-
object
KeyPath
- Definition Classes
- TransformingEx
-
object
ProjectionTree
- Definition Classes
- TransformingEx
-
object
TupleTree
- Definition Classes
- TransformingEx