Table of Contents - typed.rb-0.0.20 Documentation
Classes and Modules
- Array
- BasicObject
- BasicObject::TypeRegistry
- Class
- Comparable
- Enumerable
- Enumerator
- Enumerator::Yielder
- Float
- Hash
- Integer
- Kernel
- MatchData
- Module
- Numeric
- Object
- Pair
- Range
- Regexp
- Showable
- String
- Symbol
- TypedRb
- TypedRb::AstParser
- TypedRb::AstParser::AssignationWrapper
- TypedRb::AstParser::RewrittenWrapper
- TypedRb::Language
- TypedRb::Model
- TypedRb::Model::Expr
- TypedRb::Model::GenSym
- TypedRb::Model::TmAbs
- TypedRb::Model::TmArrayLiteral
- TypedRb::Model::TmBoolean
- TypedRb::Model::TmBooleanOperator
- TypedRb::Model::TmBreak
- TypedRb::Model::TmCaseWhen
- TypedRb::Model::TmClass
- TypedRb::Model::TmConst
- TypedRb::Model::TmDefined
- TypedRb::Model::TmError
- TypedRb::Model::TmFloat
- TypedRb::Model::TmFor
- TypedRb::Model::TmFun
- TypedRb::Model::TmGlobalVar
- TypedRb::Model::TmGlobalVarAssignment
- TypedRb::Model::TmHashLiteral
- TypedRb::Model::TmIfElse
- TypedRb::Model::TmInstanceVar
- TypedRb::Model::TmInstanceVarAssignment
- TypedRb::Model::TmInt
- TypedRb::Model::TmLocalVarAsgn
- TypedRb::Model::TmMassAsgn
- TypedRb::Model::TmMlhs
- TypedRb::Model::TmModule
- TypedRb::Model::TmNext
- TypedRb::Model::TmNil
- TypedRb::Model::TmRangeLiteral
- TypedRb::Model::TmRegexp
- TypedRb::Model::TmRescue
- TypedRb::Model::TmReturn
- TypedRb::Model::TmSClass
- TypedRb::Model::TmSelf
- TypedRb::Model::TmSend
- TypedRb::Model::TmSequencing
- TypedRb::Model::TmString
- TypedRb::Model::TmStringInterpolation
- TypedRb::Model::TmSuper
- TypedRb::Model::TmSymbol
- TypedRb::Model::TmSymbolInterpolation
- TypedRb::Model::TmTry
- TypedRb::Model::TmVar
- TypedRb::Model::TmWhile
- TypedRb::ParsingContext
- TypedRb::Runtime
- TypedRb::Runtime::MethodSignatureProcessor
- TypedRb::Runtime::Normalization
- TypedRb::Runtime::Normalization::Validations
- TypedRb::Runtime::TypeParser
- TypedRb::Runtime::TypeSignatureProcessor
- TypedRb::TermParsingError
- TypedRb::TypeCheckError
- TypedRb::TypeSignature
- TypedRb::TypeSignature::Parser
- TypedRb::TypeSignature::ParsingError
- TypedRb::TypeSignature::TokenProcessor
- TypedRb::TypeSignature::TypeProcessor
- TypedRb::Types
- TypedRb::Types::Polymorphism
- TypedRb::Types::Polymorphism::ExistentialTypeVariable
- TypedRb::Types::Polymorphism::GenericComparisons
- TypedRb::Types::Polymorphism::GenericObject
- TypedRb::Types::Polymorphism::GenericVariables
- TypedRb::Types::Polymorphism::Topography
- TypedRb::Types::Polymorphism::TypeOperations
- TypedRb::Types::Polymorphism::TypeVariable
- TypedRb::Types::Polymorphism::TypeVariableRegister
- TypedRb::Types::Polymorphism::Unification
- TypedRb::Types::Polymorphism::UnificationError
- TypedRb::Types::SingletonObject
- TypedRb::Types::TyBoolean
- TypedRb::Types::TyDynamic
- TypedRb::Types::TyDynamicFunction
- TypedRb::Types::TyEither
- TypedRb::Types::TyError
- TypedRb::Types::TyExistentialType
- TypedRb::Types::TyFloat
- TypedRb::Types::TyFunction
- TypedRb::Types::TyGenericExistentialType
- TypedRb::Types::TyGenericFunction
- TypedRb::Types::TyGenericObject
- TypedRb::Types::TyGenericSingletonObject
- TypedRb::Types::TyInteger
- TypedRb::Types::TyObject
- TypedRb::Types::TyRegexp
- TypedRb::Types::TySingletonObject
- TypedRb::Types::TyStackJump
- TypedRb::Types::TyString
- TypedRb::Types::TySymbol
- TypedRb::Types::TyTopLevelObject
- TypedRb::Types::TyUnit
- TypedRb::Types::Type
- TypedRb::Types::TypeParsingError
- TypedRb::Types::TypingContext
- TypedRb::Types::UncomparableTypes
Methods
- ::add_constraint — TypedRb::Types::TypingContext
- ::all_constraints — TypedRb::Types::TypingContext
- ::all_variables — TypedRb::Types::TypingContext
- ::bound_generic_type_var? — TypedRb::Types::TypingContext
- ::break — TypedRb::Types::TyStackJump
- ::class_or_module? — TypedRb::Runtime::MethodSignatureProcessor
- ::clear — BasicObject::TypeRegistry
- ::clear — TypedRb::Types::TypingContext
- ::clear_parsing_registries — BasicObject::TypeRegistry
- ::computed_dependencies — Kernel
- ::constraints_for — TypedRb::Types::TypingContext
- ::destruct_signature — TypedRb::Runtime::MethodSignatureProcessor
- ::duplicate — TypedRb::Types::TypingContext
- ::empty_typing_context — TypedRb::Types::TypingContext
- ::existential_types_registry — BasicObject::TypeRegistry
- ::existential_types_registry= — BasicObject::TypeRegistry
- ::find — BasicObject::TypeRegistry
- ::find_existential_type — BasicObject::TypeRegistry
- ::find_generic_type — BasicObject::TypeRegistry
- ::find_namespace — TypedRb::Types::TypingContext
- ::function_context_pop — TypedRb::Types::TypingContext
- ::function_context_push — TypedRb::Types::TypingContext
- ::generic_types_parser_registry — BasicObject::TypeRegistry
- ::generic_types_registry — BasicObject::TypeRegistry
- ::generic_types_registry= — BasicObject::TypeRegistry
- ::include? — TypedRb::Types::TypingContext
- ::local_type_variable — TypedRb::Types::TypingContext
- ::local_var_counter — TypedRb::Types::Polymorphism::TypeVariableRegister
- ::methods_for — BasicObject::TypeRegistry
- ::namespace — TypedRb::Types::TypingContext
- ::namespace_pop — TypedRb::Types::TypingContext
- ::namespace_push — TypedRb::Types::TypingContext
- ::new — TypedRb::Model::Expr
- ::new — TypedRb::Model::TmAbs
- ::new — TypedRb::Model::TmArrayLiteral
- ::new — TypedRb::Model::TmBoolean
- ::new — TypedRb::Model::TmBooleanOperator
- ::new — TypedRb::Model::TmBreak
- ::new — TypedRb::Model::TmCaseWhen
- ::new — TypedRb::Model::TmClass
- ::new — TypedRb::Model::TmConst
- ::new — TypedRb::Model::TmDefined
- ::new — TypedRb::Model::TmError
- ::new — TypedRb::Model::TmFloat
- ::new — TypedRb::Model::TmFor
- ::new — TypedRb::Model::TmFun
- ::new — TypedRb::Model::TmGlobalVar
- ::new — TypedRb::Model::TmHashLiteral
- ::new — TypedRb::Model::TmIfElse
- ::new — TypedRb::Model::TmInstanceVar
- ::new — TypedRb::Model::TmInstanceVarAssignment
- ::new — TypedRb::Model::TmInt
- ::new — TypedRb::Model::TmLocalVarAsgn
- ::new — TypedRb::Model::TmMassAsgn
- ::new — TypedRb::Model::TmMlhs
- ::new — TypedRb::Model::TmModule
- ::new — TypedRb::Model::TmNext
- ::new — TypedRb::Model::TmNil
- ::new — TypedRb::Model::TmRangeLiteral
- ::new — TypedRb::Model::TmRegexp
- ::new — TypedRb::Model::TmRescue
- ::new — TypedRb::Model::TmReturn
- ::new — TypedRb::Model::TmSClass
- ::new — TypedRb::Model::TmSelf
- ::new — TypedRb::Model::TmSend
- ::new — TypedRb::Model::TmSequencing
- ::new — TypedRb::Model::TmString
- ::new — TypedRb::Model::TmStringInterpolation
- ::new — TypedRb::Model::TmSuper
- ::new — TypedRb::Model::TmSymbol
- ::new — TypedRb::Model::TmSymbolInterpolation
- ::new — TypedRb::Model::TmTry
- ::new — TypedRb::Model::TmVar
- ::new — TypedRb::Model::TmWhile
- ::new — TypedRb::AstParser::AssignationWrapper
- ::new — TypedRb::AstParser::RewrittenWrapper
- ::new — TypedRb::ParsingContext
- ::new — TypedRb::TypeSignature::ParsingError
- ::new — TypedRb::TypeSignature::Parser
- ::new — TypedRb::TypeCheckError
- ::new — TypedRb::Types::Type
- ::new — TypedRb::Types::Polymorphism::TypeVariable
- ::new — TypedRb::Types::Polymorphism::TypeVariableRegister
- ::new — TypedRb::Types::Polymorphism::UnificationError
- ::new — TypedRb::Types::Polymorphism::Topography
- ::new — TypedRb::Types::Polymorphism::Unification
- ::new — TypedRb::Types::TyBoolean
- ::new — TypedRb::Types::TyDynamicFunction
- ::new — TypedRb::Types::TyEither
- ::new — TypedRb::Types::TyError
- ::new — TypedRb::Types::TyExistentialType
- ::new — TypedRb::Types::TyFunction
- ::new — TypedRb::Types::TyGenericExistentialType
- ::new — TypedRb::Types::TyGenericFunction
- ::new — TypedRb::Types::TyGenericObject
- ::new — TypedRb::Types::TyGenericSingletonObject
- ::new — TypedRb::Types::UncomparableTypes
- ::new — TypedRb::Types::TyObject
- ::new — TypedRb::Types::TyInteger
- ::new — TypedRb::Types::TyFloat
- ::new — TypedRb::Types::TyString
- ::new — TypedRb::Types::TyUnit
- ::new — TypedRb::Types::TySymbol
- ::new — TypedRb::Types::TyRegexp
- ::new — TypedRb::Types::TySingletonObject
- ::new — TypedRb::Types::TyStackJump
- ::new — TypedRb::Types::TyTopLevelObject
- ::new — TypedRb::Types::TypingContext
- ::next — TypedRb::Model::GenSym
- ::next — TypedRb::Types::TyStackJump
- ::normalize_types! — BasicObject::TypeRegistry
- ::of — Pair
- ::parse — TypedRb::Runtime::TypeParser
- ::parse — TypedRb::TypeSignature::Parser
- ::parse_class_implicit_receiver — TypedRb::Runtime::MethodSignatureProcessor
- ::parse_concrete_type — TypedRb::Runtime::TypeParser
- ::parse_existential_object_type — TypedRb::Runtime::TypeParser
- ::parse_function_type — TypedRb::Runtime::TypeParser
- ::parse_generic_supertype — TypedRb::Runtime::TypeSignatureProcessor
- ::parse_implicit_receiver — TypedRb::Runtime::MethodSignatureProcessor
- ::parse_method_type_variable — TypedRb::Runtime::MethodSignatureProcessor
- ::parse_rest_args — TypedRb::Runtime::TypeParser
- ::parse_singleton_object_type — TypedRb::Runtime::TypeParser
- ::parse_type_var — TypedRb::Runtime::TypeParser
- ::parser_registry — BasicObject::TypeRegistry
- ::pop_context — TypedRb::Types::TypingContext
- ::process — TypedRb::Runtime::MethodSignatureProcessor
- ::process — TypedRb::Runtime::TypeSignatureProcessor
- ::push_context — TypedRb::Types::TypingContext
- ::register_generic_type_information — BasicObject::TypeRegistry
- ::register_type_information — BasicObject::TypeRegistry
- ::registered? — BasicObject::TypeRegistry
- ::registry — BasicObject::TypeRegistry
- ::registry= — BasicObject::TypeRegistry
- ::reset — TypedRb::Model::GenSym
- ::reset_dependencies — Kernel
- ::resolve — TypedRb::Model::GenSym
- ::return — TypedRb::Types::TyStackJump
- ::top_level — TypedRb::Types::TypingContext
- ::top_level? — TypedRb::Runtime::MethodSignatureProcessor
- ::type_application_counter — TypedRb::Runtime::TypeParser
- ::type_signature? — TypedRb::Runtime::TypeSignatureProcessor
- ::type_var? — BasicObject::TypeRegistry
- ::type_variable_for — TypedRb::Types::TypingContext
- ::type_variable_for_abstraction — TypedRb::Types::TypingContext
- ::type_variable_for_function_type — TypedRb::Types::TypingContext
- ::type_variable_for_generic_type — TypedRb::Types::TypingContext
- ::type_variable_for_global — TypedRb::Types::TypingContext
- ::type_variable_for_message — TypedRb::Types::TypingContext
- ::type_variables_register — TypedRb::Types::TypingContext
- ::type_vars_for — BasicObject::TypeRegistry
- ::vars_info — TypedRb::Types::TypingContext
- ::with_context — TypedRb::Types::TypingContext
- ::with_dependency_tracking — Kernel
- ::with_fresh_bindings — TypedRb::Model::TmClass
- ::with_fresh_bindings — TypedRb::Model::TmFun
- ::with_local_context — TypedRb::Model::TmModule
- ::wrap — TypedRb::Types::TyEither
- #!= — TypedRb::Types::Polymorphism::GenericComparisons
- #< — TypedRb::Types::Polymorphism::GenericComparisons
- #<= — TypedRb::Types::Polymorphism::GenericComparisons
- #<=> — TypedRb::Types::TyFunction
- #<=> — TypedRb::Types::TyObject
- #<=> — Comparable
- #== — TypedRb::Types::Polymorphism::GenericComparisons
- #> — TypedRb::Types::Polymorphism::GenericComparisons
- #>= — TypedRb::Types::Polymorphism::GenericComparisons
- #[] — TypedRb::Types::Polymorphism::Topography
- #[] — TypedRb::Types::TyEither
- #[]= — TypedRb::Types::TyEither
- #abstract — BasicObject
- #actual_arguments_hash — TypedRb::Types::SingletonObject
- #add_binding — TypedRb::Types::TypingContext
- #add_binding! — TypedRb::Types::TypingContext
- #add_constraint — TypedRb::Types::Polymorphism::TypeVariable
- #add_constraint — TypedRb::Types::Polymorphism::TypeVariableRegister
- #add_message_constraint — TypedRb::Types::Polymorphism::TypeVariable
- #add_to_send_bubble_constraints — TypedRb::Types::Polymorphism::TypeOperations
- #add_type_var_constraint — TypedRb::Types::Polymorphism::GenericComparisons
- #all_constraints — TypedRb::Types::Polymorphism::TypeVariableRegister
- #all_errors — TypedRb::Language
- #all_kinds — TypedRb::Types::TyEither
- #all_variables — TypedRb::Types::Polymorphism::TypeVariableRegister
- #ancestor_of_super_type? — TypedRb::Types::Polymorphism::GenericObject
- #apply_bindings — TypedRb::Types::Polymorphism::TypeVariable
- #apply_bindings — TypedRb::Types::TyEither
- #apply_bindings — TypedRb::Types::TyFunction
- #apply_bindings — TypedRb::Types::TyGenericObject
- #apply_bindings — TypedRb::Types::TyGenericSingletonObject
- #apply_type — TypedRb::Types::Polymorphism::TypeVariableRegister
- #apply_type_argument — TypedRb::Types::SingletonObject
- #apply_type_arguments — TypedRb::Types::SingletonObject
- #apply_type_arguments_recursively — TypedRb::Types::SingletonObject
- #apply_type_to_register — TypedRb::Types::Polymorphism::TypeVariableRegister
- #arg_compatible? — TypedRb::Types::TyDynamicFunction
- #arg_compatible? — TypedRb::Types::TyFunction
- #array_argument? — TypedRb::Model::TmMlhs
- #as_object_type — TypedRb::Types::TyGenericSingletonObject
- #as_object_type — TypedRb::Types::TyObject
- #as_object_type — TypedRb::Types::TySingletonObject
- #as_object_type — TypedRb::Types::TyTopLevelObject
- #assoc — Hash
- #ast — TypedRb::AstParser
- #bind — TypedRb::Types::Polymorphism::TypeVariable
- #bindings — TypedRb::Types::Polymorphism::Unification
- #bindings_map — TypedRb::Types::Polymorphism::Unification
- #block_arg? — TypedRb::TypeSignature::TypeProcessor
- #bound_generic_type_var? — TypedRb::Types::Polymorphism::TypeVariableRegister
- #bound_to_generic? — TypedRb::Types::Polymorphism::TypeVariable
- #break? — TypedRb::Types::TyEither
- #break? — TypedRb::Types::TyStackJump
- #bubble_send_constraints — TypedRb::Types::Polymorphism::Unification
- #build_class_methods_info — TypedRb::Runtime::Normalization
- #build_conditionals — TypedRb::Model::TmCaseWhen
- #build_final_signature — TypedRb::TypeSignature::Parser
- #build_generic_singleton_object — TypedRb::Runtime::Normalization
- #build_generic_super_type — TypedRb::Runtime::Normalization
- #build_message_error — TypedRb::TypeCheckError
- #build_send_message — TypedRb::AstParser
- #call — Class
- #can_apply? — TypedRb::Types::Polymorphism::TypeOperations
- #canonical_form — TypedRb::Types::Polymorphism::Unification
- #cast — BasicObject
- #cast? — TypedRb::Model::TmSend
- #check — TypedRb::Language
- #check_application — TypedRb::Model::TmSend
- #check_args_application — TypedRb::Model::TmSend
- #check_args_application — TypedRb::Types::TyDynamicFunction
- #check_args_application — TypedRb::Types::TyFunction
- #check_args_application — TypedRb::Types::TyGenericFunction
- #check_bindings — TypedRb::Types::Polymorphism::Topography
- #check_casting — TypedRb::Model::TmSend
- #check_constraint — TypedRb::Types::Polymorphism::Unification
- #check_errors — TypedRb::Language
- #check_file — TypedRb::Language
- #check_files — TypedRb::Language
- #check_generic_super_type — TypedRb::Runtime::Normalization
- #check_generic_type_relation — TypedRb::Types::Polymorphism::GenericComparisons
- #check_inclusion — TypedRb::Types::TyExistentialType
- #check_inclusion — TypedRb::Types::TyGenericExistentialType
- #check_inferior_or_equal_binding — TypedRb::Types::Polymorphism::GenericComparisons
- #check_instantiation — TypedRb::Model::TmSend
- #check_jump_kind — TypedRb::Types::TyEither
- #check_lambda_application — TypedRb::Model::TmSend
- #check_module_inclusions — TypedRb::Model::TmSend
- #check_normal_kind — TypedRb::Types::TyEither
- #check_return_type — TypedRb::Model::TmFun
- #check_super_type_annotations — TypedRb::Runtime::Normalization
- #check_type — TypedRb::Language
- #check_type — TypedRb::Model::Expr
- #check_type — TypedRb::Model::TmAbs
- #check_type — TypedRb::Model::TmArrayLiteral
- #check_type — TypedRb::Model::TmBooleanOperator
- #check_type — TypedRb::Model::TmBreak
- #check_type — TypedRb::Model::TmCaseWhen
- #check_type — TypedRb::Model::TmClass
- #check_type — TypedRb::Model::TmConst
- #check_type — TypedRb::Model::TmDefined
- #check_type — TypedRb::Model::TmError
- #check_type — TypedRb::Model::TmFor
- #check_type — TypedRb::Model::TmFun
- #check_type — TypedRb::Model::TmGlobalVar
- #check_type — TypedRb::Model::TmGlobalVarAssignment
- #check_type — TypedRb::Model::TmHashLiteral
- #check_type — TypedRb::Model::TmIfElse
- #check_type — TypedRb::Model::TmInstanceVar
- #check_type — TypedRb::Model::TmInstanceVarAssignment
- #check_type — TypedRb::Model::TmLocalVarAsgn
- #check_type — TypedRb::Model::TmMassAsgn
- #check_type — TypedRb::Model::TmMlhs
- #check_type — TypedRb::Model::TmModule
- #check_type — TypedRb::Model::TmNext
- #check_type — TypedRb::Model::TmRangeLiteral
- #check_type — TypedRb::Model::TmRegexp
- #check_type — TypedRb::Model::TmRescue
- #check_type — TypedRb::Model::TmReturn
- #check_type — TypedRb::Model::TmSClass
- #check_type — TypedRb::Model::TmSelf
- #check_type — TypedRb::Model::TmSend
- #check_type — TypedRb::Model::TmSequencing
- #check_type — TypedRb::Model::TmStringInterpolation
- #check_type — TypedRb::Model::TmSuper
- #check_type — TypedRb::Model::TmSymbolInterpolation
- #check_type — TypedRb::Model::TmTry
- #check_type — TypedRb::Model::TmVar
- #check_type — TypedRb::Model::TmWhile
- #check_type — TypedRb::Types::Polymorphism::TypeVariable
- #check_type — TypedRb::Types::TyEither
- #check_type — TypedRb::Types::TyObject
- #check_type_application_to_generic — TypedRb::Model::TmSend
- #check_type_explicit_receiver — TypedRb::Model::TmSend
- #check_type_no_explicit_receiver — TypedRb::Model::TmSend
- #check_type_var_inclusion — TypedRb::Types::Polymorphism::GenericComparisons
- #check_unbound_receivers — TypedRb::Types::Polymorphism::TypeOperations
- #check_yield_application — TypedRb::Model::TmSend
- #children — TypedRb::AstParser::AssignationWrapper
- #class_var_types — TypedRb::Types::Polymorphism::TypeVariableRegister
- #clean_dynamic_bindings — TypedRb::Types::Polymorphism::TypeVariable
- #clean_dynamic_bindings — TypedRb::Types::Polymorphism::TypeVariableRegister
- #clean_dynamic_bindings — TypedRb::Types::TyGenericExistentialType
- #clear — TypedRb::Types::Polymorphism::TypeVariableRegister
- #clone — TypedRb::Types::Polymorphism::TypeVariable
- #clone — TypedRb::Types::Polymorphism::TypeVariableRegister
- #clone — TypedRb::Types::TyGenericSingletonObject
- #clone_with_substitutions — TypedRb::Types::TyGenericFunction
- #clone_with_substitutions — TypedRb::Types::TyGenericObject
- #clone_with_substitutions — TypedRb::Types::SingletonObject
- #collect_methods — TypedRb::Runtime::Normalization
- #compare_ruby_ruby — TypedRb::Types::TyObject
- #compare_with_union — TypedRb::Types::TyObject
- #compatible? — TypedRb::Model::TmMlhs
- #compatible? — TypedRb::Types::Type
- #compatible? — TypedRb::Types::Polymorphism::TypeVariable
- #compatible? — TypedRb::Types::TyDynamic
- #compatible? — TypedRb::Types::TyDynamicFunction
- #compatible? — TypedRb::Types::TyEither
- #compatible? — TypedRb::Types::TyError
- #compatible? — TypedRb::Types::TyFunction
- #compatible? — TypedRb::Types::TyGenericFunction
- #compatible? — TypedRb::Types::TyObject
- #compatible? — TypedRb::Types::TySingletonObject
- #compatible? — TypedRb::Types::TyTopLevelObject
- #compatible? — TypedRb::Types::Polymorphism::GenericComparisons
- #compatible_either? — TypedRb::Types::TyEither
- #compatible_free_type_vars? — TypedRb::Types::Polymorphism::GenericComparisons
- #compatible_gt_type? — TypedRb::Types::Polymorphism::TypeOperations
- #compatible_lt_type? — TypedRb::Types::Polymorphism::TypeOperations
- #compatible_send_type? — TypedRb::Types::Polymorphism::TypeOperations
- #compatible_type? — TypedRb::Types::Polymorphism::TypeOperations
- #compute_minimal_typing_context — TypedRb::Types::TyGenericSingletonObject
- #compute_owner_type — TypedRb::Model::TmFun
- #compute_parameters_info — TypedRb::Runtime::Normalization
- #constraints — TypedRb::Types::Polymorphism::TypeVariable
- #constraints_for — TypedRb::Types::Polymorphism::TypeVariableRegister
- #context_name — TypedRb::ParsingContext
- #context_name — TypedRb::Types::TypingContext
- #create_context — TypedRb::Types::TyGenericFunction
- #deconstruct_from_arguments — TypedRb::Types::TyFunction
- #do_bindings! — TypedRb::Types::Polymorphism::Topography
- #dynamic? — TypedRb::Types::TyDynamic
- #dynamic? — TypedRb::Types::TyDynamicFunction
- #dynamic? — TypedRb::Types::TyFunction
- #dynamic? — TypedRb::Types::TyObject
- #dynamic_warnings — TypedRb
- #either? — TypedRb::Types::Type
- #either? — TypedRb::Types::Polymorphism::TypeVariable
- #either? — TypedRb::Types::TyEither
- #either? — TypedRb::Types::TyObject
- #ensure_string — TypedRb::Types::Polymorphism::TypeVariableRegister
- #expand_constraint — TypedRb::Types::Polymorphism::Unification
- #expand_constraints — TypedRb::Types::Polymorphism::Unification
- #find_function_type — TypedRb::Types::TyGenericObject
- #find_function_type — TypedRb::Types::TyGenericSingletonObject
- #find_function_type — TypedRb::Types::TyObject
- #find_function_type — TypedRb::Types::TySingletonObject
- #find_function_type — TypedRb::Types::TyTopLevelObject
- #find_function_type_in_hierarchy — TypedRb::Types::TyObject
- #find_function_type_in_metaclass_hierarchy — TypedRb::Types::TySingletonObject
- #find_methods — TypedRb::Runtime::Normalization
- #find_methods_for_class — TypedRb::Runtime::Normalization
- #find_methods_for_top_level_object — TypedRb::Runtime::Normalization
- #find_type — TypedRb::Types::Polymorphism::Topography
- #find_var_type — TypedRb::Types::Polymorphism::ExistentialTypeVariable
- #find_var_type — TypedRb::Types::TyObject
- #find_var_type — TypedRb::Types::TySingletonObject
- #find_var_type — TypedRb::Types::TyTopLevelObject
- #for_name — Class
- #free_type_variables — TypedRb::Types::TyGenericFunction
- #fully_bound? — TypedRb::Types::Polymorphism::TypeVariable
- #gen_bin_prelude — TypedRb::Language
- #generic? — TypedRb::Types::TyFunction
- #generic? — TypedRb::Types::TyGenericFunction
- #generic? — TypedRb::Types::TyObject
- #generic? — TypedRb::Types::Polymorphism::GenericObject
- #generic_singleton_object — TypedRb::Types::Polymorphism::GenericObject
- #generic_type_var_to_applied_type_var — TypedRb::Types::Polymorphism::GenericObject
- #get_self — TypedRb::Types::TypingContext
- #get_type_for — TypedRb::Types::TypingContext
- #group_tokens — TypedRb::TypeSignature::TokenProcessor
- #grouped? — TypedRb::Types::Polymorphism::Topography
- #has_jump? — TypedRb::Types::TyEither
- #include? — TypedRb::Types::Polymorphism::TypeVariableRegister
- #incompatible_free_type_vars? — TypedRb::Types::Polymorphism::GenericComparisons
- #infer_receiver — TypedRb::Types::Polymorphism::TypeOperations
- #join — TypedRb::Types::TyObject
- #kinds — TypedRb::Types::TyEither
- #load — Kernel
- #load_bin_prelude — TypedRb::Language
- #local_type_variable — TypedRb::Types::Polymorphism::TypeVariableRegister
- #log — TypedRb
- #log_dynamic_warning — TypedRb
- #logger — TypedRb
- #make_final_return — TypedRb::Model::TmSequencing
- #make_group — TypedRb::Types::Polymorphism::Topography
- #map — TypedRb::AstParser
- #materialize — TypedRb::Types::TyGenericExistentialType
- #materialize — TypedRb::Types::TyGenericFunction
- #materialize — TypedRb::Types::TyGenericSingletonObject
- #materialize_found_function — TypedRb::Types::Polymorphism::GenericObject
- #materialize_found_function_arg — TypedRb::Types::Polymorphism::GenericObject
- #materialize_super_type_found_function — TypedRb::Types::Polymorphism::GenericObject
- #materialize_with_type_vars — TypedRb::Types::TyGenericSingletonObject
- #max — TypedRb::Types::TyEither
- #max — TypedRb::Types::TyObject
- #max_type — TypedRb::Types::Polymorphism::Topography
- #merge — TypedRb::Types::Polymorphism::Topography
- #merge_groups — TypedRb::Types::Polymorphism::Topography
- #meta_ancestors — Class
- #meta_ancestors — Module
- #method_missing — TypedRb::AstParser::AssignationWrapper
- #method_var_types — TypedRb::Types::Polymorphism::TypeVariableRegister
- #min_type — TypedRb::Types::Polymorphism::Topography
- #module_include_implementation? — TypedRb::Model::TmSend
- #name — TypedRb::Types::TyFunction
- #next? — TypedRb::Types::TyEither
- #next? — TypedRb::Types::TyStackJump
- #normalize_generic_types! — TypedRb::Runtime::Normalization
- #normalize_method_signatures — TypedRb::Runtime::Normalization
- #normalize_methods! — TypedRb::Runtime::Normalization
- #normalize_signature! — TypedRb::Runtime::Normalization
- #object_key — TypedRb::Runtime::Normalization
- #old_load — Kernel
- #old_require — Kernel
- #old_require_relative — Kernel
- #options — TypedRb
- #options= — TypedRb
- #pair_argument? — TypedRb::Model::TmMlhs
- #parse — TypedRb::Language
- #parse — TypedRb::AstParser
- #parse — TypedRb::TypeSignature::Parser
- #parse_args — TypedRb::AstParser
- #parse_array_literal — TypedRb::AstParser
- #parse_begin — TypedRb::AstParser
- #parse_binding — TypedRb::TypeSignature::TypeProcessor
- #parse_block — TypedRb::AstParser
- #parse_block_arg — TypedRb::TypeSignature::TypeProcessor
- #parse_block_pass — TypedRb::AstParser
- #parse_boolean_asgn — TypedRb::AstParser
- #parse_boolean_operation — TypedRb::AstParser
- #parse_break — TypedRb::AstParser
- #parse_case_when — TypedRb::AstParser
- #parse_class — TypedRb::AstParser
- #parse_class — TypedRb::Runtime::Normalization
- #parse_const — TypedRb::AstParser
- #parse_def — TypedRb::AstParser
- #parse_defs — TypedRb::AstParser
- #parse_end_of_binding — TypedRb::TypeSignature::TypeProcessor
- #parse_end_of_function — TypedRb::TypeSignature::TypeProcessor
- #parse_for — TypedRb::AstParser
- #parse_fun — TypedRb::AstParser
- #parse_function_arity — TypedRb::Types::TyFunction
- #parse_global_var — TypedRb::AstParser
- #parse_global_var_assign — TypedRb::AstParser
- #parse_hash_literal — TypedRb::AstParser
- #parse_if_then_else — TypedRb::AstParser
- #parse_instance_var — TypedRb::AstParser
- #parse_instance_var_assign — TypedRb::AstParser
- #parse_lambda — TypedRb::AstParser
- #parse_lvasgn — TypedRb::AstParser
- #parse_mass_assign — TypedRb::AstParser
- #parse_min_function_arity — TypedRb::Types::TyFunction
- #parse_module — TypedRb::AstParser
- #parse_new_type — TypedRb::TypeSignature::TypeProcessor
- #parse_next — TypedRb::AstParser
- #parse_next_char — TypedRb::TypeSignature::Parser
- #parse_next_elem — TypedRb::TypeSignature::TypeProcessor
- #parse_object_key — TypedRb::Runtime::Normalization
- #parse_op_asgn — TypedRb::AstParser
- #parse_owner — TypedRb::Model::TmFun
- #parse_proc — TypedRb::AstParser
- #parse_range — TypedRb::AstParser
- #parse_regexp — TypedRb::AstParser
- #parse_rescue — TypedRb::AstParser
- #parse_return — TypedRb::AstParser
- #parse_sclass — TypedRb::AstParser
- #parse_self — TypedRb::AstParser
- #parse_send — TypedRb::AstParser
- #parse_send_block — TypedRb::AstParser
- #parse_start_of_type — TypedRb::TypeSignature::TypeProcessor
- #parse_string_interpolation — TypedRb::AstParser
- #parse_super_type_materialization_arg — TypedRb::Types::Polymorphism::GenericObject
- #parse_super_type_materialization_args — TypedRb::Types::Polymorphism::GenericObject
- #parse_super_with_args — TypedRb::AstParser
- #parse_symbol_interpolation — TypedRb::AstParser
- #parse_try — TypedRb::AstParser
- #parse_type_application_argument — TypedRb::Model::TmSend
- #parse_type_application_arguments — TypedRb::Model::TmSend
- #parse_variable_binding — TypedRb::TypeSignature::TypeProcessor
- #parse_while — TypedRb::AstParser
- #parse_yield — TypedRb::AstParser
- #path_name — TypedRb::ParsingContext
- #pop — TypedRb::ParsingContext
- #print_constraints — TypedRb::Types::Polymorphism::TypeVariableRegister
- #print_constraints — TypedRb::Types::Polymorphism::Unification
- #print_groups — TypedRb::Types::Polymorphism::Topography
- #process_arguments — TypedRb::Model::TmFun
- #process_array — TypedRb::Model::TmMlhs
- #process_dependency — Kernel
- #process_either_type — TypedRb::Model::TmFor
- #process_either_type — TypedRb::Model::TmWhile
- #process_lambda_args — TypedRb::Model::TmMlhs
- #process_pair — TypedRb::Model::TmMassAsgn
- #process_pair — TypedRb::Model::TmMlhs
- #process_terms_after_return — TypedRb::Model::TmSequencing
- #process_terms_before_return — TypedRb::Model::TmSequencing
- #push — TypedRb::ParsingContext
- #push_binding — TypedRb::Types::TypingContext
- #rassoc — Hash
- #receiver_type — TypedRb::Model::TmSend
- #recursive_constraint_search — TypedRb::Types::Polymorphism::TypeVariableRegister
- #register_dynamic_warning — TypedRb
- #rename_constraints — TypedRb::Types::Polymorphism::TypeVariableRegister
- #replace — TypedRb::Types::Polymorphism::Topography
- #replace_groups — TypedRb::Types::Polymorphism::Topography
- #report_errors — TypedRb::Language
- #require — Kernel
- #require_relative — Kernel
- #resolve_ruby_method — TypedRb::Types::TyObject
- #resolve_ruby_method — TypedRb::Types::TySingletonObject
- #resolve_ruby_method — TypedRb::Types::TyTopLevelObject
- #resolve_ruby_method_parameters — TypedRb::Model::TmAbs
- #restore_prelude — TypedRb::Language
- #return? — TypedRb::Types::TyEither
- #return? — TypedRb::Types::TyStackJump
- #run — TypedRb::Types::Polymorphism::Unification
- #run_unification — TypedRb::Language
- #sanitize_input — TypedRb::TypeSignature::Parser
- #second — Pair
- #select_matching_function_in_class — TypedRb::Types::TyObject
- #self_materialize — TypedRb::Types::TyGenericSingletonObject
- #set_level — TypedRb
- #setup_binding_context — TypedRb::TypeSignature::Parser
- #setup_context — TypedRb::Model::TmFun
- #shift — Hash
- #singleton? — TypedRb::Types::TyObject
- #singleton? — TypedRb::Types::TySingletonObject
- #singleton_class? — TypedRb::ParsingContext
- #singleton_object_type — TypedRb::Model::TmSend
- #stack_jump? — TypedRb::Types::Type
- #stack_jump? — TypedRb::Types::Polymorphism::TypeVariable
- #stack_jump? — TypedRb::Types::TyStackJump
- #to_s — TypedRb::Model::TmVar
- #to_s — TypedRb::AstParser::AssignationWrapper
- #to_s — TypedRb::Types::Polymorphism::TypeVariable
- #to_s — TypedRb::Types::TyBoolean
- #to_s — TypedRb::Types::TyEither
- #to_s — TypedRb::Types::TyError
- #to_s — TypedRb::Types::TyFunction
- #to_s — TypedRb::Types::TyObject
- #to_s — TypedRb::Types::TySingletonObject
- #to_s — TypedRb::Types::TyStackJump
- #to_s — TypedRb::Types::TyTopLevelObject
- #to_s — TypedRb::Types::Polymorphism::GenericObject
- #to_sexp — TypedRb::AstParser::RewrittenWrapper
- #to_ty_object — TypedRb::Types::Polymorphism::GenericComparisons
- #to_wildcard! — TypedRb::Types::Polymorphism::TypeVariable
- #top_level_register — TypedRb::Types::Polymorphism::TypeVariableRegister
- #transform_function_tokens — TypedRb::TypeSignature::TokenProcessor
- #transform_nested_function — TypedRb::TypeSignature::TokenProcessor
- #ts — BasicObject
- #ts_ignore — BasicObject
- #type — TypedRb::AstParser::RewrittenWrapper
- #type_application_counter — TypedRb::Model::TmSend
- #type_variable_for — TypedRb::Types::Polymorphism::TypeVariableRegister
- #type_variable_for_abstraction — TypedRb::Types::Polymorphism::TypeVariableRegister
- #type_variable_for_generic_type — TypedRb::Types::Polymorphism::TypeVariableRegister
- #type_variable_for_global — TypedRb::Types::Polymorphism::TypeVariableRegister
- #type_variable_for_message — TypedRb::Types::Polymorphism::TypeVariableRegister
- #type_variables — TypedRb::Language
- #type_variables — TypedRb::Types::TyGenericFunction
- #type_vars — TypedRb::Types::Polymorphism::GenericVariables
- #unbind — TypedRb::Types::Polymorphism::TypeVariable
- #unbound_vars — TypedRb::Types::Polymorphism::GenericVariables
- #unify — TypedRb::Types::Polymorphism::Unification
- #union — TypedRb::Types::TyObject
- #unlink — TypedRb::Types::Polymorphism::TypeVariableRegister
- #unwrap — TypedRb::Types::TyEither
- #upper_class_register — TypedRb::Types::Polymorphism::TypeVariableRegister
- #valid_kind? — TypedRb::Types::TyEither
- #valid_super_type? — TypedRb::Runtime::Normalization
- #validate_function_signature — TypedRb::Runtime::Normalization::Validations
- #validate_method — TypedRb::Runtime::Normalization::Validations
- #validate_signature — TypedRb::Runtime::Normalization::Validations
- #validate_signatures — TypedRb::Runtime::Normalization::Validations
- #variable_group? — TypedRb::TypeSignature::TokenProcessor
- #vars — TypedRb::Types::Polymorphism::Topography
- #wildcard? — TypedRb::Types::Polymorphism::TypeVariable
- #with_block — TypedRb::Model::TmSend
- #with_block_type — TypedRb::Types::TyFunction
- #with_fresh_bindings — TypedRb::Model::TmAbs
- #with_type — TypedRb::ParsingContext