ExprMonad

oxygen.meta.ExprMonad

See theExprMonad companion object

trait ExprMonad[F[_]]

Attributes

Companion: object
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: Quotes ?=> 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: Quotes ?=> Expr[A] => Expr[B])(using quotes: Quotes, fType: Type[F], aType: Type[A], bType: Type[B]): Expr[F[B]]

In this article

Attributes
Members list
- Value members
  - Abstract methods
  - Concrete methods

Generated with