core/org.atnos.eff/EffCreation

EffCreation

trait EffCreation
Companion
object
class Object
trait Matchable
class Any
object Eff
object all
object create
object eff

Value members

Concrete 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

def bracketLast[R, A, B, C](acquire: Eff[R, A])(use: A => Eff[R, B])(release: A => Eff[R, C]): Eff[R, B]

bracket an action with one last action to execute at the end of the program

bracket an action with one last action to execute at the end of the program

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

def flatSequenceA[R, F[_], A](fs: F[Eff[R, F[A]]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[A]]

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

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

def flatTraverseA[R, F[_], A, B](fs: F[A])(f: A => Eff[R, F[B]])(implicit FT: Traverse[F], FM: FlatMap[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

def impure[R, X, A](union: Union[R, X], continuation: Continuation[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

def impure[R, A, B](value: A, continuation: Continuation[R, A, B]): Eff[R, B]

create a delayed impure value

create a delayed impure value

def impure[R, A, B](value: A, continuation: Continuation[R, A, B], map: B => B): Eff[R, B]

create a delayed impure value

create a delayed impure value

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

create a pure value

create a pure value

def retryUntil[R, A](e: Eff[R, A], condition: A => Boolean, durations: List[FiniteDuration], waitFor: FiniteDuration => Eff[R, Unit]): Eff[R, A]
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

def sequenceA[R, F[_], A](fs: F[Eff[R, A]])(implicit evidence$2: Traverse[F]): 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

def traverseA[R, F[_], A, B](fs: F[A])(f: A => Eff[R, B])(implicit evidence$1: Traverse[F]): 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

def unit[R]: Eff[R, Unit]

create an Eff value for ()

create an Eff value for ()

def whenStopped[R, A](e: Eff[R, A], action: Last[R]): Eff[R, A]

attach a clean-up action to the continuation (if any)

attach a clean-up action to the continuation (if any)