Interface LambdaType

All Superinterfaces:
ObjectType, Type, UnqualifiedObjectType

public interface LambdaType extends UnqualifiedObjectType
A lambda type represents the type of an lambda expression (see LambdaNode . A lambda type consists of at most one free variable type v and a lambda term type t. Both v and t are UnqualifiedObjectTypes
  • Method Details

    • freeVariableType

      UnqualifiedObjectType freeVariableType()
      Returns:
      The type the free variable v. null if v is absent.
    • lambdaFunctionReturnType

      UnqualifiedObjectType lambdaFunctionReturnType()
      Returns:
      The return type of the lambda function