Featured Classes

Demo

SetterReturnTypeMismatch

class

Steep::Diagnostic::Ruby

TypeNameItem

class

Steep::Services::CompletionProvider

Error

class

Steep::TypeInference::MethodCall

Param

class

Steep::TypeInference::BlockParams

UnsatisfiableConstraint

class

Steep::Diagnostic::Ruby

UnsatisfiedConstraints

class

Steep::Subtyping::Result::Failure

All Classes

Object

class

Range

class

Parser::Source

Location

class

RBS

BlockType

class

Steep::AST::Annotation

BreakType

class

Steep::AST::Annotation

Collection

class

Steep::AST::Annotation

ConstType

class

Steep::AST::Annotation

Dynamic

class

Steep::AST::Annotation

Name

class

Steep::AST::Annotation::Dynamic

Implements

class

Steep::AST::Annotation

Module

class

Steep::AST::Annotation::Implements

InstanceType

class

Steep::AST::Annotation

IvarType

class

Steep::AST::Annotation

MethodType

class

Steep::AST::Annotation

ModuleType

class

Steep::AST::Annotation

Named

class

Steep::AST::Annotation

ReturnType

class

Steep::AST::Annotation

SelfType

class

Steep::AST::Annotation

Typed

class

Steep::AST::Annotation

VarType

class

Steep::AST::Annotation

Type

class

Steep::AST::Builtin

BufferScanner

class

Steep::AST::Ignore

IgnoreEnd

class

Steep::AST::Ignore

IgnoreLine

class

Steep::AST::Ignore

IgnoreStart

class

Steep::AST::Ignore

TypeApplication

class

Steep::AST::Node

TypeAssertion

class

Steep::AST::Node

Any

class

Steep::AST::Types

Boolean

class

Steep::AST::Types

Bot

class

Steep::AST::Types

Class

class

Steep::AST::Types

Factory

class

Steep::AST::Types

Instance

class

Steep::AST::Types

Intersection

class

Steep::AST::Types

Literal

class

Steep::AST::Types

ArgEqualsReceiver

class

Steep::AST::Types::Logic

ArgIsAncestor

class

Steep::AST::Types::Logic

ArgIsReceiver

class

Steep::AST::Types::Logic

Base

class

Steep::AST::Types::Logic

Env

class

Steep::AST::Types::Logic

Not

class

Steep::AST::Types::Logic

ReceiverIsArg

class

Steep::AST::Types::Logic

ReceiverIsNil

class

Steep::AST::Types::Logic

ReceiverIsNotNil

class

Steep::AST::Types::Logic

Alias

class

Steep::AST::Types::Name

Applying

class

Steep::AST::Types::Name

Base

class

Steep::AST::Types::Name

Instance

class

Steep::AST::Types::Name

Interface

class

Steep::AST::Types::Name

Singleton

class

Steep::AST::Types::Name

Nil

class

Steep::AST::Types

Proc

class

Steep::AST::Types

Record

class

Steep::AST::Types

Self

class

Steep::AST::Types

Top

class

Steep::AST::Types

Tuple

class

Steep::AST::Types

Union

class

Steep::AST::Types

Var

class

Steep::AST::Types

Void

class

Steep::AST::Types

AnnotationParser

class

Steep

SyntaxError

class

Steep::AnnotationParser

CLI

class

Steep

LSPFormatter

class

Steep::Diagnostic

AnnotationSyntaxError

class

Steep::Diagnostic::Ruby

ArgumentTypeMismatch

class

Steep::Diagnostic::Ruby

Base

class

Steep::Diagnostic::Ruby

BlockBodyTypeMismatch

class

Steep::Diagnostic::Ruby

BlockTypeMismatch

class

Steep::Diagnostic::Ruby

BreakTypeMismatch

class

Steep::Diagnostic::Ruby

ClassModuleMismatch

class

Steep::Diagnostic::Ruby

DifferentMethodParameterKind

class

Steep::Diagnostic::Ruby

ElseOnExhaustiveCase

class

Steep::Diagnostic::Ruby

FallbackAny

class

Steep::Diagnostic::Ruby

FalseAssertion

class

Steep::Diagnostic::Ruby

ImplicitBreakValueMismatch

class

Steep::Diagnostic::Ruby

IncompatibleAnnotation

class

Steep::Diagnostic::Ruby

IncompatibleArgumentForwarding

class

Steep::Diagnostic::Ruby

IncompatibleAssignment

class

Steep::Diagnostic::Ruby

InsufficientKeywordArguments

class

Steep::Diagnostic::Ruby

InsufficientPositionalArguments

class

Steep::Diagnostic::Ruby

InsufficientTypeArgument

class

Steep::Diagnostic::Ruby

InvalidIgnoreComment

class

Steep::Diagnostic::Ruby

MethodArityMismatch

class

Steep::Diagnostic::Ruby

MethodBodyTypeMismatch

class

Steep::Diagnostic::Ruby

MethodDefinitionMissing

class

Steep::Diagnostic::Ruby

MethodParameterMismatch

class

Steep::Diagnostic::Ruby

MethodReturnTypeAnnotationMismatch

class

Steep::Diagnostic::Ruby

MultipleAssignmentConversionError

class

Steep::Diagnostic::Ruby

NoMethod

class

Steep::Diagnostic::Ruby

ProcHintIgnored

class

Steep::Diagnostic::Ruby

ProcTypeExpected

class

Steep::Diagnostic::Ruby

RBSError

class

Steep::Diagnostic::Ruby

RequiredBlockMissing

class

Steep::Diagnostic::Ruby

ReturnTypeMismatch

class

Steep::Diagnostic::Ruby

SetterBodyTypeMismatch

class

Steep::Diagnostic::Ruby

SetterReturnTypeMismatch

class

Steep::Diagnostic::Ruby

SyntaxError

class

Steep::Diagnostic::Ruby

TypeArgumentMismatchError

class

Steep::Diagnostic::Ruby

UnannotatedEmptyCollection

class

Steep::Diagnostic::Ruby

UnexpectedBlockGiven

class

Steep::Diagnostic::Ruby

UnexpectedDynamicMethod

class

Steep::Diagnostic::Ruby

UnexpectedError

class

Steep::Diagnostic::Ruby

UnexpectedJump

class

Steep::Diagnostic::Ruby

UnexpectedJumpValue

class

Steep::Diagnostic::Ruby

UnexpectedKeywordArgument

class

Steep::Diagnostic::Ruby

UnexpectedPositionalArgument

class

Steep::Diagnostic::Ruby

UnexpectedSuper

class

Steep::Diagnostic::Ruby

UnexpectedTypeArgument

class

Steep::Diagnostic::Ruby

UnexpectedYield

class

Steep::Diagnostic::Ruby

UnknownConstant

class

Steep::Diagnostic::Ruby

UnknownConstantAssigned

class

Steep::Diagnostic::Ruby

UnknownGlobalVariable

class

Steep::Diagnostic::Ruby

UnknownInstanceVariable

class

Steep::Diagnostic::Ruby

UnknownRecordKey

class

Steep::Diagnostic::Ruby

UnreachableBranch

class

Steep::Diagnostic::Ruby

UnreachableValueBranch

class

Steep::Diagnostic::Ruby

UnresolvedOverloading

class

Steep::Diagnostic::Ruby

UnsatisfiableConstraint

class

Steep::Diagnostic::Ruby

UnsupportedSyntax

class

Steep::Diagnostic::Ruby

Base

class

Steep::Diagnostic::Signature

ClassVariableDuplicationError

class

Steep::Diagnostic::Signature

CyclicClassAliasDefinitionError

class

Steep::Diagnostic::Signature

DuplicatedDeclaration

class

Steep::Diagnostic::Signature

DuplicatedMethodDefinition

class

Steep::Diagnostic::Signature

GenericParameterMismatch

class

Steep::Diagnostic::Signature

InconsistentClassModuleAliasError

class

Steep::Diagnostic::Signature

InheritModuleError

class

Steep::Diagnostic::Signature

InstanceVariableTypeError

class

Steep::Diagnostic::Signature

InvalidMethodOverload

class

Steep::Diagnostic::Signature

InvalidTypeApplication

class

Steep::Diagnostic::Signature

InvalidVarianceAnnotation

class

Steep::Diagnostic::Signature

MixinClassError

class

Steep::Diagnostic::Signature

ModuleSelfTypeError

class

Steep::Diagnostic::Signature

NonregularTypeAlias

class

Steep::Diagnostic::Signature

RecursiveAlias

class

Steep::Diagnostic::Signature

RecursiveAncestor

class

Steep::Diagnostic::Signature

RecursiveTypeAlias

class

Steep::Diagnostic::Signature

SuperclassMismatch

class

Steep::Diagnostic::Signature

SyntaxError

class

Steep::Diagnostic::Signature

TypeParamDefaultReferenceError

class

Steep::Diagnostic::Signature

UnexpectedError

class

Steep::Diagnostic::Signature

UnknownMethodAlias

class

Steep::Diagnostic::Signature

UnknownTypeName

class

Steep::Diagnostic::Signature

UnsatisfiableGenericsDefaultType

class

Steep::Diagnostic::Signature

UnsatisfiableTypeApplication

class

Steep::Diagnostic::Signature

Annotations

class

Steep::Drivers

Check

class

Steep::Drivers

Checkfile

class

Steep::Drivers

DiagnosticPrinter

class

Steep::Drivers

Init

class

Steep::Drivers

Langserver

class

Steep::Drivers

PrintProject

class

Steep::Drivers

Stats

class

Steep::Drivers

CSVPrinter

class

Steep::Drivers::Stats

TablePrinter

class

Steep::Drivers::Stats

JobsOption

class

Steep::Drivers::Utils

Vendor

class

Steep::Drivers

Watch

class

Steep::Drivers

Worker

class

Steep::Drivers

Expectations

class

Steep

Diagnostic

class

Steep::Expectations

TestResult

class

Steep::Expectations

RBSIndex

class

Steep::Index

Builder

class

Steep::Index::RBSIndex

ConstantEntry

class

Steep::Index::RBSIndex

GlobalEntry

class

Steep::Index::RBSIndex

MethodEntry

class

Steep::Index::RBSIndex

TypeEntry

class

Steep::Index::RBSIndex

SignatureSymbolProvider

class

Steep::Index

SymbolInformation

class

Steep::Index::SignatureSymbolProvider

SourceIndex

class

Steep::Index

ConstantEntry

class

Steep::Index::SourceIndex

MethodEntry

class

Steep::Index::SourceIndex

Block

class

Steep::Interface

Builder

class

Steep::Interface

Config

class

Steep::Interface::Builder

Function

class

Steep::Interface

Params

class

Steep::Interface::Function

KeywordParams

class

Steep::Interface::Function::Params

PositionalParams

class

Steep::Interface::Function::Params

Base

class

Steep::Interface::Function::Params::PositionalParams

Optional

class

Steep::Interface::Function::Params::PositionalParams

Required

class

Steep::Interface::Function::Params::PositionalParams

Rest

class

Steep::Interface::Function::Params::PositionalParams

MethodType

class

Steep::Interface

Shape

class

Steep::Interface

Entry

class

Steep::Interface::Shape

MethodOverload

class

Steep::Interface::Shape

Methods

class

Steep::Interface::Shape

Substitution

class

Steep::Interface

InvalidSubstitutionError

class

Steep::Interface::Substitution

TypeParam

class

Steep::Interface

LocatedValue

class

Steep

Project

class

Steep

DSL

class

Steep::Project

GroupDSL

class

Steep::Project::DSL

TargetDSL

class

Steep::Project::DSL

Group

class

Steep::Project

Options

class

Steep::Project

Pattern

class

Steep::Project

Target

class

Steep::Project

RakeTask

class

Steep

CommandConfiguration

class

Steep::RakeTask

TaskConfiguration

class

Steep::RakeTask

Sampler

class

Steep

BaseWorker

class

Steep::Server

DelayQueue

class

Steep::Server

InteractionWorker

class

Steep::Server

Master

class

Steep::Server

GroupHandler

class

Steep::Server::Master

ResultController

class

Steep::Server::Master

ResultHandler

class

Steep::Server::Master

SendMessageJob

class

Steep::Server::Master

TargetGroupFiles

class

Steep::Server

TypeCheckController

class

Steep::Server

Request

class

Steep::Server::TypeCheckController

TypeCheckWorker

class

Steep::Server

GotoJob

class

Steep::Server::TypeCheckWorker

WorkDoneProgress

class

Steep::Server

WorkerProcess

class

Steep::Server

CompletionProvider

class

Steep::Services

TextItem

class

Steep::Services::CompletionProvider

TypeNameItem

class

Steep::Services::CompletionProvider

ContentChange

class

Steep::Services

Position

class

Steep::Services::ContentChange

FileLoader

class

Steep::Services

GotoService

class

Steep::Services

ConstantQuery

class

Steep::Services::GotoService

MethodQuery

class

Steep::Services::GotoService

TypeNameQuery

class

Steep::Services::GotoService

RBS

class

Steep::Services::HoverProvider

Ruby

class

Steep::Services::HoverProvider

PathAssignment

class

Steep::Services

SignatureHelpProvider

class

Steep::Services

SignatureService

class

Steep::Services

AncestorErrorStatus

class

Steep::Services::SignatureService

LoadedStatus

class

Steep::Services::SignatureService

SyntaxErrorStatus

class

Steep::Services::SignatureService

StatsCalculator

class

Steep::Services

ErrorStats

class

Steep::Services::StatsCalculator

SuccessStats

class

Steep::Services::StatsCalculator

TypeCheckService

class

Steep::Services

SourceFile

class

Steep::Services::TypeCheckService

TypeNameCompletion

class

Steep::Services

Validator

class

Steep::Signature

Source

class

Steep

Builder

class

Steep::Source

IgnoreRanges

class

Steep::Source

Cache

class

Steep::Subtyping

Check

class

Steep::Subtyping

Constraints

class

Steep::Subtyping

UnsatisfiableConstraint

class

Steep::Subtyping::Constraints

UnsatisfiedInvariantError

class

Steep::Subtyping::Constraints

UnknownsFreeVariableNotDisjoint

class

Steep::Subtyping::Constraints::UnsatisfiedInvariantError

VariablesFreeVariablesNotDisjoint

class

Steep::Subtyping::Constraints::UnsatisfiedInvariantError

VariablesUnknownsNotDisjoint

class

Steep::Subtyping::Constraints::UnsatisfiedInvariantError

Relation

class

Steep::Subtyping

All

class

Steep::Subtyping::Result

Any

class

Steep::Subtyping::Result

Base

class

Steep::Subtyping::Result

Expand

class

Steep::Subtyping::Result

Failure

class

Steep::Subtyping::Result

BlockMismatchError

class

Steep::Subtyping::Result::Failure

LoopAbort

class

Steep::Subtyping::Result::Failure

MethodMissingError

class

Steep::Subtyping::Result::Failure

ParameterMismatchError

class

Steep::Subtyping::Result::Failure

PolyMethodSubtyping

class

Steep::Subtyping::Result::Failure

SelfBindingMismatch

class

Steep::Subtyping::Result::Failure

UnknownPairError

class

Steep::Subtyping::Result::Failure

UnsatisfiedConstraints

class

Steep::Subtyping::Result::Failure

Skip

class

Steep::Subtyping::Result

Success

class

Steep::Subtyping::Result

VariableVariance

class

Steep::Subtyping

ThreadWaiter

class

Steep

TypeConstruction

class

Steep

Pair

class

Steep::TypeConstruction

BlockParams

class

Steep::TypeInference

MultipleParam

class

Steep::TypeInference::BlockParams

Param

class

Steep::TypeInference::BlockParams

CaseWhen

class

Steep::TypeInference

WhenPatterns

class

Steep::TypeInference::CaseWhen

ConstantEnv

class

Steep::TypeInference

Context

class

Steep::TypeInference

BlockContext

class

Steep::TypeInference::Context

BreakContext

class

Steep::TypeInference::Context

MethodContext

class

Steep::TypeInference::Context

ModuleContext

class

Steep::TypeInference::Context

TypeVariableContext

class

Steep::TypeInference::Context

LogicTypeInterpreter

class

Steep::TypeInference

Result

class

Steep::TypeInference::LogicTypeInterpreter

Base

class

Steep::TypeInference::MethodCall

Error

class

Steep::TypeInference::MethodCall

MethodDecl

class

Steep::TypeInference::MethodCall

NoMethodError

class

Steep::TypeInference::MethodCall

Special

class

Steep::TypeInference::MethodCall

Typed

class

Steep::TypeInference::MethodCall

Untyped

class

Steep::TypeInference::MethodCall

MethodParams

class

Steep::TypeInference

BaseParameter

class

Steep::TypeInference::MethodParams

BaseRestParameter

class

Steep::TypeInference::MethodParams

BlockParameter

class

Steep::TypeInference::MethodParams

KeywordParameter

class

Steep::TypeInference::MethodParams

KeywordRestParameter

class

Steep::TypeInference::MethodParams

PositionalParameter

class

Steep::TypeInference::MethodParams

PositionalRestParameter

class

Steep::TypeInference::MethodParams

MultipleAssignment

class

Steep::TypeInference

SendArgs

class

Steep::TypeInference

BlockPassArg

class

Steep::TypeInference::SendArgs

ForwardedArgs

class

Steep::TypeInference::SendArgs

KeywordArgs

class

Steep::TypeInference::SendArgs

ArgTypePairs

class

Steep::TypeInference::SendArgs::KeywordArgs

MissingKeyword

class

Steep::TypeInference::SendArgs::KeywordArgs

SplatArg

class

Steep::TypeInference::SendArgs::KeywordArgs

UnexpectedKeyword

class

Steep::TypeInference::SendArgs::KeywordArgs

PositionalArgs

class

Steep::TypeInference::SendArgs

MissingArg

class

Steep::TypeInference::SendArgs::PositionalArgs

NodeParamPair

class

Steep::TypeInference::SendArgs::PositionalArgs

NodeTypePair

class

Steep::TypeInference::SendArgs::PositionalArgs

SplatArg

class

Steep::TypeInference::SendArgs::PositionalArgs

UnexpectedArg

class

Steep::TypeInference::SendArgs::PositionalArgs

TypeEnv

class

Steep::TypeInference

TypeEnvBuilder

class

Steep::TypeInference

AnnotationsBase

class

Steep::TypeInference::TypeEnvBuilder::Command

ImportConstantAnnotations

class

Steep::TypeInference::TypeEnvBuilder::Command

ImportGlobalDeclarations

class

Steep::TypeInference::TypeEnvBuilder::Command

ImportInstanceVariableAnnotations

class

Steep::TypeInference::TypeEnvBuilder::Command

ImportInstanceVariableDefinition

class

Steep::TypeInference::TypeEnvBuilder::Command

ImportLocalVariableAnnotations

class

Steep::TypeInference::TypeEnvBuilder::Command

RBSBase

class

Steep::TypeInference::TypeEnvBuilder::Command

Typing

class

Steep

CursorContext

class

Steep::Typing

UnknownNodeError

class

Steep::Typing

All Modules

GCCounter

module

Steep

module

AST

module

Steep

Annotation

module

Steep::AST

Located

module

Steep::AST::Annotation

Builtin

module

Steep::AST

Ignore

module

Steep::AST

Node

module

Steep::AST

Types

module

Steep::AST

Helper

module

Steep::AST::Types

ChildrenLevel

module

Steep::AST::Types::Helper

NoChild

module

Steep::AST::Types::Helper

NoFreeVariables

module

Steep::AST::Types::Helper

Logic

module

Steep::AST::Types

Name

module

Steep::AST::Types

SharedInstance

module

Steep::AST::Types

Diagnostic

module

Steep

Helper

module

Steep::Diagnostic

ResultPrinter2

module

Steep::Diagnostic

Ruby

module

Steep::Diagnostic

ResultPrinter

module

Steep::Diagnostic::Ruby

Signature

module

Steep::Diagnostic

Drivers

module

Steep

Utils

module

Steep::Drivers

DriverHelper

module

Steep::Drivers::Utils

Equatable

module

Steep

Index

module

Steep

Interface

module

Steep

Utils

module

Steep::Interface::Function::Params

ModuleHelper

module

Steep

NodeHelper

module

Steep

PathHelper

module

Steep

LibraryOptions

module

Steep::Project::DSL

WithPattern

module

Steep::Project::DSL

Server

module

Steep

ChangeBuffer

module

Steep::Server

CustomMethods

module

Steep::Server

FileLoad

module

Steep::Server::CustomMethods

FileReset

module

Steep::Server::CustomMethods

Groups

module

Steep::Server::CustomMethods

Stats

module

Steep::Server::CustomMethods

TypeCheck

module

Steep::Server::CustomMethods

TypeCheckGroups

module

Steep::Server::CustomMethods

TypeCheck__Progress

module

Steep::Server::CustomMethods

TypeCheck__Start

module

Steep::Server::CustomMethods

LSPFormatter

module

Steep::Server

MessageUtils

module

Steep::Server::Master

Services

module

Steep

SourceHelper

module

Steep::Services::GotoService

HoverProvider

module

Steep::Services

SingletonMethods

module

Steep::Services::HoverProvider

Prefix

module

Steep::Services::TypeNameCompletion

Signature

module

Steep

Subtyping

module

Steep

Result

module

Steep::Subtyping

Helper

module

Steep::Subtyping::Result

TypeInference

module

Steep

MethodCall

module

Steep::TypeInference

Command

module

Steep::TypeInference::TypeEnvBuilder