scalaz/org.atnos.eff.addon.scalaz/EffScalaz

EffScalaz

object EffScalaz
class Object
trait Matchable
class Any

Value members

Concrete methods

def detach[M[_], A](eff: Eff[Fx1[M], A])(m: Monad[M], b: BindRec[M]): M[A]
def detachA[M[_], A](eff: Eff[Fx1[M], A])(monad: Monad[M], bindRec: BindRec[M], applicative: Applicative[M]): M[A]
def flatSequenceA[R, F[_], A](fs: F[Eff[R, F[A]]])(FT: Traverse[F], FM: Bind[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]])(FT: Traverse[F], FM: Bind[F]): Eff[R, F[B]]
def sequenceA[R, F[_], A](fs: F[Eff[R, A]])(`evidence$2`: Traverse[F]): Eff[R, F[A]]
def traverseA[R, F[_], A, B](fs: F[A])(f: A => Eff[R, B])(`evidence$1`: Traverse[F]): Eff[R, F[B]]