oxygen-meta
API
Generated with
oxygen-meta/oxygen.meta/ExprMonad

ExprMonad

oxygen.meta.ExprMonad
See theExprMonad companion object
trait ExprMonad[F[_]]

Attributes

Companion
object
Experimental
true
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

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]]
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]]
def pure[A](a: Expr[A])(using quotes: Quotes, fType: Type[F], aType: Type[A]): Expr[F[A]]

Concrete methods

final def flatMapE[A, B](a: Expr[F[A]])(f: Expr[A] => Expr[F[B]])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]
final def mapE[A, B](a: Expr[F[A]])(f: Expr[A] => Expr[B])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]
Generated with