Packages

object MonadEval extends Serializable

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

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

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

    To be inherited by MonadEval instances.

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

    Laws for MonadEval.

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

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

Value Members

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