scalaz/scalaz/Unapply2

Unapply2

object Unapply2 extends Unapply2_0
Companion
class
class Object
trait Matchable
class Any

Value members

Concrete methods

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

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

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

Implicits

Implicits

implicit
def unapplyMAB[TC[_[_, _]], M0[_, _], A0, B0](implicit TC0: TC[M0]): Unapply2[TC, M0[A0, B0]] { type M = M0; type A = A0; type B = B0; }

Unpack a value of type M0[A0, B0] into types M0, A, and 'B', given an instance of TC

Unpack a value of type M0[A0, B0] into types M0, A, and 'B', given an instance of TC

Inherited implicits

implicit
def unapplyMFAB[TC[_[_, _]], F[_], M0[F[_], _, _], A0, B0](implicit TC0: TC[[_, _] =>> M0[F, _$134, _$135]]): Unapply2[TC, M0[F, A0, B0]] { type M = [X, Y] =>> M0[F, X, Y]; type A = A0; type B = B0; }

Unpack a value of type M0[F[_], A0, B0] into types [a, b]=M0[F, a, b], A0, and 'B9', given an instance of TC

Unpack a value of type M0[F[_], A0, B0] into types [a, b]=M0[F, a, b], A0, and 'B9', given an instance of TC

Inherited from
Unapply2_0