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)