IndexedContsTFunctions
trait IndexedContsTFunctions
class Object
trait Matchable
class Any
object Cont
object ContT
object Conts
object ContsT
object IndexedCont
object IndexedContT
object IndexedConts
object IndexedContsT
Value members
Concrete methods
def callCC[W[_], M[_], R, O, A, B](f: A => IndexedContsT[W, M, O, O, B] => IndexedContsT[W, M, R, O, A])(implicit W: Comonad[W]): IndexedContsT[W, M, R, O, A]
def contracohoist[W[_], V[_], M[_], R, O](f: NaturalTransformation[V, W]): NaturalTransformation[[_] =>> IndexedContsT[W, M, R, O, _$23], [_] =>> IndexedContsT[V, M, R, O, _$24]]
def reset[W[_], M[_], R, O, A](v: IndexedContsT[W, M, A, O, O])(implicit W: Comonad[W], WA: Applicative[W], M: Monad[M]): IndexedContsT[W, M, R, R, A]
def shift[W[_], M[_], I, R, J, O, A](f: A => IndexedContsT[W, M, I, I, O] => IndexedContsT[W, M, R, J, J])(implicit W: Comonad[W], WA: Applicative[W], M: Monad[M]): IndexedContsT[W, M, R, O, A]
def xhoist[W[_], M[_], N[_], R, O](f: NaturalTransformation[M, N], g: NaturalTransformation[N, M])(implicit W: Functor[W]): NaturalTransformation[[_] =>> IndexedContsT[W, M, R, O, _$16], [_] =>> IndexedContsT[W, N, R, O, _$17]]