class TypeProf::Core::AST::SigFuncType::SigTyBaseBoolNode - typeprof: Ruby Standard Library Documentation

contravariant_vertex0(genv, changes, vtx, subst) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 100
def contravariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, Source.new(genv.true_type, genv.false_type), 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 96
def covariant_vertex0(genv, changes, vtx, subst)
  changes.add_edge(genv, Source.new(genv.true_type, genv.false_type), vtx)
end

show() click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/ast/sig_type.rb, line 104
def show
  "bool"
end