scalaz/org.atnos.eff.addon.scalaz

org.atnos.eff.addon.scalaz

package org.atnos.eff.addon.scalaz

Type members

Classlikes

object EffScalaz
final class EffScalazApplicativeOps[F[_], A](values: F[A]) extends AnyVal
final class EffScalazFlatSequenceOps[F[_], R, A](values: F[Eff[R, F[A]]]) extends AnyVal
final class EffScalazOneEffectOps[M[_], A](e: Eff[Fx1[M], A]) extends AnyVal
final class EffScalazSequenceOps[F[_], R, A](values: F[Eff[R, A]]) extends AnyVal
object all extends either with eval with safe with validate
object either extends either
Companion
class
trait either
Companion
object
object eval extends eval
Companion
class
trait eval
Companion
object
object safe extends safe
Companion
class
trait safe
Companion
object
object validate extends validate
Companion
class
trait validate
Companion
object

Value members

Concrete methods

def EffScalazApplicative[R]: Applicative[[_] =>> Eff[R, _$6]]
def catsSemigroup[A](s: Semigroup[A]): Semigroup[A]

Implicits

Implicits

final implicit def EffScalazMonad[R]: Monad[[_] =>> Eff[R, _$1]] & BindRec[[_] =>> Eff[R, _$2]]

Monad implementation for the Eff[R, *] type

Monad implementation for the Eff[R, *] type