core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/org.atnos.eff/Unions

Unions

org.atnos.eff.Unions
See theUnions companion object
case class Unions[R, A](first: Union[R, A], rest: Vector[Union[R, Any]])

A non-empty list of Unions.

It is only partially typed, we just keep track of the type of the first object

Attributes

Companion:
object
Source:
Unions.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Types

type X = A

Attributes

Source:
Unions.scala

Value members

Concrete methods

def append[B](others: Unions[R, B]): Unions[R, A]

Attributes

Source:
Unions.scala
def continueWith[B](continuation: Continuation[R, Vector[Any], B]): Continuation[R, A, B]

create a continuation which will apply the 'map' function if the first effect of this Unions object is interpreted

create a continuation which will apply the 'map' function if the first effect of this Unions object is interpreted

Attributes

Source:
Unions.scala
def extract[M[_]](implicit m: MemberInOut[M, R]): CollectedUnions[M, R, R]

collect all the M effects and create a continuation for other effects in the same stack

collect all the M effects and create a continuation for other effects in the same stack

Attributes

Source:
Unions.scala
def into[S](f: UnionInto[R, S]): Unions[S, A]

Attributes

Source:
Unions.scala
def project[M[_], U](implicit m: Aux[M, R, U]): CollectedUnions[M, R, U]

collect all the M effects and create a continuation for other effects in a stack containing no more M effects

collect all the M effects and create a continuation for other effects in a stack containing no more M effects

Attributes

Source:
Unions.scala
def size: Int

Attributes

Source:
Unions.scala
def transform[M[_]](nat: FunctionK[M, M])(implicit m: MemberInOut[M, R]): Unions[R, A]

Attributes

Source:
Unions.scala
def transformInto[M[_], N[_], U, S](nat: FunctionK[M, N])(implicit m: Aux[M, R, U], n: Aux[N, S, U]): Unions[S, A]

Attributes

Source:
Unions.scala
def unions: Vector[Union[R, Any]]

Attributes

Source:
Unions.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL