hkd4s
hkd4s
API
com.tschuchort.hkd
internal
AdtHierarchyLeafs
AdtHierarchyLeafs
ImplicitsPriority
L1
L1
given_L1
L2
L2
given_L2
L3
L3
given_L3
L4
L4
given_L4
L5
L5
given_L5
ShowTypeOptions
ShowTypeOptions
given_FromExpr_ShowTypeOptions
TypeName
TypeName
ApplicativeK
ApplicativeK
ApplyK
ApplyK
ContravariantK
ContravariantK
FunctorK
FunctorK
MapKGiven2Helper
MapKGiven3Helper
MapKGiven4Helper
MapKGivenHelper
HkdFieldInstances
HkdFieldInstances
OfProduct
OfSum
HkdFor
FullyAppliedCoproductMirrorHelper
FullyAppliedProductMirrorHelper
RefinementHelper
RefinementHelper
TypeTag
TypeTag
HkdForImpl
HkdFor_
PartialApplHelper
InvariantK
PureK
PureK
TraverseK
TraverseK
hkd4s
/
com.tschuchort.hkd
/
HkdFor
/
RefinementHelper
RefinementHelper
com.tschuchort.hkd.HkdFor$package.HkdFor.RefinementHelper
See the
RefinementHelper
companion object
class
RefinementHelper
[
T
]
Attributes
Companion
object
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Type members
Types
type
Out
[
F
[
_
]]
<:
HkdFor
[
T
,
F
]
Contains the refined type generated by the macro for parameters
T
,
F
Contains the refined type generated by the macro for parameters
T
,
F
Attributes
In this article
Attributes
Members list
Type members
Types