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
Source:
ops.scala
final class EffScalazFlatSequenceOps[F[_], R, A](values: F[Eff[R, F[A]]]) extends AnyVal
Source:
ops.scala
final class EffScalazOneEffectOps[M[_], A](e: Eff[Fx1[M], A]) extends AnyVal
Source:
ops.scala
final class EffScalazSequenceOps[F[_], R, A](values: F[Eff[R, A]]) extends AnyVal
Source:
ops.scala
object all extends either with eval with safe with validate
Source:
all.scala
object either extends either
Companion:
class
Source:
either.scala
trait either
Companion:
object
Source:
either.scala
object eval extends eval
Companion:
class
Source:
eval.scala
trait eval
Companion:
object
Source:
eval.scala
object safe extends safe
Companion:
class
Source:
safe.scala
trait safe
Companion:
object
Source:
safe.scala
object validate extends validate
Companion:
class
Source:
validate.scala
trait validate
Companion:
object
Source:
validate.scala

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

Source:
package.scala