Object/Trait

monix.types

MonadRec

Related Docs: trait MonadRec | package types

Permalink

object MonadRec extends Serializable

Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MonadRec
  2. Serializable
  3. Serializable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait Instance[F[_]] extends MonadRec[F] with Type[F] with Monad.Instance[F]

    Permalink

    The MonadRec.Instance provides the means to combine MonadRec instances with other type-classes.

    The MonadRec.Instance provides the means to combine MonadRec instances with other type-classes.

    To be inherited by MonadRec instances.

  2. trait Laws[F[_]] extends Monad.Laws[F] with Type[F]

    Permalink

    Laws for MonadRec.

  3. trait Type[F[_]] extends Monad.Type[F]

    Permalink

    The MonadRec.Type should be inherited in type-classes that are derived from MonadRec.

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. def apply[F[_]](implicit F: MonadRec[F]): MonadRec[F]

    Permalink
    Annotations
    @inline()

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  7. final def defaultTailRecM[F[_], A, B](a: A)(f: (A) ⇒ F[Either[A, B]])(implicit F: Monad[F]): F[B]

    Permalink

    A reusable implementation for MonadRec.tailRecM that relies on Monad.flatMap.

    A reusable implementation for MonadRec.tailRecM that relies on Monad.flatMap.

    NOTE: this is UNSAFE to use in case flatMap is not tail-recursive.

  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  14. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  15. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  17. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  18. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  19. final def wait(): Unit

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

  20. final def wait(arg0: Long, arg1: Int): Unit

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

  21. final def wait(arg0: Long): Unit

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

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped