steep 1.3.0.pre.2 → 1.4.0.dev.1

data/sig/steep/ast/types/record.rbs

@@ -2,15 +2,13 @@ module Steep
   module AST
     module Types
       class Record
-        type loc = RBS::Location[untyped, untyped]
-
         type key = Symbol | String | Integer
 
-        attr_reader location: loc?
+        attr_reader location: untyped
 
         attr_reader elements: Hash[key, t]
 
-        def initialize: (elements: Hash[key, t], ?location: loc?) -> void
+        def initialize: (elements: Hash[key, t], ?location: untyped) -> void
 
         def ==: (untyped other) -> bool
 
@@ -18,11 +16,12 @@ module Steep
 
         alias eql? ==
 
-        def subst: (Interface::Substitution s) -> self
+        def subst: (Interface::Substitution s) -> Record
 
-        def to_s: () -> ::String
+        def to_s: () -> String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::ChildrenLevel
 
@@ -31,7 +30,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (loc new_location) -> self
+        def with_location: (untyped new_location) -> Record
       end
     end
   end

data/sig/steep/ast/types/self.rbs

@@ -6,23 +6,24 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def to_s: () -> "self"
+        def to_s: () -> String
 
         include Helper::NoChild
 
-        def subst: (untyped s) -> untyped
+        def subst: (Interface::Substitution s) -> t
 
-        def free_variables: () -> untyped
+        @@fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Self
 
         self.@instance: Self
         def self.instance: () -> Self

data/sig/steep/ast/types/top.rbs

@@ -6,23 +6,23 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution s) -> Top
 
-        def to_s: () -> "top"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
         include Helper::NoChild
 
         def level: () -> Array[Integer]
-        
-        def with_location: (untyped new_location) -> untyped
+
+        def with_location: (untyped new_location) -> Top
       end
     end
   end

data/sig/steep/ast/types/tuple.rbs

@@ -4,9 +4,9 @@ module Steep
       class Tuple
         attr_reader types: Array[t]
 
-        attr_reader location: RBS::Location[untyped, untyped]?
+        attr_reader location: untyped
 
-        def initialize: (types: Array[t], ?location: RBS::Location[untyped, untyped]?) -> void
+        def initialize: (types: Array[t], ?location: untyped) -> void
 
         def ==: (untyped other) -> bool
 
@@ -18,7 +18,8 @@ module Steep
 
         def to_s: () -> ::String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::ChildrenLevel
 
@@ -27,7 +28,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (RBS::Location[untyped, untyped] new_location) -> Tuple
+        def with_location: (untyped new_location) -> Tuple
       end
     end
   end

data/sig/steep/ast/types/union.rbs

@@ -4,25 +4,25 @@ module Steep
       class Union
         attr_reader types: Array[t]
 
-        type loc = RBS::Location[untyped, untyped]
+        attr_reader location: untyped
 
-        attr_reader location: loc?
+        def initialize: (types: Array[t], ?location: untyped) -> void
 
-        def initialize: (types: Array[t], ?location: loc?) -> void
-
-        def self.build: (types: Array[t], ?location: loc?) -> t
+        def self.build: (types: Array[t], ?location: untyped) -> t
 
         def ==: (untyped other) -> bool
 
+        @hash: Integer
         def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (Interface::Substitution s) -> Union
+        def subst: (Interface::Substitution s) -> t
 
         def to_s: () -> ::String
 
-        def free_variables: () -> Set[Symbol]
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         def each_child: () { (t) -> void } -> void
                       | () -> Enumerator[t, void]
@@ -31,7 +31,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (loc new_location) -> Union
+        def with_location: (untyped new_location) -> Union
       end
     end
   end

data/sig/steep/ast/types/var.rbs

@@ -1,36 +1,41 @@
 module Steep
   module AST
     module Types
+      # Type variables
       class Var
-        attr_reader name: untyped
+        attr_reader name: Symbol
 
         attr_reader location: untyped
 
-        def initialize: (name: untyped, ?location: untyped?) -> void
+        def initialize: (name: Symbol, ?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def self.fresh_name: (untyped name) -> untyped
+        self.@mutex: Thread::Mutex
+        self.@max: Integer
+
+        def self.fresh_name: (Symbol name) -> Symbol
 
         def self.fresh: (Symbol name, ?location: untyped?) -> Var
 
-        def to_s: () -> untyped
+        def to_s: () -> String
 
-        def subst: (untyped s) -> (untyped | self)
+        def subst: (Interface::Substitution s) -> t
 
-        def free_variables: () -> untyped
+        @fvs: Set[variable]
+        def free_variables: () -> Set[variable]
 
         include Helper::NoChild
 
         def level: () -> Array[Integer]
-                 
-        def update: (?name: untyped, ?location: untyped) -> untyped
 
-        def with_location: (untyped new_location) -> untyped
+        def update: (?name: Symbol, ?location: untyped) -> Var
+
+        def with_location: (untyped new_location) -> Var
       end
     end
   end

data/sig/steep/ast/types/void.rbs

@@ -6,15 +6,15 @@ module Steep
 
         def initialize: (?location: untyped?) -> void
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         alias eql? ==
 
-        def subst: (untyped s) -> self
+        def subst: (Interface::Substitution s) -> Void
 
-        def to_s: () -> "void"
+        def to_s: () -> String
 
         include Helper::NoFreeVariables
 
@@ -22,7 +22,7 @@ module Steep
 
         def level: () -> Array[Integer]
 
-        def with_location: (untyped new_location) -> untyped
+        def with_location: (untyped new_location) -> Void
       end
     end
   end

data/sig/steep/ast/types.rbs

@@ -5,33 +5,12 @@ module Steep
            | Class | Instance | Self
            | Intersection  | Record | Tuple | Union
            | Name::Alias | Name::Instance | Name::Interface | Name::Singleton
-           | Proc | Var | Logic::Base
+           | Proc | Var
+           | Logic::Not | Logic::ReceiverIsNil | Logic::ReceiverIsNotNil | Logic::ReceiverIsArg | Logic::ArgIsReceiver | Logic::ArgEqualsReceiver | Logic::Env
 
-      class Masked
-        attr_reader location: untyped
-
-        attr_reader type: untyped
-
-        attr_reader mask: untyped
-
-        def initialize: (type: untyped, mask: untyped, location: untyped) -> void
-
-        def ==: (untyped other) -> untyped
-
-        alias eql? ==
-
-        def hash: () -> untyped
-
-        def to_json: (*untyped a) -> untyped
-
-        def to_s: (?::Integer level) -> ::String
-
-        def free_variables: () -> untyped
-
-        def each_type: () { (untyped) -> untyped } -> untyped
-
-        def sub: (untyped s) -> untyped
-      end
+      # Variables and special types that is subject for substitution
+      #
+      type variable = Symbol | Class | Instance | Self
     end
   end
 end

data/sig/steep/index/rbs_index.rbs

@@ -2,89 +2,135 @@ module Steep
   module Index
     class RBSIndex
       class TypeEntry
-        attr_reader type_name: untyped
+        attr_reader type_name: RBS::TypeName
 
-        attr_reader declarations: untyped
+        type decl = RBS::AST::Declarations::Class
+                  | RBS::AST::Declarations::Module
+                  | RBS::AST::Declarations::Interface
+                  | RBS::AST::Declarations::Alias
 
-        attr_reader references: untyped
+        type ref = RBS::AST::Members::MethodDefinition
+                 | RBS::AST::Members::AttrWriter
+                 | RBS::AST::Members::AttrReader
+                 | RBS::AST::Members::AttrAccessor
+                 | RBS::AST::Members::Include
+                 | RBS::AST::Members::Extend
+                 | RBS::AST::Members::InstanceVariable
+                 | RBS::AST::Members::ClassVariable
+                 | RBS::AST::Members::ClassInstanceVariable
+                 | RBS::AST::Declarations::Module
+                 | RBS::AST::Declarations::Class
+                 | RBS::AST::Declarations::Constant
+                 | RBS::AST::Declarations::Global
+                 | RBS::AST::Declarations::Alias
 
-        def initialize: (type_name: untyped) -> void
+        attr_reader declarations: Set[decl]
 
-        def add_declaration: (untyped decl) -> untyped
+        attr_reader references: Set[ref]
 
-        def add_reference: (untyped ref) -> untyped
+        def initialize: (type_name: RBS::TypeName) -> void
+
+        def add_declaration: (decl decl) -> self
+
+        def add_reference: (ref) -> self
       end
 
       class MethodEntry
-        attr_reader method_name: untyped
+        attr_reader method_name: method_name
+
+        type decl = RBS::AST::Members::MethodDefinition
+                  | RBS::AST::Members::Alias
+                  | RBS::AST::Members::AttrWriter
+                  | RBS::AST::Members::AttrReader
+                  | RBS::AST::Members::AttrAccessor
 
-        attr_reader declarations: untyped
+        type ref = RBS::AST::Members::Alias
 
-        attr_reader references: untyped
+        attr_reader declarations: Set[decl]
 
-        def initialize: (method_name: untyped) -> void
+        attr_reader references: Set[ref]
 
-        def add_declaration: (untyped decl) -> untyped
+        def initialize: (method_name: method_name) -> void
+
+        def add_declaration: (decl) -> self
       end
 
       class ConstantEntry
-        attr_reader const_name: untyped
+        attr_reader const_name: RBS::TypeName
+
+        type decl = RBS::AST::Declarations::Constant
 
-        attr_reader declarations: untyped
+        attr_reader declarations: Set[decl]
 
-        def initialize: (const_name: untyped) -> void
+        def initialize: (const_name: RBS::TypeName) -> void
 
-        def add_declaration: (untyped decl) -> untyped
+        def add_declaration: (decl) -> self
       end
 
       class GlobalEntry
-        attr_reader global_name: untyped
+        attr_reader global_name: Symbol
+
+        type decl = RBS::AST::Declarations::Global
 
-        attr_reader declarations: untyped
+        attr_reader declarations: Set[decl]
 
-        def initialize: (global_name: untyped) -> void
+        def initialize: (global_name: Symbol) -> void
 
-        def add_declaration: (untyped decl) -> untyped
+        def add_declaration: (decl) -> self
       end
 
-      attr_reader type_index: untyped
+      attr_reader type_index: Hash[RBS::TypeName, TypeEntry]
 
-      attr_reader method_index: untyped
+      attr_reader method_index: Hash[method_name, MethodEntry]
 
-      attr_reader const_index: untyped
+      attr_reader const_index: Hash[RBS::TypeName, ConstantEntry]
 
-      attr_reader global_index: untyped
+      attr_reader global_index: Hash[Symbol, GlobalEntry]
 
       def initialize: () -> void
 
-      def entry: (?type_name: untyped?, ?method_name: untyped?, ?const_name: untyped?, ?global_name: untyped?) -> untyped
+      def entry: (type_name: RBS::TypeName) -> TypeEntry
+               | (method_name: method_name) -> MethodEntry
+               | (const_name: RBS::TypeName) -> ConstantEntry
+               | (global_name: Symbol) -> GlobalEntry
 
-      def each_entry: () { () -> untyped } -> untyped
+      def each_entry: () { (TypeEntry | MethodEntry | ConstantEntry | GlobalEntry) -> void } -> void
+                    | () -> Enumerator[TypeEntry | MethodEntry | ConstantEntry | GlobalEntry, void]
 
-      def add_type_declaration: (untyped type_name, untyped declaration) -> untyped
+      def add_type_declaration: (RBS::TypeName type_name, TypeEntry::decl declaration) -> TypeEntry
 
-      def add_method_declaration: (untyped method_name, untyped member) -> untyped
+      def add_method_declaration: (method_name, MethodEntry::decl member) -> MethodEntry
 
-      def add_constant_declaration: (untyped const_name, untyped decl) -> untyped
+      def add_constant_declaration: (RBS::TypeName const_name, ConstantEntry::decl decl) -> ConstantEntry
 
-      def add_global_declaration: (untyped global_name, untyped decl) -> untyped
+      def add_global_declaration: (Symbol global_name, GlobalEntry::decl decl) -> GlobalEntry
 
-      def each_declaration: (?type_name: untyped?, ?method_name: untyped?, ?const_name: untyped?, ?global_name: untyped?) { () -> untyped } -> untyped
+      def each_declaration: (type_name: RBS::TypeName) { (TypeEntry) -> void } -> void
+                          | (type_name: RBS::TypeName) -> Enumerator[TypeEntry, void]
+                          | (method_name: method_name) { (MethodEntry) -> void } -> void
+                          | (method_name: method_name) -> Enumerator[MethodEntry, void]
+                          | (const_name: RBS::TypeName) { (ConstantEntry) -> void } -> void
+                          | (const_name: RBS::TypeName) -> Enumerator[ConstantEntry, void]
+                          | (global_name: Symbol) { (GlobalEntry) -> void } -> void
+                          | (global_name: Symbol) -> Enumerator[GlobalEntry, void]
 
-      def add_type_reference: (untyped type_name, untyped ref) -> untyped
+      # `type_name` is referred from `ref`
+      #
+      def add_type_reference: (RBS::TypeName type_name, TypeEntry::ref ref) -> TypeEntry
 
-      def each_reference: (?type_name: untyped?) { () -> untyped } -> untyped
+      def each_reference: (type_name: RBS::TypeName) { (TypeEntry::ref) -> void } -> void
+                        | (type_name: RBS::TypeName) -> Enumerator[TypeEntry::ref, void]
 
       class Builder
-        attr_reader index: untyped
+        attr_reader index: RBSIndex
 
-        def initialize: (index: untyped) -> void
+        def initialize: (index: RBSIndex) -> void
 
-        def member: (untyped type_name, untyped member) -> untyped
+        def member: (RBS::TypeName type_name, RBS::AST::Members::t | RBS::AST::Declarations::t member) -> void
 
-        def type_reference: (untyped `type`, from: untyped) -> untyped
+        def type_reference: (RBS::Types::t, from: TypeEntry::ref) -> void
 
-        def env: (untyped env) -> untyped
+        def env: (RBS::Environment env) -> void
       end
     end
   end

data/sig/steep/interface/substitution.rbs

@@ -2,28 +2,28 @@ module Steep
   module Interface
     class Substitution
       class InvalidSubstitutionError < StandardError
-        attr_reader vars_size: untyped
+        attr_reader vars_size: Integer
 
-        attr_reader types_size: untyped
+        attr_reader types_size: Integer
 
-        def initialize: (vars_size: untyped, types_size: untyped) -> void
+        def initialize: (vars_size: Integer, types_size: Integer) -> void
       end
 
       attr_reader dictionary: Hash[Symbol, AST::Types::t]
 
-      attr_reader instance_type: AST::Types::t
+      attr_reader instance_type: AST::Types::t?
 
-      attr_reader module_type: AST::Types::t
+      attr_reader module_type: AST::Types::t?
 
-      attr_reader self_type: AST::Types::t
+      attr_reader self_type: AST::Types::t?
 
-      def initialize: (dictionary: Hash[Symbol, AST::Types::t], instance_type: AST::Types::t, module_type: AST::Types::t, self_type: AST::Types::t) -> void
+      def initialize: (dictionary: Hash[Symbol, AST::Types::t], instance_type: AST::Types::t?, module_type: AST::Types::t?, self_type: AST::Types::t?) -> void
 
       def self.empty: () -> instance
 
       def empty?: () -> bool
 
-      def domain: () -> Set[AST::Types::t | Symbol]
+      def domain: () -> Set[AST::Types::variable]
 
       def to_s: () -> ::String
 
@@ -31,7 +31,7 @@ module Steep
 
       def key?: (Symbol var) -> bool
 
-      def self.build: (Array[Symbol] vars, ?Array[AST::Types::t]? types, ?instance_type: AST::Types::t, ?module_type: AST::Types::t, ?self_type: AST::Types::t) -> Substitution
+      def self.build: (Array[Symbol] vars, ?Array[AST::Types::t]? types, ?instance_type: AST::Types::t?, ?module_type: AST::Types::t?, ?self_type: AST::Types::t?) -> Substitution
 
       def except: (Array[Symbol] vars) -> Substitution
 

data/sig/steep/project/dsl.rbs

@@ -2,53 +2,55 @@ module Steep
   class Project
     class DSL
       class TargetDSL
-        attr_reader name: untyped
+        attr_reader name: Symbol
 
-        attr_reader sources: untyped
+        attr_reader sources: Array[String]
 
-        attr_reader libraries: untyped
+        attr_reader libraries: Array[String]
 
-        attr_reader signatures: untyped
+        attr_reader signatures: Array[String]
 
-        attr_reader ignored_sources: untyped
+        attr_reader ignored_sources: Array[String]
 
-        attr_reader stdlib_root: untyped
+        attr_reader stdlib_root: Pathname?
 
-        attr_reader core_root: untyped
+        attr_reader core_root: Pathname?
 
-        attr_reader repo_paths: untyped
+        attr_reader repo_paths: Array[Pathname]
 
         attr_reader code_diagnostics_config: untyped
 
-        attr_reader project: untyped
+        attr_reader project: Project?
 
-        attr_reader collection_config_path: untyped
+        attr_reader collection_config_path: Pathname?
 
         NONE: untyped
 
-        def initialize: (untyped name, ?sources: untyped, ?libraries: untyped, ?signatures: untyped, ?ignored_sources: untyped, ?repo_paths: untyped, ?code_diagnostics_config: ::Hash[untyped, untyped], ?project: untyped?, ?collection_config_path: untyped) -> void
+        def project!: () -> Project
 
-        def initialize_copy: (untyped other) -> untyped
+        def initialize: (Symbol name, ?sources: Array[String], ?libraries: Array[String], ?signatures: Array[String], ?ignored_sources: Array[String], ?repo_paths: Array[Pathname], ?code_diagnostics_config: ::Hash[untyped, untyped], ?project: Project?, ?collection_config_path: Pathname?) -> void
 
-        def check: (*untyped args) -> untyped
+        def initialize_copy: (instance other) -> void
 
-        def ignore: (*untyped args) -> untyped
+        def check: (*String args) -> void
 
-        def library: (*untyped args) -> untyped
+        def ignore: (*String args) -> void
 
-        def typing_options: (?untyped? level, **untyped hash) -> untyped
+        def library: (*String args) -> void
 
-        def signature: (*untyped args) -> untyped
+        def typing_options: (?untyped level, **untyped hash) -> void
 
-        def update: (?name: untyped, ?sources: untyped, ?libraries: untyped, ?ignored_sources: untyped, ?signatures: untyped, ?project: untyped) -> untyped
+        def signature: (*String args) -> void
 
-        def no_builtin!: (?bool value) -> untyped
+        def update: (?name: Symbol, ?sources: Array[String], ?libraries: Array[String], ?signatures: Array[String], ?ignored_sources: Array[String], ?project: Project?) -> TargetDSL
 
-        def vendor: (?::String dir, ?stdlib: untyped?, ?gems: untyped?) -> untyped
+        def no_builtin!: (?bool value) -> void
 
-        def stdlib_path: (core_root: untyped, stdlib_root: untyped) -> untyped
+        def vendor: (?::String dir, ?stdlib: untyped?, ?gems: untyped?) -> void
 
-        def repo_path: (*untyped paths) -> untyped
+        def stdlib_path: (core_root: String, stdlib_root: String) -> void
+
+        def repo_path: (*String paths) -> void
 
         # Configure the code diagnostics printing setup.
         #
@@ -71,24 +73,27 @@ module Steep
         # configure_code_diagnostics(D::Ruby.lenient)
         # ```
         #
-        def configure_code_diagnostics: (?untyped? hash) { (untyped) -> untyped } -> untyped
+        def configure_code_diagnostics: (Hash[untyped, untyped] hash) -> void
+                                      | () { (Hash[untyped, untyped]) -> void } -> void
 
-        def collection_config: (untyped path) -> untyped
+        def collection_config: (Pathname path) -> void
 
-        def disable_collection: () -> untyped
+        def disable_collection: () -> void
       end
 
       attr_reader project: untyped
 
-      def self.templates: () -> untyped
+      @@templates: Hash[Symbol, TargetDSL]
+
+      def self.templates: () -> Hash[Symbol, TargetDSL]
 
-      def initialize: (project: untyped) -> void
+      def initialize: (project: Project) -> void
 
-      def self.register_template: (untyped name, untyped target) -> untyped
+      def self.register_template: (Symbol name, TargetDSL target) -> void
 
-      def self.parse: (untyped project, untyped code, ?filename: ::String) -> untyped
+      def self.parse: (Project project, String code, ?filename: String) -> void
 
-      def target: (untyped name, ?template: untyped?) ?{ () -> untyped } -> untyped
+      def target: (Symbol name, ?template: Symbol?) ?{ (TargetDSL) [self: TargetDSL] -> void } -> void
     end
   end
 end

data/sig/steep/project/options.rbs

@@ -1,13 +1,25 @@
 module Steep
   class Project
     class Options
-      PathOptions: untyped
+      class PathOptions
+        attr_reader core_root: Pathname?
 
-      attr_reader libraries: untyped
+        attr_reader stdlib_root: Pathname?
 
-      attr_accessor paths: untyped
+        attr_reader repo_paths: Array[Pathname]
 
-      attr_accessor collection_lock: untyped
+        def initialize: (?core_root: Pathname?, ?stdlib_root: Pathname?, ?repo_paths: Array[Pathname]) -> void
+
+        def customized_stdlib?: () -> bool
+
+        def customized_core?: () -> bool
+      end
+
+      attr_reader libraries: Array[String]
+
+      attr_accessor paths: PathOptions
+
+      attr_accessor collection_lock: RBS::Collection::Config::Lockfile
 
       def initialize: () -> void
     end