specs2-common
API
Generated with
specs2-common/org.specs2/org.specs2.control/org.specs2.control.eff/org.specs2.control.eff.syntax/eff

eff

org.specs2.control.eff.syntax.eff
See theeff companion object
trait eff

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait all
object all.type
object eff.type

Members list

Type members

Classlikes

implicit class EffApplicativeOps[F[_], A](values: F[A])(implicit evidence$3: Traverse[F])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffApplicativeSyntaxOps[R, A](a: Eff[R, A])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffMonadicOps[R, M[_], A](e: Eff[R, M[A]])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffNoEffectOps[A](e: Eff[NoFx, A])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffOneEffectApplicativeOps[M[_], A](e: Eff[Fx1[M], A])(implicit evidence$2: Monad[M])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffOneEffectOps[M[_], A](e: Eff[Fx1[M], A])(implicit evidence$1: Monad[M])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffOnePureValueOps[R, A](e: Eff[R, A])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffOps[R, A](e: Eff[R, A])

Attributes

Supertypes
class Object
trait Matchable
class Any
implicit class EffSequenceOps[F[_], R, A](values: F[Eff[R, A]])(implicit evidence$4: Traverse[F])

Attributes

Supertypes
class Object
trait Matchable
class Any

Implicits

Implicits

final implicit def EffApplicativeOps[F[_] : Traverse, A](values: F[A]): EffApplicativeOps[F, A]
final implicit def EffApplicativeSyntaxOps[R, A](a: Eff[R, A]): EffApplicativeSyntaxOps[R, A]
final implicit def EffMonadicOps[R, M[_], A](e: Eff[R, M[A]]): EffMonadicOps[R, M, A]
final implicit def EffNoEffectOps[A](e: Eff[NoFx, A]): EffNoEffectOps[A]
final implicit def EffOneEffectApplicativeOps[M[_] : Monad, A](e: Eff[Fx1[M], A]): EffOneEffectApplicativeOps[M, A]
final implicit def EffOneEffectOps[M[_] : Monad, A](e: Eff[Fx1[M], A]): EffOneEffectOps[M, A]
final implicit def EffOnePureValueOps[R, A](e: Eff[R, A]): EffOnePureValueOps[R, A]
final implicit def EffOps[R, A](e: Eff[R, A]): EffOps[R, A]
final implicit def EffSequenceOps[F[_] : Traverse, R, A](values: F[Eff[R, A]]): EffSequenceOps[F, R, A]
Generated with