cps.runtime

package cps.runtime

Members list

Concise view

Type members

Classlikes

class ArrayOpsAsyncShift[A] extends AsyncShift[ArrayOps[A]]

Attributes

Graph
Supertypes
trait AsyncShift[ArrayOps[A]]
class Object
trait Matchable
class Any
class ArrayOpsWithFilterAsyncSubst[F[_], A](ops: ArrayOps[A], monad: CpsMonad[F], p: A => F[Boolean]) extends CallChainAsyncShiftSubst[F, WithFilter[A], F[WithFilter[A]]]

Attributes

Graph
Supertypes
trait CallChainAsyncShiftSubst[F, WithFilter[A], F[WithFilter[A]]]
class Object
trait Matchable
class Any
trait CallChainAsyncShiftSubst[F[_], T, FT]

wrapper which can be used for translations of call-chains with given substitution methods. The conventions, that shifted method can return such wrapper from shifted function instead F[T] and then cps engine substitute calls of chanined functions if they are implemented.

wrapper which can be used for translations of call-chains with given substitution methods. The conventions, that shifted method can return such wrapper from shifted function instead F[T] and then cps engine substitute calls of chanined functions if they are implemented.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CpsMonadSelfAsyncShift[F[_], M <: CpsMonad[F]] extends AsyncShift[M]

Attributes

Graph
Supertypes
trait AsyncShift[M]
class Object
trait Matchable
class Any
class DelayedWithFilter[F[_], A, C <: ([X] =>> Iterable[X] & IterableOps[X, C, C[X]]), CA <: C[A]](c: CA, m: CpsMonad[F], p: A => F[Boolean]) extends CallChainAsyncShiftSubst[F, WithFilter[A, C], F[WithFilter[A, C]]]

Attributes

Graph
Supertypes
trait CallChainAsyncShiftSubst[F, WithFilter[A, C], F[WithFilter[A, C]]]
class Object
trait Matchable
class Any
class Function1AndThenCallChainSubst[F[_], A, B, C](f: A => B, g: B => F[C], m: CpsMonad[F]) extends CallChainAsyncShiftSubst[F, A => C, A => F[C]]

Attributes

Graph
Supertypes
trait CallChainAsyncShiftSubst[F, A => C, A => F[C]]
class Object
trait Matchable
class Any
class Function1AsyncShift[T, R] extends AsyncShift[T => R]

Attributes

Graph
Supertypes
trait AsyncShift[T => R]
class Object
trait Matchable
class Any
class Function1ComposeAndThenCallChainSubst[F[_], A, B, C](f: A => F[B], g: B => F[C], m: CpsMonad[F]) extends CallChainAsyncShiftSubst[F, A => C, A => F[C]]

Attributes

Graph
Supertypes
trait CallChainAsyncShiftSubst[F, A => C, A => F[C]]
class Object
trait Matchable
class Any
class Function1ComposeCallChainSubst[F[_], A, B, Z](f: A => B, g: Z => F[A], m: CpsMonad[F]) extends CallChainAsyncShiftSubst[F, Z => B, Z => F[B]]

Attributes

Graph
Supertypes
trait CallChainAsyncShiftSubst[F, Z => B, Z => F[B]]
class Object
trait Matchable
class Any
class IndexedSeqAsyncShift[A, C <: ([X] =>> IndexedSeq[X] & IndexedSeqOps[X, C, C[X]]), CA <: C[A]] extends SeqAsyncShift[A, C, CA]

Attributes

Graph
Supertypes
class SeqAsyncShift[A, C, CA]
class IterableOpsAsyncShift[A, C, CA]
class IterableAsyncShift[A, CA]
trait AsyncShift[CA]
class Object
trait Matchable
class Any
class IterableAsyncShift[A, CA <: Iterable[A]]() extends AsyncShift[CA]

Attributes

Graph
Supertypes
trait AsyncShift[CA]
class Object
trait Matchable
class Any
Known subtypes
class IterableOpsAsyncShift[A, C, CA]
class MapOpsAsyncShift[K, V, CC, CI, CKV]
class SeqAsyncShift[A, C, CA]
class IndexedSeqAsyncShift[A, C, CA]
class IterableOpsAsyncShift[A, C <: ([X] =>> Iterable[X] & IterableOps[X, C, C[X]]), CA <: C[A]]() extends IterableAsyncShift[A, CA]

Attributes

Graph
Supertypes
class IterableAsyncShift[A, CA]
trait AsyncShift[CA]
class Object
trait Matchable
class Any
Known subtypes
class MapOpsAsyncShift[K, V, CC, CI, CKV]
class SeqAsyncShift[A, C, CA]
class IndexedSeqAsyncShift[A, C, CA]
class ListAsyncShift[A] extends IterableOpsAsyncShift[A, List, List[A]] with AsyncShift[List[A]]

Attributes

Graph
Supertypes
class IterableOpsAsyncShift[A, List, List[A]]
class IterableAsyncShift[A, List[A]]
trait AsyncShift[List[A]]
class Object
trait Matchable
class Any
class MapOpsAsyncShift[K, V, CC <: ([KX, VX] =>> MapOps[KX, VX, CC, CC[KX, VX]] & CI[(KX, VX)]), CI <: ([X] =>> Iterable[X] & IterableOps[X, CI, CI[X]]), CKV <: CC[K, V] & PartialFunction[K, V]]() extends IterableOpsAsyncShift[(K, V), CI, CKV] with PartialFunctionAsyncShiftBase[K, V, CKV] with AsyncShift[CKV]

Attributes

Graph
Supertypes
class IterableOpsAsyncShift[(K, V), CI, CKV]
class IterableAsyncShift[(K, V), CKV]
trait AsyncShift[CKV]
class Object
trait Matchable
class Any
class OptionAsyncShift[T] extends AsyncShift[Option[T]]

Attributes

Graph
Supertypes
trait AsyncShift[Option[T]]
class Object
trait Matchable
class Any
class PartialFunctionAsyncShift[T, R] extends PartialFunctionAsyncShiftBase[T, R, PartialFunction[T, R]]

Attributes

Graph
Supertypes
trait PartialFunctionAsyncShiftBase[T, R, PartialFunction[T, R]]
trait AsyncShift[PartialFunction[T, R]]
class Object
trait Matchable
class Any
trait PartialFunctionAsyncShiftBase[T, R, C <: PartialFunction[T, R]] extends AsyncShift[C]

Attributes

Graph
Supertypes
trait AsyncShift[C]
class Object
trait Matchable
class Any
Known subtypes
class MapOpsAsyncShift[K, V, CC, CI, CKV]
class SeqAsyncShift[A, C, CA]
class IndexedSeqAsyncShift[A, C, CA]
trait PartialFunctionCallChainSubst[F[_], A, B](m: CpsMonad[F]) extends CallChainAsyncShiftSubst[F, PartialFunction[A, B], A => F[B]]

Attributes

Companion:
object
Graph
Supertypes
trait CallChainAsyncShiftSubst[F, PartialFunction[A, B], A => F[B]]
class Object
trait Matchable
class Any
Self type

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class RangeAsyncShift[R <: Range]() extends SeqAsyncShift[Int, IndexedSeq, R]

Attributes

Graph
Supertypes
class SeqAsyncShift[Int, IndexedSeq, R]
class IterableOpsAsyncShift[Int, IndexedSeq, R]
class IterableAsyncShift[Int, R]
trait AsyncShift[R]
class Object
trait Matchable
class Any
class SeqAsyncShift[A, C <: ([X] =>> Seq[X] & SeqOps[X, C, C[X]]), CA <: C[A]] extends IterableOpsAsyncShift[A, C, CA] with PartialFunctionAsyncShiftBase[Int, A, CA]

Attributes

Graph
Supertypes
class IterableOpsAsyncShift[A, C, CA]
class IterableAsyncShift[A, CA]
trait AsyncShift[CA]
class Object
trait Matchable
class Any
Known subtypes
class IndexedSeqAsyncShift[A, C, CA]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
class WithFilterSubstAsyncShift[A, C <: ([X] =>> Iterable[X] & IterableOps[X, C, C[X]]), CA <: C[A]](ca: CA, p: A => Boolean, csf: IterableOpsAsyncShift[A, C, CA])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any