oxygen.meta

package oxygen.meta

Members list

Type members

Classlikes

trait CaseExtractor[I, R]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object CaseExtractor

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ExprMonad[F[_]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ExprMonad

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
ExprMonad.type
object K0

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
K0.type
final case class MatchBuilder[+I, +O](cases: Growable[Case[I, O]])

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object MatchBuilder

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
enum StringExpr

Attributes

Companion
object
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object StringExpr

Attributes

Companion
enum
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
StringExpr.type
enum ValType

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Extensions

Extensions

extension [S[_], A](self: S[Expr[A]])
def seqToExpr(using s: SeqOps[S], sTpe: Type[S], aTpe: Type[A], q: Quotes): Expr[S[A]]

Expects S2 to have an S2.apply[A](values*)

Expects S2 to have an S2.apply[A](values*)

Attributes

def seqToExprOf[S2[_]](using s: SeqOps[S], s2: SeqOps[S2], sTpe: Type[S], s2Tpe: Type[S2], aTpe: Type[A], q: Quotes): Expr[S2[A]]

Expects S2 to have an S2.apply[A](values*)

Expects S2 to have an S2.apply[A](values*)

Attributes

def unsafeSeqToExprOf[S2[_]](using s: SeqOps[S], sTpe: Type[S], s2Tpe: Type[S2], aTpe: Type[A], quotes: Quotes): Expr[S2[A]]

Expects S2 to have an S2.apply[A](values*)

Expects S2 to have an S2.apply[A](values*)

Attributes

extension (using quotes: Quotes)(self: quotes.reflect.TypeRepr)
def toIndentedString: IndentedString
extension (using quotes: Quotes)(self: quotes.reflect.Tree)
def toIndentedString: IndentedString
extension (self: TypeRepr)
def toIndentedString: IndentedString
extension (self: Tree)
def showDetailed(label: String): String
def toIndentedString: IndentedString
extension [A](self: Expr[A])
def evalEither(using from: FromExpr[A], quotes: Quotes): Either[Expr[A], A]

Attempt to convert this Expr[A] into an A. If it does not succeed, return a Left of the original expr.

Attempt to convert this Expr[A] into an A. If it does not succeed, return a Left of the original expr.

Attributes

def evalOption(using from: FromExpr[A], quotes: Quotes): Option[A]

Attempt to convert this Expr[A] into an A. If it does not succeed, return None.

Attempt to convert this Expr[A] into an A. If it does not succeed, return None.

Attributes

def evalRequired(msg: String)(using from: FromExpr[A], quotes: Quotes): A

Attempt to convert this Expr[A] into an A. If it does not succeed, die.

Attempt to convert this Expr[A] into an A. If it does not succeed, die.

Attributes

def evalRequired(using from: FromExpr[A], quotes: Quotes): A

Attempt to convert this Expr[A] into an A. If it does not succeed, die.

Attempt to convert this Expr[A] into an A. If it does not succeed, die.

Attributes

extension [S[_]](self: S[StringExpr])
def exprMkString(using Quotes, SeqOps[S]): Expr[String]
def exprMkString(sep: StringExpr)(using Quotes, SeqOps[S]): Expr[String]
def exprMkString(start: StringExpr, sep: StringExpr, end: StringExpr)(using Quotes, SeqOps[S]): Expr[String]
def exprMkStringTo(builder: Expr[StringBuilder])(using Quotes, SeqOps[S]): Expr[Unit]
def exprMkStringTo(builder: Expr[StringBuilder], sep: StringExpr)(using Quotes, SeqOps[S]): Expr[Unit]
def exprMkStringTo(builder: Expr[StringBuilder], start: StringExpr, sep: StringExpr, end: StringExpr)(using Quotes, SeqOps[S]): Expr[Unit]
def mergeConstStrings(using Quotes, SeqOps[S]): Growable[StringExpr]
extension [S[_]](self: S[Expr[String]])
def exprMkString(using Quotes, SeqOps[S]): Expr[String]
def exprMkString(sep: Expr[String])(using Quotes, SeqOps[S]): Expr[String]
def exprMkString(start: Expr[String], sep: Expr[String], end: Expr[String])(using Quotes, SeqOps[S]): Expr[String]
def exprMkStringTo(builder: Expr[StringBuilder])(using Quotes, SeqOps[S]): Expr[Unit]
def exprMkStringTo(builder: Expr[StringBuilder], sep: Expr[String])(using Quotes, SeqOps[S]): Expr[Unit]
def exprMkStringTo(builder: Expr[StringBuilder], start: Expr[String], sep: Expr[String], end: Expr[String])(using Quotes, SeqOps[S]): Expr[Unit]
extension (self: ValDef.type)
def letTyped[A : Type, B : Type](owner: Symbol, name: String, rhs: Expr[A], valType: ValType)(body: Expr[A] => Expr[B])(using evidence$1: Type[A], evidence$2: Type[B], Quotes): Expr[B]