specs2-common
API
Generated with
specs2-common/org.specs2/org.specs2.control/org.specs2.control.eff/Union

Union

org.specs2.control.eff.Union
sealed trait Union[+R, A]

Union represents one effect T[_] embedded in a tree of possible effects R

Since the effect tree is represented with the following cases:

  • Fx1[T]
  • Fx2[T1, T2]
  • Fx3[T1, T2, T3]
  • FxAppend[L, R]

We have the corresponding Union cases. For example T2 is in the "middle" of Fx3[T1, T2, T3] so creating a Union object for that effect uses Union3M

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Union1[T, A]
trait Union2[R, A]
class Union2L[L, R, A]
class Union2R[L, R, A]
trait Union3[R, A]
class Union3L[L, M, R, A]
class Union3M[L, M, R, A]
class Union3R[L, M, R, A]
trait UnionAppend[R, A]
class UnionAppendL[L, R, A]
class UnionAppendR[L, R, A]
Show all

Members list

Type members

Types

type X = A
Generated with