Featured Classes

Demo

Namespace

class

Steep::AST

UnexpectedKeyword

class

Steep::Errors

Trace

class

Steep::Subtyping

IncompatibleArguments

class

Steep::Errors

ReturnTypeMismatch

class

Steep::Errors

Class

class

Steep::AST::Types

All Classes

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

Buffer

class

Steep::AST

Type

class

Steep::AST::Builtin

Location

class

Steep::AST

MethodType

class

Steep::AST

Block

class

Steep::AST::MethodType

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::Params

Super

class

Steep::AST::MethodType

Namespace

class

Steep::AST

TypeParams

class

Steep::AST

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

InterfaceCalculationError

class

Steep::AST::Types::Factory

Instance

class

Steep::AST::Types

Intersection

class

Steep::AST::Types

Literal

class

Steep::AST::Types

Masked

class

Steep::AST::Types

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::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

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::Drivers

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::Errors

Block

class

Steep::Interface

Interface

class

Steep::Interface

Combination

class

Steep::Interface::Interface

Method

class

Steep::Interface

MethodType

class

Steep::Interface

Params

class

Steep::Interface

Substitution

class

Steep::Interface

InvalidSubstitutionError

class

Steep::Interface::Substitution

Alias

class

Steep::Names

Base

class

Steep::Names

Interface

class

Steep::Names

Module

class

Steep::Names

Project

class

Steep

CompletionProvider

class

Steep::Project

DSL

class

Steep::Project

TargetDSL

class

Steep::Project::DSL

FileLoader

class

Steep::Project

HoverContent

class

Steep::Project

Options

class

Steep::Project

SignatureFile

class

Steep::Project

SourceFile

class

Steep::Project

Target

class

Steep::Project

BaseWorker

class

Steep::Server

CodeWorker

class

Steep::Server

InteractionWorker

class

Steep::Server

Master

class

Steep::Server

SignatureWorker

class

Steep::Server

WorkerProcess

class

Steep::Server

Base

class

Steep::Signature::Errors

InvalidTypeApplicationError

class

Steep::Signature::Errors

UnknownTypeNameError

class

Steep::Signature::Errors

Validator

class

Steep::Signature

Source

class

Steep

Builder

class

Steep::Source

LocatedAnnotation

class

Steep::Source

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

Base

class

Steep::Subtyping::Result

Failure

class

Steep::Subtyping::Result

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

Success

class

Steep::Subtyping::Result

Trace

class

Steep::Subtyping

VariableOccurence

class

Steep::Subtyping

VariableVariance

class

Steep::Subtyping

TypeAssignability

class

Steep

TypeConstruction

class

Steep

Pair

class

Steep::TypeConstruction

BlockParams

class

Steep::TypeInference

Param

class

Steep::TypeInference::BlockParams

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

ContextArray

class

Steep::TypeInference

Entry

class

Steep::TypeInference::ContextArray

LocalVariableTypeEnv

class

Steep::TypeInference

Entry

class

Steep::TypeInference::LocalVariableTypeEnv

Logic

class

Steep::TypeInference

Result

class

Steep::TypeInference::Logic

SendArgs

class

Steep::TypeInference

TypeEnv

class

Steep::TypeInference

Typing

class

Steep

UnknownNodeError

class

Steep::Typing

All Modules

Steep

module

AST

module

Steep

Annotation

module

Steep::AST

Builtin

module

Steep::AST

Params

module

Steep::AST::MethodType

Types

module

Steep::AST

Helper

module

Steep::AST::Types

ChildrenLevel

module

Steep::AST::Types::Helper

Name

module

Steep::AST::Types

Drivers

module

Steep

Utils

module

Steep::Drivers

DriverHelper

module

Steep::Drivers::Utils

Errors

module

Steep

ResultPrinter

module

Steep::Errors

Interface

module

Steep

Names

module

Steep

Server

module

Steep

Utils

module

Steep::Server

Signature

module

Steep

Errors

module

Steep::Signature

Subtyping

module

Steep

Result

module

Steep::Subtyping

TypeInference

module

Steep