scalazExtension

org.atnos.eff.syntax.addon.scalaz.effScalaz.scalazExtension

Attributes

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

Members list

Extensions

Extensions

extension [M[_], A](e: Eff[Fx1[M], A])
def detach(using Monad[M], BindRec[M]): M[A]

Attributes

Source
eff.scala
def detachA(applicative: Applicative[M])(using monad: Monad[M], bindRec: BindRec[M]): M[A]

Attributes

Source
eff.scala
extension [F[_], A](values: F[A])
def flatTraverseA[R, B](f: A => Eff[R, F[B]])(using Traverse[F], Bind[F]): Eff[R, F[B]]

Attributes

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

Attributes

Source
eff.scala
extension [F[_], R, A](values: F[Eff[R, A]])
def sequenceA(using Traverse[F]): Eff[R, F[A]]

Attributes

Source
eff.scala
extension [F[_], R, A](values: F[Eff[R, F[A]]])
def flatSequenceA(using Traverse[F], Bind[F]): Eff[R, F[A]]

Attributes

Source
eff.scala