BlockBoundsCpsTree
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait CpsTreeclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
apply runtime await. If this CpsTree is adync lambda f: x1...xn => F[y] transform one to f' = summon[RuntiemAwait[F].await(f(x1..xN))(monad,monad-context)] and return CpsTree with f' in unpure otherwise - unchanged or throw error TODO: move to Lambda
apply runtime await. If this CpsTree is adync lambda f: x1...xn => F[y] transform one to f' = summon[RuntiemAwait[F].await(f(x1..xN))(monad,monad-context)] and return CpsTree with f' in unpure otherwise - unchanged or throw error TODO: move to Lambda
precondition: kind <: AsyncLambda(*)
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
Attributes
- Definition Classes
origin term, used for diagnostics. TODO: only pos ?
Attributes
- Definition Classes
owner of term. At first this is the owner at origin, than can be changed via changeOwner
owner of term. At first this is the owner at origin, than can be changed via changeOwner
Attributes
- Definition Classes
Attributes
- Definition Classes
is this is a sync-tree ?
Attributes
- Definition Classes
Inherited methods
let we have block {A; B} cps({A;B}) = cps(A).appendInBlock(cps(B))
let we have block {A; B} cps({A;B}) = cps(A).appendInBlock(cps(B))
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree