Uses of Class
orc.type.structured.ArrowType

Packages that use ArrowType

orc.ast.oil.expression
orc.type
orc.type.inference
orc.type.structured

Uses of ArrowType in orc.ast.oil.expression

Methods in orc.ast.oil.expression that return ArrowType

ArrowType

Def.type(TypingContext ctx)

Methods in orc.ast.oil.expression with parameters of type ArrowType

void	Def.checkLambda(TypingContext ctx, ArrowType t)

Uses of ArrowType in orc.type

Methods in orc.type with parameters of type ArrowType

Type	TypingContext.requestInference(ArrowType arrowType)

Uses of ArrowType in orc.type.inference

Fields in orc.type.inference declared as ArrowType

ArrowType

InferenceRequest.requestedType

Methods in orc.type.inference with parameters of type ArrowType

abstract Type

InferenceContinuation.inferFrom(ArrowType arrowType)

Constructors in orc.type.inference with parameters of type ArrowType

InferenceRequest(ArrowType requestedType)

Uses of ArrowType in orc.type.structured

Methods in orc.type.structured that return ArrowType

protected ArrowType	ArrowType.forceArrow(Type that)
protected ArrowType	EllipsisArrowType.makeArrow(int arity)