specs2-common/org.specs2.control.eff/EffImplicits

EffImplicits

trait EffImplicits
Companion:
object
class Object
trait Matchable
class Any
object Eff.type
object EffImplicits.type
object all.type

Value members

Concrete methods

def EffApplicative[R]: Applicative[[_] =>> Eff[R, _$3]]

Implicits

Implicits

final implicit def EffMonad[R]: Monad[[_] =>> Eff[R, _$1]]

Monad implementation for the Eff[R, *] type

Monad implementation for the Eff[R, *] type

implicit def naturalInto[R, U](into: IntoPoly[R, U]): NaturalTransformation[[_] =>> Eff[R, _$7], [_] =>> Eff[U, _$8]]