core/org.atnos.eff/MemberIn

MemberIn

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

Value members

Abstract methods

def inject[V](tv: T[V]): Union[R, V]
Implicitly added by MemberInAppendAnyR
Source:
Member.scala
def inject[V](tv: T[V]): Union[R, V]
Implicitly added by MemberInAppendL
Source:
Member.scala
def inject[V](tv: T[V]): Union[R, V]
Implicitly added by MemberInAppendR
Source:
Member.scala
def inject[V](tv: T[V]): Union[R, V]

Concrete methods

final def transform[O[_]](implicit from: FunctionK[O, T]): MemberIn[O, R]
Implicitly added by MemberInAppendAnyR
Source:
Member.scala
final def transform[O[_]](implicit from: FunctionK[O, T]): MemberIn[O, R]
Implicitly added by MemberInAppendL
Source:
Member.scala
final def transform[O[_]](implicit from: FunctionK[O, T]): MemberIn[O, R]
Implicitly added by MemberInAppendR
Source:
Member.scala
final def transform[O[_]](implicit from: FunctionK[O, T]): MemberIn[O, R]