compileTime
compileTime
japgolly.microlibs.compiletime
CachedGivens
Ctx
Dsl1
Dsl2
Dsl3
Env
ByTypeDsl
add
contains
get
need
summon
Env
Materialiser
SumTypeClassBuilder
Value
CompileTimeInfo
nonTransparent
quoted
EasierValDef
TypedValDef
TypedValDef
UntypedValDef
UntypedValDef
ExprMap
ExprMap
ExprSet
ExprSet
Field
Fields
Init
Init
InlineUtils
MacroEnv
MacroEnvStatic
MacroUtils
NewInstance
QuotingUtils
TransparentInlineUtils
compileTime
/
japgolly.microlibs.compiletime
/
CachedGivens
CachedGivens
object
CachedGivens
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
CachedGivens
.type
Type members
Value members
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
[
_
]] =
Field
=>
Value
[
F
,
_
] {
def
apply(f:
Field
):
Value
[
F
,
Type
]; }
type
Materialiser
[
F
[
_
]] =
Env
[
F
]
=>
Field
=>
Option
[
Expr
[
Any
]] {
def
apply(f:
Field
):
Option
[
Expr
[
F
[
Type
]]]; }
Value members
Concrete methods
def
apply
[
F
[
_
]]:
Dsl1
[
F
]