IntoPoly

org.atnos.eff.IntoPoly
See theIntoPoly companion object
trait IntoPoly[R, U]

Typeclass proving that it is possible to send a tree of effects R into another tree of effects U

for example

Attributes

Example:
send[Option1, Fx.fx3[Option1, Option2, Option3], Int](Option1(1)).
  into[Fx.fx5[Option1, Option2, Option3, Option4, Option5]]

should work because all the effects of the first stack are present in the second Note: some implicit definitions are probably missing in some cases

Companion:
object
Source:
IntoPoly.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def apply[A](e: Eff[R, A]): Eff[U, A]

Attributes

Source:
IntoPoly.scala

Abstract fields

val unionInto: UnionInto[R, U]

Attributes

Source:
IntoPoly.scala