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
implicit
def unapplyMFABC3[TC[_[_]], F[_], M0[F[_], _, _, _], A0, B0, C0](implicit TC0: TC[[_] =>> M0[F, A0, B0, _$30]]): Unapply[TC, M0[F, A0, B0, C0]] { type M = [X] =>> M0[F, A0, B0, X]; type A = C0; }
Unpack a value of type M0[F[_], A0, B0, C0]
into types [c]M0[F, A0, B0, c]
and C0
, given an instance of TC
Unpack a value of type M0[F[_], A0, B0, C0]
into types [c]M0[F, A0, B0, c]
and C0
, given an instance of TC
Inherited implicits
implicit
def unapplyMFABCDE5[TC[_[_]], F[_], M0[F[_], _, _, _, _, _], A0, B0, C0, D0, E0](implicit TC0: TC[[_] =>> M0[F, A0, B0, C0, D0, _$13]]): Unapply[TC, M0[F, A0, B0, C0, D0, E0]] { type M = [X] =>> M0[F, A0, B0, C0, D0, X]; type A = E0; }
Unpack a value of type M0[F[_], A0, B0, C0, D0, E0]
into types [e]M0[F, A0, B0, C0, D0, e]
and E0
, given an instance of TC
Unpack a value of type M0[F[_], A0, B0, C0, D0, E0]
into types [e]M0[F, A0, B0, C0, D0, e]
and E0
, given an instance of TC
- Inherited from
- Unapply_5