class TypeProf::Core::AST::SigFuncType::SigTyNode

Public Instance Methods

contravariant_vertex(genv, changes, subst) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 88
def contravariant_vertex(genv, changes, subst)
  vtx = changes.new_contravariant_vertex(genv, self)
  contravariant_vertex0(genv, changes, vtx, subst)
  vtx
end

covariant_vertex(genv, changes, subst) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 82
def covariant_vertex(genv, changes, subst)
  vtx = changes.new_covariant_vertex(genv, self)
  covariant_vertex0(genv, changes, vtx, subst)
  vtx
end