morphling
API
Generated with
morphling/morphling/HFunctor

HFunctor

morphling.HFunctor
See theHFunctor companion object
trait HFunctor[F[_[_], _]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

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]
Generated with