Contents

module Steep
  module Subtyping
    class Relation
      attr_reader sub_type: untyped

      attr_reader super_type: untyped

      def initialize: (sub_type: untyped, super_type: untyped) -> void

      def hash: () -> untyped

      def ==: (untyped other) -> untyped

      alias eql? ==

      def to_s: () -> ::String

      def to_ary: () -> ::Array[untyped]

      def type?: () -> untyped

      def interface?: () -> untyped

      def method?: () -> untyped

      def function?: () -> untyped

      def params?: () -> untyped

      def block?: () -> untyped

      def assert_type: (untyped `type`) -> (untyped | nil)

      def type!: () -> untyped

      def interface!: () -> untyped

      def method!: () -> untyped

      def function!: () -> untyped

      def params!: () -> untyped

      def block!: () -> untyped

      def map: () { (untyped) -> untyped } -> untyped

      def flip: () -> untyped
    end
  end
end

Version data entries

3 entries across 3 versions & 1 rubygems

Version	Path
steep-1.1.1	sig/steep/subtyping/relation.rbs
steep-1.1.0	sig/steep/subtyping/relation.rbs
steep-1.1.0.pre.1	sig/steep/subtyping/relation.rbs