Sha256: e70e612f69346d3d29f46e0c2c32bcf454b810e069443e92e1e8ee3d6b8b2586
Contents?: true
Size: 1.01 KB
Versions: 24
Compression:
Stored size: 1.01 KB
Contents
module Steep
module Subtyping
class Relation[out Subject < Object]
attr_reader sub_type: Subject
attr_reader super_type: Subject
def initialize: (sub_type: Subject, super_type: Subject) -> void
def hash: () -> Integer
def ==: (untyped other) -> bool
alias eql? ==
def to_s: () -> ::String
def to_ary: () -> [Subject, Subject]
def type?: () -> bool
def interface?: () -> bool
def method?: () -> bool
def function?: () -> bool
def params?: () -> bool
def block?: () -> bool
type relation_type = :type | :interface | :method | :function | :params | :block
def assert_type: (relation_type `type`) -> void
def type!: () -> void
def interface!: () -> void
def method!: () -> void
def function!: () -> void
def params!: () -> void
def block!: () -> void
def map: [T < Object] () { (Subject) -> T } -> Relation[T]
def flip: () -> Relation[Subject]
end
end
end
Version data entries
24 entries across 24 versions & 1 rubygems