dotty-cps-async
API
Generated with
dotty-cps-async/cps/cps.macros

cps.macros

package cps.macros

Members list

Packages

package cps.macros.common
package cps.macros.flags
package cps.macros.forest
package cps.macros.loom
package cps.macros.misc
package cps.macros.observatory

Type members

Classlikes

object Async

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Async.type
abstract class AsyncCpsExpr[F[_], T](dm: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen])(implicit evidence$7: Type[F], evidence$8: Type[T]) extends CpsExpr[F, T]

Attributes

Supertypes
trait CpsExpr[F, T]
class Object
trait Matchable
class Any
Known subtypes
class RhsFlatMappedCpsExpr[F, T, V]
class ValWrappedCpsExpr[F, T, V]
class FlatMappedCpsExpr[F, S, T]
class GenericAsyncCpsExpr[F, T]
class MappedCpsExpr[F, S, T]
case class AsyncMacroFlags(printCode: Boolean, printTree: Boolean, debugLevel: Int, allowShiftedLambda: Boolean, customValueDiscard: Boolean, warnValueDiscard: Boolean, automaticColoring: Boolean, muted: Boolean, useLoomAwait: Boolean)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object AsyncMacroFlags

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
trait CpsExpr[F[_], T](monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen])(implicit evidence$1: Type[F], evidence$2: Type[T])

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class AsyncCpsExpr[F, T]
class RhsFlatMappedCpsExpr[F, T, V]
class ValWrappedCpsExpr[F, T, V]
class FlatMappedCpsExpr[F, S, T]
class GenericAsyncCpsExpr[F, T]
class MappedCpsExpr[F, S, T]
class SyncCpsExpr[F, T]
class DefCpsExpr[F]
class GenericSyncCpsExpr[F, T]
class UnitCpsExpr[F]
Show all
object CpsExpr

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
CpsExpr.type
trait ExprTreeGen

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class FlatMappedCpsExpr[F[_], S, T](monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], point: CpsExpr[F, S], mapping: Expr[S => F[T]])(implicit evidence$14: Type[F], evidence$15: Type[S], evidence$16: Type[T]) extends AsyncCpsExpr[F, T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class AsyncCpsExpr[F, T]
trait CpsExpr[F, T]
class Object
trait Matchable
class Any
Show all
case class GenericAsyncCpsExpr[F[_], T](dm: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], fLastExpr: Expr[F[T]])(implicit evidence$9: Type[F], evidence$10: Type[T]) extends AsyncCpsExpr[F, T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class AsyncCpsExpr[F, T]
trait CpsExpr[F, T]
class Object
trait Matchable
class Any
Show all
case class GenericSyncCpsExpr[F[_], T](dm: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], lastExpr: Expr[T], changed: Boolean)(implicit evidence$5: Type[F], evidence$6: Type[T]) extends SyncCpsExpr[F, T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class SyncCpsExpr[F, T]
trait CpsExpr[F, T]
class Object
trait Matchable
class Any
Show all
case class MappedCpsExpr[F[_], S, T](monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], point: CpsExpr[F, S], mapping: Expr[S => T])(implicit evidence$11: Type[F], evidence$12: Type[S], evidence$13: Type[T]) extends AsyncCpsExpr[F, T]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class AsyncCpsExpr[F, T]
trait CpsExpr[F, T]
class Object
trait Matchable
class Any
Show all
class StatementExprTreeGen(using x$1: Quotes)(stat: Statement, changed: Boolean) extends ExprTreeGen

Attributes

Supertypes
trait ExprTreeGen
class Object
trait Matchable
class Any
abstract class SyncCpsExpr[F[_], T](dm: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen])(implicit evidence$3: Type[F], evidence$4: Type[T]) extends CpsExpr[F, T]

Attributes

Supertypes
trait CpsExpr[F, T]
class Object
trait Matchable
class Any
Known subtypes
class DefCpsExpr[F]
class GenericSyncCpsExpr[F, T]
class UnitCpsExpr[F]
case class TransformationContext[F[_], T, C <: CpsMonadContext[F]](patternCode: Expr[T], patternType: Type[T], monad: Expr[CpsMonad[F]], monadContext: Expr[C], memoization: Option[Memoization[F]], runtimeAwait: Option[Expr[CpsRuntimeAwait[F]]], runtimeAwaitProvider: Option[Expr[CpsRuntimeAwaitProvider[F]]], flags: AsyncMacroFlags, observatory: Observatory, nesting: Int, parent: Option[TransformationContext[_[_], _, _]])(implicit evidence$1: Type[F])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TransformationContext

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
case class UnitCpsExpr[F[_]](monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen], changed: Boolean)(implicit evidence$17: Type[F], x$4: Quotes) extends SyncCpsExpr[F, Unit]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class SyncCpsExpr[F, Unit]
trait CpsExpr[F, Unit]
class Object
trait Matchable
class Any
Show all
case class UnsealExprTreeGen[T](expr: Expr[T], changed: Boolean) extends ExprTreeGen

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait ExprTreeGen
class Object
trait Matchable
class Any
Show all
Generated with