core/org.atnos.eff/ListCreation

ListCreation

trait ListCreation
Companion
object
class Object
trait Matchable
class Any
object ListEffect
object all
object create
object list

Type members

Types

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

Value members

Concrete 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

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

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

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