EffScalaz

org.atnos.eff.addon.scalaz.EffScalaz$
object EffScalaz

Attributes

Source:
EffScalaz.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def detach[M[_], A](eff: Eff[Fx1[M], A])(implicit m: Monad[M], b: BindRec[M]): M[A]

Attributes

Source:
EffScalaz.scala
def detachA[M[_], A](eff: Eff[Fx1[M], A])(implicit monad: Monad[M], bindRec: BindRec[M], applicative: Applicative[M]): M[A]

Attributes

Source:
EffScalaz.scala
def flatSequenceA[R, F[_], A](fs: F[Eff[R, F[A]]])(implicit 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

Attributes

Source:
EffScalaz.scala
def flatTraverseA[R, F[_], A, B](fs: F[A])(f: A => Eff[R, F[B]])(implicit FT: Traverse[F], FM: Bind[F]): Eff[R, F[B]]

Attributes

Source:
EffScalaz.scala
def sequenceA[R, F[_] : Traverse, A](fs: F[Eff[R, A]]): Eff[R, F[A]]

Attributes

Source:
EffScalaz.scala
def traverseA[R, F[_] : Traverse, A, B](fs: F[A])(f: A => Eff[R, B]): Eff[R, F[B]]

Attributes

Source:
EffScalaz.scala