Documentation for steep (0.2.0)

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

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

B

Base (Steep::AST::MethodType::Params)
Base (Steep::Errors)
Base (Steep::TypeName)
Base (Steep::Subtyping::Result)
Base (Steep::Signature::Errors)
Block (Steep::AST::MethodType)
Block (Steep::Interface)
BlockContext (Steep::TypeConstruction)
BlockMismatchError (Steep::Subtyping::Result::Failure)
BlockParameterTypeMismatch (Steep::Errors)
BlockParams (Steep::TypeInference)
BlockType (Steep::AST::Annotation)
BlockTypeMismatch (Steep::Errors)
Bot (Steep::AST::Types)
BreakContext (Steep::TypeConstruction)
BreakType (Steep::AST::Annotation)
BreakTypeMismatch (Steep::Errors)
Buffer (Steep::AST)
Builder (Steep::Interface)
Builder (Steep::Source)

C

CLI (Steep)
CannotResolveError (Steep::Subtyping::Check)
Check (Steep::Drivers)
Check (Steep::Subtyping)
ChildrenLevel (Steep::AST::Types::Helper)
Class (Steep::TypeName)
Class (Steep::AST::Signature)
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)
IncompatibleTypeCase (Steep::Errors)
Instance (Steep::TypeName)
Instance (Steep::AST::Types)
InstanceType (Steep::AST::Annotation)
Instantiated (Steep::Interface)
Interface (Steep::TypeName)
Interface (Steep)
Interface (Steep::AST::Signature)
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

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

M

Members (Steep::AST::Signature)
Method (Steep::AST::Signature::Interface)
Method (Steep::AST::Signature::Members)
Method (Steep::Interface)
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::AST::Annotation)
MethodType (Steep::Interface)
MethodType (Steep::AST)
Module (Steep::AST::Annotation::Implements)
Module (Steep::TypeName)
Module (Steep::Drivers::Scaffold::Generator)
Module (Steep::AST::Signature)
ModuleContext (Steep::TypeConstruction)
ModuleName (Steep)
ModuleType (Steep::AST::Annotation)

N

Name (Steep::AST::Annotation::Dynamic)
Name (Steep::AST::Types)
Named (Steep::AST::Annotation)
NoMethod (Steep::Errors)

O

Optional (Steep::AST::MethodType::Params)
OptionalKeyword (Steep::AST::MethodType::Params)

P

Param (Steep::TypeInference::BlockParams)
ParameterMismatchError (Steep::Subtyping::Result::Failure)
Params (Steep::AST::MethodType)
Params (Steep::Interface)
Parser (Steep)
PolyMethodSubtyping (Steep::Subtyping::Result::Failure)

R

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)
Signature (Steep::AST)
Source (Steep)
Steep
Substitution (Steep::Interface)
Subtyping (Steep)
Success (Steep::Subtyping::Result)
SuperClass (Steep::AST::Signature)

T

Top (Steep::AST::Types)
Trace (Steep::Subtyping)
TypeAssignability (Steep)
TypeConstruction (Steep)
TypeEnv (Steep::TypeInference)
TypeInference (Steep)
TypeName (Steep)
TypeParams (Steep::AST)
Typed (Steep::AST::Annotation)
Types (Steep::AST)
Types (Steep::TypeConstruction)
Typing (Steep)

U

UnexpectedBlockGiven (Steep::Errors)
UnexpectedDynamicMethod (Steep::Errors)
UnexpectedJump (Steep::Errors)
UnexpectedJumpValue (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::Errors)
UnsatisfiableConstraint (Steep::Subtyping::Constraints)
UnsatisfiedInvariantError (Steep::Subtyping::Constraints)
Utils (Steep::Drivers)

V

Validate (Steep::Drivers)
Validator (Steep::Drivers::Utils)
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)