perspective/perspective/FunctorK

FunctorK

trait FunctorK[F[_[_], _]]
class Object
trait Matchable
class Any
trait ApplyK[F]
trait ApplicativeK[F]
trait MonadK[F]
trait DistributiveK[F]
trait TraverseK[F]

Extensions

Extensions

extension (f: FunctionK[A, B])
def liftK[A[_], B[_]]: FunctionK[[_] =>> F[A, _$10], [_] =>> F[B, _$11]]
extension (fa: F[A, C])
def asK[A[_], C](b: ValueK[B]): F[B, C]
def mapConst[A[_], C](f: A ~>#: B): F[Const[B], C]
def mapK[A[_], C](f: FunctionK[A, B]): F[B, C]
def voidK[A[_], C]: F[Const[Unit], C]
def widen[A[_], C]: F[B, C]