Uses of Class
orc.ast.simple.expression.Def

Packages that use Def
orc.ast.extended.declaration.def   
orc.ast.simple.expression   
 

Uses of Def in orc.ast.extended.declaration.def
 

Methods in orc.ast.extended.declaration.def that return Def
 Def AggregateDef.simplify()
           
 

Uses of Def in orc.ast.simple.expression
 

Fields in orc.ast.simple.expression with type parameters of type Def
 java.util.List<Def> DeclareDefs.defs
           
 

Methods in orc.ast.simple.expression that return Def
 Def Def.subMap(java.util.Map<FreeVariable,? extends Argument> m)
           
 Def Def.subst(Argument a, FreeVariable x)
           
 Def Def.subst(Type T, FreeTypeVariable X)
           
 

Methods in orc.ast.simple.expression that return types with arguments of type Def
static java.util.List<Def> Def.substAll(java.util.List<Def> defs, Argument a, FreeVariable x)
           
static java.util.List<Def> Def.substAll(java.util.List<Def> defs, Type T, FreeTypeVariable X)
           
 

Method parameters in orc.ast.simple.expression with type arguments of type Def
static java.util.List<Def> Def.convertAll(java.util.List<Def> ds, Env<Variable> vars, Env<TypeVariable> typevars)
          Convenience method, to apply convert to a list of defs.
static java.util.List<Def> Def.substAll(java.util.List<Def> defs, Argument a, FreeVariable x)
           
static java.util.List<Def> Def.substAll(java.util.List<Def> defs, Type T, FreeTypeVariable X)
           
 

Constructors in orc.ast.simple.expression with parameters of type Def
Catch(Def handlerDef, Expression tryBlock)
           
 

Constructor parameters in orc.ast.simple.expression with type arguments of type Def
DeclareDefs(java.util.List<Def> defs, Expression body)