Packages

t

scalaz

IndexedContsTFunctions

trait IndexedContsTFunctions extends AnyRef

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IndexedContsTFunctions
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. 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]
  2. def contracohoist[W[_], V[_], R, O, M[_]](f: ~>[V, W]): ~>[[ε$5$]IndexedContsT[W, R, O, M, ε$5$], [ε$6$]IndexedContsT[V, R, O, M, ε$6$]]
  3. def empty[W[_], R, M[_], A](implicit M: PlusEmpty[M]): ContsT[W, R, M, A]
  4. def liftM[W[_], R, M[_], A](a: ⇒ M[A])(implicit W: Comonad[W], M: Bind[M]): ContsT[W, R, M, A]
  5. def point[W[_], R, M[_], A](a: ⇒ A)(implicit W: Comonad[W]): ContsT[W, R, M, A]
  6. 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]
  7. 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]
  8. 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$]]