EffImplicits

org.specs2.control.eff.EffImplicits
See theEffImplicits companion object
trait EffImplicits

Attributes

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

Members list

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

Attributes

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