scalaz
API
Generated with
scalaz/org.atnos.eff/org.atnos.eff.addon.scalaz

org.atnos.eff.addon.scalaz

package org.atnos.eff.addon.scalaz

Members list

Type members

Classlikes

object EffScalaz

Attributes

Source
EffScalaz.scala
Supertypes
class Object
trait Matchable
class Any
Self type
EffScalaz.type
object all extends either, eval, safe, validate

Attributes

Source
all.scala
Supertypes
trait validate
trait safe
trait eval
trait either
class Object
trait Matchable
class Any
Show all
Self type
all.type
object either extends either

Attributes

Companion
trait
Source
either.scala
Supertypes
trait either
class Object
trait Matchable
class Any
Self type
either.type
trait either

Attributes

Companion
object
Source
either.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object all
object either
object eval extends eval

Attributes

Companion
trait
Source
eval.scala
Supertypes
trait eval
class Object
trait Matchable
class Any
Self type
eval.type
trait eval

Attributes

Companion
object
Source
eval.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object all
object eval
object safe extends safe

Attributes

Companion
trait
Source
safe.scala
Supertypes
trait safe
class Object
trait Matchable
class Any
Self type
safe.type
trait safe

Attributes

Companion
object
Source
safe.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object all
object safe
object validate extends validate

Attributes

Companion
trait
Source
validate.scala
Supertypes
trait validate
class Object
trait Matchable
class Any
Self type
validate.type
trait validate

Attributes

Companion
object
Source
validate.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object all
object validate

Value members

Concrete methods

def EffScalazApplicative[R]: Applicative[[_] =>> Eff[R, _$10]]

Attributes

Source
package.scala
def catsSemigroup[A](s: Semigroup[A]): Semigroup[A]

Attributes

Source
package.scala

Givens

Givens

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

Monad implementation for the Eff[R, *] type

Monad implementation for the Eff[R, *] type

Attributes

Source
package.scala
Generated with