ListEffect

Effect for computations possibly returning several values

Companion:
object
Source:
ListEffect.scala
class Object
trait Matchable
class Any
object ListEffect.type
object all.type

Type members

Inherited types

type _List[R] = Member[List, R]
Inherited from:
ListCreation
Source:
ListEffect.scala
type _list[R] = MemberIn[List, R]
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

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

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

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

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

Inherited from:
ListCreation
Source:
ListEffect.scala