Interface: LambdaExpressionTypeSemantics

compiler.LambdaExpressionTypeSemantics

Type semantics for AST Node LambdaExpression.

Since

0.11.0

Hierarchy

• ExpressionTypeSemantics

  ↳ LambdaExpressionTypeSemantics

Table of contents

Properties

• evaluatedType
• returnType

Properties

evaluatedType

• evaluatedType: CheckedType

The value type that this expression evaluates to. This is used to properly represent the evaluated type of expressions that do not explicitly show their type.

This will always evaluate to "type", as a type specifier will always be a type.

Since

0.10.0

Inherited from

ExpressionTypeSemantics.evaluatedType

Defined in

kipper/core/src/compiler/ast/nodes/expressions/expression-type-semantics.ts:20

returnType

• returnType: CheckedType

Defined in

kipper/core/src/compiler/ast/nodes/expressions/lambda-expression/lambda-expression-type-semantics.ts:13