compileTime/japgolly.microlibs.compiletime/CachedGivens

CachedGivens

object CachedGivens
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Ctx[F[_]](fields: ArraySeq[Field], lookup: () => F)(using q: Quotes)(using x$4: Type[F])
final class Dsl1[F[_]]
final class Dsl2[F[_]](fields: ArraySeq[Field], materialiser: () => F)
final class Dsl3[F[_]](fields: ArraySeq[Field], col: Env[F])(using q: Quotes)
final class Env[F[_]](using val q: Quotes)(using x$2: Type[F])
Companion:
object
object Env
Companion:
class
object Materialiser
final case class SumTypeClassBuilder[-A, +TC](ordinalOf: Expr[A] => Expr[Int], typeclassForOrd: Expr[Int] => Expr[TC])
final case class Value[F[_], A](expr: Expr[F[A]])

Types

type FieldLookup[F[_]] = (f: Field) => Value[F, Type]
type Materialiser[F[_]] = Env[F] => (f: Field) => Option[Expr[F[Type]]]

Value members

Concrete methods

def apply[F[_]]: Dsl1[F]