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 m: MemberInOut[T, R]): Eff[prepend[O, R], A]
-
val
e: Eff[R, A]
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
toString(): String
-
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 m: MemberInOut[T, R]): Eff[prepend[[β$0$]WriterT[[A]A, O, β$0$], R], A]