core/org.atnos.eff/IntoPolyLower2

IntoPolyLower2

trait IntoPolyLower2 extends IntoPolyLower3
class Object
trait Matchable
class Any
object IntoPoly

Implicits

Implicits

implicit def intoAppendL2L[T1[_], T2[_], R]: IntoPoly[FxAppend[Fx1[T2], R], FxAppend[Fx2[T1, T2], R]]
implicit def intoAppendL2R[T1[_], T2[_], R]: IntoPoly[FxAppend[Fx1[T1], R], FxAppend[Fx2[T1, T2], R]]
implicit def intoAppendL3L[T1[_], T2[_], T3[_], R]: IntoPoly[FxAppend[Fx2[T2, T3], R], FxAppend[Fx3[T1, T2, T3], R]]
implicit def intoAppendL3M[T1[_], T2[_], T3[_], R]: IntoPoly[FxAppend[Fx2[T1, T3], R], FxAppend[Fx3[T1, T2, T3], R]]
implicit def intoAppendL3R[T1[_], T2[_], T3[_], R]: IntoPoly[FxAppend[Fx2[T1, T2], R], FxAppend[Fx3[T1, T2, T3], R]]
implicit def intoSelf[R]: IntoPoly[R, R]

Inherited implicits

implicit def into[T[_], R, U, S](t: Aux[T, R, S], m: MemberIn[T, U], recurse: IntoPoly[S, U]): IntoPoly[R, U]
Inherited from
IntoPolyLower4
implicit def intoAppendL1[T[_], R]: IntoPoly[R, FxAppend[Fx1[T], R]]
Inherited from
IntoPolyLower3
implicit def intoMember[T[_], R, U](m: Aux[T, R, U]): IntoPoly[U, R]
Inherited from
IntoPolyLower5