scalaz-core/scalaz/Unapply

Unapply

object Unapply extends Unapply_0
Companion
class
class Unapply_0
class Unapply_2
class Unapply_3
class Unapply_4
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

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