Module: Yoda::Typing

Defined in:

lib/yoda/typing.rb,
lib/yoda/typing/tree.rb,
lib/yoda/typing/types.rb,
lib/yoda/typing/traces.rb,
lib/yoda/typing/tree/if.rb,
lib/yoda/typing/contexts.rb,
lib/yoda/typing/relation.rb,
lib/yoda/typing/tree/for.rb,
lib/yoda/typing/node_info.rb,
lib/yoda/typing/tree/base.rb,
lib/yoda/typing/tree/case.rb,
lib/yoda/typing/tree/self.rb,
lib/yoda/typing/tree/send.rb,
lib/yoda/typing/types/any.rb,
lib/yoda/typing/types/var.rb,
lib/yoda/typing/inferencer.rb,
lib/yoda/typing/tree/begin.rb,
lib/yoda/typing/tree/block.rb,
lib/yoda/typing/tree/const.rb,
lib/yoda/typing/tree/super.rb,
lib/yoda/typing/tree/while.rb,
lib/yoda/typing/tree/yield.rb,
lib/yoda/typing/types/base.rb,
lib/yoda/typing/types/type.rb,
lib/yoda/typing/environment.rb,
lib/yoda/typing/traces/base.rb,
lib/yoda/typing/traces/send.rb,
lib/yoda/typing/tree/escape.rb,
lib/yoda/typing/tree/method.rb,
lib/yoda/typing/types/tuple.rb,
lib/yoda/typing/types/union.rb,
lib/yoda/typing/tree/defined.rb,
lib/yoda/typing/tree/literal.rb,
lib/yoda/typing/types/method.rb,
lib/yoda/typing/lexical_scope.rb,
lib/yoda/typing/traces/normal.rb,
lib/yoda/typing/tree/variable.rb,
lib/yoda/typing/types/generic.rb,
lib/yoda/typing/tree/hash_body.rb,
lib/yoda/typing/types/function.rb,
lib/yoda/typing/types/instance.rb,
lib/yoda/typing/tree/class_tree.rb,
lib/yoda/typing/types/converter.rb,
lib/yoda/typing/types/generator.rb,
lib/yoda/typing/tree/module_tree.rb,
lib/yoda/typing/tree/rescue_body.rb,
lib/yoda/typing/constant_resolver.rb,
lib/yoda/typing/inferencer/tracer.rb,
lib/yoda/typing/types/instance_type.rb,
lib/yoda/typing/inferencer/arguments.rb,
lib/yoda/typing/types/singleton_type.rb,
lib/yoda/typing/contexts/base_context.rb,
lib/yoda/typing/tree/logical_operator.rb,
lib/yoda/typing/tree/singleton_method.rb,
lib/yoda/typing/contexts/block_context.rb,
lib/yoda/typing/constant_resolver/query.rb,
lib/yoda/typing/contexts/method_context.rb,
lib/yoda/typing/inferencer/type_binding.rb,
lib/yoda/typing/tree/logical_assignment.rb,
lib/yoda/typing/types/associative_array.rb,
lib/yoda/typing/inferencer/ast_traverser.rb,
lib/yoda/typing/tree/constant_assignment.rb,
lib/yoda/typing/tree/multiple_assignment.rb,
lib/yoda/typing/tree/variable_assignment.rb,
lib/yoda/typing/contexts/namespace_context.rb,
lib/yoda/typing/inferencer/method_resolver.rb,
lib/yoda/typing/inferencer/object_resolver.rb,
lib/yoda/typing/contexts/context_derivation.rb,
lib/yoda/typing/inferencer/arguments_binder.rb,
lib/yoda/typing/inferencer/parameter_binder.rb,
lib/yoda/typing/constant_resolver/cbase_query.rb,
lib/yoda/typing/constant_resolver/node_tracer.rb,
lib/yoda/typing/constant_resolver/member_query.rb,
lib/yoda/typing/tree/literal_with_interpolation.rb,
lib/yoda/typing/contexts/namespace_block_context.rb,
lib/yoda/typing/types/rbs_type_wrapper_interface.rb,
lib/yoda/typing/constant_resolver/relative_base_query.rb

Defined Under Namespace

Modules: Contexts, Traces, Tree, Types Classes: ConstantResolver, Environment, Inferencer, LexicalScope, NodeInfo, Relation