create

org.specs2.control.eff.`package`.create

Attributes

Graph
Supertypes
trait EffCreation
trait SafeCreation
trait SafeTypes
trait EvalCreation
trait EvalTypes
class Object
trait Matchable
class Any
Show all
Self type
create.type

Members list

Type members

Inherited types

type Eval[A] = Name[A]

Attributes

Inherited from:
EvalTypes
type ThrowableOr[A] = Either[Throwable, A]

Attributes

Inherited from:
DisjunctionCreation
type _Eval[R] = Member[Eval, R]

Attributes

Inherited from:
EvalTypes
type _Safe[R] = MemberInOut[Safe, R]

Attributes

Inherited from:
SafeTypes

Attributes

Inherited from:
DisjunctionCreation
type _eval[R] = MemberIn[Eval, R]

Attributes

Inherited from:
EvalTypes
type _safe[R] = MemberIn[Safe, R]

Attributes

Inherited from:
SafeTypes

Attributes

Inherited from:
DisjunctionCreation

Value members

Inherited methods

def ap[R, A, B](a: Eff[R, A])(f: Eff[R, A => B]): Eff[R, B]

apply a function to an Eff value using the applicative instance

apply a function to an Eff value using the applicative instance

Attributes

Inherited from:
EffCreation
def collapse[R, M[_], A](r: Eff[R, M[A]])(implicit m: MemberIn[M, R]): Eff[R, A]

use the internal effect as one of the stack effects

use the internal effect as one of the stack effects

Attributes

Inherited from:
EffCreation
def delay[R : _eval, A](a: => A): Eff[R, A]

Attributes

Inherited from:
EvalCreation
def eval[R : _safe, A](a: Name[A]): Eff[R, A]

Attributes

Inherited from:
SafeCreation
def exception[R : _safe, A](t: Throwable): Eff[R, A]

Attributes

Inherited from:
SafeCreation
def finalizerException[R : _safe](t: Throwable): Eff[R, Unit]

Attributes

Inherited from:
SafeCreation
def flatTraverseA[R, F[_], A, B](fs: F[A])(f: A => Eff[R, F[B]])(implicit FT: Traverse[F], FM: Monad[F]): Eff[R, F[B]]

use the applicative instance of Eff to traverse a list of values, then flatten it

use the applicative instance of Eff to traverse a list of values, then flatten it

Attributes

Inherited from:
EffCreation
def fromDisjunction[R, E, A](disjunction: Either[E, A])(implicit member: MemberIn[[_] =>> Either[E, _$2], R]): Eff[R, A]

create an Either effect from a single Either value

create an Either effect from a single Either value

Attributes

Inherited from:
DisjunctionCreation
def impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A]): Eff[R, A]

create a impure value from an union of effects and a continuation

create a impure value from an union of effects and a continuation

Attributes

Inherited from:
EffCreation
def left[R, E, A](e: E)(implicit member: MemberIn[[_] =>> Either[E, _$3], R]): Eff[R, A]

create a failed value

create a failed value

Attributes

Inherited from:
DisjunctionCreation
def now[R : _eval, A](a: A): Eff[R, A]

Attributes

Inherited from:
EvalCreation
def optionDisjunction[R, E, A](option: Option[A], e: E)(implicit member: MemberIn[[_] =>> Either[E, _$1], R]): Eff[R, A]

create an Either effect from a single Option value

create an Either effect from a single Option value

Attributes

Inherited from:
DisjunctionCreation
def protect[R : _safe, A](a: => A): Eff[R, A]

Attributes

Inherited from:
SafeCreation
def pure[R, A](a: A): Eff[R, A]

create a pure value

create a pure value

Attributes

Inherited from:
EffCreation
def right[R, E, A](a: A)(implicit member: MemberIn[[_] =>> Either[E, _$5], R]): Eff[R, A]

create a correct value

create a correct value

Attributes

Inherited from:
DisjunctionCreation
def send[T[_], R, V](tv: T[V])(implicit member: MemberIn[T, R]): Eff[R, V]

create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

Attributes

Inherited from:
EffCreation
def sequenceA[R, F[_] : Traverse, A](fs: F[Eff[R, A]]): Eff[R, F[A]]

use the applicative instance of Eff to sequence a list of values

use the applicative instance of Eff to sequence a list of values

Attributes

Inherited from:
EffCreation
def tell[R, O](o: O)(implicit member: MemberIn[[_] =>> Writer[O, _$1], R]): Eff[R, Unit]

write a given value

write a given value

Attributes

Inherited from:
WriterCreation
def traverseA[R, F[_] : Traverse, A, B](fs: F[A])(f: A => Eff[R, B]): Eff[R, F[B]]

use the applicative instance of Eff to traverse a list of values

use the applicative instance of Eff to traverse a list of values

Attributes

Inherited from:
EffCreation
def unit[R]: Eff[R, Unit]

create an Eff value for ()

create an Eff value for ()

Attributes

Inherited from:
EffCreation