module Kernel
module Steep
module Steep::AST
module Steep::AST::Annotation
module Steep::AST::Builtin
module Steep::AST::Types
module Steep::AST::Types::Helper
module Steep::AST::Types::Helper::ChildrenLevel
module Steep::AST::Types::Helper::NoFreeVariables
module Steep::AST::Types::Logic
module Steep::AST::Types::Name
module Steep::Diagnostic
module Steep::Diagnostic::Helper
module Steep::Diagnostic::Ruby
module Steep::Diagnostic::Ruby::ResultPrinter
module Steep::Diagnostic::Signature
module Steep::Drivers
module Steep::Drivers::Utils
module Steep::Drivers::Utils::DriverHelper
module Steep::Drivers::Utils::JobsCount
module Steep::Equatable
module Steep::Index
module Steep::Interface
module Steep::Interface::Function::Params::Utils
module Steep::ModuleHelper
module Steep::Server
module Steep::Server::ChangeBuffer
module Steep::Services
module Steep::Services::GotoService::SourceHelper
module Steep::Signature
module Steep::Subtyping
module Steep::Subtyping::Result
module Steep::Subtyping::Result::Helper
module Steep::TypeInference
class Parser::Source::Range
class RBS::Location
class Steep::AST::Annotation::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::Dynamic::Name
class Steep::AST::Annotation::Implements
class Steep::AST::Annotation::Implements::Module
class Steep::AST::Annotation::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::Builtin::Type
class Steep::AST::TypeParams
class Steep::AST::Types::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::Factory::InterfaceCalculationError
class Steep::AST::Types::Instance
class Steep::AST::Types::Intersection
class Steep::AST::Types::Literal
class Steep::AST::Types::Logic::ArgEqualsReceiver
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::Masked
class Steep::AST::Types::Name::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::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::AnnotationParser
class Steep::AnnotationParser::SyntaxError
class Steep::CLI
class Steep::Diagnostic::LSPFormatter
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::DifferentMethodParameterKind
class Steep::Diagnostic::Ruby::ElseOnExhaustiveCase
class Steep::Diagnostic::Ruby::FallbackAny
class Steep::Diagnostic::Ruby::ImplicitBreakValueMismatch
class Steep::Diagnostic::Ruby::IncompatibleAnnotation
class Steep::Diagnostic::Ruby::IncompatibleAssignment
class Steep::Diagnostic::Ruby::IncompatibleMethodTypeAnnotation
class Steep::Diagnostic::Ruby::IncompatibleTypeCase
class Steep::Diagnostic::Ruby::InsufficientKeywordArguments
class Steep::Diagnostic::Ruby::InsufficientPositionalArguments
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::NoMethod
class Steep::Diagnostic::Ruby::RequiredBlockMissing
class Steep::Diagnostic::Ruby::ReturnTypeMismatch
class Steep::Diagnostic::Ruby::SyntaxError
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::UnexpectedSplat
class Steep::Diagnostic::Ruby::UnexpectedSuper
class Steep::Diagnostic::Ruby::UnexpectedYield
class Steep::Diagnostic::Ruby::UnknownConstantAssigned
class Steep::Diagnostic::Ruby::UnresolvedOverloading
class Steep::Diagnostic::Ruby::UnsatisfiableConstraint
class Steep::Diagnostic::Ruby::UnsupportedSyntax
class Steep::Diagnostic::Signature::Base
class Steep::Diagnostic::Signature::DuplicatedDeclaration
class Steep::Diagnostic::Signature::DuplicatedMethodDefinition
class Steep::Diagnostic::Signature::GenericParameterMismatch
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::UnexpectedError
class Steep::Diagnostic::Signature::UnknownMethodAlias
class Steep::Diagnostic::Signature::UnknownTypeName
class Steep::Diagnostic::Signature::UnsatisfiableTypeApplication
class Steep::Drivers::Annotations
class Steep::Drivers::Check
class Steep::Drivers::DiagnosticPrinter
class Steep::Drivers::Init
class Steep::Drivers::Langserver
class Steep::Drivers::PrintProject
class Steep::Drivers::Stats
class Steep::Drivers::Stats::CSVPrinter
class Steep::Drivers::Stats::TablePrinter
class Steep::Drivers::Validate
class Steep::Drivers::Vendor
class Steep::Drivers::Watch
class Steep::Drivers::Worker
class Steep::Expectations
class Steep::Expectations::TestResult
class Steep::Index::RBSIndex
class Steep::Index::RBSIndex::Builder
class Steep::Index::RBSIndex::ConstantEntry
class Steep::Index::RBSIndex::GlobalEntry
class Steep::Index::RBSIndex::MethodEntry
class Steep::Index::RBSIndex::TypeEntry
class Steep::Index::SignatureSymbolProvider
class Steep::Index::SourceIndex
class Steep::Index::SourceIndex::ConstantEntry
class Steep::Index::SourceIndex::MethodEntry
class Steep::Interface::Block
class Steep::Interface::Function
class Steep::Interface::Function::Params
class Steep::Interface::Function::Params::KeywordParams
class Steep::Interface::Function::Params::PositionalParams
class Steep::Interface::Function::Params::PositionalParams::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::Interface
class Steep::Interface::Interface::Entry
class Steep::Interface::MethodType
class Steep::Interface::Substitution
class Steep::Interface::Substitution::InvalidSubstitutionError
class Steep::Interface::TypeParam
class Steep::Project
class Steep::Project::DSL
class Steep::Project::DSL::TargetDSL
class Steep::Project::Options
class Steep::Project::Pattern
class Steep::Project::Target
class Steep::Sampler
class Steep::Server::BaseWorker
class Steep::Server::InteractionWorker
class Steep::Server::Master
class Steep::Server::Master::GroupHandler
class Steep::Server::Master::ResultController
class Steep::Server::Master::ResultHandler
class Steep::Server::Master::TypeCheckController
class Steep::Server::Master::TypeCheckController::TargetPaths
class Steep::Server::Master::TypeCheckRequest
class Steep::Server::TypeCheckWorker
class Steep::Server::WorkerProcess
class Steep::Services::CompletionProvider
class Steep::Services::ContentChange
class Steep::Services::ContentChange::Position
class Steep::Services::FileLoader
class Steep::Services::GotoService
class Steep::Services::HoverContent
class Steep::Services::PathAssignment
class Steep::Services::SignatureService
class Steep::Services::SignatureService::AncestorErrorStatus
class Steep::Services::SignatureService::LoadedStatus
class Steep::Services::SignatureService::SyntaxErrorStatus
class Steep::Services::StatsCalculator
class Steep::Services::TypeCheckService
class Steep::Services::TypeCheckService::SourceFile
class Steep::Services::TypeCheckService::TargetRequest
class Steep::Signature::Validator
class Steep::Source
class Steep::Source::Builder
class Steep::Source::LocatedAnnotation
class Steep::Subtyping::Cache
class Steep::Subtyping::Check
class Steep::Subtyping::Constraints
class Steep::Subtyping::Constraints::UnsatisfiableConstraint
class Steep::Subtyping::Constraints::UnsatisfiedInvariantError
class Steep::Subtyping::Constraints::UnsatisfiedInvariantError::UnknownsFreeVariableNotDisjoint
class Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesFreeVariablesNotDisjoint
class Steep::Subtyping::Constraints::UnsatisfiedInvariantError::VariablesUnknownsNotDisjoint
class Steep::Subtyping::Relation
class Steep::Subtyping::Result::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::Failure::BlockMismatchError
class Steep::Subtyping::Result::Failure::MethodMissingError
class Steep::Subtyping::Result::Failure::ParameterMismatchError
class Steep::Subtyping::Result::Failure::PolyMethodSubtyping
class Steep::Subtyping::Result::Failure::UnknownPairError
class Steep::Subtyping::Result::Failure::UnsatisfiedConstraints
class Steep::Subtyping::Result::Skip
class Steep::Subtyping::Result::Success
class Steep::Subtyping::VariableOccurence
class Steep::Subtyping::VariableVariance
class Steep::TypeConstruction
class Steep::TypeConstruction::Pair
class Steep::TypeInference::BlockParams
class Steep::TypeInference::BlockParams::Param
class Steep::TypeInference::ConstantEnv
class Steep::TypeInference::Context
class Steep::TypeInference::Context::BlockContext
class Steep::TypeInference::Context::BreakContext
class Steep::TypeInference::Context::MethodContext
class Steep::TypeInference::Context::ModuleContext
class Steep::TypeInference::Context::TypeVariableContext
class Steep::TypeInference::ContextArray
class Steep::TypeInference::ContextArray::Entry
class Steep::TypeInference::LocalVariableTypeEnv
class Steep::TypeInference::LocalVariableTypeEnv::Entry
class Steep::TypeInference::Logic
class Steep::TypeInference::Logic::Result
class Steep::TypeInference::LogicTypeInterpreter
class Steep::TypeInference::MethodCall
class Steep::TypeInference::MethodCall::Base
class Steep::TypeInference::MethodCall::Error
class Steep::TypeInference::MethodCall::MethodDecl
class Steep::TypeInference::MethodCall::NoMethodError
class Steep::TypeInference::MethodCall::Typed
class Steep::TypeInference::MethodCall::Untyped
class Steep::TypeInference::MethodParams
class Steep::TypeInference::MethodParams::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::SendArgs
class Steep::TypeInference::SendArgs::BlockPassArg
class Steep::TypeInference::SendArgs::KeywordArgs
class Steep::TypeInference::SendArgs::KeywordArgs::ArgTypePairs
class Steep::TypeInference::SendArgs::KeywordArgs::MissingKeyword
class Steep::TypeInference::SendArgs::KeywordArgs::SplatArg
class Steep::TypeInference::SendArgs::KeywordArgs::UnexpectedKeyword
class Steep::TypeInference::SendArgs::PositionalArgs
class Steep::TypeInference::SendArgs::PositionalArgs::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::TypeEnv
class Steep::Typing
class Steep::Typing::UnknownNodeError
steep
0.48.0
# constraints
def constraints @constraints || raise end