Object

org.atnos.eff

implicits

Related Doc: package eff

Permalink

object implicits extends ReaderImplicits with WriterImplicits with StateImplicits with DisjunctionImplicits with EffImplicits

Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. implicits
  2. EffImplicits
  3. DisjunctionImplicits
  4. DisjunctionImplicitsLower
  5. StateImplicits
  6. StateImplicits1
  7. WriterImplicits
  8. WriterImplicits1
  9. ReaderImplicits
  10. ReaderImplicits1
  11. AnyRef
  12. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit def DisjunctionMemberFirst[R <: Effects, A]: Aux[[β]Xor[A, β], Effects.|:[[β]Xor[A, β], R], R]

    Permalink
    Definition Classes
    DisjunctionImplicits
  5. implicit def DisjunctionMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]Xor[A, β], R, U]): Aux[[β]Xor[A, β], Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    DisjunctionImplicitsLower
  6. implicit def DisjunctionMemberZero[R, A]: Aux[[β]Xor[A, β], Effects.|:[[β]Xor[A, β], NoEffect], NoEffect]

    Permalink
    Definition Classes
    DisjunctionImplicits
  7. implicit def EffMonad[R]: Monad[[β]Eff[R, β]]

    Permalink

    Monad implementation for the Eff[R, ?] type

    Monad implementation for the Eff[R, ?] type

    Definition Classes
    EffImplicits
  8. implicit def ReaderMemberFirst[R <: Effects, A]: Aux[[β]Kleisli[[A]A, A, β], Effects.|:[[β]Kleisli[[A]A, A, β], R], R]

    Permalink
    Definition Classes
    ReaderImplicits
  9. implicit def ReaderMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]Kleisli[[A]A, A, β], R, U]): Aux[[β]Kleisli[[A]A, A, β], Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    ReaderImplicits1
  10. implicit def ReaderMemberZero[A]: Aux[[β]Kleisli[[A]A, A, β], Effects.|:[[β]Kleisli[[A]A, A, β], NoEffect], NoEffect]

    Permalink
    Definition Classes
    ReaderImplicits
  11. implicit def StateMemberFirst[R <: Effects, A]: Aux[[β]StateT[Eval, A, β], Effects.|:[[β]StateT[Eval, A, β], R], R]

    Permalink
    Definition Classes
    StateImplicits
  12. implicit def StateMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]StateT[Eval, A, β], R, U]): Aux[[β]StateT[Eval, A, β], Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    StateImplicits1
  13. implicit def StateMemberZero[A]: Aux[[β]StateT[Eval, A, β], Effects.|:[[β]StateT[Eval, A, β], NoEffect], NoEffect]

    Permalink
    Definition Classes
    StateImplicits
  14. implicit def TaggedReaderMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]

    Permalink
    Definition Classes
    ReaderImplicits
  15. implicit def TaggedReaderMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    ReaderImplicits1
  16. implicit def TaggedReaderMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]

    Permalink
    Definition Classes
    ReaderImplicits
  17. implicit def TaggedStateMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]

    Permalink
    Definition Classes
    StateImplicits
  18. implicit def TaggedStateMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    StateImplicits1
  19. implicit def TaggedStateMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]

    Permalink
    Definition Classes
    StateImplicits
  20. implicit def TaggedWriterMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]

    Permalink
    Definition Classes
    WriterImplicits
  21. implicit def TaggedWriterMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    WriterImplicits1
  22. implicit def TaggedWriterMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, Effects.|:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]

    Permalink
    Definition Classes
    WriterImplicits
  23. implicit def WriterMemberFirst[R <: Effects, A]: Aux[[β]WriterT[[A]A, A, β], Effects.|:[[β]WriterT[[A]A, A, β], R], R]

    Permalink
    Definition Classes
    WriterImplicits
  24. implicit def WriterMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]WriterT[[A]A, A, β], R, U]): Aux[[β]WriterT[[A]A, A, β], Effects.|:[O, R], Effects.|:[O, U]]

    Permalink
    Definition Classes
    WriterImplicits1
  25. implicit def WriterMemberZero[A]: Aux[[β]WriterT[[A]A, A, β], Effects.|:[[β]WriterT[[A]A, A, β], NoEffect], NoEffect]

    Permalink
    Definition Classes
    WriterImplicits
  26. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  27. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  30. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  31. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  32. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  33. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  34. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  35. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  38. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  39. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  41. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from EffImplicits

Inherited from DisjunctionImplicits

Inherited from DisjunctionImplicitsLower

Inherited from StateImplicits

Inherited from StateImplicits1

Inherited from WriterImplicits

Inherited from WriterImplicits1

Inherited from ReaderImplicits

Inherited from ReaderImplicits1

Inherited from AnyRef

Inherited from Any

Ungrouped