Contents

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

Version data entries

27 entries across 27 versions & 1 rubygems

Version	Path
steep-1.7.0.dev.3	sig/steep/ast/types/proc.rbs
steep-1.7.0.dev.2	sig/steep/ast/types/proc.rbs
steep-1.7.0.dev.1	sig/steep/ast/types/proc.rbs
steep-1.6.0	sig/steep/ast/types/proc.rbs
steep-1.6.0.pre.4	sig/steep/ast/types/proc.rbs
steep-1.6.0.pre.3	sig/steep/ast/types/proc.rbs
steep-1.6.0.pre.2	sig/steep/ast/types/proc.rbs
steep-1.6.0.pre.1	sig/steep/ast/types/proc.rbs
steep-1.5.3	sig/steep/ast/types/proc.rbs
steep-1.5.2	sig/steep/ast/types/proc.rbs
steep-1.5.1	sig/steep/ast/types/proc.rbs
steep-1.5.0	sig/steep/ast/types/proc.rbs
steep-1.5.0.pre.6	sig/steep/ast/types/proc.rbs
steep-1.5.0.pre.5	sig/steep/ast/types/proc.rbs
steep-1.5.0.pre.4	sig/steep/ast/types/proc.rbs
steep-1.5.0.pre.3	sig/steep/ast/types/proc.rbs
steep-1.5.0.pre.2	sig/steep/ast/types/proc.rbs
steep-1.5.0.pre.1	sig/steep/ast/types/proc.rbs
steep-1.4.0	sig/steep/ast/types/proc.rbs
steep-1.4.0.dev.5	sig/steep/ast/types/proc.rbs