Packages

c

scalaz

Unapply_0

sealed abstract class Unapply_0 extends Unapply_2

Source
Unapply.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Unapply_0
  2. Unapply_2
  3. Unapply_3
  4. Unapply_4
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. implicit def unapplyA[TC[_[_]], A0](implicit TC0: TC[[α]A0]): Unapply[TC, A0] { ... /* 2 definitions in type refinement */ }
    Definition Classes
    Unapply_4
  2. implicit def unapplyMAB1[TC[_[_]], M0[_, _], A0, B0](implicit TC0: TC[[α$1$]M0[α$1$, B0]]): Unapply[TC, M0[A0, B0]] { ... /* 2 definitions in type refinement */ }

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

  3. implicit def unapplyMFAB1[TC[_[_]], F[_], M0[F[_], _, _], A0, B0](implicit TC0: TC[[β$0$]M0[F, β$0$, B0]]): Unapply[TC, M0[F, A0, B0]] { ... /* 2 definitions in type refinement */ }

    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

    Definition Classes
    Unapply_2
  4. implicit def unapplyMFABC1and2[TC[_[_]], F[_], M0[F[_], _, _, _], A0, B0](implicit TC0: TC[[α]M0[F, α, α, B0]]): Unapply[TC, M0[F, A0, A0, B0]] { ... /* 2 definitions in type refinement */ }

    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

    Definition Classes
    Unapply_3