scalaz/scalaz/Unapply_1

Unapply_1

sealed abstract
class Unapply_1 extends Unapply_2
class Unapply_2
class Unapply_3
class Unapply_4
class Unapply_5
class Object
trait Matchable
class Any
class Unapply_0
object Unapply

Implicits

Implicits

implicit
def unapplyMABC3[TC[_[_]], M0[_, _, _], A0, B0, C0](implicit TC0: TC[[_] =>> M0[A0, B0, _$84]]): Unapply[TC, M0[A0, B0, C0]] { type M = [X] =>> M0[A0, B0, X]; type A = C0; }

Unpack a value of type M0[A0, B0, C0] into types [c]M0[A0, B0, c] and C0, given an instance of TC

Unpack a value of type M0[A0, B0, C0] into types [c]M0[A0, B0, c] and C0, given an instance of TC

implicit
def unapplyMABCD4[TC[_[_]], M0[_, _, _, _], A0, B0, C0, D0](implicit TC0: TC[[_] =>> M0[A0, B0, C0, _$78]]): Unapply[TC, M0[A0, B0, C0, D0]] { type M = [X] =>> M0[A0, B0, C0, X]; type A = D0; }

Unpack a value of type M0[A0, B0, C0, D0] into types [d]M0[A0, B0, C0, d] and D0, given an instance of TC

Unpack a value of type M0[A0, B0, C0, D0] into types [d]M0[A0, B0, C0, d] and D0, given an instance of TC

implicit
def unapplyMABCDE5[TC[_[_]], M0[_, _, _, _, _], A0, B0, C0, D0, E0](implicit TC0: TC[[_] =>> M0[A0, B0, C0, D0, _$71]]): Unapply[TC, M0[A0, B0, C0, D0, E0]] { type M = [X] =>> M0[A0, B0, C0, D0, X]; type A = E0; }

Unpack a value of type M0[A0, B0, C0, D0, E0] into types [e]M0[A0, B0, C0, D0, e] and E0, given an instance of TC

Unpack a value of type M0[A0, B0, C0, D0, E0] into types [e]M0[A0, B0, C0, D0, e] and E0, given an instance of TC

implicit
def unapplyMABCDEF6[TC[_[_]], M0[_, _, _, _, _, _], A0, B0, C0, D0, E0, F0](implicit TC0: TC[[_] =>> M0[A0, B0, C0, D0, E0, _$63]]): Unapply[TC, M0[A0, B0, C0, D0, E0, F0]] { type M = [X] =>> M0[A0, B0, C0, D0, E0, X]; type A = F0; }

Unpack a value of type M0[A0, B0, C0, D0, E0, F0] into types [f]M0[A0, B0, C0, D0, E0, f] and F0, given an instance of TC

Unpack a value of type M0[A0, B0, C0, D0, E0, F0] into types [f]M0[A0, B0, C0, D0, E0, f] and F0, given an instance of TC

implicit
def unapplyMABCDEFG7[TC[_[_]], M0[_, _, _, _, _, _, _], A0, B0, C0, D0, E0, F0, G0](implicit TC0: TC[[_] =>> M0[A0, B0, C0, D0, E0, F0, _$54]]): Unapply[TC, M0[A0, B0, C0, D0, E0, F0, G0]] { type M = [X] =>> M0[A0, B0, C0, D0, E0, F0, X]; type A = G0; }

Unpack a value of type M0[A0, B0, C0, D0, E0, F0, G0] into types [g]M0[A0, B0, C0, D0, E0, F0, g] and G0, given an instance of TC

Unpack a value of type M0[A0, B0, C0, D0, E0, F0, G0] into types [g]M0[A0, B0, C0, D0, E0, F0, g] and G0, given an instance of TC

Inherited implicits

implicit
def unapplyA[TC[_[_]], A0](implicit TC0: TC[[α] =>> A0]): Unapply[TC, A0] { type M = [X] =>> A0; type A = A0; }
Inherited from
Unapply_4
implicit
def unapplyMFAB1[TC[_[_]], F[_], M0[F[_], _, _], A0, B0](implicit TC0: TC[[_] =>> M0[F, _$37, B0]]): Unapply[TC, M0[F, A0, B0]] { type M = [X] =>> M0[F, X, B0]; type A = A0; }

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

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

Inherited from
Unapply_2
implicit
def unapplyMFAB2[TC[_[_]], F[_], M0[F[_], _, _], A0, B0](implicit TC0: TC[[_] =>> M0[F, A0, _$44]]): Unapply[TC, M0[F, A0, B0]] { type M = [X] =>> M0[F, A0, X]; type A = B0; }

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

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

Inherited from
Unapply_2
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

Inherited from
Unapply_3
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 from
Unapply_3
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