org.finos.morphir.runtime.TypeChecker
See theTypeChecker companion object
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
Members list
Value members
Concrete methods
def handleApply(node: TypedValue, tpe: UType, function: TypedValue, argument: TypedValue, context: Context): TypeCheckerResult
def handleDestructure(tpe: UType, pattern: Pattern[UType], value: TypedValue, inValue: TypedValue, context: Context): TypeCheckerResult
def handleFieldValue(tpe: UType, recordValue: TypedValue, name: Name, context: Context): TypeCheckerResult
def handleIfThenElse(tpe: UType, condition: TypedValue, thenValue: TypedValue, elseValue: TypedValue, context: Context): TypeCheckerResult
def handleLambda(tpe: UType, pattern: Pattern[UType], body: TypedValue, context: Context): TypeCheckerResult
def handleLetDefinition(tpe: UType, name: Name, definition: TypedDefinition, inValue: TypedValue, context: Context): TypeCheckerResult
def handleLetRecursion(tpe: UType, definitions: Map[Name, TypedDefinition], inValue: TypedValue, context: Context): TypeCheckerResult
def handlePatternMatch(tpe: UType, value: TypedValue, cases: List[(Pattern[UType], TypedValue)], context: Context): TypeCheckerResult
def handleRecord(tpe: UType, valFields: List[(Name, TypedValue)], value: Record[Unit, UType], context: Context): TypeCheckerResult
def handleUpdateRecord(tpe: UType, valueToUpdate: TypedValue, fields: Map[Name, TypedValue], context: Context): TypeCheckerResult
def uncurryFunctionType(functionTpe: UType, context: Context): Either[TypeError, (UType, Chunk[UType])]
In this article