Trait

scalaz.syntax

ToBindRecOps

Related Doc: package syntax

Permalink

trait ToBindRecOps[TC[F[_]] <: BindRec[F[_]]] extends ToBindRecOps0[TC] with ToBindOps[TC]

Source
BindRecSyntax.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ToBindRecOps
  2. ToBindOps
  3. ToApplyOps
  4. ToFunctorOps
  5. ToInvariantFunctorOps
  6. ToInvariantFunctorOps0
  7. ToInvariantFunctorOpsU
  8. ToFunctorOps0
  9. ToFunctorOpsU
  10. ToApplyOps0
  11. ToApplyOpsU
  12. ToBindOps0
  13. ToBindOpsU
  14. ToBindRecOps0
  15. ToBindRecOpsU
  16. AnyRef
  17. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait FunctorIdV[A] extends Ops[A]

    Permalink
    Definition Classes
    ToFunctorOps0
  2. trait LiftV[F[_], A, B] extends Ops[(A) ⇒ B]

    Permalink
    Definition Classes
    ToFunctorOps0

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit def ToApplyOps[F[_], A](v: F[A])(implicit F0: TC[F]): ApplyOps[F, A]

    Permalink
    Definition Classes
    ToApplyOps0
  5. implicit def ToApplyOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): ApplyOps[M, A]

    Permalink
    Definition Classes
    ToApplyOpsU
  6. implicit def ToBindOps[F[_], A](v: F[A])(implicit F0: TC[F]): BindOps[F, A]

    Permalink
    Definition Classes
    ToBindOps0
  7. implicit def ToBindOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): BindOps[M, A]

    Permalink
    Definition Classes
    ToBindOpsU
  8. implicit def ToBindRecOps[F[_], A](v: F[A])(implicit F0: TC[F]): BindRecOps[F, A]

    Permalink
    Definition Classes
    ToBindRecOps0
  9. implicit def ToBindRecOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): BindRecOps[M, A]

    Permalink
    Definition Classes
    ToBindRecOpsU
  10. implicit def ToFunctorIdV[A](v: A): FunctorIdV[A]

    Permalink
    Definition Classes
    ToFunctorOps0
  11. implicit def ToFunctorOps[F[_], A](v: F[A])(implicit F0: TC[F]): FunctorOps[F, A]

    Permalink
    Definition Classes
    ToFunctorOps0
  12. implicit def ToFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): FunctorOps[M, A]

    Permalink
    Definition Classes
    ToFunctorOpsU
  13. implicit def ToInvariantFunctorOps[F[_], A](v: F[A])(implicit F0: TC[F]): InvariantFunctorOps[F, A]

    Permalink
    Definition Classes
    ToInvariantFunctorOps0
  14. implicit def ToInvariantFunctorOpsUnapply[FA](v: FA)(implicit F0: Unapply[TC, FA]): InvariantFunctorOps[M, A]

    Permalink
    Definition Classes
    ToInvariantFunctorOpsU
  15. implicit def ToLiftV[F[_], A, B](v: (A) ⇒ B): LiftV[F, A, B]

    Permalink
    Definition Classes
    ToFunctorOps0
  16. def ^[F[_], A, B, C](fa: ⇒ F[A], fb: ⇒ F[B])(f: (A, B) ⇒ C)(implicit F: TC[F]): F[C]

    Permalink
    Definition Classes
    ToApplyOps0
  17. 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]

    Permalink
    Definition Classes
    ToApplyOps0
  18. 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]

    Permalink
    Definition Classes
    ToApplyOps0
  19. 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]

    Permalink
    Definition Classes
    ToApplyOps0
  20. 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]

    Permalink
    Definition Classes
    ToApplyOps0
  21. 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]

    Permalink
    Definition Classes
    ToApplyOps0
  22. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  23. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  24. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  25. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  26. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  27. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  28. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  29. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  30. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  31. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  32. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  33. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  35. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ToBindOps[TC]

Inherited from ToApplyOps[TC]

Inherited from ToFunctorOps[TC]

Inherited from ToInvariantFunctorOps[TC]

Inherited from ToInvariantFunctorOps0[TC]

Inherited from ToInvariantFunctorOpsU[TC]

Inherited from ToFunctorOps0[TC]

Inherited from ToFunctorOpsU[TC]

Inherited from ToApplyOps0[TC]

Inherited from ToApplyOpsU[TC]

Inherited from ToBindOps0[TC]

Inherited from ToBindOpsU[TC]

Inherited from ToBindRecOps0[TC]

Inherited from ToBindRecOpsU[TC]

Inherited from AnyRef

Inherited from Any

Ungrouped