EffTranslateIntoOps
- Source:
- eff.scala
class AnyVal
trait Matchable
class Any
Value members
Concrete methods
def augment[T[_], O[_]](w: Augment[T, O])(implicit memberT: MemberInOut[T, R], memberO: MemberIn[O, R]): Eff[R, A]
- Source:
- eff.scala
def trace[F[_]](implicit memberF: MemberInOut[F, R], memberW: MemberInOut[[_] =>> Writer[F[_], _$14], R]): Eff[R, A]
- Source:
- eff.scala
def translateInto[T[_], U](t: Translate[T, U])(implicit m: MemberInOut[T, R], into: IntoPoly[R, U]): Eff[U, A]
- Source:
- eff.scala
def write[T[_], O](w: Write[T, O])(implicit memberT: MemberInOut[T, R], memberW: MemberInOut[[_] =>> Writer[O, _$12], R]): Eff[R, A]
- Source:
- eff.scala