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

U

UMinus - Class in orc.lib.math
 
UMinus() - Constructor for class orc.lib.math.UMinus
 
unapply(Argument, Argument) - Static method in class orc.ast.extended.pattern.Pattern
Construct an expression which tries to find the inverse of the site m, and apply it to s.
unblock(TokenTracer.StoreTrace) - Method in class orc.trace.DerivedTracer.DerivedTokenTracer
 
unblock(TokenTracer.StoreTrace) - Method in class orc.trace.TokenTracer
Receive a future we were waiting for.
UnblockEvent - Class in orc.trace.events
Resume after a BlockEvent.
UnblockEvent(StoreEvent) - Constructor for class orc.trace.events.UnblockEvent
 
UnboundTypeException - Exception in orc.error.compiletime.typing
 
UnboundTypeException(String) - Constructor for exception orc.error.compiletime.typing.UnboundTypeException
 
UnboundVariableException - Exception in orc.error.compiletime
 
UnboundVariableException(String, SourceLocation) - Constructor for exception orc.error.compiletime.UnboundVariableException
 
UnboundVariableException(String) - Constructor for exception orc.error.compiletime.UnboundVariableException
 
UncallableTypeException - Exception in orc.error.compiletime.typing
Exception raised when the typechecker finds an uncallable value in call position.
UncallableTypeException(Type) - Constructor for exception orc.error.compiletime.typing.UncallableTypeException
 
UncallableValueException - Exception in orc.error.runtime
Exception raised when an uncallable value occurs in call position.
UncallableValueException(String) - Constructor for exception orc.error.runtime.UncallableValueException
 
UncaughtException - Exception in orc.error.runtime
 
UncaughtException(String) - Constructor for exception orc.error.runtime.UncaughtException
 
UncaughtException(String, Throwable) - Constructor for exception orc.error.runtime.UncaughtException
 
uncons(Token) - Method in class orc.runtime.values.ConsValue
 
uncons(Token) - Method in interface orc.runtime.values.ListLike
Return the head and tail of a cons-like data structure to a token, or die.
uncons(Token) - Method in class orc.runtime.values.ListValue
 
uncons(Token) - Method in class orc.runtime.values.NilValue
 
uncurry(List<List<Pattern>>, Expression) - Static method in class orc.ast.extended.expression.Expression
Utility method to fold a group of pattern lists into a lambda.
uncurry() - Method in class orc.ast.extended.type.LambdaType
From a lambda type with multiple type argument groups: lambda[X](T)(T)(T) :: T create a chain of lambdas each with a single such group: lambda[X](T) :: (lambda(T) :: (lambda(T) :: T)) If there is only one type group, just return an identical copy.
UnguardedRecursionChecker - Class in orc.ast.oil.visitor
Check for unguarded recursion in function definitions.
union(Interval<T>) - Method in class orc.lib.state.Interval
 
union(Interval<T>) - Method in class orc.lib.state.Intervals
This is most efficient when the interval goes at the front of the set.
UNKNOWN - Static variable in class orc.error.SourceLocation
 
unmarshal(Config) - Method in class orc.ast.xml.expression.argument.Argument
 
unmarshal(Config) - Method in class orc.ast.xml.expression.argument.Constant
 
unmarshal(Config) - Method in class orc.ast.xml.expression.argument.Field
 
unmarshal(Config) - Method in class orc.ast.xml.expression.argument.Site
 
unmarshal(Config) - Method in class orc.ast.xml.expression.argument.Variable
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Call
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Catch
 
unmarshal(Config) - Method in class orc.ast.xml.expression.DeclareDefs
 
unmarshal(Config) - Method in class orc.ast.xml.expression.DeclareType
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Def
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Expression
 
unmarshal(Config) - Method in class orc.ast.xml.expression.HasType
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Otherwise
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Parallel
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Pruning
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Sequential
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Stop
 
unmarshal(Config) - Method in class orc.ast.xml.expression.Throw
 
unmarshal(Config) - Method in class orc.ast.xml.expression.WithLocation
 
unmarshal(Config) - Method in class orc.ast.xml.Oil
 
unmarshal() - Method in class orc.ast.xml.type.ArrowType
 
unmarshal() - Method in class orc.ast.xml.type.Bot
 
unmarshal() - Method in class orc.ast.xml.type.ClassnameType
 
unmarshal() - Method in class orc.ast.xml.type.Datatype
 
unmarshal() - Method in class orc.ast.xml.type.PolymorphicTypeAlias
 
unmarshal() - Method in class orc.ast.xml.type.SiteType
 
unmarshal() - Method in class orc.ast.xml.type.Top
 
unmarshal() - Method in class orc.ast.xml.type.TupleType
 
unmarshal() - Method in class orc.ast.xml.type.Type
Convert this syntactic type into an actual type.
unmarshal() - Method in class orc.ast.xml.type.TypeApplication
 
unmarshal() - Method in class orc.ast.xml.type.TypeVariable
 
unmarshalAll(Type[]) - Static method in class orc.ast.xml.type.Type
 
unnil(Token) - Method in class orc.runtime.values.ConsValue
 
unnil(Token) - Method in interface orc.runtime.values.ListLike
Signal a token if this value is equivalent to nil, or die.
unnil(Token) - Method in class orc.runtime.values.ListValue
 
unnil(Token) - Method in class orc.runtime.values.NilValue
 
unpause() - Method in class orc.runtime.OrcEngine
Unpause execution.
UnrepresentableTypeException - Exception in orc.error.compiletime.typing
Thrown when trying to marshal a generated type which cannot be represented syntactically.
UnrepresentableTypeException(Type) - Constructor for exception orc.error.compiletime.typing.UnrepresentableTypeException
 
UnrepresentableTypeException() - Constructor for exception orc.error.compiletime.typing.UnrepresentableTypeException
 
unsetQuiescent() - Method in class orc.runtime.Token
 
UnspecifiedArgTypesException - Exception in orc.error.compiletime.typing
 
UnspecifiedArgTypesException() - Constructor for exception orc.error.compiletime.typing.UnspecifiedArgTypesException
 
UnspecifiedArgTypesException(String) - Constructor for exception orc.error.compiletime.typing.UnspecifiedArgTypesException
 
UnspecifiedReturnTypeException - Exception in orc.error.compiletime.typing
 
UnspecifiedReturnTypeException() - Constructor for exception orc.error.compiletime.typing.UnspecifiedReturnTypeException
 
UnspecifiedReturnTypeException(String) - Constructor for exception orc.error.compiletime.typing.UnspecifiedReturnTypeException
 
unwind(int) - Method in class orc.env.Env
Pop n items.
unwind() - Method in class orc.runtime.Token
Pop one value off of the environment stack.
unwind(int) - Method in class orc.runtime.Token
Pop values off of the environment stack.
unwrapAs(Type) - Method in class orc.type.Type
 
unwrapAs(Type) - Method in class orc.type.TypeInstance
 
upper - Variable in class orc.type.inference.Constraint
 
URandom - Class in orc.lib.util
 
URandom() - Constructor for class orc.lib.util.URandom
 
UUID - Class in orc.lib.util
Generate random UUIDs.
UUID() - Constructor for class orc.lib.util.UUID
 

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