Uses of Class orc.env.Env (Orc 0.9.7)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

Uses of Class
orc.env.Env

Packages that use Env
orc.ast.oil	Internal representation of OIL, the Orc Intermediate Language.
orc.ast.oil.arg
orc.ast.simple	Desugared AST which is close to the final format (OIL) but includes named variables.
orc.ast.simple.arg
orc.ast.simple.type
orc.env	A lexical context which supports both offset- and name-based lookup.
orc.runtime	Runtime for Orc interpreter.
orc.runtime.values	Representations for Orc types which don't have direct analogues in the host language (Java).
orc.type

Uses of Env in orc.ast.oil

Methods in orc.ast.oil with parameters of type Env
`void`	`Def.checkDef(Env<Type> ctx, Env<Type> typectx)`
`void`	`Def.checkDef(Env<Type> ctx, Env<Type> typectx)`
`void`	`Def.checkLambda(ArrowType t, Env<Type> ctx, Env<Type> typectx)`
`void`	`Def.checkLambda(ArrowType t, Env<Type> ctx, Env<Type> typectx)`
`Type`	`Call.noInferenceTypeSynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Call.noInferenceTypeSynth(Env<Type> ctx, Env<Type> typectx)`
`ArrowType`	`Def.type(Env<Type> typectx)`
`void`	`WithLocation.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`WithLocation.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Atomic.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Atomic.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Bar.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Bar.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Semi.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Semi.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Isolated.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Isolated.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Push.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Push.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`TypeDecl.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`TypeDecl.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Silent.typecheck(Type t, Env<Type> ctx, Env<Type> typectx)`
`void`	`Silent.typecheck(Type t, Env<Type> ctx, Env<Type> typectx)`
`void`	`Expr.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Expr.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Call.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Call.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Defs.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Defs.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Pull.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`void`	`Pull.typecheck(Type T, Env<Type> ctx, Env<Type> typectx)`
`Type`	`WithLocation.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`WithLocation.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Atomic.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Atomic.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`HasType.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`HasType.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Bar.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Bar.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Semi.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Semi.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Isolated.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Isolated.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Push.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Push.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`TypeDecl.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`TypeDecl.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Silent.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Silent.typesynth(Env<Type> ctx, Env<Type> typectx)`
`abstract Type`	`Expr.typesynth(Env<Type> ctx, Env<Type> typectx)`
`abstract Type`	`Expr.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Call.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Call.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Defs.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Defs.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Pull.typesynth(Env<Type> ctx, Env<Type> typectx)`
`Type`	`Pull.typesynth(Env<Type> ctx, Env<Type> typectx)`

Uses of Env in orc.ast.oil.arg

Methods in orc.ast.oil.arg with parameters of type Env

java.lang.Object Field.resolve(Env env)





<T> T

Constant.resolve(Env<T> env)

abstract 



<T> T

Arg.resolve(Env<T> env)





<T> T

Site.resolve(Env<T> env)





<T> T

Var.resolve(Env<T> env)

Type Constant.typesynth(Env<Type> ctx, Env<Type> typectx)

Type Site.typesynth(Env<Type> ctx, Env<Type> typectx)

Type Var.typesynth(Env<Type> ctx, Env<Type> typectx)

Type Field.typesynth(Env<Type> ctx, Env<Type> typectx)

Uses of Env in orc.ast.simple

Methods in orc.ast.simple with parameters of type Env
`Expr`	`WithLocation.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`WithLocation.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Atomic.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Atomic.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`HasType.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`HasType.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Semi.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Semi.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Isolated.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Isolated.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`TypeDecl.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`TypeDecl.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Def`	`Definition.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Def`	`Definition.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Silent.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Silent.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`abstract Expr`	`Expression.convert(Env<Var> vars, Env<java.lang.String> typevars)` Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files.
`abstract Expr`	`Expression.convert(Env<Var> vars, Env<java.lang.String> typevars)` Converts abstract syntax tree into a serializable form, used to generate portable .oil (Orc Intermediate Language) files.
`Expr`	`Parallel.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Parallel.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Call.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Call.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Defs.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Defs.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Let.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Let.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Sequential.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Sequential.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Where.convert(Env<Var> vars, Env<java.lang.String> typevars)`
`Expr`	`Where.convert(Env<Var> vars, Env<java.lang.String> typevars)`

Uses of Env in orc.ast.simple.arg

Methods in orc.ast.simple.arg with parameters of type Env
`Arg`	`Constant.convert(Env<Var> vars)`
`Arg`	`NamedVar.convert(Env<Var> vars)`
`Arg`	`Site.convert(Env<Var> vars)`
`Arg`	`Var.convert(Env<Var> vars)`
`abstract Arg`	`Argument.convert(Env<Var> vars)` Convert to DeBruijn index.
`Arg`	`Field.convert(Env<Var> vars)`

Uses of Env in orc.ast.simple.type

Methods in orc.ast.simple.type with parameters of type Env
`Type`	`AssertedType.convert(Env<java.lang.String> env)`
`Type`	`ClassType.convert(Env<java.lang.String> env)`
`Type`	`Blank.convert(Env<java.lang.String> env)`
`abstract Type`	`Type.convert(Env<java.lang.String> env)` Convert this syntactic type into an actual type, given an appropriate type context
`Type`	`SiteType.convert(Env<java.lang.String> env)`
`Type`	`NamedType.convert(Env<java.lang.String> env)`
`Type`	`TypeInstance.convert(Env<java.lang.String> env)`
`Type`	`Top.convert(Env<java.lang.String> env)`
`Type`	`TupleType.convert(Env<java.lang.String> env)`
`Type`	`ArrowType.convert(Env<java.lang.String> env)`
`Type`	`Datatype.convert(Env<java.lang.String> env)`

Uses of Env in orc.env

Methods in orc.env that return Env
`Env<T>`	`Env.clone()` Create an independent copy of the environment.
`Env<T>`	`Env.extend(T item)` Create an independent copy of the environment, extended with a new item.

Uses of Env in orc.runtime

Methods in orc.runtime that return Env
`Env<java.lang.Object>`	`Token.getEnvironment()`

Uses of Env in orc.runtime.values

Fields in orc.runtime.values declared as Env
`Env`	`Closure.env`

Uses of Env in orc.type

Methods in orc.type with parameters of type Env
`void`	`Type.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)`
`void`	`TypeApplication.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)`
`void`	`TypeVariable.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)`
`void`	`TupleType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)`
`void`	`ArrowType.addConstraints(Env<java.lang.Boolean> VX, Type T, Constraint[] C)`
`Type`	`Type.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`Type.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`MultiType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`MultiType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`TypeApplication.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`TypeApplication.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`DotType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`DotType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`ArrowType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`ArrowType.call(Env<Type> ctx, Env<Type> typectx, java.util.List<Arg> args, java.util.List<Type> typeActuals)`
`Type`	`Type.demote(Env<java.lang.Boolean> V)`
`Type`	`TypeApplication.demote(Env<java.lang.Boolean> V)`
`Type`	`TypeVariable.demote(Env<java.lang.Boolean> V)`
`Type`	`TupleType.demote(Env<java.lang.Boolean> V)`
`Type`	`ArrowType.demote(Env<java.lang.Boolean> V)`
`Type`	`Type.promote(Env<java.lang.Boolean> V)`
`Type`	`TypeApplication.promote(Env<java.lang.Boolean> V)`
`Type`	`TypeVariable.promote(Env<java.lang.Boolean> V)`
`Type`	`TupleType.promote(Env<java.lang.Boolean> V)`
`Type`	`ArrowType.promote(Env<java.lang.Boolean> V)`
`Type`	`Type.subst(Env<Type> ctx)`
`Type`	`TypeApplication.subst(Env<Type> ctx)`
`Type`	`TypeVariable.subst(Env<Type> ctx)`
`Type`	`TupleType.subst(Env<Type> ctx)`
`Type`	`ArrowType.subst(Env<Type> ctx)`
`Type`	`Datatype.subst(Env<Type> ctx)`
`static java.util.List<Type>`	`Type.substAll(java.util.List<Type> ts, Env<Type> ctx)`