CpsTransformHelper
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CpsTransformHelper.type
Members list
Value members
Concrete methods
([T1,...Tn,R] tranfrom to [T1,...Tn,CpsType[F,R]]
([T1,...Tn,R] tranfrom to [T1,...Tn,CpsType[F,R]]
Value parameters
- targs
-
- type arguments of origin context function,
Attributes
CpsType[F[_],T] = F[T] is T is not function type (X1..Xn) => CpsType[F, Y] if T = (X1...Xn) => Y
CpsType[F[_],T] = F[T] is T is not function type (X1..Xn) => CpsType[F, Y] if T = (X1...Xn) => Y
Attributes
Extract monad type from context function type. TODO: Type-lambda monads case, now we think that this is F[_].
Extract monad type from context function type. TODO: Type-lambda monads case, now we think that this is F[_].
Value parameters
- contextFunctionArgType
-
is CpsDirect[F] or CpsMonadContext[F]
- wrapperSymbol:
-
naked symbol of wrapper. i.e. requiredClass("cps.CpsDirect") or requiredClass("cps.CpsMonadContext")
Attributes
- Returns
-
F
Check that type is CpsDirect[F]. Note, that this function should be called before erasure. After erasure the encoding is different
Check that type is CpsDirect[F]. Note, that this function should be called before erasure. After erasure the encoding is different
Attributes
Transform method type of function (...params) ?=> T to (...params) ?=> Cps[F,T]
Transform method type of function (...params) ?=> T to (...params) ?=> Cps[F,T]
Value parameters
- body
-
- function boldy
- fType
-
- type of F[_]
- lambdaTree
-
- origin function
- params
-
- list of parameters of lambda function
Attributes
- Returns
-
params ?=> F[T]