scalaz/scalaz/Unapply

Unapply

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

Type members

Types

type AuxA[TC[_[_]], MA, A0] = Unapply[TC, MA] { type A = A0; }

Value members

Concrete methods

def apply[TC[_[_]], MA](implicit U: Unapply[TC, MA]): U { type M = M; type A = A; }

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

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

Implicits

Implicits

implicit
def unapplyMA[TC[_[_]], M0[_], A0](implicit TC0: TC[M0]): Unapply[TC, M0[A0]] { type M = M0; type A = A0; }

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

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

implicit
def unapplyMTMAB[TC[_[_]], MT[_[_], _], MAB[_, _], A0, A1](implicit TC0: TC[[_] =>> MT[[_] =>> MAB[A0, _$116], _$117]]): Unapply[TC, MT[[_] =>> MAB[A0, _$118], A1]] { type M = [X] =>> MT[[_] =>> MAB[A0, _$119], X]; type A = A1; }

Turns a MonadTrans-like instance that has two params and turns it into an M[A]

Turns a MonadTrans-like instance that has two params and turns it into an M[A]

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 unapplyMAB1[TC[_[_]], M0[_, _], A0, B0](implicit TC0: TC[M0]): Unapply[TC, M0[A0, B0]] { type M = M0; type A = A0; }

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

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

Inherited from
Unapply_0
implicit
def unapplyMAB2[TC[_[_]], M0[_, _], A0, B0](implicit TC0: TC[[_] =>> M0[A0, _$101]]): Unapply[TC, M0[A0, B0]] { type M = [X] =>> M0[A0, X]; type A = B0; }

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

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

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

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

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

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

Inherited from
Unapply_1
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 from
Unapply_1
implicit
def unapplyMFA[TC[_[_]], M0[_[_], _], F0[_], A0](implicit TC0: TC[[_] =>> M0[F0, _$91]]): Unapply[TC, M0[F0, A0]] { type M = [X] =>> M0[F0, X]; type A = A0; }

Unpack a value of type M0[F0, A0] where F0: * -> * into types [a]M0[F0, a] and A, given an instance of TC

Unpack a value of type M0[F0, A0] where F0: * -> * into types [a]M0[F0, a] and A, given an instance of TC

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