Expressions

oxygen.meta.K0.Expressions
See theExpressions companion object
final class Expressions[F[_], A](val fTpe: Type[F], val aTpe: Type[A], val expressions: Contiguous[Elem[F, _]])

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def at[B : Type](idx: Int)(using evidence$1: Type[B], Quotes): Expr[F[B]]
def mapK[G[_]](f: [b] => Type[b] ?=> Expr[F[b]] => Expr[G[b]])(using gTpe: Type[G]): Expressions[G, A]