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

ListEffect

org.atnos.eff.ListEffect
See theListEffect companion object
trait ListEffect extends ListCreation with ListInterpretation

Effect for computations possibly returning several values

Attributes

Companion:
object
Source:
ListEffect.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ListEffect.type
object all.type

Members list

Concise view

Type members

Inherited types

type _List[R] = Member[List, R]

Attributes

Inherited from:
ListCreation
Source:
ListEffect.scala
type _list[R] = MemberIn[List, R]

Attributes

Inherited from:
ListCreation
Source:
ListEffect.scala

Value members

Inherited methods

def empty[R : _list, A]: Eff[R, A]

create a list effect with no values

create a list effect with no values

Attributes

Inherited from:
ListCreation
Source:
ListEffect.scala
def fromList[R : _list, A](as: List[A]): Eff[R, A]

create a list effect from a list of values

create a list effect from a list of values

Attributes

Inherited from:
ListCreation
Source:
ListEffect.scala
def runList[R, U, A](effect: Eff[R, A])(implicit m: Aux[List, R, U]): Eff[U, List[A]]

run an effect stack starting with a list effect

run an effect stack starting with a list effect

Attributes

Inherited from:
ListInterpretation
Source:
ListEffect.scala
def singleton[R : _list, A](a: A): Eff[R, A]

create a list effect from a single value

create a list effect from a single value

Attributes

Inherited from:
ListCreation
Source:
ListEffect.scala
def values[R : _list, A](as: A*): Eff[R, A]

create a list effect from a list of values

create a list effect from a list of values

Attributes

Inherited from:
ListCreation
Source:
ListEffect.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL