steep 1.7.0.dev.3 → 1.7.0

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

@@ -1,24 +0,0 @@
-module Steep
-  module AST
-    module Types
-      module Helper
-        module ChildrenLevel
-          def level_of_children: (Array[t] children) -> Array[Integer]
-        end
-
-        module NoFreeVariables
-          @fvs: Set[variable]
-
-          def free_variables: () -> Set[variable]
-        end
-
-        module NoChild
-          def each_child: () { (t) -> void } -> void
-                        | () -> Enumerator[t, void]
-
-          def map_type: () { (t) -> t } -> self
-        end
-      end
-    end
-  end
-end

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

@@ -1,33 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Instance
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> t
-
-        @@fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::NoChild
-
-        def to_s: () -> String
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> untyped
-
-        self.@instance: Instance
-        def self.instance: () -> Instance
-      end
-    end
-  end
-end

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

@@ -1,40 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Intersection
-        attr_reader types: Array[t]
-
-        attr_reader location: untyped
-
-        def initialize: (types: Array[t], ?location: untyped?) -> void
-
-        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) -> t
-
-        def to_s: () -> String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::ChildrenLevel
-
-        def each_child: () { (t) -> void } -> void
-                      | () -> Enumerator[t, void]
-
-        def map_type: () { (t) -> t } -> t
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Intersection
-      end
-    end
-  end
-end

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

@@ -1,35 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Literal
-        attr_reader location: untyped
-
-        type value = Integer | String | Symbol | TrueClass | FalseClass
-
-        attr_reader value: value
-
-        def initialize: (value: value, ?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Literal
-
-        def to_s: () -> String
-
-        include Helper::NoFreeVariables
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Literal
-
-        def back_type: () -> AST::Types::Name::Instance
-      end
-    end
-  end
-end

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

@@ -1,83 +0,0 @@
-module Steep
-  module AST
-    module Types
-      module Logic
-        class Base
-          attr_reader location: untyped
-
-          def subst: (Interface::Substitution s) -> self
-
-          include Helper::NoFreeVariables
-
-          include Helper::NoChild
-
-          def hash: () -> Integer
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def to_s: () -> String
-
-          def level: () -> Array[Integer]
-        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 for `Class#<` or `Class#<=` call results.
-        class ArgIsAncestor < 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: untyped) -> 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

@@ -1,84 +0,0 @@
-module Steep
-  module AST
-    module Types
-      # Types with names
-      #
-      module Name
-        class Base
-          attr_reader location: untyped
-
-          attr_reader name: RBS::TypeName
-
-          def initialize: (name: RBS::TypeName, ?location: untyped?) -> void
-
-          include Helper::NoFreeVariables
-
-          def subst: (Steep::Interface::Substitution s) -> self
-
-          def level: () -> Array[Integer]
-
-          def map_type: () { (t) -> t } -> self
-        end
-
-        class Applying < Base
-          attr_reader args: Array[t]
-
-          def initialize: (name: RBS::TypeName, args: Array[t], ?location: untyped?) -> void
-
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          @hash: Integer
-          def hash: () -> Integer
-
-          def to_s: () -> ::String
-
-          def with_location: (untyped new_location) -> self
-
-          def subst: (Steep::Interface::Substitution s) -> self
-
-          @fvs: Set[variable]
-          def free_variables: () -> Set[variable]
-
-          def each_child: () { (t) -> void } -> void
-                        | () -> Enumerator[t, void]
-
-          include Helper::ChildrenLevel
-
-          def level: () -> Array[Integer]
-
-          def map_type: () { (t) -> t } -> self
-        end
-
-        # Singleton of a class/module
-        class Singleton < Base
-          def ==: (untyped other) -> bool
-
-          alias eql? ==
-
-          def hash: () -> Integer
-
-          def to_s: () -> ::String
-
-          def with_location: (untyped new_location) -> Singleton
-
-          include Helper::NoChild
-        end
-
-        # An instance of a class/module
-        class Instance < Applying
-          def to_module: () -> Singleton
-        end
-
-        # An interface type
-        class Interface < Applying
-        end
-
-        # Type alias
-        class Alias < Applying
-        end
-      end
-    end
-  end
-end

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

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

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

@@ -1,53 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Proc
-        attr_reader location: untyped
-
-        attr_reader type: Interface::Function
-
-        attr_reader self_type: AST::Types::t?
-
-        attr_reader block: Interface::Block?
-
-        def initialize: (type: Interface::Function, self_type: AST::Types::t?, 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
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::ChildrenLevel
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Proc
-
-        def map_type: () { (AST::Types::t) -> AST::Types::t } -> Proc
-
-        # Returns true if the proc requires exactly one argument
-        #
-        # * One required argument,
-        # * No optional/rest argument, and
-        # * No keywords
-        #
-        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

@@ -1,39 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Record
-        type key = Symbol | String | Integer
-
-        attr_reader location: untyped
-
-        attr_reader elements: Hash[key, t]
-
-        def initialize: (elements: Hash[key, t], ?location: untyped) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def subst: (Interface::Substitution s) -> Record
-
-        def to_s: () -> String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::ChildrenLevel
-
-        def each_child: () { (t) -> void } -> void
-                      | () -> Enumerator[t, void]
-
-        def map_type: () { (t) -> t } -> Record
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Record
-      end
-    end
-  end
-end

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

@@ -1,33 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Self
-        attr_reader location: untyped
-
-        def initialize: (?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        def to_s: () -> String
-
-        include Helper::NoChild
-
-        def subst: (Interface::Substitution s) -> t
-
-        @@fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Self
-
-        self.@instance: Self
-        def self.instance: () -> Self
-      end
-    end
-  end
-end

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

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

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

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

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

@@ -1,40 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Union
-        attr_reader types: Array[t]
-
-        attr_reader location: untyped
-
-        def initialize: (types: Array[t], ?location: untyped) -> void
-
-        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) -> t
-
-        def to_s: () -> ::String
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        def each_child: () { (t) -> void } -> void
-                      | () -> Enumerator[t, void]
-
-        def map_type: () { (t) -> t } -> t
-
-        include Helper::ChildrenLevel
-
-        def level: () -> Array[Integer]
-
-        def with_location: (untyped new_location) -> Union
-      end
-    end
-  end
-end

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

@@ -1,42 +0,0 @@
-module Steep
-  module AST
-    module Types
-      # Type variables
-      class Var
-        attr_reader name: Symbol
-
-        attr_reader location: untyped
-
-        def initialize: (name: Symbol, ?location: untyped?) -> void
-
-        def ==: (untyped other) -> bool
-
-        def hash: () -> Integer
-
-        alias eql? ==
-
-        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: () -> String
-
-        def subst: (Interface::Substitution s) -> t
-
-        @fvs: Set[variable]
-        def free_variables: () -> Set[variable]
-
-        include Helper::NoChild
-
-        def level: () -> Array[Integer]
-
-        def update: (?name: Symbol, ?location: untyped) -> Var
-
-        def with_location: (untyped new_location) -> Var
-      end
-    end
-  end
-end

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

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

data/sig/steep/ast/types.rbs

@@ -1,16 +0,0 @@
-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::Not | Logic::ReceiverIsNil | Logic::ReceiverIsNotNil | Logic::ReceiverIsArg | Logic::ArgIsReceiver | Logic::ArgEqualsReceiver | Logic::ArgIsAncestor | Logic::Env
-
-      # Variables and special types that is subject for substitution
-      #
-      type variable = Symbol | Class | Instance | Self
-    end
-  end
-end