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