Method List

Classes Methods Files

Search:

#<= RDL::Type::PreciseStringType
#<= RDL::Type::SingletonType
#<= RDL::Type::GenericType
#<= RDL::Type::NominalType
#<= RDL::Type::UnionType
#<= RDL::Type::VarType
#<= RDL::Type::TopType
#<= RDL::Type::StructuralType
#<= RDL::Type::ComputedType
#<= RDL::Type::DependentArgType
#<= RDL::Type::DynamicType
#<= RDL::Type::BotType
#<= RDL::Type::FiniteHashType
#<= RDL::Type::AstNode
#<= RDL::Type::TupleType
#<= RDL::Type::NonNullType
#<= RDL::Type::MethodType
#<= RDL::Type::WildQuery
#== RDL::Type::TupleType
#== RDL::Type::DynamicType
#== RDL::Type::FiniteHashType
#== RDL::Type::NominalType
#== RDL::Type::StructuralType
#== RDL::Type::OptionalType
#== RDL::Type::AnnotatedArgType
#== RDL::Typecheck::Env
#== RDL::Type::DependentArgType
#== RDL::Type::GenericType
#== RDL::Type::BoundArgType
#== RDL::Type::BotType
#== RDL::Type::NonNullType
#== RDL::Type::VarargType
#== RDL::Type::UnionType
#== RDL::Type::MethodType
#== SimpleDelegator
#== RDL::Type::SingletonType
#== RDL::Type::AstNode
#== RDL::Type::IntersectionType
#== RDL::Type::TopType
#== RDL::Type::PreciseStringType
#== RDL::Type::ComputedType
#== RDL::Type::VarType
#== RDL::Type::WildQuery
#== RDL::Type::DotsQuery
#=== Class
#=== SimpleDelegator
#Object Top Level Namespace
#Sequel Table
#[] RDL::Typecheck::Env
__new__ RDL::Type::DynamicType
__new__ RDL::Type::UnionType
__new__ RDL::Type::WildQuery
__new__ RDL::Type::SingletonType
__new__ RDL::Type::DotsQuery
__new__ RDL::Type::VarargType
__new__ RDL::Type::BotType
__new__ RDL::Type::IntersectionType
__new__ RDL::Type::StructuralType
__new__ RDL::Type::NominalType
__new__ RDL::Type::TopType
__new__ RDL::Type::VarType
#__rdl_dyn_type_check Object
#_next_token RDL::Type::Parser
#_reduce_none RDL::Type::Parser
access_output ActiveRecord::Base
#action RDL::Type::Parser
#add RDL::Info
#add_nowrap RDL::Config
add_singleton_marker RDL::Util
aliases RDL::Globals
#align_combine Parser::Source::TreeRewriter
#align_replace Parser::Source::TreeRewriter
#align_replace Parser::TreeRewriter
all_output Table
any_or_k Hash
any_or_t Array
any_or_v Hash
any_string String
append_output String
append_push_output Array
ar_db_schema RDL::Globals
#args RDL::Type::MethodType
args_hash RDL::Typecheck
#array RDL::Type::TupleType
array_to_s RDL::Contract::AndContract
assign_output Array
assign_output Hash
associated_with? DBType
#assume_dyn_type RDL::Config
at RDL
#attr_accessor_type RDL::Annotate
#attr_reader_type RDL::Annotate
#attr_writer_type RDL::Annotate
attribute_types RDL::Rails
#base RDL::Type::GenericType
#binary_op ASTVisitor
#bind RDL::Typecheck::Env
#block RDL::Type::MethodType
#block RDL::Type::DynamicType
#block_wrap RDL::Type::MethodType
#build_string_from_precise_string Top Level Namespace
#canonical RDL::Type::UnionType
#canonical RDL::Type::FiniteHashType
#canonical RDL::Type::PreciseStringType
#canonical RDL::Type::Type
#canonical RDL::Type::GenericType
#canonical RDL::Type::TupleType
#canonicalize! RDL::Type::UnionType
#canonicalize! RDL::Type::GenericType
#cant_promote! RDL::Type::PreciseStringType
#cant_promote! RDL::Type::TupleType
#cant_promote! RDL::Type::FiniteHashType
cap_down_output String
capture RDL::Typecheck
#check RDL::Contract::FlatContract
#check RDL::Contract::AndContract
#check RDL::Contract::OrContract
#check_arg_preds RDL::Type::MethodType
check_arg_types RDL::Type::MethodType
check_array RDL::Contract::AndContract
check_block_arg_types RDL::Type::MethodType
check_block_ret_types RDL::Type::MethodType
#check_bounds RDL::Type::PreciseStringType
#check_bounds RDL::Type::TupleType
#check_bounds RDL::Type::FiniteHashType
#check_comp_types RDL::Config
check_qual_column Table
#check_ret_pred RDL::Type::MethodType
check_ret_types RDL::Type::MethodType
check_type_code RDL
#children RDL::Type::AstNode
chop_output String
#class SimpleDelegator
class_query RDL::Query
cleanse_meth_name RDL
clear_output String
#code RDL::Type::ComputedType
column_to_rdl RDL::Rails
comp_type_map RDL::Globals
#compute RDL::Type::ComputedType
compute_types RDL::Typecheck
config RDL
contract_switch RDL::Globals
#contracts RDL::Contract::AndContract
#contracts RDL::Contract::OrContract
#copy RDL::Type::IntersectionType
#copy RDL::Type::TupleType
#copy RDL::Type::NominalType
#copy RDL::Type::BotType
#copy RDL::Type::GenericType
#copy RDL::Type::VarType
#copy RDL::Type::FiniteHashType
#copy RDL::Type::PreciseStringType
#copy RDL::Type::MethodType
#copy RDL::Type::SingletonType
#copy RDL::Type::StructuralType
#copy RDL::Type::TopType
#copy RDL::Type::DynamicType
#copy RDL::Type::VarargType
#copy RDL::Type::NonNullType
#copy RDL::Type::DependentArgType
#copy RDL::Type::UnionType
#copy RDL::Type::OptionalType
#copy RDL::Type::BoundArgType
#copy RDL::Type::AnnotatedArgType
count_input DBType
deferred RDL::Globals
deinstantiate! RDL
delete_output Hash
dep_types RDL::Globals
#desc RDL::Contract::FlatContract
#do_guess_types RDL::Config
#do_report RDL::Config
do_typecheck RDL
effect_leq RDL::Typecheck
effect_union RDL::Typecheck
#elts RDL::Type::FiniteHashType
#env RDL::Typecheck::Env
error RDL::Typecheck
exists_input_type DBType
expand_product RDL::Type
#filename RDL::Type::Parser
fill_output Array
filter_comp_types RDL::Typecheck
#find ActiveRecord::Core::ClassMethods
#find ActiveRecord::FinderMethods
#find_all RDL::Type::AstNode
find_constant RDL::Typecheck
find_input_type DBType
#find_one RDL::Type::AstNode
find_output_type DBType
#first ActiveRecord::Querying
first_output Table
#fix RDL::Typecheck::Env
#fixed? RDL::Typecheck::Env
#gather_stats RDL::Config
gen_output_type Sequel::Mysql2::Database
gen_output_type Sequel
gen_output_type SeqIdent
gen_output_type SequelDB
#get RDL::Info
get_all_joined Table
get_ast RDL::Typecheck
get_input Table
get_joined_args DBType
get_leaves RDL::Typecheck
get_nominal_where_type Table
get_output Table
get_schema Table
get_singleton_name RDL::Typecheck
get_super_owner RDL::Typecheck
get_super_owner_from_class RDL::Typecheck
get_type_params RDL::Wrap
#get_with_aliases RDL::Info
#guess_meth RDL::Config
#guess_types RDL::Config
#guess_types= RDL::Config
#handle_sql_strings Top Level Namespace
#handler_missing RDL::Typecheck::ASTMapper
#has? RDL::Info
#has_any? RDL::Info
#has_key? RDL::Typecheck::Env
has_singleton_marker RDL::Util
#hash RDL::Type::SingletonType
#hash RDL::Type::DependentArgType
#hash RDL::Type::DynamicType
#hash RDL::Type::AnnotatedArgType
#hash RDL::Type::FiniteHashType
#hash RDL::Type::UnionType
#hash RDL::Type::BoundArgType
#hash RDL::Type::StructuralType
#hash RDL::Type::IntersectionType
#hash RDL::Type::GenericType
#hash RDL::Type::VarargType
#hash RDL::Type::OptionalType
#hash RDL::Type::NominalType
#hash RDL::Type::MethodType
#hash RDL::Type::TopType
#hash RDL::Type::VarType
#hash RDL::Type::NonNullType
#hash RDL::Type::BotType
#hash RDL::Type::PreciseStringType
#hash RDL::Type::TupleType
#hash RDL::Type::AstNode
hash_create_output Hash
hash_create_output_from_list Hash
import_arg_type Table
include_output Array
infer_type RDL::TypeInferencer
#info RDL::Info
info RDL::Globals
#initialize RDL::Type::BotType
#initialize WrapCall
#initialize RDL::Type::IntersectionType
#initialize RDL::Type::DependentArgType
#initialize RDL::Type::DynamicType
#initialize RDL::Typecheck::Env
#initialize RDL::Typecheck::ASTMapper
#initialize RDL::Type::BoundArgType
#initialize RDL::Type::NonNullType
#initialize RDL::Type::StructuralType
#initialize RDL::Type::ComputedType
#initialize RDL::Config
#initialize RDL::Type::SingletonType
#initialize RDL::Type::AnnotatedArgType
#initialize RDL::Type::OptionalType
#initialize RDL::Switch
#initialize RDL::Contract::AndContract
#initialize RDL::Info
#initialize RDL::Type::FiniteHashType
#initialize RDL::Type::AstNode
#initialize RDL::Type::TupleType
#initialize RDL::Type::UnionType
#initialize RDL::Type::VarargType
#initialize RDL::Type::VarType
#initialize RDL::Contract::ProcContract
#initialize RDL::Type::TopType
#initialize ASTVisitor
#initialize RDL::Type::MethodType
#initialize RDL::Contract::FlatContract
#initialize RDL::Contract::OrContract
#initialize RDL::Type::PreciseStringType
#initialize RDL::Type::NominalType
#initialize RDL::Type::GenericType
#insert RDL::Type::AstNode
insert_arg_type Table
insert_output String
#instance_of? SimpleDelegator
#instantiate RDL::Type::MethodType
#instantiate RDL::Type::UnionType
#instantiate RDL::Type::StructuralType
#instantiate RDL::Type::TupleType
#instantiate RDL::Type::DynamicType
#instantiate RDL::Type::FiniteHashType
#instantiate RDL::Type::VarType
#instantiate RDL::Type::NonNullType
#instantiate RDL::Type::TopType
#instantiate RDL::Type::BotType
#instantiate RDL::Type::BoundArgType
#instantiate RDL::Type::NominalType
#instantiate RDL::Type::AnnotatedArgType
#instantiate RDL::Type::AstNode
#instantiate RDL::Type::OptionalType
#instantiate RDL::Type::GenericType
#instantiate RDL::Type::DependentArgType
#instantiate RDL::Type::ComputedType
#instantiate RDL::Type::IntersectionType
#instantiate RDL::Type::SingletonType
#instantiate RDL::Type::PreciseStringType
#instantiate RDL::Type::VarargType
instantiate! RDL
#interp RDL::Type::PreciseStringType
invert_output Hash
is_RDL RDL::Typecheck
#is_a? SimpleDelegator
join RDL::Typecheck::Env
join_ret_type Table
joins_multi_input_type DBType
joins_one_input_type DBType
joins_output DBType
#kind_of? SimpleDelegator
#klass RDL::Type::NominalType
#lbounds RDL::Type::PreciseStringType
#lbounds RDL::Type::TupleType
#lbounds RDL::Type::FiniteHashType
leq RDL::Type::Type
#leq_inst RDL::Type::UnionType
#leq_inst RDL::Type::DependentArgType
#line_defs RDL::Typecheck::ASTMapper
#lineno RDL::Type::Parser
#load_file RDL::Type::Parser
load_rails_schema RDL
load_sequel_schema RDL
lookup RDL::Typecheck
lrstrip_output String
map_block_input Table
map_output Array
#match RDL::Type::MethodType
#match RDL::Type::WildQuery
#match RDL::Type::UnionType
#match RDL::Type::TupleType
#match RDL::Type::VarType
#match RDL::Type::TopType
#match RDL::Type::NonNullType
#match RDL::Type::BotType
#match RDL::Type::OptionalType
#match RDL::Type::FiniteHashType
#match RDL::Type::DependentArgType
#match RDL::Type::AstNode
#match RDL::Type::IntersectionType
#match RDL::Type::SingletonType
#match RDL::Type::NominalType
#match RDL::Type::GenericType
#match RDL::Type::DynamicType
#match RDL::Type::VarargType
#match RDL::Type::StructuralType
#member? RDL::Type::DependentArgType
#member? RDL::Type::PreciseStringType
#member? RDL::Type::IntersectionType
#member? RDL::Type::TupleType
#member? RDL::Type::StructuralType
#member? RDL::Type::NonNullType
#member? RDL::Type::VarType
#member? RDL::Type::TopType
#member? RDL::Type::UnionType
#member? RDL::Type::AnnotatedArgType
#member? RDL::Type::BoundArgType
#member? RDL::Type::FiniteHashType
#member? RDL::Type::SingletonType
#member? RDL::Type::BotType
#member? RDL::Type::AstNode
#member? RDL::Type::NominalType
#member? RDL::Type::GenericType
#member? RDL::Type::DynamicType
#merge RDL::Typecheck::Env
merge_input Hash
merge_output Hash
#message Diagnostic
method_defined? RDL::Util
method_query RDL::Query
method_type_query RDL::Query
#methods RDL::Type::StructuralType
multi_assign_output Array
mutate_output String
#name RDL::Type::VarType
#name RDL::Type::BoundArgType
#name RDL::Type::DependentArgType
#name RDL::Type::AnnotatedArgType
#name RDL::Type::NominalType
new RDL::Type::UnionType
new RDL::Type::SingletonType
new RDL::Type::VarType
new RDL::Type::TopType
new RDL::Type::BotType
new RDL::Type::DotsQuery
new RDL::Type::StructuralType
new RDL::Type::WildQuery
new RDL::Type::IntersectionType
new RDL::Type::NominalType
new RDL::Type::DynamicType
new RDL::Type::VarargType
#next_token RDL::Type::Parser
#nil? SimpleDelegator
#nil_type? RDL::Type::Type
#nominal RDL::Type::SingletonType
not_input_type DBType
note RDL::Typecheck
note_type RDL
#nowrap RDL::Config
nowrap RDL
#off RDL::Switch
#off? RDL::Switch
#on_and_asgn WrapCall
#on_def RDL::Typecheck::ASTMapper
#on_defs RDL::Typecheck::ASTMapper
#on_op_asgn WrapCall
#on_or_asgn WrapCall
#on_send WrapCall
#op RDL::Type::AstNode
#optional? RDL::Type::Type
#optional? RDL::Type::AnnotatedArgType
#optional? RDL::Type::BoundArgType
#optional? RDL::Type::OptionalType
order_input Table
output_type Hash
output_type Array
output_type String
#params RDL::Type::TupleType
#params RDL::Type::GenericType
params_type ActionController::Base
#parent RDL::Type::AstNode
parser RDL::Globals
parser_cache RDL::Globals
plus_input Array
plus_output Array
plus_output String
plus_output_type DBType
#post RDL::Annotate
#post_cond RDL::Contract::ProcContract
#post_cond? RDL::Type::MethodType
#post_defaults RDL::Config
pp_klass_method RDL::Util
#pre RDL::Annotate
#pre_cond RDL::Contract::ProcContract
#pre_cond? RDL::Type::MethodType
#pre_defaults RDL::Config
#predicate RDL::Type::DependentArgType
process_pre_post_args RDL::Wrap
process_type_args RDL::Wrap
#profile_stats RDL::Config
#promote RDL::Type::TupleType
#promote RDL::Type::FiniteHashType
#promote! RDL::Type::TupleType
#promote! RDL::Type::PreciseStringType
#promote! RDL::Type::FiniteHashType
promote_tuple Array
promote_tuple! Array
#promote_widen RDL::Config
promoted_or_t Array
promoted_or_v Hash
qualify_output_type Sequel
query RDL
#rdl_alias RDL::Annotate
#rdl_attr_accessor_type RDL::RDLAnnotate
#rdl_attr_reader_type RDL::RDLAnnotate
#rdl_attr_writer_type RDL::RDLAnnotate
rdl_type RDL::Util
rdl_type_or_class RDL::Util
#readd_comp_types RDL::Annotate
rec_to_array DBType
rec_to_nominal DBType
rec_to_schema_type DBType
#remove RDL::Info
#remove_nowrap RDL::Config
remove_singleton_marker RDL::Util
remove_type RDL
replace_output String
#report RDL::Config
#rerun_comp_types RDL::Config
reset RDL
resolve_alias RDL::Wrap
#rest RDL::Type::FiniteHashType
#ret RDL::Type::MethodType
reverse_output Array
rewrite WrapCall
#root RDL::Type::AstNode
#satisfies? RDL::Type::SingletonType
#scan_file RDL::Type::Parser
#scan_setup RDL::Type::Parser
#scan_str RDL::Type::Parser
schema_arg_tuple_type Table
schema_arg_type Table
scope_merge RDL::Typecheck
select_map_output Table
seq_db_schema RDL::Globals
#set RDL::Info
#set! RDL::Info
shift_output Hash
silent_warnings RDL::Util
sing_or_type Numeric
singleton_class_to_class RDL::Util
#singleton_method_added Object
special_types RDL::Globals
#state RDL::Type::Parser
string_promote! String
table_name_to_schema_type DBType
tc RDL::Typecheck
tc_arg_types RDL::Typecheck
tc_bind_arg_types RDL::Typecheck
tc_block RDL::Typecheck
tc_instantiate! RDL::Typecheck
tc_note_type RDL::Typecheck
tc_send RDL::Typecheck
tc_send_class RDL::Typecheck
tc_send_one_recv RDL::Typecheck
tc_type_cast RDL::Typecheck
tc_var RDL::Typecheck
tc_var_type RDL::Typecheck
tc_vasgn RDL::Typecheck
#the_hash RDL::Type::FiniteHashType
to_class RDL::Util
to_class_str RDL::Util
#to_contract RDL::Type::MethodType
#to_contract RDL::Type::Type
to_do_at RDL::Globals
#to_higher_contract RDL::Type::MethodType
#to_inst RDL::Type::GenericType
#to_s RDL::Type::StructuralType
#to_s RDL::Type::DotsQuery
#to_s RDL::Type::SingletonType
#to_s RDL::Type::BoundArgType
#to_s RDL::Type::OptionalType
#to_s RDL::Type::NonNullType
#to_s RDL::Type::ComputedType
#to_s RDL::Type::AstNode
#to_s RDL::Contract::ProcContract
#to_s RDL::Contract::FlatContract
#to_s RDL::Type::NominalType
#to_s RDL::Type::DynamicType
#to_s RDL::Contract::AndContract
#to_s RDL::Type::VarargType
#to_s RDL::Type::GenericType
#to_s RDL::Type::PreciseStringType
#to_s RDL::Type::MethodType
#to_s RDL::Contract::OrContract
#to_s RDL::Type::UnionType
#to_s RDL::Type::TupleType
#to_s RDL::Type::VarType
#to_s RDL::Type::TopType
#to_s RDL::Type::BotType
#to_s RDL::Type::DependentArgType
#to_s RDL::Type::AnnotatedArgType
#to_s RDL::Type::IntersectionType
#to_s RDL::Type::FiniteHashType
#to_s RDL::Type::WildQuery
to_type Array
to_type Hash
to_type String
to_typecheck RDL::Globals
to_wrap RDL::Globals
#type RDL::Type::OptionalType
#type RDL::Type::BoundArgType
#type RDL::Type::NonNullType
#type RDL::Type::VarargType
#type RDL::Type::AnnotatedArgType
#type RDL::Annotate
#type RDL::Type::DependentArgType
type_alias RDL
type_cast RDL
#type_defaults RDL::Config
#type_params RDL::Annotate
type_params RDL::Globals
typecheck RDL::Typecheck
#types RDL::Type::UnionType
types RDL::Globals
#types RDL::Type::IntersectionType
#ubounds RDL::Type::PreciseStringType
#ubounds RDL::Type::TupleType
#ubounds RDL::Type::FiniteHashType
uc_first_arg ActiveRecord::Base
uc_second_arg ActiveRecord::Base
unique_ids? Table
update_attribute_input DBType
#use_comp_types RDL::Config
#val RDL::Type::SingletonType
#val RDL::Type::AstNode
#vals RDL::Type::PreciseStringType
values_at_input Hash
values_at_output Hash
#var_type RDL::Annotate
#vararg? RDL::Type::BoundArgType
#vararg? RDL::Type::VarargType
#vararg? RDL::Type::Type
#vararg? RDL::Type::AnnotatedArgType
#visit ASTVisitor
#visit_And ASTVisitor
#visit_Column ASTVisitor
#visit_In ASTVisitor
#visit_InValueList ASTVisitor
#visit_Integer ASTVisitor
#visit_Not ASTVisitor
#visit_QualifiedColumn ASTVisitor
#visit_Subquery ASTVisitor
weak_promote Hash
#weak_update_promote RDL::Config
#where ActiveRecord::Relation::QueryMethods
where_arg_type Table
where_input_type DBType
where_noarg_output_type DBType
#widen RDL::Type::StructuralType
#widen RDL::Type::SingletonType
#widen RDL::Type::BoundArgType
#widen RDL::Type::NonNullType
#widen RDL::Type::OptionalType
#widen RDL::Type::ComputedType
#widen RDL::Type::NominalType
#widen RDL::Type::GenericType
#widen RDL::Type::PreciseStringType
#widen RDL::Type::VarargType
#widen RDL::Type::UnionType
#widen RDL::Type::MethodType
#widen RDL::Type::TupleType
#widen RDL::Type::VarType
#widen RDL::Type::TopType
#widen RDL::Type::BotType
#widen RDL::Type::DependentArgType
#widen RDL::Type::AnnotatedArgType
#widen RDL::Type::IntersectionType
#widen RDL::Type::FiniteHashType
#widen_bound RDL::Config
widen_scopes RDL::Typecheck
#wrap RDL::Contract::ProcContract
wrap RDL::Wrap
wrap_switch RDL::Globals
wrapped? RDL::Wrap
wrapped_calls RDL::Globals