Libraries
»
steep
(0.14.0)
»
Documentation for steep (0.14.0)
Alphabetic Index
File Listing
README
Namespace Listing A-Z
A
AST
(Steep)
Alias
(Steep::AST::Types::Name)
Alias
(Steep::Names)
Annotation
(Steep::AST)
AnnotationParser
(Steep)
AnnotationSyntaxErrorStatus
(Steep::Project::SourceFile)
Annotations
(Steep::Drivers)
Any
(Steep::AST::Types)
Applying
(Steep::AST::Types::Name)
ArgumentTypeMismatch
(Steep::Errors)
B
Base
(Steep::Errors)
Base
(Steep::Names)
Base
(Steep::AST::MethodType::Params)
Base
(Steep::Subtyping::Result)
Base
(Steep::AST::Types::Name)
Base
(Steep::Signature::Errors)
Block
(Steep::Interface)
Block
(Steep::AST::MethodType)
BlockContext
(Steep::TypeInference::Context)
BlockMismatchError
(Steep::Subtyping::Result::Failure)
BlockParameterTypeMismatch
(Steep::Errors)
BlockParams
(Steep::TypeInference)
BlockType
(Steep::AST::Annotation)
BlockTypeMismatch
(Steep::Errors)
Boolean
(Steep::AST::Types)
Bot
(Steep::AST::Types)
BreakContext
(Steep::TypeInference::Context)
BreakType
(Steep::AST::Annotation)
BreakTypeMismatch
(Steep::Errors)
Buffer
(Steep::AST)
Builder
(Steep::Source)
Builtin
(Steep::AST)
C
CLI
(Steep)
Check
(Steep::Subtyping)
Check
(Steep::Drivers)
ChildrenLevel
(Steep::AST::Types::Helper)
Class
(Steep::AST::Types::Name)
Class
(Steep::AST::Types)
Collection
(Steep::AST::Annotation)
Combination
(Steep::Interface::Interface)
CompletionProvider
(Steep::Project)
ConstType
(Steep::AST::Annotation)
ConstantEnv
(Steep::TypeInference)
Constraints
(Steep::Subtyping)
Context
(Steep::TypeInference)
D
DSL
(Steep::Project)
DeclarationsStatus
(Steep::Project::SignatureFile)
DefinitionContent
(Steep::Project::HoverContent)
DriverHelper
(Steep::Drivers::Utils)
Drivers
(Steep)
Dynamic
(Steep::AST::Annotation)
E
ElseOnExhaustiveCase
(Steep::Errors)
Errors
(Steep)
Errors
(Steep::Signature)
F
Factory
(Steep::AST::Types)
Failure
(Steep::Subtyping::Result)
FallbackAny
(Steep::Errors)
FileLoader
(Steep::Project)
H
Helper
(Steep::AST::Types)
HoverContent
(Steep::Project)
I
Implements
(Steep::AST::Annotation)
IncompatibleAnnotation
(Steep::Errors)
IncompatibleArguments
(Steep::Errors)
IncompatibleAssignment
(Steep::Errors)
IncompatibleBlockParameters
(Steep::Errors)
IncompatibleMethodTypeAnnotation
(Steep::Errors)
IncompatibleTuple
(Steep::Errors)
IncompatibleTypeCase
(Steep::Errors)
IncompatibleZuper
(Steep::Errors)
Init
(Steep::Drivers)
Instance
(Steep::AST::Types::Name)
Instance
(Steep::AST::Types)
InstanceMethodName
(Steep::Project::HoverContent)
InstanceType
(Steep::AST::Annotation)
InstanceVariableItem
(Steep::Project::CompletionProvider)
Interface
(Steep::Interface)
Interface
(Steep)
Interface
(Steep::AST::Types::Name)
Interface
(Steep::Names)
InterfaceCalculationError
(Steep::AST::Types::Factory)
Intersection
(Steep::AST::Types)
InvalidSubstitutionError
(Steep::Interface::Substitution)
InvalidTypeApplicationError
(Steep::Signature::Errors)
IvarType
(Steep::AST::Annotation)
L
Langserver
(Steep::Drivers)
Literal
(Steep::AST::Types)
LocalVariableItem
(Steep::Project::CompletionProvider)
LocatedAnnotation
(Steep::Source)
Location
(Steep::AST)
M
Masked
(Steep::AST::Types)
Method
(Steep::Interface)
MethodArityMismatch
(Steep::Errors)
MethodBodyTypeMismatch
(Steep::Errors)
MethodCallContent
(Steep::Project::HoverContent)
MethodContext
(Steep::TypeInference::Context)
MethodDefinitionMissing
(Steep::Errors)
MethodDefinitionWithOverloading
(Steep::Errors)
MethodMissingError
(Steep::Subtyping::Result::Failure)
MethodNameItem
(Steep::Project::CompletionProvider)
MethodReturnTypeAnnotationMismatch
(Steep::Errors)
MethodType
(Steep::Interface)
MethodType
(Steep::AST)
MethodType
(Steep::AST::Annotation)
MissingKeyword
(Steep::Errors)
Module
(Steep::Names)
Module
(Steep::AST::Types::Name)
Module
(Steep::AST::Annotation::Implements)
ModuleContext
(Steep::TypeInference::Context)
ModuleType
(Steep::AST::Annotation)
N
Name
(Steep::AST::Annotation::Dynamic)
Name
(Steep::AST::Types)
Named
(Steep::AST::Annotation)
Names
(Steep)
Namespace
(Steep::AST)
Nil
(Steep::AST::Types)
NoMethod
(Steep::Errors)
O
Optional
(Steep::AST::MethodType::Params)
OptionalKeyword
(Steep::AST::MethodType::Params)
OptionalPositional
(Steep::Interface::Params)
Options
(Steep::Project)
P
Param
(Steep::TypeInference::BlockParams)
ParameterMismatchError
(Steep::Subtyping::Result::Failure)
Params
(Steep::Interface)
Params
(Steep::AST::MethodType)
ParseErrorStatus
(Steep::Project::SignatureFile)
ParseErrorStatus
(Steep::Project::SourceFile)
PolyMethodSubtyping
(Steep::Subtyping::Result::Failure)
Position
(Steep::Project::CompletionProvider)
PrintProject
(Steep::Drivers)
Proc
(Steep::AST::Types)
Project
(Steep)
R
Range
(Steep::Project::CompletionProvider)
Record
(Steep::AST::Types)
Relation
(Steep::Subtyping)
Required
(Steep::AST::MethodType::Params)
RequiredBlockMissing
(Steep::Errors)
RequiredKeyword
(Steep::AST::MethodType::Params)
RequiredPositional
(Steep::Interface::Params)
Rest
(Steep::AST::MethodType::Params)
RestKeyword
(Steep::AST::MethodType::Params)
RestPositional
(Steep::Interface::Params)
Result
(Steep::Subtyping)
ResultPrinter
(Steep::Errors)
ReturnType
(Steep::AST::Annotation)
ReturnTypeMismatch
(Steep::Errors)
S
Self
(Steep::AST::Types)
SelfType
(Steep::AST::Annotation)
SendArgs
(Steep::TypeInference)
Signature
(Steep)
SignatureErrorPrinter
(Steep::Drivers)
SignatureFile
(Steep::Project)
SignatureSyntaxErrorStatus
(Steep::Project::Target)
SignatureValidationErrorStatus
(Steep::Project::Target)
SingletonMethodName
(Steep::Project::HoverContent)
Source
(Steep)
SourceFile
(Steep::Project)
Steep
Substitution
(Steep::Interface)
Subtyping
(Steep)
Success
(Steep::Subtyping::Result)
Super
(Steep::AST::MethodType)
SyntaxError
(Steep::AnnotationParser)
T
Target
(Steep::Project)
TargetDSL
(Steep::Project::DSL)
Top
(Steep::AST::Types)
Trace
(Steep::Subtyping)
TracePrinter
(Steep::Drivers)
Tuple
(Steep::AST::Types)
Type
(Steep::AST::Builtin)
TypeAssignability
(Steep)
TypeCheckErrorStatus
(Steep::Project::SourceFile)
TypeCheckRequest
(Steep::Drivers::Langserver)
TypeCheckStatus
(Steep::Project::Target)
TypeCheckStatus
(Steep::Project::SourceFile)
TypeConstruction
(Steep)
TypeContent
(Steep::Project::HoverContent)
TypeEnv
(Steep::TypeInference)
TypeInference
(Steep)
TypeParams
(Steep::AST)
Typed
(Steep::AST::Annotation)
Types
(Steep::AST)
Typing
(Steep)
U
UnexpectedBlockGiven
(Steep::Errors)
UnexpectedDynamicMethod
(Steep::Errors)
UnexpectedJump
(Steep::Errors)
UnexpectedJumpValue
(Steep::Errors)
UnexpectedKeyword
(Steep::Errors)
UnexpectedSplat
(Steep::Errors)
UnexpectedSuper
(Steep::Errors)
UnexpectedYield
(Steep::Errors)
Union
(Steep::AST::Types)
UnknownConstantAssigned
(Steep::Errors)
UnknownNodeError
(Steep::Typing)
UnknownPairError
(Steep::Subtyping::Result::Failure)
UnknownTypeNameError
(Steep::Signature::Errors)
UnknownsFreeVariableNotDisjoint
(Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
UnresolvedOverloading
(Steep::Errors)
UnsatisfiableConstraint
(Steep::Subtyping::Constraints)
UnsatisfiableConstraint
(Steep::Errors)
UnsatisfiedInvariantError
(Steep::Subtyping::Constraints)
Utils
(Steep::Drivers)
V
Validate
(Steep::Drivers)
Validator
(Steep::Signature)
Var
(Steep::AST::Types)
VarType
(Steep::AST::Annotation)
VariableContent
(Steep::Project::HoverContent)
VariableOccurence
(Steep::Subtyping)
VariableVariance
(Steep::Subtyping)
VariablesFreeVariablesNotDisjoint
(Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
VariablesUnknownsNotDisjoint
(Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
Vendor
(Steep::Drivers)
Void
(Steep::AST::Types)
W
Watch
(Steep::Drivers)