trait ToBindRecOps[TC[F[_]] <: BindRec[F[_]]] extends ToBindRecOps0[TC] with ToBindOps[TC]
- Source
- BindRecSyntax.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ToBindRecOps
- ToBindOps
- ToApplyOps
- ToApplyDivideOps
- ToApplyDivideOps0
- ToApplyDivideOpsU
- ToFunctorOps
- ToInvariantFunctorOps
- ToInvariantFunctorOps0
- ToInvariantFunctorOpsU
- ToFunctorOps0
- ToFunctorOpsU
- ToApplyOps0
- ToApplyOpsU
- ToBindOps0
- ToBindOpsU
- ToBindRecOps0
- ToBindRecOpsU
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
trait
FunctorIdV
[A] extends Ops[A]
- Definition Classes
- ToFunctorOps0
-
trait
LiftV
[F[_], A, B] extends Ops[(A) ⇒ B]
- Definition Classes
- ToFunctorOps0
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
-
implicit
def
ToApplyDivideOps[F[_], A](v: F[A])(implicit F0: TC[F]): ApplyDivideOps[F, A]
- Definition Classes
- ToApplyDivideOps0
-
implicit
def
ToApplyDivideOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): ApplyDivideOps[M, A]
- Definition Classes
- ToApplyDivideOpsU
-
implicit
def
ToApplyOps[F[_], A](v: F[A])(implicit F0: TC[F]): ApplyOps[F, A]
- Definition Classes
- ToApplyOps0
-
implicit
def
ToApplyOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): ApplyOps[M, A]
- Definition Classes
- ToApplyOpsU
-
implicit
def
ToBindOps[F[_], A](v: F[A])(implicit F0: TC[F]): BindOps[F, A]
- Definition Classes
- ToBindOps0
-
implicit
def
ToBindOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): BindOps[M, A]
- Definition Classes
- ToBindOpsU
-
implicit
def
ToBindRecOps[F[_], A](v: F[A])(implicit F0: TC[F]): BindRecOps[F, A]
- Definition Classes
- ToBindRecOps0
-
implicit
def
ToBindRecOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): BindRecOps[M, A]
- Definition Classes
- ToBindRecOpsU
-
implicit
def
ToFunctorIdV[A](v: A): FunctorIdV[A]
- Definition Classes
- ToFunctorOps0
-
implicit
def
ToFunctorOps[F[_], A](v: F[A])(implicit F0: TC[F]): FunctorOps[F, A]
- Definition Classes
- ToFunctorOps0
-
implicit
def
ToFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): FunctorOps[M, A]
- Definition Classes
- ToFunctorOpsU
-
implicit
def
ToInvariantFunctorOps[F[_], A](v: F[A])(implicit F0: TC[F]): InvariantFunctorOps[F, A]
- Definition Classes
- ToInvariantFunctorOps0
-
implicit
def
ToInvariantFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): InvariantFunctorOps[M, A]
- Definition Classes
- ToInvariantFunctorOpsU
-
implicit
def
ToLiftV[F[_], A, B](v: (A) ⇒ B): LiftV[F, A, B]
- Definition Classes
- ToFunctorOps0
-
def
^[F[_], A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: (A, B) ⇒ C)(implicit F: TC[F]): F[C]
- Definition Classes
- ToApplyOps0
-
def
^^[F[_], A, B, C, D](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C])(f: (A, B, C) ⇒ D)(implicit F: TC[F]): F[D]
- Definition Classes
- ToApplyOps0
-
def
^^^[F[_], A, B, C, D, E](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D])(f: (A, B, C, D) ⇒ E)(implicit F: TC[F]): F[E]
- Definition Classes
- ToApplyOps0
-
def
^^^^[F[_], A, B, C, D, E, I](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E])(f: (A, B, C, D, E) ⇒ I)(implicit F: TC[F]): F[I]
- Definition Classes
- ToApplyOps0
-
def
^^^^^[F[_], A, B, C, D, E, I, J](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], fi: ⇒ F[I])(f: (A, B, C, D, E, I) ⇒ J)(implicit F: TC[F]): F[J]
- Definition Classes
- ToApplyOps0
-
def
^^^^^^[F[_], A, B, C, D, E, I, J, K](fa: ⇒ F[A], fb: ⇒ F[B], fc: ⇒ F[C], fd: ⇒ F[D], fe: ⇒ F[E], fi: ⇒ F[I], fj: ⇒ F[J])(f: (A, B, C, D, E, I, J) ⇒ K)(implicit F: TC[F]): F[K]
- Definition Classes
- ToApplyOps0
-
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
-
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( ... )