Documentation by YARD 0.9.38

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

AST (Rigor)
Acceptance (Rigor::Inference)
AcceptsResult (Rigor::Type)
Analysis (Rigor)

B

BlockParameterBinder (Rigor::Inference)
Bot (Rigor::Type)

C

CLI (Rigor)
CheckRules (Rigor::Analysis)
ClassFrame (Rigor::Inference::StatementEvaluator)
ClassRegistry (Rigor::Environment)
ClosureEscapeAnalyzer (Rigor::Inference)
Combinator (Rigor::Type)
Configuration (Rigor)
Constant (Rigor::Type)
ConstantFolding (Rigor::Inference::MethodDispatcher)
CoverageScanner (Rigor::Inference)

D

Diagnostic (Rigor::Analysis)
Dynamic (Rigor::Type)

E

Environment (Rigor)
ExpressionTyper (Rigor::Inference)

F

Fact (Rigor::Analysis::FactStore)
FactStore (Rigor::Analysis)
Fallback (Rigor::Inference)
FallbackTracer (Rigor::Inference)

H

HashShape (Rigor::Type)

I

Inference (Rigor)

L

LocatedEvent (Rigor::CLI::TypeScanCommand)

M

MethodDispatcher (Rigor::Inference)
MethodParameterBinder (Rigor::Inference)
MultiTargetBinder (Rigor::Inference)

N

Narrowing (Rigor::Inference)
Node (Rigor::AST)
NodeLocator (Rigor::Source)
NodeWalker (Rigor::Source)
Nominal (Rigor::Type)

O

OutOfRangeError (Rigor::Source::NodeLocator)
OverloadSelector (Rigor::Inference::MethodDispatcher)

P

PredicateEffect (Rigor::RbsExtended)

R

RbsDispatch (Rigor::Inference::MethodDispatcher)
RbsExtended (Rigor)
RbsHierarchy (Rigor::Environment)
RbsLoader (Rigor::Environment)
RbsTypeTranslator (Rigor::Inference)
Report (Rigor::CLI)
Result (Rigor::Analysis)
Result (Rigor::CLI::TypeOfCommand)
Result (Rigor::Inference::CoverageScanner)
Rigor
Runner (Rigor::Analysis)

S

ScanAccumulator (Rigor::CLI::TypeScanCommand)
Scope (Rigor)
ScopeIndexer (Rigor::Inference)
ShapeDispatch (Rigor::Inference::MethodDispatcher)
Singleton (Rigor::Type)
Source (Rigor)
StatementEvaluator (Rigor::Inference)

T

Target (Rigor::Analysis::FactStore)
Testing (Rigor)
Top (Rigor::Type)
Trinary (Rigor)
Tuple (Rigor::Type)
Type (Rigor)
TypeNode (Rigor::AST)
TypeOfCommand (Rigor::CLI)
TypeOfRenderer (Rigor::CLI)
TypeScanCommand (Rigor::CLI)
TypeScanRenderer (Rigor::CLI)

U

Union (Rigor::Type)