Documentation for t-ruby (0.0.4)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

Alternative (TRuby::ParserCombinator)
And (TRuby::SMT)
ArrayLiteral (TRuby::IR)
Assignment (TRuby::IR)

B

BeginBlock (TRuby::IR)
BenchmarkSuite (TRuby)
BinaryOp (TRuby::IR)
Block (TRuby::IR)
BoolConst (TRuby::SMT)
BoundsConstraint (TRuby)
Builder (TRuby::IR)
BundlerIntegration (TRuby)

C

CLI (TRuby)
CacheEntry (TRuby)
CaseExpr (TRuby::IR)
ChainLeft (TRuby::ParserCombinator)
Choice (TRuby::ParserCombinator)
CircularTypeAliasError (TRuby)
ClassDecl (TRuby::IR)
ClassMethods (TRuby::RuntimeTypeChecks)
CodeGenerator (TRuby::IR)
CompilationProfiler (TRuby)
Compiler (TRuby)
CompletionItemKind (TRuby::LSPServer)
ConcreteType (TRuby::SMT)
Conditional (TRuby::IR)
Config (TRuby)
ConstantFolding (TRuby::IR::Passes)
ConstrainedTypeRegistry (TRuby)
Constraint (TRuby)
ConstraintChecker (TRuby)
ConstraintSolver (TRuby::SMT)
CrossFileTypeChecker (TRuby)

D

DSL (TRuby::ParserCombinator)
DSL (TRuby::SMT)
DeadCodeElimination (TRuby::IR::Passes)
DeclarationCache (TRuby)
DeclarationGenerator (TRuby)
DeclarationLoader (TRuby)
DeclarationParser (TRuby)
DeclarationParser (TRuby::ParserCombinator)
DependencyResolver (TRuby)
DiagnosticSeverity (TRuby::LSPServer)
DocGenerator (TRuby)
DuplicateTypeAliasError (TRuby)

E

EndOfInput (TRuby::ParserCombinator)
EnhancedIncrementalCompiler (TRuby)
EqualityConstraint (TRuby)
ErrorCodes (TRuby::LSPServer)
ErrorHandler (TRuby)

F

Fail (TRuby::ParserCombinator)
FileCache (TRuby)
FlatMap (TRuby::ParserCombinator)
FlowContext (TRuby)
ForLoop (TRuby::IR)
Formula (TRuby::SMT)
FunctionType (TRuby::IR)

G

GenericType (TRuby::IR)
GenericTypeParser (TRuby)

H

HasProperty (TRuby::SMT)
HashLiteral (TRuby::IR)
HashPair (TRuby::IR)

I

IR (TRuby)
IRCodeGenerator (TRuby)
Iff (TRuby::SMT)
Implies (TRuby::SMT)
IncrementalCompiler (TRuby)
InferredType (TRuby)
Interface (TRuby::IR)
InterfaceMember (TRuby::IR)
IntersectionType (TRuby::IR)
IntersectionTypeParser (TRuby)

L

LSPServer (TRuby)
Label (TRuby::ParserCombinator)
Lambda (TRuby::IR)
Lazy (TRuby::ParserCombinator)
LegacyCompiler (TRuby)
LegacyParser (TRuby)
LegacyTypeChecker (TRuby)
LengthConstraint (TRuby)
Literal (TRuby::ParserCombinator)
Literal (TRuby::IR)
LiteralType (TRuby::IR)
Lookahead (TRuby::ParserCombinator)
Loop (TRuby::IR)

M

Many (TRuby::ParserCombinator)
Many1 (TRuby::ParserCombinator)
Map (TRuby::ParserCombinator)
MemoryCache (TRuby)
MethodCall (TRuby::IR)
MethodDef (TRuby::IR)
ModuleDecl (TRuby::IR)

N

Node (TRuby::IR)
Not (TRuby::SMT)
NotFollowedBy (TRuby::ParserCombinator)
NullableType (TRuby::IR)
NumericRangeConstraint (TRuby)

O

Optimizer (TRuby::IR)
Optional (TRuby::ParserCombinator)
Or (TRuby::SMT)

P

PackageManager (TRuby)
PackageManifest (TRuby)
PackageRegistry (TRuby)
ParallelProcessor (TRuby)
Parameter (TRuby::IR)
ParseCache (TRuby)
ParseError (TRuby::ParserCombinator)
ParseResult (TRuby::ParserCombinator)
Parser (TRuby)
Parser (TRuby::ParserCombinator)
ParserCombinator (TRuby)
Pass (TRuby::IR::Passes)
Passes (TRuby::IR)
PatternConstraint (TRuby)
PredicateConstraint (TRuby)
Program (TRuby::IR)
Pure (TRuby::ParserCombinator)

Q

QuickBenchmark (TRuby)

R

RBSGenerator (TRuby)
RBSGenerator (TRuby::IR)
RawCode (TRuby::IR)
Regex (TRuby::ParserCombinator)
RemoteRegistry (TRuby)
RescueClause (TRuby::IR)
Return (TRuby::IR)
RuntimeTypeChecks (TRuby)
RuntimeTypeError (TRuby)
RuntimeValidator (TRuby)

S

SATSolver (TRuby::SMT)
SMT (TRuby)
SMTTypeChecker (TRuby)
Satisfy (TRuby::ParserCombinator)
SemanticTokenModifiers (TRuby::LSPServer)
SemanticTokenTypes (TRuby::LSPServer)
SemanticVersion (TRuby)
SepBy (TRuby::ParserCombinator)
SepBy1 (TRuby::ParserCombinator)
Sequence (TRuby::ParserCombinator)
SimpleType (TRuby::IR)
SkipRight (TRuby::ParserCombinator)
Subtype (TRuby::SMT)

T

TRuby
TupleType (TRuby::IR)
TypeAlias (TRuby::IR)
TypeAliasRegistry (TRuby)
TypeAnnotationCleanup (TRuby::IR::Passes)
TypeCast (TRuby::IR)
TypeCheckError (TRuby)
TypeChecker (TRuby)
TypeEqual (TRuby::SMT)
TypeErasure (TRuby)
TypeGuard (TRuby::IR)
TypeHierarchy (TRuby)
TypeInferenceEngine (TRuby::SMT)
TypeInferencer (TRuby)
TypeNode (TRuby::IR)
TypeParser (TRuby::ParserCombinator)
TypeResolutionCache (TRuby)
TypeScope (TRuby)
TypeVar (TRuby::SMT)

U

UnaryOp (TRuby::IR)
UndefinedTypeError (TRuby)
UnionType (TRuby::IR)
UnionTypeParser (TRuby)
UnusedDeclarationRemoval (TRuby::IR::Passes)

V

ValidationConfig (TRuby)
Variable (TRuby::SMT)
VariableRef (TRuby::IR)
VersionConstraint (TRuby)
Visitor (TRuby::IR)

W

Watcher (TRuby)
WhenClause (TRuby::IR)