Unapply_3
Implicits
Implicits
implicit
def unapplyMFABC1and2[TC[_[_]], F[_], M0[F[_], _, _, _], A0, B0](implicit TC0: TC[[α] =>> M0[F, α, α, B0]]): Unapply[TC, M0[F, A0, A0, B0]] { type M = [X] =>> M0[F, X, X, B0]; type A = A0; }
Unpack a value of type M0[F[_], A0, A0, B0]
into types [a]M0[F, a, a, B0]
and A0
, given an instance of TC
Unpack a value of type M0[F[_], A0, A0, B0]
into types [a]M0[F, a, a, B0]
and A0
, given an instance of TC