SyncCpsTree
Attributes
- Graph
-
- Supertypes
- Known subtypes
-
class PureCpsTreeclass UnitCpsTree
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
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
origin term, used for diagnostics. TODO: only pos ?
Attributes
- Inherited from:
- CpsTree
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
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree
Attributes
- Inherited from:
- CpsTree