Packages

o

scalaz

ContT

object ContT extends IndexedContsTInstances with IndexedContsTFunctions

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ContT
  2. IndexedContsTFunctions
  3. IndexedContsTInstances
  4. IndexedContsTInstances0
  5. IndexedContsTInstances1
  6. IndexedContsTInstances2
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. implicit def ContsTBind[W[_], R, M[_]](implicit W0: Cobind[W]): Bind[[δ$9$]IndexedContsT[W, R, R, M, δ$9$]]
    Definition Classes
    IndexedContsTInstances1
  2. implicit def ContsTMonad[W[_], R, M[_]](implicit W0: Comonad[W]): Monad[[δ$10$]IndexedContsT[W, R, R, M, δ$10$]]
    Definition Classes
    IndexedContsTInstances0
  3. implicit def ContsTMonadPlusAlt[W[_], R, M[_]](implicit W0: Comonad[W], M0: PlusEmpty[M]): MonadPlus[[δ$15$]IndexedContsT[W, R, R, M, δ$15$]] with Alt[[δ$16$]IndexedContsT[W, R, R, M, δ$16$]]
    Definition Classes
    IndexedContsTInstances
  4. implicit def IndexedContsTBifunctor[W[_], O, M[_]](implicit W0: Functor[W], M0: Functor[M]): Bifunctor[[β$13$, ε$14$]IndexedContsT[W, β$13$, O, M, ε$14$]]
    Definition Classes
    IndexedContsTInstances
  5. implicit def IndexedContsTContravariant[W[_], R, M[_], A](implicit W0: Functor[W], M0: Functor[M]): Contravariant[[γ$12$]IndexedContsT[W, R, γ$12$, M, A]]
    Definition Classes
    IndexedContsTInstances
  6. implicit def IndexedContsTFunctorLeft[W[_], O, M[_], A](implicit M0: Functor[M]): Functor[[β$11$]IndexedContsT[W, β$11$, O, M, A]]
    Definition Classes
    IndexedContsTInstances
  7. implicit def IndexedContsTFunctorRight[W[_], R, M[_], O](implicit W0: Functor[W]): Functor[[ε$8$]IndexedContsT[W, R, O, M, ε$8$]]
    Definition Classes
    IndexedContsTInstances2
  8. def apply[M[_], R, A](f: ((A) ⇒ M[R]) ⇒ M[R]): ContT[R, M, A]
  9. def callCC[W[_], R, O, M[_], A, B](f: ((A) ⇒ IndexedContsT[W, O, O, M, B]) ⇒ IndexedContsT[W, R, O, M, A])(implicit W: Comonad[W]): IndexedContsT[W, R, O, M, A]
    Definition Classes
    IndexedContsTFunctions
  10. def contracohoist[W[_], V[_], R, O, M[_]](f: ~>[V, W]): ~>[[ε$4$]IndexedContsT[W, R, O, M, ε$4$], [ε$5$]IndexedContsT[V, R, O, M, ε$5$]]
    Definition Classes
    IndexedContsTFunctions
  11. def empty[W[_], R, M[_], A](implicit M: PlusEmpty[M]): ContsT[W, R, M, A]
    Definition Classes
    IndexedContsTFunctions
  12. def liftM[W[_], R, M[_], A](a: ⇒ M[A])(implicit W: Comonad[W], M: Bind[M]): ContsT[W, R, M, A]
    Definition Classes
    IndexedContsTFunctions
  13. def point[W[_], R, M[_], A](a: ⇒ A)(implicit W: Comonad[W]): ContsT[W, R, M, A]
    Definition Classes
    IndexedContsTFunctions
  14. def reset[W[_], R, O, M[_], A](v: IndexedContsT[W, A, O, M, O])(implicit W: Comonad[W], WA: Applicative[W], M: Monad[M]): IndexedContsT[W, R, R, M, A]
    Definition Classes
    IndexedContsTFunctions
  15. def shift[W[_], I, R, J, O, M[_], A](f: ((A) ⇒ IndexedContsT[W, I, I, M, O]) ⇒ IndexedContsT[W, R, J, M, J])(implicit W: Comonad[W], WA: Applicative[W], M: Monad[M]): IndexedContsT[W, R, O, M, A]
    Definition Classes
    IndexedContsTFunctions
  16. def xhoist[W[_], R, O, M[_], N[_]](f: ~>[M, N], g: ~>[N, M])(implicit W: Functor[W]): ~>[[ε$0$]IndexedContsT[W, R, O, M, ε$0$], [ε$1$]IndexedContsT[W, R, O, N, ε$1$]]
    Definition Classes
    IndexedContsTFunctions