perspective
0.3.0+1-7ac89743-SNAPSHOT
perspective
Docs
API
perspective
derivation
ArrayProduct
ArrayProduct
ArrayProductK
GenHKDGeneric
GenHKDProductGeneric
GenHKDSumGeneric
HKDExtraTypes
HKDExtraTypes
HKDGeneric
HKDGeneric
IdxWrapper
HKDProductExtraTypes
HKDProductExtraTypes
HKDProductGeneric
HKDProductGeneric
HKDSumExtraTypes
HKDSumExtraTypes
HKDSumGeneric
HKDSumGeneric
IndexOfACasting
IndexOfACastingImpl
IndexOfACasting
Helpers
TupleBuilder
TupleBuilder
TupleBuilderWithLub
ProductK
TypeLength
TypeLength
TypeLengthImpl
instances
ApplicativeK
ApplicativeK
ApplyK
ApplyK
BoundedRepresentableKC
ContravariantK
ContravariantK
Finite
FoldableK
FoldableK
FunctionK
FunctorK
FunctorK
InvariantK
InvariantK
MonadK
MonadK
RepresentableKC
TraverseK
TraverseK
ValueK
perspective
/
perspective
/
ApplyK
ApplyK
perspective.ApplyK
See the
ApplyK
companion trait
object
ApplyK
Attributes
Companion
trait
Source
ApplyK.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
ApplyK
.
type
Members list
Clear all
Givens
Givens
given
composeCatsInside
[
F
[
_
[
_
]],
G
[
_
]](
using
F
:
ApplyKC
[
F
],
G
:
Apply
[
G
]):
composeCatsInside
[
F
,
G
]
Attributes
Source
ApplyK.scala
given
composeCatsInsideRight
[
F
[
_
[
_
]],
G
[
_
]](
using
F
:
ApplyKC
[
F
]):
composeCatsInsideRight
[
F
,
G
]
Attributes
Source
ApplyK.scala
given
composeCatsOutside
[
F
[
_
],
G
[
_
[
_
]]](
using
F
:
Apply
[
F
],
G
:
ApplyKC
[
G
]):
composeCatsOutside
[
F
,
G
]
Attributes
Source
ApplyK.scala
given
composeId
[
F
[
_
],
X
](
using
F
:
Apply
[
F
]):
ApplyKC
[[
H
[
_
]]
=>>
F
[
H
[
X
]]]
Attributes
Source
ApplyK.scala
given
idInstanceC
[
A
]:
ApplyKC
[
IdFC
[
A
]]
Attributes
Source
ApplyK.scala
In this article
Attributes
Members list
Givens
Givens