core/org.atnos.eff/ListEffect

ListEffect

trait ListEffect extends ListCreation with ListInterpretation

Effect for computations possibly returning several values

Effect for computations possibly returning several values

Companion
object
class Object
trait Matchable
class Any
object ListEffect
object all

Type members

Inherited types

type _List[R] = Member[List, R]
Inherited from
ListCreation
type _list[R] = MemberIn[List, R]
Inherited from
ListCreation

Value members

Inherited methods

def empty[R, A](`evidence$1`: _list[R]): Eff[R, A]

create a list effect with no values

create a list effect with no values

Inherited from
ListCreation
def fromList[R, A](as: List[A])(`evidence$4`: _list[R]): Eff[R, A]

create a list effect from a list of values

create a list effect from a list of values

Inherited from
ListCreation
def runList[R, U, A](effect: Eff[R, A])(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

Inherited from
ListInterpretation
def singleton[R, A](a: A)(`evidence$2`: _list[R]): Eff[R, A]

create a list effect from a single value

create a list effect from a single value

Inherited from
ListCreation
def values[R, A](as: A*)(`evidence$3`: _list[R]): Eff[R, A]

create a list effect from a list of values

create a list effect from a list of values

Inherited from
ListCreation