|
||||||||||
PREV NEXT | FRAMES NO FRAMES All Classes |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES All Classes |