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
/
ApplyK
ApplyK
com.tschuchort.hkd.ApplyK
See the
ApplyK
companion trait
object
ApplyK
Attributes
Companion
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
ApplyK
.
type
Members list
Clear all
Value members
Concrete methods
inline
def
apply
[
D
[
_
[
_
]]]:
ApplyK
[
D
]
inline
def
derived
[
D
[
_
[
_
]]]:
ApplyK
[
D
]
Givens
Givens
given
monoApplyK
[
X
](
using
functorK
:
FunctorK
[[
F
[
_
]]
=>>
F
[
X
]]):
monoApplyK
[
X
]
given
productApplyK
[
D
[
_
[
_
]]](
using
functorK
:
FunctorK
[
D
],
pInst
:
ProductInstances
[[
D
[
_
[
_
]]]
=>>
ApplyK
[
D
],
D
]):
productApplyK
[
D
]
In this article
Attributes
Members list
Value members
Concrete methods
Givens
Givens