harness-deriving
harness-deriving
API
harness.deriving
internal
ReflectionUtils
Mirror
Mirror
Derived
Derived
FieldAnnotations
FieldAnnotations
K0
K0T
Derivable
ProductInstances
withInstance
foldLeft
map
withoutInstance
foldLeft
ProductInstances
SumInstances
withInstance
SumInstances
K1
K11
K11T
Derivable
ProductInstances
withInstance
foldLeft
map
mapInstantiate
withInstance2
map
mapInstantiate
withoutInstance
foldLeft
ProductInstances
SumInstances
withInstance
SumInstances
K1T
Derivable
ProductInstances
withInstance
foldLeft
map
mapInstantiate
withoutInstance
foldLeft
ProductInstances
SumInstances
withInstance
SumInstances
Labelling
Labelling
LazyDerived
LazyDerived
MaybeGiven
MaybeGiven
OptionalAnnotation
OptionalAnnotation
RequiredAnnotation
RequiredAnnotation
TypeAnnotations
TypeAnnotations
Utils
harness-deriving
/
harness.deriving
/
K1T
/
SumInstances
/
withInstance
withInstance
harness.deriving.K1T.SumInstances.withInstance
final case
class
withInstance
[
A
<:
UB
](
a
:
F
[
A
])
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Show all
Members list
Clear all
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Attributes
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Attributes
Inherited from:
Product
Concrete fields
val
inst
:
T
[
F
]
val
ord
:
Int
In this article
Attributes
Members list
Value members
Inherited methods
Concrete fields