root
API
Generated with
root/cps/cps.runtime

cps.runtime

package cps.runtime

Members list

Packages

package cps.runtime.concurrent
package cps.runtime.util

Type members

Classlikes

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

Attributes

Source
ArrayOpsAsynsShift.scala
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

Source
ArrayOpsAsynsShift.scala
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

Source
CallChainAsyncShiftSubst.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class DelayedWithFilter[F, A, C, CA]
class Function1AndThenCallChainSubst[F, A, B, C]
class Function1ComposeCallChainSubst[F, A, B, Z]
Show all
class CpsMonadSelfAsyncShift[F[_], M <: CpsMonad[F]] extends AsyncShift[M]

Attributes

Source
CpsMonadAsyncShift.scala
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

Source
IterableAsyncShift.scala
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

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

Attributes

Source
FunctionAsyncShift.scala
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

Source
FunctionAsyncShift.scala
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

Source
FunctionAsyncShift.scala
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

Source
SeqAsyncShift.scala
Supertypes
class SeqAsyncShift[A, C, CA]
trait PartialFunctionAsyncShiftBase[Int, A, CA]
class IterableOpsAsyncShift[A, C, CA]
class IterableAsyncShift[A, CA]
trait AsyncShift[CA]
class Object
trait Matchable
class Any
Show all
class IterableAsyncShift[A, CA <: Iterable[A]]() extends AsyncShift[CA]

Attributes

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

Attributes

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

Attributes

Source
ListAsyncShift.scala
Supertypes
class IterableOpsAsyncShift[A, List, List[A]]
class IterableAsyncShift[A, List[A]]
trait AsyncShift[List[A]]
class Object
trait Matchable
class Any
Show all
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], PartialFunctionAsyncShiftBase[K, V, CKV], AsyncShift[CKV]

Attributes

Source
MapAsyncShift.scala
Supertypes
class IterableOpsAsyncShift[(K, V), CI, CKV]
class IterableAsyncShift[(K, V), CKV]
trait AsyncShift[CKV]
class Object
trait Matchable
class Any
Show all
class OptionAsyncShift[T] extends AsyncShift[Option[T]]

Attributes

Source
OptionAsyncShift.scala
Supertypes
trait AsyncShift[Option[T]]
class Object
trait Matchable
class Any
class PartialFunctionAsyncShift[T, R] extends PartialFunctionAsyncShiftBase[T, R, PartialFunction[T, R]]

Attributes

Source
PartialFunctionAsyncShift.scala
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

Source
PartialFunctionAsyncShift.scala
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]
class RangeAsyncShift[R]
trait PartialFunctionCallChainSubst[F[_], A, B](m: CpsMonad[F]) extends CallChainAsyncShiftSubst[F, PartialFunction[A, B], A => F[B]]

Attributes

Companion
object
Source
PartialFunctionAsyncShift.scala
Supertypes
trait CallChainAsyncShiftSubst[F, PartialFunction[A, B], A => F[B]]
class Object
trait Matchable
class Any
Self type
object PartialFunctionCallChainSubst

Attributes

Companion
trait
Source
PartialFunctionAsyncShift.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object PartialFunctionHelper

Attributes

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

Attributes

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

Attributes

Source
SeqAsyncShift.scala
Supertypes
trait PartialFunctionAsyncShiftBase[Int, A, CA]
class IterableOpsAsyncShift[A, C, CA]
class IterableAsyncShift[A, CA]
trait AsyncShift[CA]
class Object
trait Matchable
class Any
Show all
Known subtypes
class IndexedSeqAsyncShift[A, C, CA]
class RangeAsyncShift[R]
object WhileHelper

Attributes

Source
WhileHelper.scala
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])

WithFilter should be handled in a special way, because it is impossible to access underlaying collection from withFilter, so it's impossible to write async version of withFilter functions, because they require eration over original collection.

WithFilter should be handled in a special way, because it is impossible to access underlaying collection from withFilter, so it's impossible to write async version of withFilter functions, because they require eration over original collection.

Value parameters

ca

original colleaction

csf

Asy

p

predicate

Attributes

Source
WithFilterSubstAsyncShift.scala
Supertypes
class Object
trait Matchable
class Any
Generated with