steep 1.0.0 → 1.1.0.pre.1

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

@@ -0,0 +1,76 @@
+module Steep
+  module AST
+    module Types
+      class Factory
+        attr_reader definition_builder: RBS::DefinitionBuilder
+
+        attr_reader type_name_cache: untyped
+
+        attr_reader type_cache: untyped
+
+        attr_reader type_interface_cache: untyped
+
+        def inspect: () -> String
+
+        def initialize: (builder: RBS::DefinitionBuilder) -> void
+
+        def type_name_resolver: () -> untyped
+
+        def type_opt: (untyped `type`) -> (untyped | nil)
+
+        def type: (RBS::Types::t `type`) -> AST::Types::t
+
+        def type_1: (AST::Types::t `type`) -> RBS::Types::t
+
+        def function_1: (untyped func) -> untyped
+
+        def params: (untyped `type`) -> untyped
+
+        def type_param: (untyped type_param) -> untyped
+
+        def type_param_1: (untyped type_param) -> untyped
+
+        def method_type: (RBS::MethodType method_type, self_type: AST::Types::t, method_decls: untyped, ?subst2: Interface::Substitution?) -> Interface::MethodType
+                       | [A] (RBS::MethodType method_type, self_type: AST::Types::t, method_decls: untyped, ?subst2: Interface::Substitution?) { (Interface::MethodType) -> A } -> A
+
+        def method_type_1: (untyped method_type, self_type: untyped) { (untyped) -> untyped } -> untyped
+
+        class InterfaceCalculationError < StandardError
+          attr_reader type: untyped
+
+          def initialize: (type: untyped, message: untyped) -> void
+        end
+
+        def unfold: (RBS::TypeName type_name, Array[t] args) -> t
+
+        def expand_alias: (t `type`) -> t
+                        | [A] (t) { (t) -> A } -> A
+
+        def deep_expand_alias: (t `type`, ?recursive: Set[t]) -> t
+                             | [A] (t `type`, ?recursive: Set[t]) { (t) -> A }-> A
+
+        def flatten_union: (untyped `type`, ?untyped acc) -> untyped
+
+        def unwrap_optional: (Types::t `type`) -> [Types::t, Types::t]
+
+        NilClassName: untyped
+
+        def setup_primitives: (untyped method_name, untyped method_def, untyped method_type) -> untyped
+
+        def interface: (untyped `type`, private: untyped, ?self_type: untyped) -> untyped
+
+        def module_name?: (untyped type_name) -> untyped
+
+        def class_name?: (untyped type_name) -> untyped
+
+        def env: () -> RBS::Environment
+
+        def absolute_type: (untyped `type`, context: untyped) -> untyped
+
+        def absolute_type_name: (untyped type_name, context: untyped) -> untyped
+
+        def instance_type: (RBS::TypeName type_name, ?args: Array[t]?, ?location: untyped?) -> t
+      end
+    end
+  end
+end

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

@@ -0,0 +1,19 @@
+module Steep
+  module AST
+    module Types
+      module Helper
+        module ChildrenLevel
+          def level_of_children: (untyped children) -> untyped
+        end
+
+        module NoFreeVariables
+          def free_variables: () -> untyped
+        end
+
+        module NoChild
+          def each_child: () ?{ () -> untyped } -> (untyped | nil)
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+module Steep
+  module AST
+    module Types
+      class Instance
+        attr_reader location: untyped
+
+        def initialize: (?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def subst: (untyped s) -> untyped
+
+        def free_variables: () -> untyped
+
+        include Helper::NoChild
+
+        def to_s: () -> "instance"
+
+        def level: () -> ::Array[0]
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,35 @@
+module Steep
+  module AST
+    module Types
+      class Intersection
+        attr_reader types: untyped
+
+        attr_reader location: untyped
+
+        def initialize: (types: untyped, ?location: untyped?) -> void
+
+        def self.build: (types: untyped, ?location: untyped?) -> untyped
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def subst: (untyped s) -> untyped
+
+        def to_s: () -> ::String
+
+        def free_variables: () -> untyped
+
+        include Helper::ChildrenLevel
+
+        def each_child: () ?{ () -> untyped } -> untyped
+
+        def level: () -> untyped
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,33 @@
+module Steep
+  module AST
+    module Types
+      class Literal
+        attr_reader location: untyped
+
+        attr_reader value: untyped
+
+        def initialize: (value: untyped, ?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def subst: (untyped s) -> self
+
+        def to_s: () -> untyped
+
+        include Helper::NoFreeVariables
+
+        include Helper::NoChild
+
+        def level: () -> ::Array[0]
+
+        def with_location: (untyped new_location) -> untyped
+
+        def back_type: () -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,78 @@
+module Steep
+  module AST
+    module Types
+      module Logic
+        type loc = RBS::Location[untyped, untyped]
+
+        class Base
+          attr_reader location: untyped
+
+          def subst: (untyped s) -> self
+
+          def free_variables: () -> untyped
+
+          include Helper::NoChild
+
+          def hash: () -> untyped
+
+          def ==: (untyped other) -> untyped
+
+          alias eql? ==
+
+          def to_s: () -> ::String
+        end
+
+        # A type for `!` (not) operator results.
+        class Not < Base
+          def initialize: (?location: untyped?) -> void
+        end
+
+        # A type for `foo.nil?` call results.
+        class ReceiverIsNil < Base
+          def initialize: (?location: untyped?) -> void
+        end
+
+        #
+        class ReceiverIsNotNil < Base
+          def initialize: (?location: untyped?) -> void
+        end
+
+        # A type for `receiver.is_a?(C)` call results.
+        class ReceiverIsArg < Base
+          def initialize: (?location: untyped?) -> void
+        end
+
+        # A type for `Class#===` call results.
+        class ArgIsReceiver < Base
+          def initialize: (?location: untyped?) -> void
+        end
+
+        # A type for `Object#===` call results.
+        class ArgEqualsReceiver < Base
+          def initialize: (?location: untyped?) -> void
+        end
+
+        # A type with truthy/falsy type environment.
+        class Env < Base
+          attr_reader truthy: TypeInference::TypeEnv
+
+          attr_reader falsy: TypeInference::TypeEnv
+
+          attr_reader type: t
+
+          def initialize: (truthy: TypeInference::TypeEnv, falsy: TypeInference::TypeEnv, type: t, ?location: loc?) -> void
+
+          def ==: (untyped other) -> bool
+
+          alias eql? ==
+
+          def hash: () -> Integer
+
+          def inspect: () -> ::String
+
+          alias to_s inspect
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,71 @@
+module Steep
+  module AST
+    module Types
+      module Name
+        class Base
+          attr_reader location: untyped
+
+          attr_reader name: untyped
+
+          def initialize: (name: untyped, ?location: untyped?) -> void
+
+          include Helper::NoFreeVariables
+
+          def subst: (untyped s) -> self
+
+          def level: () -> ::Array[0]
+        end
+
+        class Applying < Base
+          attr_reader args: untyped
+
+          def initialize: (name: untyped, args: untyped, ?location: untyped?) -> void
+
+          def ==: (untyped other) -> untyped
+
+          alias eql? ==
+
+          def hash: () -> untyped
+
+          def to_s: () -> ::String
+
+          def with_location: (untyped new_location) -> untyped
+
+          def subst: (untyped s) -> (untyped | self)
+
+          def free_variables: () -> untyped
+
+          def each_child: () ?{ () -> untyped } -> untyped
+
+          include Helper::ChildrenLevel
+
+          def level: () -> untyped
+        end
+
+        class Singleton < Base
+          def ==: (untyped other) -> untyped
+
+          alias eql? ==
+
+          def hash: () -> untyped
+
+          def to_s: () -> ::String
+
+          def with_location: (untyped new_location) -> untyped
+
+          include Helper::NoChild
+        end
+
+        class Instance < Applying
+          def to_module: () -> untyped
+        end
+
+        class Interface < Applying
+        end
+
+        class Alias < Applying
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,31 @@
+module Steep
+  module AST
+    module Types
+      class Nil
+        attr_reader location: untyped
+
+        def initialize: (?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def subst: (untyped s) -> self
+
+        def to_s: () -> "nil"
+
+        include Helper::NoFreeVariables
+
+        include Helper::NoChild
+
+        def level: () -> ::Array[0]
+
+        def with_location: (untyped new_location) -> untyped
+
+        def back_type: () -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,46 @@
+module Steep
+  module AST
+    module Types
+      class Proc
+        attr_reader location: untyped
+
+        attr_reader type: Interface::Function
+
+        attr_reader block: Interface::Block?
+
+        def initialize: (type: Interface::Function, block: Interface::Block?, ?location: untyped) -> void
+
+        def ==: (untyped other) -> bool
+
+        def hash: () -> Integer
+
+        alias eql? ==
+
+        def subst: (Interface::Substitution s) -> Proc
+
+        def to_s: () -> ::String
+
+        def free_variables: () -> Set[Symbol]
+
+        include Helper::ChildrenLevel
+
+        def level: () -> Array[Integer]
+
+        def closed?: () -> bool
+
+        def with_location: (untyped new_location) -> Proc
+
+        def map_type: () { (AST::Types::t) -> AST::Types::t } -> Proc
+
+        def one_arg?: () -> bool
+
+        def back_type: () -> AST::Types::t
+
+        def block_required?: () -> bool
+
+        def each_child: () { (AST::Types::t) -> void } -> void
+                      | () -> Enumerator[AST::Types::t, void]
+      end
+    end
+  end
+end

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

@@ -0,0 +1,38 @@
+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 elements: Hash[key, t]
+
+        def initialize: (elements: Hash[key, t], ?location: loc?) -> void
+
+        def ==: (untyped other) -> bool
+
+        def hash: () -> Integer
+
+        alias eql? ==
+
+        def subst: (Interface::Substitution s) -> self
+
+        def to_s: () -> ::String
+
+        def free_variables: () -> Set[Symbol]
+
+        include Helper::ChildrenLevel
+
+        def each_child: () { (t) -> void } -> void
+                      | () -> Enumerator[t, void]
+
+        def level: () -> Integer
+
+        def with_location: (loc new_location) -> self
+      end
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+module Steep
+  module AST
+    module Types
+      class Self
+        attr_reader location: untyped
+
+        def initialize: (?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def to_s: () -> "self"
+
+        include Helper::NoChild
+
+        def subst: (untyped s) -> untyped
+
+        def free_variables: () -> untyped
+
+        def level: () -> ::Array[0]
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+module Steep
+  module AST
+    module Types
+      class Top
+        attr_reader location: untyped
+
+        def initialize: (?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def subst: (untyped s) -> self
+
+        def to_s: () -> "top"
+
+        include Helper::NoFreeVariables
+
+        include Helper::NoChild
+
+        def level: () -> ::Array[2]
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,34 @@
+module Steep
+  module AST
+    module Types
+      class Tuple
+        attr_reader types: Array[t]
+
+        attr_reader location: RBS::Location[untyped, untyped]?
+
+        def initialize: (types: Array[t], ?location: RBS::Location[untyped, untyped]?) -> void
+
+        def ==: (untyped other) -> bool
+
+        def hash: () -> Integer
+
+        alias eql? ==
+
+        def subst: (Interface::Substitution s) -> Tuple
+
+        def to_s: () -> ::String
+
+        def free_variables: () -> Set[Symbol]
+
+        include Helper::ChildrenLevel
+
+        def each_child: () { (t) -> void } -> void
+                      | () -> Enumerator[t, void]
+
+        def level: () -> untyped
+
+        def with_location: (RBS::Location[untyped, untyped] new_location) -> Tuple
+      end
+    end
+  end
+end

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

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

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

@@ -0,0 +1,37 @@
+module Steep
+  module AST
+    module Types
+      class Var
+        attr_reader name: untyped
+
+        attr_reader location: untyped
+
+        def initialize: (name: untyped, ?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def self.fresh_name: (untyped name) -> untyped
+
+        def self.fresh: (untyped name, ?location: untyped?) -> untyped
+
+        def to_s: () -> untyped
+
+        def subst: (untyped s) -> (untyped | self)
+
+        def free_variables: () -> untyped
+
+        include Helper::NoChild
+
+        def level: () -> ::Array[0]
+
+        def update: (?name: untyped, ?location: untyped) -> untyped
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

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

@@ -0,0 +1,29 @@
+module Steep
+  module AST
+    module Types
+      class Void
+        attr_reader location: untyped
+
+        def initialize: (?location: untyped?) -> void
+
+        def ==: (untyped other) -> untyped
+
+        def hash: () -> untyped
+
+        alias eql? ==
+
+        def subst: (untyped s) -> self
+
+        def to_s: () -> "void"
+
+        include Helper::NoFreeVariables
+
+        include Helper::NoChild
+
+        def level: () -> ::Array[0]
+
+        def with_location: (untyped new_location) -> untyped
+      end
+    end
+  end
+end

data/sig/steep/ast/types.rbs

@@ -0,0 +1,37 @@
+module Steep
+  module AST
+    module Types
+      type t = Any | Boolean | Bot | Nil |  Top | Void | Literal
+           | Class | Instance | Self
+           | Intersection  | Record | Tuple | Union
+           | Name::Alias | Name::Instance | Name::Interface | Name::Singleton
+           | Proc | Var | Logic::Base
+
+      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
+    end
+  end
+end