scalaz-core/scalaz/Unapply_0

Unapply_0

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

Implicits

Implicits

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 A0, given an instance of TC

Unpack a value of type M0[A0, B0] into types [a]M0[a, B0] and A0, 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, _$19, 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 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