perspective
perspective
perspective
ApplicativeK
ApplyK
DistributiveK
Finite
Finite
FoldableK
FunctionK
FunctorK
MonadK
RepresentableK
RepresentableK
RepresentableKC
TraverseK
ValueK
perspective
/
perspective
/
MonadK
MonadK
trait
MonadK
[F[_[_], _]] extends
ApplicativeK
[
F
]
Graph
Supertypes
Known subtypes
trait
ApplicativeK
[
F
]
trait
ApplyK
[
F
]
trait
FunctorK
[
F
]
class
Object
trait
Matchable
class
Any
trait
RepresentableK
[
F
]
Value members
Extensions
Value members
Inherited methods
def
unitK
[C]:
F
[
Const
[
Unit
], C]
Inherited from
ApplicativeK
Extensions
Extensions
extension (fa:
F
[
A
,
C
])
def
flatMapK
[A[_], C](f:
FunctionK
[A, [_] =>>
F
[B, _$9]]):
F
[B, C]
extension (ffa:
F
[[_] =>>
F
[
A
, _$5],
C
])
def
flattenK
[A[_], C]:
F
[A, C]
Inherited extensions
extension (a:
ValueK
[
A
])
def
pure
[A[_]]:
F
[A, C]
Inherited from
ApplicativeK
extension (f:
FunctionK
[
A
,
B
])
def
liftK
[A[_], B[_]]:
FunctionK
[[_] =>>
F
[A, _$10], [_] =>>
F
[B, _$11]]
Inherited from
FunctorK
extension (fa:
F
[
A
,
C
])
override
def
mapK
[A[_], C](f:
FunctionK
[A, B]):
F
[B, C]
Definition Classes
ApplicativeK
->
FunctorK
Inherited from
ApplicativeK
extension (fa:
F
[
A
,
C
])
def
map2Const
[A[_], C](fb:
F
[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z):
F
[
Const
[Z], C]
Inherited from
ApplyK
def
map2K
[A[_], C](fb:
F
[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z[X]):
F
[Z, C]
Inherited from
ApplyK
def
tupledK
[A[_], C](fb:
F
[B, C]):
F
[
Tuple2K
[A, B], C]
Inherited from
ApplyK
extension (fa:
F
[
A
,
C
])
def
asK
[A[_], C](b:
ValueK
[B]):
F
[B, C]
Inherited from
FunctorK
def
mapConst
[A[_], C](f: A
~>#:
B):
F
[
Const
[B], C]
Inherited from
FunctorK
def
voidK
[A[_], C]:
F
[
Const
[
Unit
], C]
Inherited from
FunctorK
def
widen
[A[_], C]:
F
[B, C]
Inherited from
FunctorK
extension (ff:
F
[[D] =>>
A
[D] =>
B
[D],
C
])
def
ap
[A[_], B[_], C](fa:
F
[
A
,
C
]):
F
[B, C]
Inherited from
ApplyK