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
- @native() @throws(classOf[java.lang.CloneNotSupportedException])
- 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
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws(classOf[java.lang.InterruptedException])