|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Variance | |
---|---|
orc.type | |
orc.type.inference | |
orc.type.java | |
orc.type.structured | |
orc.type.tycon |
Uses of Variance in orc.type |
---|
Methods in orc.type that return Variance | |
---|---|
Variance |
TypeVariable.findVariance(java.lang.Integer var)
|
Variance |
TypeInstance.findVariance(java.lang.Integer var)
|
Variance |
Type.findVariance(java.lang.Integer var)
|
Methods in orc.type that return types with arguments of type Variance | |
---|---|
java.util.List<Variance> |
Type.variances()
|
Uses of Variance in orc.type.inference |
---|
Methods in orc.type.inference with parameters of type Variance | |
---|---|
Type |
Constraint.minimal(Variance v)
|
Uses of Variance in orc.type.java |
---|
Methods in orc.type.java that return types with arguments of type Variance | |
---|---|
java.util.List<Variance> |
ClassTycon.variances()
|
Uses of Variance in orc.type.structured |
---|
Methods in orc.type.structured that return Variance | |
---|---|
Variance |
TupleType.findVariance(java.lang.Integer var)
|
Variance |
ArrowType.findVariance(java.lang.Integer var)
|
Uses of Variance in orc.type.tycon |
---|
Fields in orc.type.tycon declared as Variance | |
---|---|
static Variance |
Variance.CONSTANT
|
static Variance |
Variance.CONTRAVARIANT
|
static Variance |
Variance.COVARIANT
|
static Variance |
Variance.INVARIANT
|
Fields in orc.type.tycon with type parameters of type Variance | |
---|---|
java.util.List<Variance> |
PolymorphicAliasedType.inferredVariances
|
Methods in orc.type.tycon that return Variance | |
---|---|
abstract Variance |
Variance.and(Variance that)
|
abstract Variance |
Variance.apply(Variance that)
|
abstract Variance |
Variance.invert()
|
Methods in orc.type.tycon that return types with arguments of type Variance | |
---|---|
java.util.List<Variance> |
MutableContainerType.variances()
|
java.util.List<Variance> |
ImmutableContainerType.variances()
|
java.util.List<Variance> |
DatatypeTycon.variances()
|
Methods in orc.type.tycon with parameters of type Variance | |
---|---|
abstract Variance |
Variance.and(Variance that)
|
abstract Variance |
Variance.apply(Variance that)
|
Constructor parameters in orc.type.tycon with type arguments of type Variance | |
---|---|
DatatypeTycon(java.lang.String name,
java.util.List<Variance> vs,
java.util.List<java.util.List<Type>> cs,
java.lang.Object id)
|
|
PolymorphicAliasedType(Type type,
java.util.List<Variance> inferredVariances)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |