root/scalaz/Unapply21

Unapply21

object Unapply21
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[TC[_[_, _], _], MAB](implicit U: Unapply21[TC, MAB]): U { type M = M; type A = A; type B = B; }

Fetch a well-typed Unapply21 for the given typeclass and type.

Fetch a well-typed Unapply21 for the given typeclass and type.

Implicits

Implicits

implicit
def unapply210MFABC[TC[_[_, _], _], F[_, _], M0[_[_], _, _], A0, B0, C](implicit TC0: TC[[α, β] =>> M0[[_] =>> F[α, _$75], C, β], A0]): Unapply21[TC, M0[[_] =>> F[A0, _$76], C, B0]] { type M = [X, Y] =>> M0[[_] =>> F[X, _$77], C, Y]; type A = A0; type B = B0; }