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 trait
object eff extends eff

Operations of Eff[R, A] values

Attributes

Companion
trait
Graph
Supertypes
trait eff
class Object
trait Matchable
class Any
Self type
eff.type

Members list

Type members

Inherited classlikes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
eff
Supertypes
class Object
trait Matchable
class Any

Implicits

Inherited implicits

final implicit def EffApplicativeOps[F[_] : Traverse, A](values: F[A]): EffApplicativeOps[F, A]

Attributes

Inherited from:
eff
final implicit def EffApplicativeSyntaxOps[R, A](a: Eff[R, A]): EffApplicativeSyntaxOps[R, A]

Attributes

Inherited from:
eff
final implicit def EffMonadicOps[R, M[_], A](e: Eff[R, M[A]]): EffMonadicOps[R, M, A]

Attributes

Inherited from:
eff
final implicit def EffNoEffectOps[A](e: Eff[NoFx, A]): EffNoEffectOps[A]

Attributes

Inherited from:
eff
final implicit def EffOneEffectApplicativeOps[M[_] : Monad, A](e: Eff[Fx1[M], A]): EffOneEffectApplicativeOps[M, A]

Attributes

Inherited from:
eff
final implicit def EffOneEffectOps[M[_] : Monad, A](e: Eff[Fx1[M], A]): EffOneEffectOps[M, A]

Attributes

Inherited from:
eff
final implicit def EffOnePureValueOps[R, A](e: Eff[R, A]): EffOnePureValueOps[R, A]

Attributes

Inherited from:
eff
final implicit def EffOps[R, A](e: Eff[R, A]): EffOps[R, A]

Attributes

Inherited from:
eff
final implicit def EffSequenceOps[F[_] : Traverse, R, A](values: F[Eff[R, A]]): EffSequenceOps[F, R, A]

Attributes

Inherited from:
eff
Generated with