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

S

save(Config) - Method in class orc.gui.ConfigPanel

Call to save the fields to the model.

saveOil(Expression, Writer) - Method in class orc.OrcCompiler

Write an OIL AST into an OIL file

scheduleTimer(TimerTask, long) - Method in class orc.runtime.OrcEngine

Schedule a timed task (used by Rtimer).

search(T) - Method in class orc.env.Env

Content-addressable mode.

SearchFailureException - Exception in orc.env

SearchFailureException(String) - Constructor for exception orc.env.SearchFailureException

SearchFailureException(String, Throwable) - Constructor for exception orc.env.SearchFailureException

Semaphore - Class in kilim

Same as Semaphore, but for Kilim tasks.

Semaphore(int) - Constructor for class kilim.Semaphore

Semaphore - Class in orc.lib.state

Semaphore() - Constructor for class orc.lib.state.Semaphore

Semaphore.SemaphoreInstance - Class in orc.lib.state

SemaphoreType - Class in orc.lib.state.types

SemaphoreType() - Constructor for class orc.lib.state.types.SemaphoreType

SemiRegion - Class in orc.runtime.regions

SemiRegion(Region, Token) - Constructor for class orc.runtime.regions.SemiRegion

send(Object, Object[]) - Method in class orc.trace.DerivedTracer.DerivedTokenTracer

send(Object, Object[]) - Method in class orc.trace.TokenTracer

Call a site.

SendEvent - Class in orc.trace.events

SendEvent(Value, Value[]) - Constructor for class orc.trace.events.SendEvent

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

Sequential - Class in orc.ast.extended.expression

Sequential(Expression, Expression, Pattern) - Constructor for class orc.ast.extended.expression.Sequential

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

Sequential - Class in orc.ast.oil.expression

Sequential(Expression, Expression, String) - Constructor for class orc.ast.oil.expression.Sequential

Sequential - Class in orc.ast.simple.expression

Sequential(Expression, Expression, Variable) - Constructor for class orc.ast.simple.expression.Sequential

Sequential - Class in orc.ast.xml.expression

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

Sequential(Expression, Expression, String) - Constructor for class orc.ast.xml.expression.Sequential

Set<E> - Class in orc.lib.state

Set which uses Orc's rules for equality.

Set() - Constructor for class orc.lib.state.Set

Set.SetReference - Class in orc.lib.state

Set.SetReference(E) - Constructor for class orc.lib.state.Set.SetReference

setArgTypes(List<Type>) - Method in class orc.ast.extended.declaration.def.AggregateDef

setBacktrace(SourceLocation[]) - Method in exception orc.error.runtime.TokenException

setCapability(String, Boolean) - Method in class orc.Config

setClassPath(String) - Method in class orc.Config

setCursor(EventCursor) - Method in class orc.trace.events.Event

Used by implementations of EventCursor to associate this event with a location in an event stream.

setDebug(boolean) - Method in class orc.Config

setDebugLevel(int) - Method in class orc.Config

setExceptionsOn(boolean) - Method in class orc.Config

setFile(File) - Method in class orc.gui.FileField

setGroup(Group) - Method in class orc.runtime.Token

setIncludePath(String) - Method in class orc.Config

setInputFile(File) - Method in class orc.Config

setInputFile(File) - Method in class orc.trace.DumpTrace

setMaxPubs(int) - Method in class orc.Config

setMessageRecorder(CompileMessageRecorder) - Method in class orc.Config

setNoExecute(boolean) - Method in class orc.Config

setNoPrelude(boolean) - Method in class orc.Config

setNote(String) - Method in class orc.progress.NullProgressListener

setNote(String) - Method in interface orc.progress.ProgressListener

setNote(String) - Method in class orc.progress.ProgressMonitorListener

setNote(String) - Method in class orc.progress.SubProgressListener

setNumSiteThreads(Integer) - Method in class orc.Config

setOilOutputFile(File) - Method in class orc.Config

setProgress(double) - Method in class orc.progress.NullProgressListener

setProgress(double) - Method in interface orc.progress.ProgressListener

setProgress(double) - Method in class orc.progress.ProgressMonitorListener

setProgress(double) - Method in class orc.progress.SubProgressListener

Progress reported here is interpreted as the percentage of the subtask complete, which we translate into the percentage of the overall task complete.

setProgressListener(ProgressListener) - Method in class orc.Config

setPublishContinuation(TokenContinuation) - Method in class orc.ast.oil.expression.Expression

setQuiescent() - Method in class orc.runtime.Token

setQuietChecking(boolean) - Method in class orc.Config

If the typechecker runs, suppress all its output.

setRegion(Region) - Method in class orc.runtime.Token

Migrate the token from one region to another.

setResetInterval(int) - Method in class orc.trace.handles.HandleOutputStream

Change the reset interval.

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

setResultType(Type) - Method in class orc.ast.extended.declaration.def.AggregateDef

setSeq(long) - Method in class orc.trace.events.Event

Used by implementations of EventCursor to set the event's sequence number.

setShortErrors(boolean) - Method in class orc.Config

The default is long errors.

setSourceLocation(SourceLocation) - Method in class orc.ast.extended.declaration.Declaration

setSourceLocation(SourceLocation) - Method in class orc.ast.extended.declaration.def.DefMember

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

setSourceLocation(SourceLocation) - Method in class orc.ast.extended.expression.Expression

setSourceLocation(SourceLocation) - Method in class orc.ast.extended.pattern.Pattern

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

setSourceLocation(SourceLocation) - Method in class orc.ast.simple.argument.Argument

setSourceLocation(SourceLocation) - Method in exception orc.error.compiletime.CompilationException

setSourceLocation(SourceLocation) - Method in interface orc.error.Locatable

setSourceLocation(SourceLocation) - Method in exception orc.error.runtime.TokenException

setSourceLocation(SourceLocation) - Method in class orc.runtime.Token

setSourceLocation(SourceLocation) - Method in class orc.trace.DerivedTracer.DerivedTokenTracer

setSourceLocation(SourceLocation) - Method in class orc.trace.events.Event

setStackSize(int) - Method in class orc.Config

setStderr(PrintStream) - Method in class orc.Config

setStdout(PrintStream) - Method in class orc.Config

setStrictness(boolean) - Method in class orc.ast.extended.declaration.def.AggregateDef

setThread(ForkEvent) - Method in class orc.trace.events.DieEvent

setThread(ForkEvent) - Method in class orc.trace.events.Event

setTokenPoolSize(int) - Method in class orc.Config

setTraceOutputFile(File) - Method in class orc.Config

setTracer(Tracer) - Method in class orc.Config

Set a custom tracer.

setTypeChecking(boolean) - Method in class orc.Config

setTypeParams(List<String>) - Method in class orc.ast.extended.declaration.def.AggregateDef

setValue(Token) - Method in class orc.runtime.values.GroupCell

This call defines the fundamental behavior of groups: When the value is bound, all subgroups are killed and all waiting tokens are activated.

shiftFreeVars(Set<Integer>, Integer) - Static method in class orc.type.Type

shouldDebug(int) - Method in class orc.runtime.OrcEngine

Return true if a debug report at the given level will be used.

signal() - Method in class orc.lib.util.KilimExample

Send a signal.

signal - Static variable in class orc.runtime.Kilim

Kilim mailboxes can't accomodate null values, so this acts as a basic signal or unit value when necessary.

signal() - Static method in class orc.runtime.values.Value

Static function to access the canonical 'unit' value; currently, the signal value is an empty tuple.

SIGNAL - Static variable in class orc.type.Type

SignalType - Class in orc.type.ground

The type of signals.

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

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

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

simplify() - Method in class orc.ast.extended.declaration.def.AggregateDef

simplify(List<Variable>, Expression) - Method in class orc.ast.extended.declaration.def.Clause

Simplify a clause.

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

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

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

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

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

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

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

simplify() - Method in class orc.ast.extended.expression.Expression

Simplify an expression which occurs in a call (non-nested) position.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

simplify() - Method in class orc.ast.extended.type.Type

Convert this extended AST type into a simple AST type.

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

singleton - Static variable in class orc.progress.NullProgressListener

singleton - Static variable in class orc.runtime.values.NilValue

singleton - Static variable in class orc.trace.values.NilValue

singleton - Static variable in class orc.trace.values.NullValue

site - Variable in class orc.ast.extended.pattern.CallPattern

Site - Class in orc.ast.oil.expression.argument

Sites, which occur in argument position.

Site(Site) - Constructor for class orc.ast.oil.expression.argument.Site

site - Variable in class orc.ast.oil.expression.argument.Site

Site - Class in orc.ast.simple.argument

Site values, which occur in argument position.

Site(Site) - Constructor for class orc.ast.simple.argument.Site

site - Variable in class orc.ast.simple.argument.Site

Site - Class in orc.ast.sites

A portable representation of sites.

Site() - Constructor for class orc.ast.sites.Site

Site - Class in orc.ast.xml.expression.argument

Site() - Constructor for class orc.ast.xml.expression.argument.Site

Site(String, URI) - Constructor for class orc.ast.xml.expression.argument.Site

Site - Class in orc.runtime.sites

Base class for all sites

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

site - Variable in class orc.trace.events.SendEvent

SiteDeclaration - Class in orc.ast.extended.declaration

Declaration of a site.

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

SiteException - Exception in orc.error.runtime

Any exception occurring in a well-formed, well-typed site call.

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

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

SiteResolutionException - Exception in orc.error.compiletime

Indicate a problem with site resolution.

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

SiteResolutionException(String) - Constructor for exception orc.error.compiletime.SiteResolutionException

SiteResolver - Class in orc.ast.oil.visitor

Resolve sites in an expression.

SiteSite - Class in orc.runtime.sites.core

Implements the Site site.

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

SiteType - Class in orc.ast.oil.type

A type corresponding to a Java class which subclasses orc.type.Type, so that it can be instantiated as an external Orc type by the typechecker.

SiteType(String) - Constructor for class orc.ast.oil.type.SiteType

SiteType - Class in orc.ast.simple.type

A type corresponding to a Java class which subclasses orc.type.Type, so that it can be instantiated as an external Orc type by the typechecker.

SiteType(String) - Constructor for class orc.ast.simple.type.SiteType

SiteType - Class in orc.ast.xml.type

A syntactic type corresponding to a Java class implementing a type.

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

SiteType(String) - Constructor for class orc.ast.xml.type.SiteType

size() - Method in class orc.lib.state.Map

size() - Method in class orc.lib.state.Set

size() - Method in class orc.runtime.Args

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

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

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

sleep(Number) - Method in class orc.lib.util.KilimExample

Publish after millis milliseconds.

sleepThread(Number) - Method in class orc.lib.util.KilimExample

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

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

Some - Class in orc.runtime.sites.core

Implements the "some" option constructor site.

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

sourceFile - Variable in class orc.ast.extended.declaration.IncludeDeclaration

SourceLocation - Class in orc.error

A source location, with file, offset, line, and column information.

SourceLocation() - Constructor for class orc.error.SourceLocation

No-arg constructor so that this can be serialized to XML by JAXB

SourceLocation(File, Integer, Integer, Integer, Integer, Integer, Integer) - Constructor for class orc.error.SourceLocation

spans(T) - Method in class orc.lib.state.Interval

spans(T) - Method in class orc.lib.state.Intervals

StackLimitReachedError - Exception in orc.error.runtime

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

StackTracer - Class in orc.trace

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

StackTracer.StackTrace - Class in orc.trace

StackTracer.StackTrace(Def, StackTracer.StackTrace) - Constructor for class orc.trace.StackTracer.StackTrace

start(Expression) - Method in class orc.runtime.OrcEngine

start() - Method in class orc.trace.AbstractTracer

start() - Method in class orc.trace.DerivedTracer

start() - Method in class orc.trace.NullTracer

start() - Method in class orc.trace.Tracer

Begin an execution; return the tracer for the first token.

startEngine(int, int) - Static method in class orc.runtime.Kilim

Initialize Kilim state for a new job.

StdErrCompileMsgRecorder - Class in orc

A CompileMessageRecorder that writes messages to the stderr stream, as given in an Orc Config instance.

StdErrCompileMsgRecorder(Config) - Constructor for class orc.StdErrCompileMsgRecorder

Constructs an object of class StdErrCompileMsgRecorder.

Stop - Class in orc.ast.extended.expression

Stop() - Constructor for class orc.ast.extended.expression.Stop

Stop - Class in orc.ast.oil.expression

Stop() - Constructor for class orc.ast.oil.expression.Stop

Stop - Class in orc.ast.simple.expression

Stop() - Constructor for class orc.ast.simple.expression.Stop

Stop - Class in orc.ast.xml.expression

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

stop - Variable in class orc.gui.OrcGui

stopEngine() - Static method in class orc.runtime.Kilim

Shutdown Kilim threads created for the current job.

store(TokenTracer.PullTrace, Object) - Method in class orc.trace.DerivedTracer.DerivedTokenTracer

store - Variable in class orc.trace.events.ChokeEvent

store - Variable in class orc.trace.events.UnblockEvent

store(TokenTracer.PullTrace, Object) - Method in class orc.trace.TokenTracer

Store a value for a future.

StoreEvent - Class in orc.trace.events

Store a value to a future.

StoreEvent(PullEvent, Value) - Constructor for class orc.trace.events.StoreEvent

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

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

strict() - Method in class orc.ast.extended.pattern.Pattern

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

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

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

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

STRING - Static variable in class orc.type.Type

stringArg(int) - Method in class orc.runtime.Args

Helper function for strings.

StringType - Class in orc.type.ground

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

Sub - Class in orc.lib.math

Sub() - Constructor for class orc.lib.math.Sub

subMap(Map<FreeVariable, ? extends Argument>) - Method in class orc.ast.simple.expression.Def

subMap(Map<FreeVariable, ? extends Argument>) - Method in class orc.ast.simple.expression.Expression

Perform a set of substitutions defined by a map.

subMap(Map<FreeTypeVariable, Type>) - Method in class orc.ast.simple.type.Type

Perform a set of substitutions defined by a map.

SubProgressListener - Class in orc.progress

Report progress of a subtask to a progress listener for a larger task.

SubProgressListener(ProgressListener, double, double) - Constructor for class orc.progress.SubProgressListener

min and max represent the progress range tracked by this listener within the larger task tracked by parent.

SubRegion - Class in orc.runtime.regions

Regions are used to track when some (sub-)computation terminates.

SubRegion(Region) - Constructor for class orc.runtime.regions.SubRegion

subst(Variable, FreeVariable) - Method in class orc.ast.extended.pattern.PatternSimplifier

subst(Argument, FreeVariable) - Method in class orc.ast.simple.argument.Argument

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Call

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Call

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Catch

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Catch

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.DeclareDefs

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.DeclareDefs

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.DeclareType

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.DeclareType

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Def

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Def

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Expression

Performs the substitution [a/x], replacing occurrences of the free variable x with the new argument a (which could be any argument, including another variable).

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Expression

Performs the substitution [T/X], replacing occurrences of the free type variable X with the type T (which could be any type, including another variable).

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.HasType

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.HasType

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Let

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Let

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Otherwise

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Otherwise

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Parallel

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Parallel

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Pruning

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Pruning

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Sequential

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Sequential

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Stop

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Stop

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.Throw

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.Throw

subst(Argument, FreeVariable) - Method in class orc.ast.simple.expression.WithLocation

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.expression.WithLocation

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.ArrowType

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.Bot

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.ClassnameType

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.Datatype

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.FreeTypeVariable

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.PolymorphicTypeAlias

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.SiteType

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.Top

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.TupleType

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.Type

Performs the substitution [T/X], replacing occurrences of the free type variable X with the type T (which could be any type, including another variable).

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.TypeApplication

subst(Type, FreeTypeVariable) - Method in class orc.ast.simple.type.TypeVariable

subst(Env<Type>) - Method in class orc.type.structured.ArrowType

subst(Env<Type>) - Method in class orc.type.structured.TupleType

subst(Env<Type>) - Method in class orc.type.tycon.DatatypeTycon

subst(Env<Type>) - Method in class orc.type.Type

subst(Env<Type>) - Method in class orc.type.TypeApplication

subst(Env<Type>) - Method in class orc.type.TypeInstance

subst(Env<Type>) - Method in class orc.type.TypeVariable

subst(Type) - Method in class orc.type.TypingContext

substAll(List<Argument>, Argument, FreeVariable) - Static method in class orc.ast.simple.argument.Argument

Convenience method, to apply a substitution to a list of arguments.

substAll(List<Def>, Argument, FreeVariable) - Static method in class orc.ast.simple.expression.Def

substAll(List<Def>, Type, FreeTypeVariable) - Static method in class orc.ast.simple.expression.Def

substAll(List<Expression>, Argument, FreeVariable) - Static method in class orc.ast.simple.expression.Expression

Convenience method, to apply a substitution to a list of expressions.

substAll(List<Type>, Type, FreeTypeVariable) - Static method in class orc.ast.simple.type.Type

Convenience method, to apply a substitution to a list of types.

substAll(List<Type>, Env<Type>) - Static method in class orc.type.Type

substMaybe(Type, Type, FreeTypeVariable) - Static method in class orc.ast.simple.type.Type

subtype(Type) - Method in class orc.type.ground.Bot

subtype(Type) - Method in class orc.type.ground.ConstIntType

subtype(Type) - Method in class orc.type.ground.LetType

subtype(Type) - Method in class orc.type.ground.Message

subtype(Type) - Method in class orc.type.ground.Top

subtype(Type) - Method in class orc.type.java.ClassTycon

subtype(Type) - Method in class orc.type.java.ConstructorType

subtype(Type) - Method in class orc.type.structured.ArrowType

subtype(Type) - Method in class orc.type.structured.DotType

subtype(Type) - Method in class orc.type.structured.EllipsisArrowType

subtype(Type) - Method in class orc.type.structured.MultiType

subtype(Type) - Method in class orc.type.structured.TupleType

subtype(Type, Type) - Method in class orc.type.tycon.Variance

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

subtype(Type) - Method in class orc.type.TypeInstance

subtype(Type) - Method in class orc.type.TypeVariable

SubtypeFailureException - Exception in orc.error.compiletime.typing

SubtypeFailureException(Type, Type) - Constructor for exception orc.error.compiletime.typing.SubtypeFailureException

subvar(Variable, FreeVariable) - Method in class orc.ast.simple.expression.Expression

Performs the substitution [v/x], replacing occurrences of the free variable x with the nameless variable v.

subvar(TypeVariable, FreeTypeVariable) - Method in class orc.ast.simple.expression.Expression

Performs the substitution [U/X], replacing occurrences of the free type variable X with the nameless type variable U.

subvar(TypeVariable, FreeTypeVariable) - Method in class orc.ast.simple.type.Type

Performs the substitution [U/X], replacing occurrences of the free type variable X with the nameless type variable U.

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

SyncChannel - Class in orc.lib.state

Implements the local site SyncChannel, which creates synchronous channels.

SyncChannel() - Constructor for class orc.lib.state.SyncChannel

SyncChannel.SyncChannelInstance - Class in orc.lib.state

SyncChannelType - Class in orc.lib.state.types

SyncChannelType() - Constructor for class orc.lib.state.types.SyncChannelType