dotty-cps-async
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
dotty-cps-async/cps.macros.forest.application/ApplicationHelper

ApplicationHelper

cps.macros.forest.application.ApplicationHelper
trait ApplicationHelper[F[_], CT, CC <: CpsMonadContext[F]] extends ApplyArgRecordScope[F, CT, CC] with MethodParamsDescriptorScope[F, CT, CC] with ApplyArgBuilderScope[F, CT, CC] with PartialShiftedApplyScope[F, CT, CC]

Attributes

Graph
Supertypes
trait PartialShiftedApplyScope[F, CT, CC]
trait ApplyArgBuilderScope[F, CT, CC]
trait ApplyArgRecordScope[F, CT, CC]
class Object
trait Matchable
class Any
Known subtypes
trait TreeTransformScope[F, CT, CC]
Self type

Members list

Concise view

Type members

Inherited classlikes

case class ApplyArgByNameRecord(term: Term, index: Int, cpsTree: CpsTree, optShiftType: Option[ApplicationShiftType]) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ApplyArgInlinedRecord(tree: InlinedCpsTree, nested: ApplyArgRecord) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ApplyArgLambdaRecord(term: Term, index: Int, cpsBody: CpsTree, optShiftType: Option[ApplicationShiftType], existsLambdaUnshift: Boolean) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ApplyArgNamedRecord(term: NamedArg, name: String, nested: ApplyArgRecord) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ApplyArgNoPrecalcTermRecord(term: Term, index: Int, isChanged: Boolean) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ApplyArgPrecalcTermRecord(term: Term, index: Int, termCpsTree: CpsTree, valDef: ValDef, ident: Term) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
sealed trait ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class ApplyArgRepeatRecord(term: Repeated, index: Int, elements: List[ApplyArgRecord], seqTypeTree: TypeTree) extends ApplyArgRecord

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
case class ApplyArgsSummaryProperties(step1: ApplyArgsSummaryPropertiesStep1, usePrepend: Boolean)

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ApplyArgsSummaryProperties

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
case class ApplyArgsSummaryPropertiesStep1(hasAsync: Boolean, hasShiftedLambda: Boolean, shouldBeChangedSync: Boolean)

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object ApplyArgsSummaryPropertiesStep1

Attributes

Inherited from:
ApplyArgRecordScope
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
case class BuildApplyArgsAcc(posIndex: Int, paramIndex: Int, wasNamed: Boolean, inRepeat: Boolean, inNamed: Boolean, records: Seq[ApplyArgRecord], filledNamed: Set[Int])

Attributes

Inherited from:
ApplyArgBuilderScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
object DynaminParamsDescriptor extends MethodParamsDescriptor

Attributes

Inherited from:
MethodParamsDescriptorScope
Graph
Supertypes
class Object
trait Matchable
class Any
object EmptyParamsDescriptor extends MethodParamsDescriptor

Attributes

Inherited from:
MethodParamsDescriptorScope
Graph
Supertypes
class Object
trait Matchable
class Any
object MethodParamsDescriptor

Attributes

Inherited from:
MethodParamsDescriptorScope
Graph
Supertypes
class Object
trait Matchable
class Any
trait MethodParamsDescriptor

Attributes

Inherited from:
MethodParamsDescriptorScope
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class MethodTypeBasedParamsDescriptor(mt: MethodType) extends MethodParamsDescriptor

Attributes

Inherited from:
MethodParamsDescriptorScope
Graph
Supertypes
class Object
trait Matchable
class Any
object O

Attributes

Inherited from:
ApplyArgBuilderScope
Graph
Supertypes
class Object
trait Matchable
class Any
case class PartialShiftedApply(shiftType: ApplicationShiftType, shifted: Term)

Application with one list of params.

Application with one list of params.

Attributes

Inherited from:
PartialShiftedApplyScope
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def termIsNoOrderDepended(x: <none>): Boolean

Attributes

Inherited from:
ApplyArgRecordScope
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL