AsyncCpsTree
Attributes
- Graph
-
- Supertypes
- Known subtypes
Members list
Value members
Abstract methods
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
is this is a sync-tree ?
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:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Inherited and Abstract methods
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
origin term, used for diagnostics. TODO: only pos ?
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
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree