morphling/morphling/HFunctor

HFunctor

trait HFunctor[F[_[_], _]]
Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def hlift[M[_], N[_]](nt: FunctionK[M, N]): FunctionK[[_] =>> F[M, _$21], [_] =>> F[N, _$22]]

Extensions

Extensions

extension [M[_], I](fa: F[M, I])(using HF: HFunctor[F])
def hfmap[N[_]](nt: FunctionK[M, N]): F[N, I]