Member

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

Attributes

Companion:
object
Source:
Member.scala
Graph
Supertypes
trait MemberInOut[T, R]
trait MemberIn[T, R]
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

type Out

Attributes

Source:
Member.scala

Value members

Abstract methods

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

Attributes

Source:
Member.scala
def project[V](union: Union[R, V]): Either[Union[Out, V], T[V]]

Attributes

Source:
Member.scala

Concrete methods

def aux: Aux[T, R, Out]

Attributes

Source:
Member.scala
def extract[V](union: Union[R, V]): Option[T[V]]

Attributes

Source:
Member.scala
def transformUnionInto[N[_], U, S, X](nat: FunctionK[T, N])(union: Union[R, X])(implicit n: Aux[N, S, U]): Union[S, X]

Attributes

Source:
Member.scala

Inherited methods

def inject[V](tv: T[V]): Union[R, V]

Attributes

Inherited from:
MemberIn
Source:
Member.scala
def toMember: Aux[T, R, R]

Attributes

Inherited from:
MemberInOut
Source:
Member.scala
final def transform[O[_]](implicit to: FunctionK[T, O], from: FunctionK[O, T]): MemberInOut[O, R]

Attributes

Inherited from:
MemberInOut
Source:
Member.scala
final def transform[O[_]](implicit from: FunctionK[O, T]): MemberIn[O, R]

Attributes

Inherited from:
MemberIn
Source:
Member.scala
final def transformUnion[A](nat: FunctionK[T, T])(union: Union[R, A]): Union[R, A]

Attributes

Inherited from:
MemberInOut
Source:
Member.scala