dotty-cps-async/cps/AwaitValueDiscard

AwaitValueDiscard

class AwaitValueDiscard[F[_], T] extends ValueDiscard[F[T]]

Marker interface for forcing monad evaluation before discard. Useful for pure effect monads. AwaitValueDiscard[F,T].apply(ft) is transformed to await(ft) during evaluation of async macro.

trait ValueDiscard[F[T]]
class Object
trait Matchable
class Any

Type members

Types

type FT = F[T]
type TT = T

Value members

Concrete methods

@compileTimeOnly("AwaitValueDiscard should not be used directly")
transparent inline override def apply(value: F[T]): Unit

transformed to await(value).

transformed to await(value).

Definition Classes