Documentation for steep (0.10.0)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

AST (Steep)
Abstract (Steep::Interface)
Alias (Steep::AST::Types::Name)
Alias (Steep::Names)
Alias (Steep::AST::Signature)
Annotation (Steep::AST)
Annotations (Steep::Drivers)
Any (Steep::AST::Types)
Applying (Steep::AST::Types::Name)
ArgumentTypeMismatch (Steep::Errors)
Attr (Steep::AST::Signature::Members)

B

Base (Steep::Errors)
Base (Steep::Signature::Errors)
Base (Steep::AST::Types::Name)
Base (Steep::Names)
Base (Steep::AST::MethodType::Params)
Base (Steep::Subtyping::Result)
Block (Steep::Interface)
Block (Steep::AST::MethodType)
BlockContext (Steep::TypeConstruction)
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::TypeConstruction)
BreakType (Steep::AST::Annotation)
BreakTypeMismatch (Steep::Errors)
Buffer (Steep::AST)
Builder (Steep::Source)
Builder (Steep::Interface)
Builtin (Steep::AST)

C

CLI (Steep)
CannotResolveError (Steep::Subtyping::Check)
Check (Steep::Drivers)
Check (Steep::Subtyping)
ChildrenLevel (Steep::AST::Types::Helper)
Class (Steep::AST::Signature)
Class (Steep::AST::Types::Name)
Class (Steep::AST::Types)
Collection (Steep::AST::Annotation)
Const (Steep::AST::Signature)
ConstType (Steep::AST::Annotation)
ConstantEnv (Steep::TypeInference)
Constraints (Steep::Subtyping)
ConstructorNoCheck (Steep::Signature::Errors)

D

Drivers (Steep)
Dynamic (Steep::AST::Annotation)

E

EachSignature (Steep::Drivers::Utils)
ElseOnExhaustiveCase (Steep::Errors)
Env (Steep::AST::Signature)
Errors (Steep::Signature)
Errors (Steep)
Extend (Steep::AST::Signature::Members)
Extension (Steep::AST::Signature)

F

Failure (Steep::Subtyping::Result)
FallbackAny (Steep::Errors)

G

Generator (Steep::Drivers::Scaffold)
Gvar (Steep::AST::Signature)

H

Helper (Steep::AST::Types)

I

Implements (Steep::AST::Annotation)
Include (Steep::AST::Signature::Members)
IncompatibleAnnotation (Steep::Errors)
IncompatibleArguments (Steep::Errors)
IncompatibleAssignment (Steep::Errors)
IncompatibleBlockParameters (Steep::Errors)
IncompatibleMethodTypeAnnotation (Steep::Errors)
IncompatibleOverride (Steep::Signature::Errors)
IncompatibleTuple (Steep::Errors)
IncompatibleTypeCase (Steep::Errors)
IncompatibleZuper (Steep::Errors)
Instance (Steep::AST::Types)
Instance (Steep::AST::Types::Name)
InstanceType (Steep::AST::Annotation)
Instantiated (Steep::Interface)
Interface (Steep::AST::Signature)
Interface (Steep)
Interface (Steep::AST::Types::Name)
Interface (Steep::Names)
Intersection (Steep::AST::Types)
InvalidIvarOverrideError (Steep::Interface::Instantiated)
InvalidMethodOverrideError (Steep::Interface::Instantiated)
InvalidSelfType (Steep::Signature::Errors)
InvalidTypeApplication (Steep::Signature::Errors)
Ivar (Steep::AST::Signature::Members)
IvarChain (Steep::Interface)
IvarType (Steep::AST::Annotation)

L

Literal (Steep::AST::Types)
LocatedAnnotation (Steep::Source)
Location (Steep::AST)

M

Members (Steep::AST::Signature)
Method (Steep::AST::Signature::Interface)
Method (Steep::Interface)
Method (Steep::AST::Signature::Members)
MethodAlias (Steep::AST::Signature::Members)
MethodArityMismatch (Steep::Errors)
MethodBodyTypeMismatch (Steep::Errors)
MethodContext (Steep::TypeConstruction)
MethodDefinitionMissing (Steep::Errors)
MethodDefinitionWithOverloading (Steep::Errors)
MethodMissingError (Steep::Subtyping::Result::Failure)
MethodReturnTypeAnnotationMismatch (Steep::Errors)
MethodType (Steep::Interface)
MethodType (Steep::AST::Annotation)
MethodType (Steep::AST)
MissingGemError (Steep::CLI::SignatureOptions)
MissingKeyword (Steep::Errors)
Module (Steep::AST::Types::Name)
Module (Steep::AST::Annotation::Implements)
Module (Steep::Drivers::Scaffold::Generator)
Module (Steep::AST::Signature)
Module (Steep::Names)
ModuleContext (Steep::TypeConstruction)
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)
NoTypeDefinitionFromGemError (Steep::CLI::SignatureOptions)
NullListener (Steep::Project)

O

Optional (Steep::AST::MethodType::Params)
OptionalKeyword (Steep::AST::MethodType::Params)
Options (Steep::Project)
Options (Steep::Drivers::Watch)

P

Param (Steep::TypeInference::BlockParams)
ParameterMismatchError (Steep::Subtyping::Result::Failure)
Params (Steep::AST::MethodType)
Params (Steep::Interface)
Parser (Steep)
PolyMethodSubtyping (Steep::Subtyping::Result::Failure)
PrintInterface (Steep::Drivers)
PrivateOverrideError (Steep::Interface::Instantiated)
Proc (Steep::AST::Types)
Project (Steep)

R

Record (Steep::AST::Types)
RecursiveDefinitionError (Steep::Interface::Builder)
Relation (Steep::Subtyping)
Required (Steep::AST::MethodType::Params)
RequiredBlockMissing (Steep::Errors)
RequiredKeyword (Steep::AST::MethodType::Params)
Rest (Steep::AST::MethodType::Params)
RestKeyword (Steep::AST::MethodType::Params)
Result (Steep::Subtyping)
ResultPrinter (Steep::Errors)
ReturnType (Steep::AST::Annotation)
ReturnTypeMismatch (Steep::Errors)

S

Scaffold (Steep::Drivers)
Self (Steep::AST::Types)
SelfType (Steep::AST::Annotation)
SendArgs (Steep::TypeInference)
Signature (Steep::AST)
Signature (Steep)
SignatureFile (Steep::Project)
SignatureHasError (Steep::Project)
SignatureHasSyntaxError (Steep::Project)
SignatureLoaded (Steep::Project)
SignatureOptions (Steep::CLI)
Source (Steep)
SourceFile (Steep::Project)
Steep
Substitution (Steep::Interface)
Subtyping (Steep)
Success (Steep::Subtyping::Result)
Super (Steep::AST::MethodType)
SuperClass (Steep::AST::Signature)
SyntaxErrorRaisingListener (Steep::Project)

T

Top (Steep::AST::Types)
Trace (Steep::Subtyping)
Tuple (Steep::AST::Types)
Type (Steep::AST::Builtin)
TypeAssignability (Steep)
TypeConstruction (Steep)
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)
UnexpectedTypeNameKind (Steep::Signature::Errors)
UnexpectedYield (Steep::Errors)
Union (Steep::AST::Types)
UnknownConstantAssigned (Steep::Errors)
UnknownPairError (Steep::Subtyping::Result::Failure)
UnknownTypeName (Steep::Signature::Errors)
UnknownsFreeVariableNotDisjoint (Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
UnsatisfiableConstraint (Steep::Subtyping::Constraints)
UnsatisfiableConstraint (Steep::Errors)
UnsatisfiedInvariantError (Steep::Subtyping::Constraints)
Utils (Steep::Drivers)

V

Validate (Steep::Drivers)
Var (Steep::AST::Types)
VarType (Steep::AST::Annotation)
VariableOccurence (Steep::Subtyping)
VariableVariance (Steep::Subtyping)
VariablesFreeVariablesNotDisjoint (Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
VariablesUnknownsNotDisjoint (Steep::Subtyping::Constraints::UnsatisfiedInvariantError)
Void (Steep::AST::Types)

W

Watch (Steep::Drivers)
WatchListener (Steep::Drivers::Watch)