cps.macros

package cps.macros

Type members

Classlikes

object Async
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]
case class AsyncMacroFlags(printCode: Boolean, printTree: Boolean, debugLevel: Int, allowShiftedLambda: Boolean, customValueDiscard: Boolean, warnValueDiscard: Boolean, automaticColoring: Boolean, muted: Boolean)
trait CpsExpr[F[_], T](monad: Expr[CpsMonad[F]], prev: Seq[ExprTreeGen])(implicit evidence$1: Type[F], evidence$2: Type[T])
Companion:
object
Source:
CpsExpr.scala
object CpsExpr
Companion:
class
Source:
CpsExpr.scala
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]
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]
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]
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]
class StatementExprTreeGen(using x$1: Quotes)(stat: Statement, changed: Boolean) extends ExprTreeGen
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]
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]], flags: AsyncMacroFlags, observatory: Observatory, nesting: Int, parent: Option[TransformationContext[_[_], _, _]])
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]
case class UnsealExprTreeGen[T](expr: Expr[T], changed: Boolean) extends ExprTreeGen