core/higherkindness.droste/GTransM

GTransM

final class GTransM[M[_], F[_], G[_], A, B](val run: F[A] => M[G[B]]) extends AnyVal
Companion:
object
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def algebra(implicit embed: Embed[G, B], ev: Functor[M]): GAlgebraM[M, F, A, B]
def coalgebra(implicit project: Project[F, A]): GCoalgebraM[M, G, A, B]

Concrete fields

val run: F[A] => M[G[B]]