Member

org.specs2.control.eff.Member
See theMember companion object
trait Member[T[_], R] extends MemberInOut[T, R]

Attributes

Companion
object
Graph
Supertypes
trait MemberInOut[T, R]
trait MemberIn[T, R]
class Object
trait Matchable
class Any

Members list

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]

Attributes

Inherited from:
MemberIn
override def transform[O[_]](implicit from: NaturalTransformation[O, T]): MemberIn[O, R]

Attributes

Definition Classes
Inherited from:
MemberInOut
def transformUnion[A](nat: NaturalTransformation[T, T])(union: Union[R, A]): Union[R, A]

Attributes

Inherited from:
MemberInOut