module Steep
module Steep::AST
module Steep::AST::Annotation
module Steep::AST::Builtin
module Steep::AST::MethodType::Params
module Steep::AST::Types
module Steep::AST::Types::Helper
module Steep::AST::Types::Helper::ChildrenLevel
module Steep::AST::Types::Name
module Steep::Drivers
module Steep::Drivers::Utils
module Steep::Drivers::Utils::DriverHelper
module Steep::Errors
module Steep::Errors::ResultPrinter
module Steep::Interface
module Steep::Names
module Steep::Server
module Steep::Server::Utils
module Steep::Signature
module Steep::Signature::Errors
module Steep::Subtyping
module Steep::Subtyping::Result
module Steep::TypeInference
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::Buffer
class Steep::AST::Builtin::Type
class Steep::AST::Location
class Steep::AST::MethodType
class Steep::AST::MethodType::Block
class Steep::AST::MethodType::Params::Base
class Steep::AST::MethodType::Params::Optional
class Steep::AST::MethodType::Params::OptionalKeyword
class Steep::AST::MethodType::Params::Required
class Steep::AST::MethodType::Params::RequiredKeyword
class Steep::AST::MethodType::Params::Rest
class Steep::AST::MethodType::Params::RestKeyword
class Steep::AST::MethodType::Super
class Steep::AST::Namespace
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::Masked
class Steep::AST::Types::Name::Alias
class Steep::AST::Types::Name::Applying
class Steep::AST::Types::Name::Base
class Steep::AST::Types::Name::Class
class Steep::AST::Types::Name::Instance
class Steep::AST::Types::Name::Interface
class Steep::AST::Types::Name::Module
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::Drivers::Annotations
class Steep::Drivers::Check
class Steep::Drivers::Init
class Steep::Drivers::Langserver
class Steep::Drivers::PrintProject
class Steep::Drivers::SignatureErrorPrinter
class Steep::Drivers::TracePrinter
class Steep::Drivers::Validate
class Steep::Drivers::Vendor
class Steep::Drivers::Watch
class Steep::Drivers::Worker
class Steep::Errors::ArgumentTypeMismatch
class Steep::Errors::Base
class Steep::Errors::BlockParameterTypeMismatch
class Steep::Errors::BlockTypeMismatch
class Steep::Errors::BreakTypeMismatch
class Steep::Errors::ElseOnExhaustiveCase
class Steep::Errors::FallbackAny
class Steep::Errors::IncompatibleAnnotation
class Steep::Errors::IncompatibleArguments
class Steep::Errors::IncompatibleAssignment
class Steep::Errors::IncompatibleBlockParameters
class Steep::Errors::IncompatibleMethodTypeAnnotation
class Steep::Errors::IncompatibleTuple
class Steep::Errors::IncompatibleTypeCase
class Steep::Errors::IncompatibleZuper
class Steep::Errors::MethodArityMismatch
class Steep::Errors::MethodBodyTypeMismatch
class Steep::Errors::MethodDefinitionMissing
class Steep::Errors::MethodDefinitionWithOverloading
class Steep::Errors::MethodReturnTypeAnnotationMismatch
class Steep::Errors::MissingKeyword
class Steep::Errors::NoMethod
class Steep::Errors::RequiredBlockMissing
class Steep::Errors::ReturnTypeMismatch
class Steep::Errors::UnexpectedBlockGiven
class Steep::Errors::UnexpectedDynamicMethod
class Steep::Errors::UnexpectedJump
class Steep::Errors::UnexpectedJumpValue
class Steep::Errors::UnexpectedKeyword
class Steep::Errors::UnexpectedSplat
class Steep::Errors::UnexpectedSuper
class Steep::Errors::UnexpectedYield
class Steep::Errors::UnknownConstantAssigned
class Steep::Errors::UnresolvedOverloading
class Steep::Errors::UnsatisfiableConstraint
class Steep::Interface::Block
class Steep::Interface::Interface
class Steep::Interface::Interface::Combination
class Steep::Interface::Method
class Steep::Interface::MethodType
class Steep::Interface::Params
class Steep::Interface::Substitution
class Steep::Interface::Substitution::InvalidSubstitutionError
class Steep::Names::Alias
class Steep::Names::Base
class Steep::Names::Interface
class Steep::Names::Module
class Steep::Project
class Steep::Project::CompletionProvider
class Steep::Project::DSL
class Steep::Project::DSL::TargetDSL
class Steep::Project::FileLoader
class Steep::Project::HoverContent
class Steep::Project::Options
class Steep::Project::SignatureFile
class Steep::Project::SourceFile
class Steep::Project::Target
class Steep::Server::BaseWorker
class Steep::Server::CodeWorker
class Steep::Server::InteractionWorker
class Steep::Server::Master
class Steep::Server::SignatureWorker
class Steep::Server::WorkerProcess
class Steep::Signature::Errors::Base
class Steep::Signature::Errors::InvalidTypeApplicationError
class Steep::Signature::Errors::UnknownTypeNameError
class Steep::Signature::Validator
class Steep::Source
class Steep::Source::Builder
class Steep::Source::LocatedAnnotation
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::Base
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::Success
class Steep::Subtyping::Trace
class Steep::Subtyping::VariableOccurence
class Steep::Subtyping::VariableVariance
class Steep::TypeAssignability
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::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::SendArgs
class Steep::TypeInference::TypeEnv
class Steep::Typing
class Steep::Typing::UnknownNodeError
steep
0.18.0
# message
def message "Variables and unknowns should be disjoint (#{vars})" end