EffCreation

org.specs2.control.eff.EffCreation
See theEffCreation companion trait
object EffCreation extends EffCreation

Attributes

Companion
trait
Graph
Supertypes
trait EffCreation
class Object
trait Matchable
class Any
Self type

Members list

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 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 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 pure[R, A](a: A): Eff[R, A]

create a pure value

create a pure value

Attributes

Inherited from:
EffCreation
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 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