Sha256: d046e31d0cb5250ba66367a0ff2f232c3a8a6bb7fbd508d02cea690b36e19501
Contents?: true
Size: 1.34 KB
Versions: 5
Compression:
Stored size: 1.34 KB
Contents
module Steep
module Interface
class Substitution
class InvalidSubstitutionError < StandardError
attr_reader vars_size: untyped
attr_reader types_size: untyped
def initialize: (vars_size: untyped, types_size: untyped) -> void
end
attr_reader dictionary: Hash[Symbol, AST::Types::t]
attr_reader instance_type: AST::Types::t
attr_reader module_type: AST::Types::t
attr_reader self_type: AST::Types::t
def initialize: (dictionary: Hash[Symbol, AST::Types::t], instance_type: AST::Types::t, module_type: AST::Types::t, self_type: AST::Types::t) -> void
def self.empty: () -> instance
def empty?: () -> bool
def domain: () -> Set[AST::Types::t | Symbol]
def to_s: () -> ::String
def []: (Symbol key) -> AST::Types::t
def key?: (Symbol var) -> bool
def self.build: (Array[Symbol] vars, ?Array[AST::Types::t]? types, ?instance_type: AST::Types::t, ?module_type: AST::Types::t, ?self_type: AST::Types::t) -> Substitution
def except: (Array[Symbol] vars) -> Substitution
def except!: (Array[Symbol] vars) -> self
def merge!: (Substitution s, ?overwrite: bool) -> self
def merge: (Substitution s) -> Substitution
def apply?: (AST::Types::t) -> bool
def add!: (Symbol v, AST::Types::t ty) -> self
end
end
end
Version data entries
5 entries across 5 versions & 1 rubygems