RuntimeMonad
oxygen.meta.ExprMonad.RuntimeMonad
final case class RuntimeMonad[F[_]](monad: Expr[Monad[F]]) extends ExprMonad[F]
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait ExprMonad[F]class Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
override def flatMap[A, B](a: Expr[F[A]])(f: Expr[A => F[B]])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]
Attributes
- Definition Classes
override def map[A, B](a: Expr[F[A]])(f: Expr[A => B])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]
Attributes
- Definition Classes
Inherited methods
final def flatMapE[A, B](a: Expr[F[A]])(f: Quotes ?=> Expr[A] => Expr[F[B]])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]
Attributes
- Inherited from:
- ExprMonad
final def mapE[A, B](a: Expr[F[A]])(f: Quotes ?=> Expr[A] => Expr[B])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]
Attributes
- Inherited from:
- ExprMonad
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
In this article