Packages

object Monad extends Serializable

Source
Monad.scala
Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Monad
  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 Monad[F] with Type[F] with Applicative.Instance[F]

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

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

    To be inherited by Monad instances.

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

    Laws for Monad.

  3. final class Ops[F[_], A] extends Serializable

    Extension methods for Monad.

  4. trait Syntax extends Serializable

    Provides syntax for Monad.

  5. trait Type[F[_]] extends Applicative.Type[F]

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

Value Members

  1. def apply[F[_]](implicit F: Monad[F]): Monad[F]
    Annotations
    @inline()