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

MemberInOut

@implicitNotFound("No instance found for MemberInOut[${T}, ${R}].\nThe effect ${T} is not part of the stack ${R}")
trait MemberInOut[T[_], R] extends MemberIn[T, R]
Companion:
object
trait MemberIn[T, R]
class Object
trait Matchable
class Any
trait Member[T, R]

Value members

Abstract methods

def extract[V](union: Union[R, V]): Option[T[V]]
Implicitly added by MemberInOutAppendAnyR
def extract[V](union: Union[R, V]): Option[T[V]]
Implicitly added by MemberInOutAppendL
def extract[V](union: Union[R, V]): Option[T[V]]
Implicitly added by MemberInOutAppendR
def extract[V](union: Union[R, V]): Option[T[V]]

Concrete methods

override def transform[O[_]](implicit from: NaturalTransformation[O, T]): MemberIn[O, R]
Definition Classes
def transformUnion[A](nat: NaturalTransformation[T, T])(union: Union[R, A]): Union[R, A]
Implicitly added by MemberInOutAppendAnyR
def transformUnion[A](nat: NaturalTransformation[T, T])(union: Union[R, A]): Union[R, A]
Implicitly added by MemberInOutAppendL
def transformUnion[A](nat: NaturalTransformation[T, T])(union: Union[R, A]): Union[R, A]
Implicitly added by MemberInOutAppendR
def transformUnion[A](nat: NaturalTransformation[T, T])(union: Union[R, A]): Union[R, A]

Inherited methods

def inject[V](tv: T[V]): Union[R, V]
Implicitly added by MemberInOutAppendAnyR
Inherited from:
MemberIn
def inject[V](tv: T[V]): Union[R, V]
Implicitly added by MemberInOutAppendL
Inherited from:
MemberIn
def inject[V](tv: T[V]): Union[R, V]
Implicitly added by MemberInOutAppendR
Inherited from:
MemberIn
def inject[V](tv: T[V]): Union[R, V]
Inherited from:
MemberIn