A B C D E F G H I J K L M N O P R S T U V W X

T

t - Variable in class orc.ast.extended.declaration.type.TypeAliasDeclaration

t - Variable in class orc.ast.extended.expression.ConsExpr

t - Variable in class orc.ast.extended.pattern.ConsPattern

t - Variable in class orc.ast.extended.pattern.TypedPattern

Tag - Class in orc.runtime.sites.core

Deprecated.

Tag() - Constructor for class orc.runtime.sites.core.Tag

Deprecated.

tag - Variable in class orc.runtime.values.TaggedValue

TaggedValue - Class in orc.runtime.values

TaggedValue(Datasite, Object[]) - Constructor for class orc.runtime.values.TaggedValue

TaggedValue - Class in orc.trace.values

TaggedValue(String, Value[]) - Constructor for class orc.trace.values.TaggedValue

tagName - Variable in class orc.runtime.sites.core.Datasite

tagName - Variable in class orc.trace.values.TaggedValue

tail - Variable in class orc.runtime.values.ConsValue

tail - Variable in class orc.trace.values.ConsValue

TailCallMarker - Class in orc.ast.oil.visitor

Mark all calls in tail call contexts in this expression.

TailCallMarker() - Constructor for class orc.ast.oil.visitor.TailCallMarker

target - Variable in class orc.ast.extended.expression.Dot

target(Variable, Expression) - Method in class orc.ast.extended.pattern.PatternSimplifier

Temporary - Class in orc.ast.extended.expression

A temporary variable, which embeds a Variable object from the simple AST within the extended AST.

Temporary(Variable) - Constructor for class orc.ast.extended.expression.Temporary

Term - Interface in orc.trace

Terms include Values, Events, and Patterns.

terminate() - Method in class orc.runtime.OrcEngine

Terminate execution.

Terms - Class in orc.trace

text - Variable in class orc.doc.DocCode

thread - Variable in class orc.trace.events.Event

ThreadedObjectProxy - Class in orc.runtime.sites.java

Objects whose methods should always be called in new threads.

ThreadedObjectProxy(Object) - Constructor for class orc.runtime.sites.java.ThreadedObjectProxy

ThreadedPartialSite - Class in orc.runtime.sites

Abstract class for partial sites whose calls may block (the Java thread).

ThreadedPartialSite() - Constructor for class orc.runtime.sites.ThreadedPartialSite

ThreadedSite - Class in orc.runtime.sites

Abstract class for sites whose calls may block (the Java thread).

ThreadedSite() - Constructor for class orc.runtime.sites.ThreadedSite

ThreadSite - Class in orc.lib.util

Wrap a site call in a (pooled) thread.

ThreadSite() - Constructor for class orc.lib.util.ThreadSite

Throw - Class in orc.ast.extended.expression

Throw(Expression) - Constructor for class orc.ast.extended.expression.Throw

Throw - Class in orc.ast.oil.expression

Throw(Expression) - Constructor for class orc.ast.oil.expression.Throw

Throw - Class in orc.ast.simple.expression

Throw(Expression) - Constructor for class orc.ast.simple.expression.Throw

Throw - Class in orc.ast.xml.expression

The "throw" keyword.

Throw() - Constructor for class orc.ast.xml.expression.Throw

Throw(Expression) - Constructor for class orc.ast.xml.expression.Throw

throwException(Object) - Method in class orc.runtime.Token

throwJavaException(TokenException) - Method in class orc.runtime.Token

throwRuntimeException(TokenException) - Method in class orc.runtime.Token

toArray() - Method in class orc.runtime.values.ListValue

toArray(T[]) - Method in class orc.runtime.values.ListValue

Token - Class in orc.runtime

Representation of an active thread of execution.

TokenContinuation - Interface in orc.ast.oil

An object that implements the TokenContinuation interface will, upon invocation, execute a specific action on a given token.

TokenError - Exception in orc.error.runtime

A non-recoverable error at a token, which must result in halting the whole engine.

TokenError(String) - Constructor for exception orc.error.runtime.TokenError

TokenError(String, Throwable) - Constructor for exception orc.error.runtime.TokenError

tokenError(TokenException) - Method in class orc.runtime.OrcEngine

A token owned by this engine has encountered an exception.

TokenException - Exception in orc.error.runtime

A localized failure at runtime.

TokenException(String) - Constructor for exception orc.error.runtime.TokenException

TokenException(String, Throwable) - Constructor for exception orc.error.runtime.TokenException

TokenLimitReachedError - Exception in orc.error.runtime

TokenLimitReachedError(int) - Constructor for exception orc.error.runtime.TokenLimitReachedError

TokenPool - Class in orc.runtime

Implement a token pool to avoid allocating and freeing a lot of tokens.

TokenPool(int) - Constructor for class orc.runtime.TokenPool

Create a new pool with the given bound.

TokenTracer - Class in orc.trace

Interface for writing traces from a single Orc thread.

TokenTracer() - Constructor for class orc.trace.TokenTracer

TokenTracer.PullTrace - Interface in orc.trace

Abstract handle for a pull event

TokenTracer.StoreTrace - Interface in orc.trace

Abstract handle for a store event

Top - Class in orc.ast.extended.type

The type 'Top', supertype of all other types.

Top() - Constructor for class orc.ast.extended.type.Top

TOP - Static variable in class orc.ast.extended.type.Type

Top - Class in orc.ast.oil.type

The syntactic type 'Top', supertype of all other types.

Top() - Constructor for class orc.ast.oil.type.Top

TOP - Static variable in class orc.ast.oil.type.Type

Top - Class in orc.ast.simple.type

The type 'Top', supertype of all other types.

Top() - Constructor for class orc.ast.simple.type.Top

TOP - Static variable in class orc.ast.simple.type.Type

Top - Class in orc.ast.xml.type

Top() - Constructor for class orc.ast.xml.type.Top

Top - Class in orc.type.ground

The Top type.

Top() - Constructor for class orc.type.ground.Top

TOP - Static variable in class orc.type.Type

toString() - Method in class orc.ast.extended.declaration.ClassDeclaration

toString() - Method in class orc.ast.extended.declaration.def.DefMemberClause

toString() - Method in class orc.ast.extended.declaration.def.DefMemberType

toString() - Method in class orc.ast.extended.declaration.DefsDeclaration

toString() - Method in class orc.ast.extended.declaration.SiteDeclaration

toString() - Method in class orc.ast.extended.declaration.type.Constructor

toString() - Method in class orc.ast.extended.declaration.type.DatatypeDeclaration

toString() - Method in class orc.ast.extended.declaration.type.TypeAliasDeclaration

toString() - Method in class orc.ast.extended.declaration.type.TypeDeclaration

toString() - Method in class orc.ast.extended.declaration.ValDeclaration

toString() - Method in class orc.ast.extended.expression.AssertType

toString() - Method in class orc.ast.extended.expression.Call

toString() - Method in class orc.ast.extended.expression.Capsule

toString() - Method in class orc.ast.extended.expression.Catch

toString() - Method in class orc.ast.extended.expression.CatchHandler

toString() - Method in class orc.ast.extended.expression.ConsExpr

toString() - Method in class orc.ast.extended.expression.Declare

toString() - Method in class orc.ast.extended.expression.Dot

toString() - Method in class orc.ast.extended.expression.Field

toString() - Method in class orc.ast.extended.expression.HasType

toString() - Method in class orc.ast.extended.expression.IfThenElse

toString() - Method in class orc.ast.extended.expression.Lambda

toString() - Method in class orc.ast.extended.expression.Let

toString() - Method in class orc.ast.extended.expression.ListExpr

toString() - Method in class orc.ast.extended.expression.Literal

toString() - Method in class orc.ast.extended.expression.Name

toString() - Method in class orc.ast.extended.expression.NilExpr

toString() - Method in class orc.ast.extended.expression.Otherwise

toString() - Method in class orc.ast.extended.expression.Parallel

toString() - Method in class orc.ast.extended.expression.Pruning

toString() - Method in class orc.ast.extended.expression.Sequential

toString() - Method in class orc.ast.extended.expression.Stop

toString() - Method in class orc.ast.extended.expression.Temporary

toString() - Method in class orc.ast.extended.expression.Throw

toString() - Method in class orc.ast.extended.pattern.AsPattern

toString() - Method in class orc.ast.extended.pattern.CallPattern

toString() - Method in class orc.ast.extended.pattern.ConsPattern

toString() - Method in class orc.ast.extended.pattern.EqPattern

toString() - Method in class orc.ast.extended.pattern.ListPattern

toString() - Method in class orc.ast.extended.pattern.LiteralPattern

toString() - Method in class orc.ast.extended.pattern.NilPattern

toString() - Method in class orc.ast.extended.pattern.TuplePattern

toString() - Method in class orc.ast.extended.pattern.TypedPattern

toString() - Method in class orc.ast.extended.pattern.VariablePattern

toString() - Method in class orc.ast.extended.pattern.WildcardPattern

toString() - Method in class orc.ast.extended.type.AssertedType

toString() - Method in class orc.ast.extended.type.Bot

toString() - Method in class orc.ast.extended.type.LambdaType

toString() - Method in class orc.ast.extended.type.NamedType

toString() - Method in class orc.ast.extended.type.Top

toString() - Method in class orc.ast.extended.type.TupleType

toString() - Method in class orc.ast.extended.type.TypeApplication

toString() - Method in class orc.ast.oil.expression.argument.Constant

toString() - Method in class orc.ast.oil.expression.argument.Field

toString() - Method in class orc.ast.oil.expression.argument.ResolvedSite

toString() - Method in class orc.ast.oil.expression.argument.Site

toString() - Method in class orc.ast.oil.expression.argument.Variable

toString() - Method in class orc.ast.oil.expression.Call

toString() - Method in class orc.ast.oil.expression.DeclareDefs

toString() - Method in class orc.ast.oil.expression.DeclareType

toString() - Method in class orc.ast.oil.expression.Def

toString() - Method in class orc.ast.oil.expression.HasType

toString() - Method in class orc.ast.oil.expression.Otherwise

toString() - Method in class orc.ast.oil.expression.Parallel

toString() - Method in class orc.ast.oil.expression.Pruning

toString() - Method in class orc.ast.oil.expression.Sequential

toString() - Method in class orc.ast.oil.expression.Stop

toString() - Method in class orc.ast.oil.expression.WithLocation

toString() - Method in class orc.ast.oil.type.ArrowType

toString() - Method in class orc.ast.oil.type.Bot

toString() - Method in class orc.ast.oil.type.ClassType

toString() - Method in class orc.ast.oil.type.InferredType

toString() - Method in class orc.ast.oil.type.SiteType

toString() - Method in class orc.ast.oil.type.Top

toString() - Method in class orc.ast.oil.type.TupleType

toString() - Method in class orc.ast.oil.type.TypeApplication

toString() - Method in class orc.ast.oil.type.TypeVariable

toString() - Method in class orc.ast.simple.argument.Constant

toString() - Method in class orc.ast.simple.argument.Field

toString() - Method in class orc.ast.simple.argument.FreeVariable

toString() - Method in class orc.ast.simple.argument.Site

toString() - Method in class orc.ast.simple.argument.Variable

toString() - Method in class orc.ast.simple.expression.Call

toString() - Method in class orc.ast.simple.expression.DeclareDefs

toString() - Method in class orc.ast.simple.expression.DeclareType

toString() - Method in class orc.ast.simple.expression.Def

toString() - Method in class orc.ast.simple.expression.Let

toString() - Method in class orc.ast.simple.expression.Otherwise

toString() - Method in class orc.ast.simple.expression.Parallel

toString() - Method in class orc.ast.simple.expression.Pruning

toString() - Method in class orc.ast.simple.expression.Sequential

toString() - Method in class orc.ast.simple.expression.Stop

toString() - Method in class orc.ast.simple.expression.WithLocation

toString() - Method in class orc.ast.simple.type.ArrowType

toString() - Method in class orc.ast.simple.type.Bot

toString() - Method in class orc.ast.simple.type.ClassnameType

toString() - Method in class orc.ast.simple.type.FreeTypeVariable

toString() - Method in class orc.ast.simple.type.SiteType

toString() - Method in class orc.ast.simple.type.Top

toString() - Method in class orc.ast.simple.type.TupleType

toString() - Method in class orc.ast.simple.type.TypeApplication

toString() - Method in class orc.ast.simple.type.TypeVariable

toString() - Method in class orc.ast.sites.Site

toString() - Method in class orc.ast.xml.expression.argument.Constant

toString() - Method in class orc.ast.xml.expression.argument.Field

toString() - Method in class orc.ast.xml.expression.argument.Site

toString() - Method in class orc.ast.xml.expression.argument.Variable

toString() - Method in class orc.ast.xml.expression.Call

toString() - Method in class orc.ast.xml.expression.Catch

toString() - Method in class orc.ast.xml.expression.DeclareDefs

toString() - Method in class orc.ast.xml.expression.DeclareType

toString() - Method in class orc.ast.xml.expression.Def

toString() - Method in class orc.ast.xml.expression.HasType

toString() - Method in class orc.ast.xml.expression.Otherwise

toString() - Method in class orc.ast.xml.expression.Parallel

toString() - Method in class orc.ast.xml.expression.Pruning

toString() - Method in class orc.ast.xml.expression.Sequential

toString() - Method in class orc.ast.xml.expression.Throw

toString() - Method in class orc.ast.xml.expression.WithLocation

toString() - Method in class orc.ast.xml.Oil

toString() - Method in class orc.ast.xml.type.ClassnameType

toString() - Method in class orc.env.Env

toString() - Method in exception orc.error.runtime.JavaError

toString() - Method in exception orc.error.runtime.JavaException

toString() - Method in exception orc.error.runtime.TokenException

toString() - Method in class orc.error.SourceLocation

toString() - Method in class orc.lib.state.Buffer.BufferInstance

toString() - Method in class orc.lib.state.Interval

toString() - Method in class orc.lib.state.Intervals

toString() - Method in class orc.lib.state.Ref.RefInstance

toString() - Method in class orc.lib.state.types.ArrayType

toString() - Method in class orc.lib.state.types.BoundedBufferType

toString() - Method in class orc.lib.state.types.BufferType

toString() - Method in class orc.lib.state.types.CellType

toString() - Method in class orc.lib.state.types.CounterType

toString() - Method in class orc.lib.state.types.RefType

toString() - Method in class orc.lib.state.types.SemaphoreType

toString() - Method in class orc.lib.state.types.SyncChannelType

toString() - Method in class orc.runtime.sites.core.Datasite

toString() - Method in class orc.runtime.values.ConsValue

toString() - Method in class orc.runtime.values.Field

toString() - Method in class orc.runtime.values.GroupCell

toString() - Method in class orc.runtime.values.NilValue

toString() - Method in class orc.runtime.values.TaggedValue

toString() - Method in class orc.runtime.values.TupleValue

toString() - Method in class orc.trace.events.Event

Return a human-readable short label for the event.

toString() - Method in class orc.trace.handles.Handle

toString() - Method in class orc.trace.values.AbstractValue

toString() - Method in class orc.type.ground.BooleanType

toString() - Method in class orc.type.ground.Bot

toString() - Method in class orc.type.ground.ConstIntType

toString() - Method in class orc.type.ground.IntegerType

toString() - Method in class orc.type.ground.LetType

toString() - Method in class orc.type.ground.Message

toString() - Method in class orc.type.ground.NumberType

toString() - Method in class orc.type.ground.SignalType

toString() - Method in class orc.type.ground.StringType

toString() - Method in class orc.type.ground.Top

toString() - Method in class orc.type.inference.Constraint

toString() - Method in class orc.type.java.ClassTycon

toString() - Method in class orc.type.java.ConstructorType

toString() - Method in class orc.type.structured.ArrowType

toString() - Method in class orc.type.structured.DotType

toString() - Method in class orc.type.structured.EllipsisArrowType

toString() - Method in class orc.type.structured.ListType

toString() - Method in class orc.type.structured.MultiType

toString() - Method in class orc.type.structured.OptionType

toString() - Method in class orc.type.structured.TupleType

toString() - Method in class orc.type.tycon.DatatypeTycon

toString() - Method in class orc.type.Type

toString() - Method in class orc.type.TypeApplication

toString() - Method in class orc.type.TypeInstance

toString() - Method in class orc.type.TypeVariable

toXML() - Method in class orc.ast.xml.Oil

toXML(Writer) - Method in class orc.ast.xml.Oil

TraceableValue - Interface in orc.trace.values

Mark a runtime object which may be traced (serialized in a trace file).

tracer - Variable in class orc.trace.DerivedTracer.DerivedTokenTracer

Tracer - Class in orc.trace

Interface for tracing an Orc execution.

Tracer() - Constructor for class orc.trace.Tracer

transform(TypingContext) - Method in class orc.ast.oil.type.ArrowType

transform(TypingContext) - Method in class orc.ast.oil.type.Bot

transform(TypingContext) - Method in class orc.ast.oil.type.ClassType

transform(TypingContext) - Method in class orc.ast.oil.type.Datatype

transform(TypingContext) - Method in class orc.ast.oil.type.InferredType

transform(TypingContext) - Method in class orc.ast.oil.type.PolymorphicTypeAlias

transform(TypingContext) - Method in class orc.ast.oil.type.SiteType

transform(TypingContext) - Method in class orc.ast.oil.type.Top

transform(TypingContext) - Method in class orc.ast.oil.type.TupleType

transform(TypingContext) - Method in class orc.ast.oil.type.Type

Convert this syntactic type into an actual type, given an appropriate type context

transform(TypingContext) - Method in class orc.ast.oil.type.TypeApplication

transform(TypingContext) - Method in class orc.ast.oil.type.TypeVariable

transformAll(List<Type>, TypingContext) - Static method in class orc.ast.oil.type.Type

Convenience method, to transform a list of types.

Transformer - Class in orc.ast.oil.visitor

Abstract base class tree transformer for Oil expressions.

Transformer() - Constructor for class orc.ast.oil.visitor.Transformer

tryBlock - Variable in class orc.ast.extended.expression.Catch

tryBlock - Variable in class orc.ast.oil.expression.Catch

TRYCONS - Static variable in class orc.ast.extended.pattern.Pattern

trycons(Argument) - Static method in class orc.ast.extended.pattern.Pattern

Constructs an expression which will try to deconstruct an argument as if it were a list.

TRYCONS - Static variable in class orc.ast.sites.Site

TryCons - Class in orc.runtime.sites.core

TryCons() - Constructor for class orc.runtime.sites.core.TryCons

tryExpr - Variable in class orc.ast.xml.expression.Catch

TRYNIL - Static variable in class orc.ast.extended.pattern.Pattern

trynil(Argument) - Static method in class orc.ast.extended.pattern.Pattern

Constructs an expression which tests whether the argument s can be treated as an empty list (nil).

TRYNIL - Static variable in class orc.ast.sites.Site

TryNil - Class in orc.runtime.sites.core

TryNil() - Constructor for class orc.runtime.sites.core.TryNil

TRYNONE - Static variable in class orc.ast.extended.pattern.Pattern

trysize(Argument, int) - Static method in class orc.ast.extended.pattern.Pattern

Construct an expression to determine whether the argument s may be viewed as a tuple of size n.

TRYSOME - Static variable in class orc.ast.extended.pattern.Pattern

TuplePattern - Class in orc.ast.extended.pattern

TuplePattern(List<Pattern>) - Constructor for class orc.ast.extended.pattern.TuplePattern

TuplePattern() - Constructor for class orc.ast.extended.pattern.TuplePattern

TupleType - Class in orc.ast.extended.type

A type tuple: (T,...,T)

TupleType(List<Type>) - Constructor for class orc.ast.extended.type.TupleType

TupleType - Class in orc.ast.oil.type

A type tuple: (T,...,T)

TupleType(List<Type>) - Constructor for class orc.ast.oil.type.TupleType

TupleType - Class in orc.ast.simple.type

A type tuple: (T,...,T)

TupleType(List<Type>) - Constructor for class orc.ast.simple.type.TupleType

TupleType - Class in orc.ast.xml.type

A syntactic type tuple: (T,...,T)

TupleType() - Constructor for class orc.ast.xml.type.TupleType

TupleType(Type[]) - Constructor for class orc.ast.xml.type.TupleType

TupleType - Class in orc.type.structured

TupleType(List<Type>) - Constructor for class orc.type.structured.TupleType

TupleType(Type, Type) - Constructor for class orc.type.structured.TupleType

TupleValue - Class in orc.runtime.values

A tuple value container

TupleValue(List<Object>) - Constructor for class orc.runtime.values.TupleValue

TupleValue(Object...) - Constructor for class orc.runtime.values.TupleValue

TupleValue - Class in orc.trace.values

TupleValue(Value[]) - Constructor for class orc.trace.values.TupleValue

TwoColumnPanel - Class in orc.gui

Panel with a simple two-column layout.

TwoColumnPanel() - Constructor for class orc.gui.TwoColumnPanel

ty - Variable in class orc.type.TypeApplication

Tycon - Class in orc.type.tycon

Root class for all type constructors.

Tycon() - Constructor for class orc.type.tycon.Tycon

tycon - Variable in class orc.type.TypeInstance

type - Variable in class orc.ast.extended.expression.AssertType

type - Variable in class orc.ast.extended.expression.HasType

type - Variable in class orc.ast.extended.type.AssertedType

Type - Class in orc.ast.extended.type

Abstract superclass of syntactic types in the extended AST.

Type() - Constructor for class orc.ast.extended.type.Type

type - Variable in class orc.ast.oil.expression.DeclareType

type(TypingContext) - Method in class orc.ast.oil.expression.Def

type - Variable in class orc.ast.oil.expression.HasType

type - Variable in class orc.ast.oil.type.PolymorphicTypeAlias

Type - Class in orc.ast.oil.type

Abstract superclass of syntactic types in the OIL AST.

Type() - Constructor for class orc.ast.oil.type.Type

type - Variable in class orc.ast.simple.expression.DeclareType

type - Variable in class orc.ast.simple.expression.HasType

type - Variable in class orc.ast.simple.type.PolymorphicTypeAlias

Type - Class in orc.ast.simple.type

Abstract superclass of syntactic types in the simple AST.

Type() - Constructor for class orc.ast.simple.type.Type

type - Variable in class orc.ast.xml.expression.DeclareType

type - Variable in class orc.ast.xml.expression.HasType

type - Variable in class orc.ast.xml.type.PolymorphicTypeAlias

Type - Class in orc.ast.xml.type

Type() - Constructor for class orc.ast.xml.type.Type

type - Variable in class orc.doc.DocType

type() - Method in class orc.lib.bool.BoolBinopSite

type() - Method in class orc.lib.comp.ComparisonSite

type() - Method in class orc.lib.math.Add

type() - Method in class orc.lib.math.Ceil

type() - Method in class orc.lib.math.Div

type() - Method in class orc.lib.math.Exponent

type() - Method in class orc.lib.math.Floor

type() - Method in class orc.lib.math.Mod

type() - Method in class orc.lib.math.Mult

type() - Method in class orc.lib.math.Sub

type() - Method in class orc.lib.math.UMinus

type() - Method in class orc.lib.state.BoundedBuffer

type() - Method in class orc.lib.state.Buffer

type() - Method in class orc.lib.state.Cell

type() - Method in class orc.lib.state.Counter

type() - Method in class orc.lib.state.Record

type() - Method in class orc.lib.state.Ref

type() - Method in class orc.lib.state.Semaphore

type() - Method in class orc.lib.state.SyncChannel

type() - Method in class orc.lib.str.Cat

type() - Method in class orc.lib.str.Print

type() - Method in class orc.lib.str.Println

type() - Method in class orc.lib.str.Read

type() - Method in class orc.lib.str.Write

type() - Method in class orc.lib.time.Ltimer

type() - Method in class orc.lib.time.PopLtimer

type() - Method in class orc.lib.time.PushLtimer

type() - Method in class orc.lib.time.Rtimer

type() - Method in class orc.lib.util.Apply

type() - Method in class orc.lib.util.JavaArray

type() - Method in class orc.lib.util.Prompt

type() - Method in class orc.lib.util.Random

type() - Method in class orc.lib.util.URandom

type() - Method in class orc.lib.util.UUID

type() - Method in class orc.runtime.sites.core.Cons

type() - Method in class orc.runtime.sites.core.Datatype

type() - Method in class orc.runtime.sites.core.Equal

type() - Method in class orc.runtime.sites.core.Error

type() - Method in class orc.runtime.sites.core.If

type() - Method in class orc.runtime.sites.core.Inequal

type() - Method in class orc.runtime.sites.core.IsNone

type() - Method in class orc.runtime.sites.core.IsSome

type() - Method in class orc.runtime.sites.core.Let

type() - Method in class orc.runtime.sites.core.Nil

type() - Method in class orc.runtime.sites.core.None

type() - Method in class orc.runtime.sites.core.Not

type() - Method in class orc.runtime.sites.core.SiteSite

type() - Method in class orc.runtime.sites.core.Some

type() - Method in class orc.runtime.sites.core.TryCons

type() - Method in class orc.runtime.sites.core.TryNil

type() - Method in class orc.runtime.sites.java.ClassProxy

type() - Method in class orc.runtime.sites.Site

type - Variable in class orc.type.tycon.PolymorphicAliasedType

Type - Class in orc.type

Abstract superclass of all types for the Orc typechecker.

Type() - Constructor for class orc.type.Type

TypeAliasDeclaration - Class in orc.ast.extended.declaration.type

Creating a new alias for an existing type.

TypeAliasDeclaration(String, Type, List<String>) - Constructor for class orc.ast.extended.declaration.type.TypeAliasDeclaration

TypeApplication - Class in orc.ast.extended.type

A type instantiation with explicit type parameters: T[T,..,T]

TypeApplication(String, List<Type>) - Constructor for class orc.ast.extended.type.TypeApplication

TypeApplication - Class in orc.ast.oil.type

A type instantiation with explicit type parameters: T[T,..,T]

TypeApplication(Type, List<Type>) - Constructor for class orc.ast.oil.type.TypeApplication

TypeApplication - Class in orc.ast.simple.type

A type instantiation with explicit type parameters: T[T,..,T]

TypeApplication(Type, List<Type>) - Constructor for class orc.ast.simple.type.TypeApplication

TypeApplication - Class in orc.ast.xml.type

A type instantiation with explicit type parameters: T[T,..,T]

TypeApplication() - Constructor for class orc.ast.xml.type.TypeApplication

TypeApplication(Type, Type[]) - Constructor for class orc.ast.xml.type.TypeApplication

TypeApplication - Class in orc.type

An unevaluated type application.

TypeApplication(Type, List<Type>) - Constructor for class orc.type.TypeApplication

typeArgs - Variable in class orc.ast.extended.expression.Call

typeArgs - Variable in class orc.ast.oil.expression.Call

typeArgs - Variable in class orc.ast.simple.expression.Call

typeArgs - Variable in class orc.ast.xml.expression.Call

typeArity - Variable in class orc.ast.oil.expression.Def

typeArity - Variable in class orc.ast.oil.type.ArrowType

typeArity - Variable in class orc.ast.oil.type.Datatype

typeArity - Variable in class orc.ast.oil.type.PolymorphicTypeAlias

typeArity - Variable in class orc.ast.xml.expression.Def

typeArity - Variable in class orc.ast.xml.type.ArrowType

typeArity - Variable in class orc.type.structured.ArrowType

TypeArityException - Exception in orc.error.compiletime.typing

TypeArityException(String) - Constructor for exception orc.error.compiletime.typing.TypeArityException

TypeArityException(int, int) - Constructor for exception orc.error.compiletime.typing.TypeArityException

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.Call

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.DeclareDefs

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.DeclareType

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.Expression

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.Otherwise

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.Parallel

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.Pruning

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.Sequential

typecheck(TypingContext, Type) - Method in class orc.ast.oil.expression.WithLocation

typeContext - Variable in class orc.type.TypingContext

TypeDeclaration - Class in orc.ast.extended.declaration.type

Declaration of an external type.

TypeDeclaration(String, String) - Constructor for class orc.ast.extended.declaration.type.TypeDeclaration

TypedPattern - Class in orc.ast.extended.pattern

A pattern with a type ascription.

TypedPattern(Pattern, Type) - Constructor for class orc.ast.extended.pattern.TypedPattern

TypeException - Exception in orc.error.compiletime.typing

TypeException(String) - Constructor for exception orc.error.compiletime.typing.TypeException

TypeException(Throwable) - Constructor for exception orc.error.compiletime.typing.TypeException

TypeException(String, Throwable) - Constructor for exception orc.error.compiletime.typing.TypeException

TypeException(String, SourceLocation) - Constructor for exception orc.error.compiletime.typing.TypeException

typeFormals - Variable in class orc.ast.extended.declaration.def.DefMemberClause

typeFormals - Variable in class orc.ast.extended.expression.Lambda

TypeInstance - Class in orc.type

A type constructor instantiated at particular types, e.g.

TypeInstance(Tycon, List<Type>) - Constructor for class orc.type.TypeInstance

typename - Variable in class orc.ast.extended.declaration.type.DatatypeDeclaration

typename - Variable in class orc.ast.extended.declaration.type.TypeAliasDeclaration

typename - Variable in class orc.ast.simple.type.Datatype

typeOperator - Variable in class orc.ast.oil.type.TypeApplication

typeOperator - Variable in class orc.ast.simple.type.TypeApplication

typeParams - Variable in class orc.ast.extended.declaration.def.AggregateDef

typeParams - Variable in class orc.ast.extended.declaration.def.DefMemberType

typeParams - Variable in class orc.ast.extended.expression.Catch

typeParams - Variable in class orc.ast.extended.type.LambdaType

typeParams - Variable in class orc.ast.simple.expression.Def

typeParams - Variable in class orc.ast.simple.type.ArrowType

typesynth(TypingContext) - Method in class orc.ast.oil.expression.argument.Constant

typesynth(TypingContext) - Method in class orc.ast.oil.expression.argument.Field

typesynth(TypingContext) - Method in class orc.ast.oil.expression.argument.ResolvedSite

typesynth(TypingContext) - Method in class orc.ast.oil.expression.argument.Site

typesynth(TypingContext) - Method in class orc.ast.oil.expression.argument.Variable

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Call

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Catch

typesynth(TypingContext) - Method in class orc.ast.oil.expression.DeclareDefs

typesynth(TypingContext) - Method in class orc.ast.oil.expression.DeclareType

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Expression

typesynth(TypingContext) - Method in class orc.ast.oil.expression.HasType

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Otherwise

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Parallel

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Pruning

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Sequential

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Stop

typesynth(TypingContext) - Method in class orc.ast.oil.expression.Throw

typesynth(TypingContext) - Method in class orc.ast.oil.expression.WithLocation

TypeVariable - Class in orc.ast.oil.type

A bound type variable.

TypeVariable(int, String) - Constructor for class orc.ast.oil.type.TypeVariable

TypeVariable - Class in orc.ast.simple.type

A bound type variable.

TypeVariable() - Constructor for class orc.ast.simple.type.TypeVariable

TypeVariable - Class in orc.ast.xml.type

A simple named type.

TypeVariable() - Constructor for class orc.ast.xml.type.TypeVariable

TypeVariable(int) - Constructor for class orc.ast.xml.type.TypeVariable

TypeVariable(int, String) - Constructor for class orc.ast.xml.type.TypeVariable

TypeVariable - Class in orc.type

A bound type variable.

TypeVariable(int) - Constructor for class orc.type.TypeVariable

TypeVariable(int, String) - Constructor for class orc.type.TypeVariable

TypingContext - Class in orc.type

The context used by the typechecker.

TypingContext() - Constructor for class orc.type.TypingContext

TypingContext(Config) - Constructor for class orc.type.TypingContext

TypingContext(Env<Type>, Env<Type>, Config) - Constructor for class orc.type.TypingContext

TypingContext(Env<Type>, Env<Type>, Config, InferenceContinuation) - Constructor for class orc.type.TypingContext