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

Member

@implicitNotFound("No instance found for Member[${T}, ${R}].\nThe effect ${T} is not part of the stack ${R}\n or it was not possible to determine the stack that would result from removing ${T} from ${R}")
trait Member[T[_], R] extends MemberInOut[T, R]
Companion:
object
trait MemberInOut[T, R]
trait MemberIn[T, R]
class Object
trait Matchable
class Any

Type members

Types

type Out

Value members

Abstract methods

def accept[V](union: Union[Out, V]): Union[R, V]
def project[V](union: Union[R, V]): Either[Union[Out, V], T[V]]

Concrete methods

def aux: Aux[T, R, Out]
def extract[V](union: Union[R, V]): Option[T[V]]
def transformUnionInto[N[_], U, S, X](nat: NaturalTransformation[T, N])(union: Union[R, X])(implicit n: Aux[N, S, U]): Union[S, X]

Inherited methods

def inject[V](tv: T[V]): Union[R, V]
Inherited from:
MemberIn
override def transform[O[_]](implicit from: NaturalTransformation[O, T]): MemberIn[O, R]
Definition Classes
Inherited from:
MemberInOut
def transformUnion[A](nat: NaturalTransformation[T, T])(union: Union[R, A]): Union[R, A]
Inherited from:
MemberInOut