Sha256: 38b97e88eb977aa87df61204d075cf24ecbb82962e92d632a940da4f6334327c
Contents?: true
Size: 844 Bytes
Versions: 18
Compression:
Stored size: 844 Bytes
Contents
module Steep
module Subtyping
class VariableVariance
attr_reader covariants: Set[Symbol]
attr_reader contravariants: Set[Symbol]
def initialize: (covariants: Set[Symbol], contravariants: Set[Symbol]) -> void
def covariant?: (Symbol var) -> bool
def contravariant?: (Symbol var) -> bool
def invariant?: (Symbol var) -> bool
def self.from_type: (AST::Types::t) -> VariableVariance
def self.from_method_type: (Interface::MethodType method_type) -> VariableVariance
def self.add_params: (Interface::Function::Params params, block: bool, covariants: Set[Symbol], contravariants: Set[Symbol]) -> void
def self.add_type: (AST::Types::t `type`, variance: :covariant | :contravariant | :invariant, covariants: Set[Symbol], contravariants: Set[Symbol]) -> void
end
end
end
Version data entries
18 entries across 18 versions & 1 rubygems