scalaz-core/scalaz/Unapply_5

Unapply_5

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

Implicits

Implicits

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