Documentation for steep-relaxed (2.0.0.0)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

AST (Steep)
Alias (Steep::AST::Types::Name)
All (Steep::Subtyping::Result)
AncestorErrorStatus (Steep::Services::SignatureService)
Annotation (Steep::AST)
AnnotationParser (Steep)
AnnotationResult (Steep::Locator)
AnnotationSyntaxError (Steep::Diagnostic::Ruby)
Annotations (Steep::Drivers)
AnnotationsBase (Steep::TypeInference::TypeEnvBuilder::Command)
AnnotationsHelper (Steep)
Any (Steep::Subtyping::Result)
Any (Steep::AST::Types)
Applying (Steep::AST::Types::Name)
ArgEqualsReceiver (Steep::AST::Types::Logic)
ArgIsAncestor (Steep::AST::Types::Logic)
ArgIsReceiver (Steep::AST::Types::Logic)
ArgTypePairs (Steep::TypeInference::SendArgs::KeywordArgs)
ArgumentTypeMismatch (Steep::Diagnostic::Ruby)

Base (Steep::AST::Types::Logic)
Base (Steep::Interface::Function::Params::PositionalParams)
Base (Steep::TypeInference::MethodCall)
Base (Steep::Diagnostic::Ruby)
Base (Steep::Subtyping::Result)
Base (Steep::AST::Types::Name)
Base (Steep::Diagnostic::Signature)
BaseFormatter (Steep::Drivers::DiagnosticPrinter)
BaseParameter (Steep::TypeInference::MethodParams)
BaseRestParameter (Steep::TypeInference::MethodParams)
BaseWorker (Steep::Server)
Block (Steep::Interface)
BlockBodyTypeMismatch (Steep::Diagnostic::Ruby)
BlockContext (Steep::TypeInference::Context)
BlockMismatchError (Steep::Subtyping::Result::Failure)
BlockParameter (Steep::TypeInference::MethodParams)
BlockParams (Steep::TypeInference)
BlockPassArg (Steep::TypeInference::SendArgs)
BlockType (Steep::AST::Annotation)
BlockTypeMismatch (Steep::Diagnostic::Ruby)
Boolean (Steep::AST::Types)
Bot (Steep::AST::Types)
BreakContext (Steep::TypeInference::Context)
BreakType (Steep::AST::Annotation)
BreakTypeMismatch (Steep::Diagnostic::Ruby)
BufferScanner (Steep::AST::Ignore)
Builder (Steep::Interface)
Builder (Steep::Source)
Builder (Steep::Index::RBSIndex)
Builtin (Steep::AST)

CLI (Steep)
CSVPrinter (Steep::Drivers::Stats)
Cache (Steep::Subtyping)
CaseWhen (Steep::TypeInference)
ChangeBuffer (Steep::Server)
Check (Steep::Subtyping)
Check (Steep::Drivers)
Checkfile (Steep::Drivers)
ChildrenLevel (Steep::AST::Types::Helper)
Class (Steep::AST::Types)
ClassInstanceVariableDuplicationError (Steep::Diagnostic::Signature)
ClassModuleMismatch (Steep::Diagnostic::Ruby)
ClassVariableDuplicationError (Steep::Diagnostic::Signature)
CodeFormatter (Steep::Drivers::DiagnosticPrinter)
Collection (Steep::AST::Annotation)
Command (Steep::TypeInference::TypeEnvBuilder)
CommandConfiguration (Steep::RakeTask)
CommentResult (Steep::Locator)
CompletionProvider (Steep::Services)
Config (Steep::Interface::Builder)
Configuration (Steep::Daemon)
ConstType (Steep::AST::Annotation)
ConstantEntry (Steep::Index::SourceIndex)
ConstantEntry (Steep::Index::RBSIndex)
ConstantEnv (Steep::TypeInference)
ConstantQuery (Steep::Services::GotoService)
Constraints (Steep::Subtyping)
ContentChange (Steep::Services)
Context (Steep::TypeInference)
CursorContext (Steep::Typing)
CustomMethods (Steep::Server)
CyclicClassAliasDefinitionError (Steep::Diagnostic::Signature)

DSL (Steep::Project)
Daemon (Steep)
DelayQueue (Steep::Server)
DeprecatedReference (Steep::Diagnostic::Ruby)
DeprecatedTypeName (Steep::Diagnostic::Signature)
Diagnostic (Steep)
Diagnostic (Steep::Expectations)
DiagnosticPrinter (Steep::Drivers)
DifferentMethodParameterKind (Steep::Diagnostic::Ruby)
DriverHelper (Steep::Drivers::Utils)
Drivers (Steep)
DuplicatedDeclaration (Steep::Diagnostic::Signature)
DuplicatedMethodDefinition (Steep::Diagnostic::Signature)
Dynamic (Steep::AST::Annotation)

ElseOnExhaustiveCase (Steep::Diagnostic::Ruby)
Entry (Steep::Interface::Shape)
Env (Steep::AST::Types::Logic)
Equatable (Steep)
Error (Steep::TypeInference::MethodCall)
ErrorStats (Steep::Services::StatsCalculator)
Expand (Steep::Subtyping::Result)
Expectations (Steep)

Factory (Steep::AST::Types)
Failure (Steep::Subtyping::Result)
FallbackAny (Steep::Diagnostic::Ruby)
FalseAssertion (Steep::Diagnostic::Ruby)
FileLoad (Steep::Server::CustomMethods)
FileLoader (Steep::Services)
FileReset (Steep::Server::CustomMethods)
FileTracker (Steep::Daemon::Server)
ForwardedArgs (Steep::TypeInference::SendArgs)
Function (Steep::Interface)

GCCounter
GenericParameterMismatch (Steep::Diagnostic::Signature)
GitHubActionsFormatter (Steep::Drivers::DiagnosticPrinter)
GlobalEntry (Steep::Index::RBSIndex)
GotoJob (Steep::Server::TypeCheckWorker)
GotoService (Steep::Services)
Group (Steep::Project)
GroupDSL (Steep::Project::DSL)
GroupHandler (Steep::Server::Master)
Groups (Steep::Server::CustomMethods)

Helper (Steep::Diagnostic)
Helper (Steep::AST::Types)
Helper (Steep::Subtyping::Result)
HoverProvider (Steep::Services)

Ignore (Steep::AST)
IgnoreEnd (Steep::AST::Ignore)
IgnoreLine (Steep::AST::Ignore)
IgnoreRanges (Steep::Source)
IgnoreStart (Steep::AST::Ignore)
Implements (Steep::AST::Annotation)
ImplicitBreakValueMismatch (Steep::Diagnostic::Ruby)
ImportConstantAnnotations (Steep::TypeInference::TypeEnvBuilder::Command)
ImportGlobalDeclarations (Steep::TypeInference::TypeEnvBuilder::Command)
ImportInstanceVariableAnnotations (Steep::TypeInference::TypeEnvBuilder::Command)
ImportInstanceVariableDefinition (Steep::TypeInference::TypeEnvBuilder::Command)
ImportLocalVariableAnnotations (Steep::TypeInference::TypeEnvBuilder::Command)
IncompatibleAnnotation (Steep::Diagnostic::Ruby)
IncompatibleArgumentForwarding (Steep::Diagnostic::Ruby)
IncompatibleAssignment (Steep::Diagnostic::Ruby)
InconsistentClassModuleAliasError (Steep::Diagnostic::Signature)
Index (Steep)
InheritModuleError (Steep::Diagnostic::Signature)
Init (Steep::Drivers)
Inline (Steep::Locator)
InlineAnnotationResult (Steep::Locator)
InlineDiagnostic (Steep::Diagnostic::Signature)
InlineSourceChangeDetector (Steep::Server)
InlineTypeNameResult (Steep::Locator)
InlineTypeResult (Steep::Locator)
Instance (Steep::AST::Types)
Instance (Steep::AST::Types::Name)
InstanceType (Steep::AST::Annotation)
InstanceVariableDuplicationError (Steep::Diagnostic::Signature)
InstanceVariableTypeError (Steep::Diagnostic::Signature)
InsufficientKeywordArguments (Steep::Diagnostic::Ruby)
InsufficientPositionalArguments (Steep::Diagnostic::Ruby)
InsufficientTypeArgument (Steep::Diagnostic::Ruby)
InteractionWorker (Steep::Server)
Interface (Steep::AST::Types::Name)
Interface (Steep)
Intersection (Steep::AST::Types)
InvalidIgnoreComment (Steep::Diagnostic::Ruby)
InvalidMethodOverload (Steep::Diagnostic::Signature)
InvalidSubstitutionError (Steep::Interface::Substitution)
InvalidTypeApplication (Steep::Diagnostic::Signature)
InvalidVarianceAnnotation (Steep::Diagnostic::Signature)
IvarType (Steep::AST::Annotation)

JobsOption (Steep::Drivers::Utils)

KeywordArgs (Steep::TypeInference::SendArgs)
KeywordParameter (Steep::TypeInference::MethodParams)
KeywordParams (Steep::Interface::Function::Params)
KeywordRestParameter (Steep::TypeInference::MethodParams)

LSPFormatter (Steep::Server)
LSPFormatter (Steep::Diagnostic)
Langserver (Steep::Drivers)
LibraryOptions (Steep::Project::DSL)
LibraryRBSError (Steep::Diagnostic::Ruby)
Literal (Steep::AST::Types)
LoadedStatus (Steep::Services::SignatureService)
Located (Steep::AST::Annotation)
LocatedValue (Steep)
Location (RBS)
Locator (Steep)
Logic (Steep::AST::Types)
LogicTypeInterpreter (Steep::TypeInference)
LoopAbort (Steep::Subtyping::Result::Failure)

Master (Steep::Server)
MessageUtils (Steep::Server::Master)
MethodArityMismatch (Steep::Diagnostic::Ruby)
MethodBodyTypeMismatch (Steep::Diagnostic::Ruby)
MethodCall (Steep::TypeInference)
MethodContext (Steep::TypeInference::Context)
MethodDecl (Steep::TypeInference::MethodCall)
MethodDefinitionInUndeclaredModule (Steep::Diagnostic::Ruby)
MethodDefinitionMissing (Steep::Diagnostic::Ruby)
MethodEntry (Steep::Index::RBSIndex)
MethodEntry (Steep::Index::SourceIndex)
MethodMissingError (Steep::Subtyping::Result::Failure)
MethodOverload (Steep::Interface::Shape)
MethodParameterMismatch (Steep::Diagnostic::Ruby)
MethodParams (Steep::TypeInference)
MethodQuery (Steep::Services::GotoService)
MethodReturnTypeAnnotationMismatch (Steep::Diagnostic::Ruby)
MethodType (Steep::Interface)
MethodType (Steep::AST::Annotation)
Methods (Steep::Interface::Shape)
MissingArg (Steep::TypeInference::SendArgs::PositionalArgs)
MissingKeyword (Steep::TypeInference::SendArgs::KeywordArgs)
MixinClassError (Steep::Diagnostic::Signature)
Module (Steep::AST::Annotation::Implements)
ModuleContext (Steep::TypeInference::Context)
ModuleHelper (Steep)
ModuleSelfTypeError (Steep::Diagnostic::Signature)
ModuleType (Steep::AST::Annotation)
MultipleAssignment (Steep::TypeInference)
MultipleAssignmentConversionError (Steep::Diagnostic::Ruby)
MultipleParam (Steep::TypeInference::BlockParams)

Name (Steep::AST::Annotation::Dynamic)
Name (Steep::AST::Types)
Named (Steep::AST::Annotation)
Nil (Steep::AST::Types)
NoChild (Steep::AST::Types::Helper)
NoFreeVariables (Steep::AST::Types::Helper)
NoMethod (Steep::Diagnostic::Ruby)
NoMethodError (Steep::TypeInference::MethodCall)
Node (Steep::AST)
NodeHelper (Steep)
NodeParamPair (Steep::TypeInference::SendArgs::PositionalArgs)
NodeResult (Steep::Locator)
NodeTypePair (Steep::TypeInference::SendArgs::PositionalArgs)
NonregularTypeAlias (Steep::Diagnostic::Signature)
Not (Steep::AST::Types::Logic)

Object
Optional (Steep::Interface::Function::Params::PositionalParams)
Options (Steep::Project)

Pair (Steep::TypeConstruction)
Param (Steep::TypeInference::BlockParams)
ParameterMismatchError (Steep::Subtyping::Result::Failure)
Params (Steep::Interface::Function)
PathAssignment (Steep::Services)
PathEnumerator (Steep::Server::TargetGroupFiles)
PathHelper (Steep)
Pattern (Steep::Project)
PolyMethodSubtyping (Steep::Subtyping::Result::Failure)
Position (Steep::Services::ContentChange)
PositionalArgs (Steep::TypeInference::SendArgs)
PositionalParameter (Steep::TypeInference::MethodParams)
PositionalParams (Steep::Interface::Function::Params)
PositionalRestParameter (Steep::TypeInference::MethodParams)
Prefix (Steep::Services::CompletionProvider::TypeName)
PrintProject (Steep::Drivers)
Proc (Steep::AST::Types)
ProcHintIgnored (Steep::Diagnostic::Ruby)
ProcTypeExpected (Steep::Diagnostic::Ruby)
Project (Steep)

Query (Steep::Drivers)
Query__Definition (Steep::Server::CustomMethods)

RBS (Steep::Services::HoverProvider)
RBS (Steep::Services::CompletionProvider)
RBSBase (Steep::TypeInference::TypeEnvBuilder::Command)
RBSError (Steep::Diagnostic::Ruby)
RBSIndex (Steep::Index)
RakeTask (Steep)
Range (Parser::Source)
ReceiverIsArg (Steep::AST::Types::Logic)
ReceiverIsNil (Steep::AST::Types::Logic)
ReceiverIsNotNil (Steep::AST::Types::Logic)
Record (Steep::AST::Types)
RecursiveAlias (Steep::Diagnostic::Signature)
RecursiveAncestor (Steep::Diagnostic::Signature)
RecursiveTypeAlias (Steep::Diagnostic::Signature)
RedundantIgnoreComment (Steep::Diagnostic::Ruby)
Refork (Steep::Server::CustomMethods)
Relation (Steep::Subtyping)
Request (Steep::Server::TypeCheckController)
Required (Steep::Interface::Function::Params::PositionalParams)
RequiredBlockMissing (Steep::Diagnostic::Ruby)
Rest (Steep::Interface::Function::Params::PositionalParams)
Result (Steep::Subtyping)
Result (Steep::TypeInference::LogicTypeInterpreter)
ResultController (Steep::Server::Master)
ResultHandler (Steep::Server::Master)
ResultPrinter (Steep::Diagnostic::Ruby)
ResultPrinter2 (Steep::Diagnostic)
ReturnType (Steep::AST::Annotation)
ReturnTypeMismatch (Steep::Diagnostic::Ruby)
Ruby (Steep::Services::CompletionProvider)
Ruby (Steep::Services::HoverProvider)
Ruby (Steep::Diagnostic)
Ruby (Steep::Locator)

Sampler (Steep)
Self (Steep::AST::Types)
SelfBindingMismatch (Steep::Subtyping::Result::Failure)
SelfType (Steep::AST::Annotation)
SendArgs (Steep::TypeInference)
SendMessageJob (Steep::Server::Master)
Server (Steep)
Server (Steep::Daemon)
Services (Steep)
SetterBodyTypeMismatch (Steep::Diagnostic::Ruby)
SetterReturnTypeMismatch (Steep::Diagnostic::Ruby)
Shape (Steep::Interface)
SharedInstance (Steep::AST::Types)
Signature (Steep::Diagnostic)
Signature (Steep)
SignatureHelpProvider (Steep::Services)
SignatureService (Steep::Services)
SignatureSymbolProvider (Steep::Index)
Singleton (Steep::AST::Types::Name)
SingletonMethods (Steep::Services::HoverProvider)
Skip (Steep::Subtyping::Result)
Source (Steep::Server::InlineSourceChangeDetector)
Source (Steep)
SourceFile (Steep::Services::TypeCheckService)
SourceHelper (Steep::Services::GotoService)
SourceIndex (Steep::Index)
Special (Steep::TypeInference::MethodCall)
SplatArg (Steep::TypeInference::SendArgs::KeywordArgs)
SplatArg (Steep::TypeInference::SendArgs::PositionalArgs)
StartServer (Steep::Drivers)
Stats (Steep::Drivers)
Stats (Steep::Server::CustomMethods)
StatsCalculator (Steep::Services)
Steep
StopServer (Steep::Drivers)
Substitution (Steep::Interface)
Subtyping (Steep)
Success (Steep::Subtyping::Result)
SuccessStats (Steep::Services::StatsCalculator)
SuperclassMismatch (Steep::Diagnostic::Signature)
SymbolInformation (Steep::Index::SignatureSymbolProvider)
SyntaxError (Steep::Diagnostic::Signature)
SyntaxError (Steep::AnnotationParser)
SyntaxError (Steep::Diagnostic::Ruby)
SyntaxErrorStatus (Steep::Services::SignatureService)

TablePrinter (Steep::Drivers::Stats)
TaggedLogging (Steep)
Target (Steep::Project)
TargetDSL (Steep::Project::DSL)
TargetGroupFiles (Steep::Server)
TaskConfiguration (Steep::RakeTask)
TestResult (Steep::Expectations)
TextItem (Steep::Services::CompletionProvider)
ThreadWaiter (Steep)
Top (Steep::AST::Types)
Tuple (Steep::AST::Types)
Type (Steep::AST::Builtin)
TypeApplication (Steep::AST::Node)
TypeApplicationResult (Steep::Locator)
TypeArgumentMismatchError (Steep::Diagnostic::Ruby)
TypeAssertion (Steep::AST::Node)
TypeAssertionResult (Steep::Locator)
TypeCheck (Steep::Server::CustomMethods)
TypeCheckController (Steep::Server)
TypeCheckGroups (Steep::Server::CustomMethods)
TypeCheckService (Steep::Services)
TypeCheckWorker (Steep::Server)
TypeCheck__Progress (Steep::Server::CustomMethods)
TypeCheck__Start (Steep::Server::CustomMethods)
TypeConstruction (Steep)
TypeEntry (Steep::Index::RBSIndex)
TypeEnv (Steep::TypeInference)
TypeEnvBuilder (Steep::TypeInference)
TypeInference (Steep)
TypeName (Steep::Services::CompletionProvider)
TypeNameItem (Steep::Services::CompletionProvider)
TypeNameLocator (Steep::Locator)
TypeNameQuery (Steep::Services::GotoService)
TypeParam (Steep::Interface)
TypeParamDefaultReferenceError (Steep::Diagnostic::Signature)
TypeVariableContext (Steep::TypeInference::Context)
Typed (Steep::AST::Annotation)
Typed (Steep::TypeInference::MethodCall)
Types (Steep::AST)
Typing (Steep)

UnannotatedEmptyCollection (Steep::Diagnostic::Ruby)
UndeclaredMethodDefinition (Steep::Diagnostic::Ruby)
UnexpectedArg (Steep::TypeInference::SendArgs::PositionalArgs)
UnexpectedBlockGiven (Steep::Diagnostic::Ruby)
UnexpectedDynamicMethod (Steep::Diagnostic::Ruby)
UnexpectedError (Steep::Diagnostic::Signature)
UnexpectedError (Steep::Diagnostic::Ruby)
UnexpectedJump (Steep::Diagnostic::Ruby)
UnexpectedJumpValue (Steep::Diagnostic::Ruby)
UnexpectedKeyword (Steep::TypeInference::SendArgs::KeywordArgs)
UnexpectedKeywordArgument (Steep::Diagnostic::Ruby)
UnexpectedPositionalArgument (Steep::Diagnostic::Ruby)
UnexpectedSuper (Steep::Diagnostic::Ruby)
UnexpectedTypeArgument (Steep::Diagnostic::Ruby)
UnexpectedYield (Steep::Diagnostic::Ruby)
Union (Steep::AST::Types)
UnknownConstant (Steep::Diagnostic::Ruby)
UnknownConstantAssigned (Steep::Diagnostic::Ruby)
UnknownGlobalVariable (Steep::Diagnostic::Ruby)
UnknownInstanceVariable (Steep::Diagnostic::Ruby)
UnknownMethodAlias (Steep::Diagnostic::Signature)
UnknownNodeError (Steep::Typing)
UnknownPairError (Steep::Subtyping::Result::Failure)
UnknownRecordKey (Steep::Diagnostic::Ruby)
UnknownTypeName (Steep::Diagnostic::Signature)
UnknownsFreeVariableNotDisjoint (Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
UnreachableBranch (Steep::Diagnostic::Ruby)
UnreachableValueBranch (Steep::Diagnostic::Ruby)
UnresolvedOverloading (Steep::Diagnostic::Ruby)
UnsatisfiableConstraint (Steep::Subtyping::Constraints)
UnsatisfiableConstraint (Steep::Diagnostic::Ruby)
UnsatisfiableGenericsDefaultType (Steep::Diagnostic::Signature)
UnsatisfiableTypeApplication (Steep::Diagnostic::Signature)
UnsatisfiedConstraints (Steep::Subtyping::Result::Failure)
UnsatisfiedInvariantError (Steep::Subtyping::Constraints)
UnsupportedSyntax (Steep::Diagnostic::Ruby)
Untyped (Steep::TypeInference::MethodCall)
Utils (Steep::Interface::Function::Params)
Utils (Steep::Drivers)

Validator (Steep::Signature)
Var (Steep::AST::Types)
VarType (Steep::AST::Annotation)
VariableDuplicationError (Steep::Diagnostic::Signature)
VariableVariance (Steep::Subtyping)
VariablesFreeVariablesNotDisjoint (Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
VariablesUnknownsNotDisjoint (Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
Vendor (Steep::Drivers)
Void (Steep::AST::Types)

Watch (Steep::Drivers)
WhenPatterns (Steep::TypeInference::CaseWhen)
WithPattern (Steep::Project::DSL)
WorkDoneProgress (Steep::Server)
Worker (Steep::Drivers)
WorkerProcess (Steep::Server)