class TypeProf::Core::AST::SigFuncType::SigTyBaseInstanceNode

Public Instance Methods

contravariant_vertex0(genv, changes, vtx, subst) click to toggle source
# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 197
def contravariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, subst[:"*instance"], vtx)
end
covariant_vertex0(genv, changes, vtx, subst) click to toggle source
# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 193
def covariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, subst[:"*instance"], vtx)
end
show() click to toggle source
# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 201
def show
  "instance"
end