TypeInferenceCache
Author
Federico Tomassetti
Functions
Link copied to clipboard
open fun addRecord(typeSolver: TypeSolver, lambdaExpr: LambdaExpr, paramName: String, type: ResolvedType)
Link copied to clipboard
open fun recordInferenceVariables(typeSolver: TypeSolver, lambdaExpr: LambdaExpr, _inferenceVariables: List<InferenceVariable>)
Link copied to clipboard
open fun retrieve(typeSolver: TypeSolver, lambdaExpr: LambdaExpr, paramName: String): Optional<ResolvedType>
Link copied to clipboard
open fun retrieveInferenceVariables(typeSolver: TypeSolver, lambdaExpr: LambdaExpr): Optional<List<InferenceVariable>>