final
class
EffTranslateIntoOps[R, A] extends AnyVal
Instance Constructors
-
new
EffTranslateIntoOps(e: Eff[R, A])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
augment[T[_], O[_]](w: Augment[T, O])(implicit memberT: MemberInOut[T, R], memberO: MemberIn[O, R]): Eff[R, A]
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
-
def
trace[F[_]](implicit memberF: MemberInOut[F, R], memberW: MemberInOut[[β$1$]WriterT[[A]A, F[_], β$1$], R]): Eff[R, A]
-
def
translateInto[T[_], U](t: Translate[T, U])(implicit m: MemberInOut[T, R], into: IntoPoly[R, U]): Eff[U, A]
-
def
write[T[_], O](w: Write[T, O])(implicit memberT: MemberInOut[T, R], memberW: MemberInOut[[β$0$]WriterT[[A]A, O, β$0$], R]): Eff[R, A]