object Unapply extends Unapply_0
- Source
- Unapply.scala
- Alphabetic
- By Inheritance
- Unapply
- Unapply_0
- Unapply_1
- Unapply_2
- Unapply_3
- Unapply_4
- Unapply_5
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
apply[TC[_[_]], MA](implicit U: Unapply[TC, MA]): U.type { ... /* 2 definitions in type refinement */ }
Fetch a well-typed
Unapply
for the given typeclass and type. -
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
implicit
def
unapplyA[TC[_[_]], A0](implicit TC0: TC[[α]A0]): Unapply[TC, A0] { ... /* 2 definitions in type refinement */ }
- Definition Classes
- Unapply_4
-
implicit
def
unapplyMA[TC[_[_]], M0[_], A0](implicit TC0: TC[M0]): Unapply[TC, M0[A0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0]
into typesM0
andA0
, given a instance ofTC
-
implicit
def
unapplyMAB1[TC[_[_]], M0[_, _], A0, B0](implicit TC0: TC[[α$10$]M0[α$10$, 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]
andA
, given an instance ofTC
Unpack a value of type
M0[A0, B0]
into types[a]M0[a, B0]
andA
, given an instance ofTC
- Definition Classes
- Unapply_0
-
implicit
def
unapplyMAB2[TC[_[_]], M0[_, _], A0, B0](implicit TC0: TC[[β$11$]M0[A0, β$11$]]): Unapply[TC, M0[A0, B0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0, B0]
into types[b]M0[A0, b]
andB
, given an instance ofTC
Unpack a value of type
M0[A0, B0]
into types[b]M0[A0, b]
andB
, given an instance ofTC
- Definition Classes
- Unapply_0
-
implicit
def
unapplyMABC3[TC[_[_]], M0[_, _, _], A0, B0, C0](implicit TC0: TC[[γ$8$]M0[A0, B0, γ$8$]]): Unapply[TC, M0[A0, B0, C0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0, B0, C0]
into types[c]M0[A0, B0, c]
andC0
, given an instance ofTC
Unpack a value of type
M0[A0, B0, C0]
into types[c]M0[A0, B0, c]
andC0
, given an instance ofTC
- Definition Classes
- Unapply_1
-
implicit
def
unapplyMABCD4[TC[_[_]], M0[_, _, _, _], A0, B0, C0, D0](implicit TC0: TC[[δ$7$]M0[A0, B0, C0, δ$7$]]): Unapply[TC, M0[A0, B0, C0, D0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0, B0, C0, D0]
into types[d]M0[A0, B0, C0, d]
andD0
, given an instance ofTC
Unpack a value of type
M0[A0, B0, C0, D0]
into types[d]M0[A0, B0, C0, d]
andD0
, given an instance ofTC
- Definition Classes
- Unapply_1
-
implicit
def
unapplyMABCDE5[TC[_[_]], M0[_, _, _, _, _], A0, B0, C0, D0, E0](implicit TC0: TC[[ε$6$]M0[A0, B0, C0, D0, ε$6$]]): Unapply[TC, M0[A0, B0, C0, D0, E0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0, B0, C0, D0, E0]
into types[e]M0[A0, B0, C0, D0, e]
andE0
, given an instance ofTC
Unpack a value of type
M0[A0, B0, C0, D0, E0]
into types[e]M0[A0, B0, C0, D0, e]
andE0
, given an instance ofTC
- Definition Classes
- Unapply_1
-
implicit
def
unapplyMABCDEF6[TC[_[_]], M0[_, _, _, _, _, _], A0, B0, C0, D0, E0, F0](implicit TC0: TC[[ζ$5$]M0[A0, B0, C0, D0, E0, ζ$5$]]): Unapply[TC, M0[A0, B0, C0, D0, E0, F0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0, B0, C0, D0, E0, F0]
into types[f]M0[A0, B0, C0, D0, E0, f]
andF0
, given an instance ofTC
Unpack a value of type
M0[A0, B0, C0, D0, E0, F0]
into types[f]M0[A0, B0, C0, D0, E0, f]
andF0
, given an instance ofTC
- Definition Classes
- Unapply_1
-
implicit
def
unapplyMABCDEFG7[TC[_[_]], M0[_, _, _, _, _, _, _], A0, B0, C0, D0, E0, F0, G0](implicit TC0: TC[[η$4$]M0[A0, B0, C0, D0, E0, F0, η$4$]]): Unapply[TC, M0[A0, B0, C0, D0, E0, F0, G0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[A0, B0, C0, D0, E0, F0, G0]
into types[g]M0[A0, B0, C0, D0, E0, F0, g]
andG0
, given an instance ofTC
Unpack a value of type
M0[A0, B0, C0, D0, E0, F0, G0]
into types[g]M0[A0, B0, C0, D0, E0, F0, g]
andG0
, given an instance ofTC
- Definition Classes
- Unapply_1
-
implicit
def
unapplyMFA[TC[_[_]], M0[_[_], _], F0[_], A0](implicit TC0: TC[[β$9$]M0[F0, β$9$]]): Unapply[TC, M0[F0, A0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[F0, A0]
whereF0: * -> *
into types[a]M0[F0, a]
andA
, given an instance ofTC
Unpack a value of type
M0[F0, A0]
whereF0: * -> *
into types[a]M0[F0, a]
andA
, given an instance ofTC
- Definition Classes
- Unapply_0
-
implicit
def
unapplyMFAB1[TC[_[_]], F[_], M0[F[_], _, _], A0, B0](implicit TC0: TC[[β$2$]M0[F, β$2$, 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]
andA0
, given an instance ofTC
Unpack a value of type
M0[F[_], A0, B0]
into types[a]M0[F, a, B0]
andA0
, given an instance ofTC
- Definition Classes
- Unapply_2
-
implicit
def
unapplyMFAB2[TC[_[_]], F[_], M0[F[_], _, _], A0, B0](implicit TC0: TC[[γ$3$]M0[F, A0, γ$3$]]): Unapply[TC, M0[F, A0, B0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[F[_], A0, B0]
into types[b]M0[F, A0, b]
andB0
, given an instance ofTC
Unpack a value of type
M0[F[_], A0, B0]
into types[b]M0[F, A0, b]
andB0
, given an instance ofTC
- Definition Classes
- Unapply_2
-
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]
andA0
, given an instance ofTC
Unpack a value of type
M0[F[_], A0, A0, B0]
into types[a]M0[F, a, a, B0]
andA0
, given an instance ofTC
- Definition Classes
- Unapply_3
-
implicit
def
unapplyMFABC3[TC[_[_]], F[_], M0[F[_], _, _, _], A0, B0, C0](implicit TC0: TC[[δ$1$]M0[F, A0, B0, δ$1$]]): Unapply[TC, M0[F, A0, B0, C0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[F[_], A0, B0, C0]
into types[c]M0[F, A0, B0, c]
andC0
, given an instance ofTC
Unpack a value of type
M0[F[_], A0, B0, C0]
into types[c]M0[F, A0, B0, c]
andC0
, given an instance ofTC
- Definition Classes
- Unapply_3
-
implicit
def
unapplyMFABCDE5[TC[_[_]], F[_], M0[F[_], _, _, _, _, _], A0, B0, C0, D0, E0](implicit TC0: TC[[ζ$0$]M0[F, A0, B0, C0, D0, ζ$0$]]): Unapply[TC, M0[F, A0, B0, C0, D0, E0]] { ... /* 2 definitions in type refinement */ }
Unpack a value of type
M0[F[_], A0, B0, C0, D0, E0]
into types[e]M0[F, A0, B0, C0, D0, e]
andE0
, given an instance ofTC
Unpack a value of type
M0[F[_], A0, B0, C0, D0, E0]
into types[e]M0[F, A0, B0, C0, D0, e]
andE0
, given an instance ofTC
- Definition Classes
- Unapply_5
-
implicit
def
unapplyMTMAB[TC[_[_]], MT[_[_], _], MAB[_, _], A0, A1](implicit TC0: TC[[β$13$]MT[[β$12$]MAB[A0, β$12$], β$13$]]): Unapply[TC, MT[[β$14$]MAB[A0, β$14$], A1]] { ... /* 2 definitions in type refinement */ }
Turns a MonadTrans-like instance that has two params and turns it into an M[A]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )