Table of Contents - sfrp-1.5.2 Documentation
Classes and Modules
- SFRP
- SFRP::Command
- SFRP::CompileError
- SFRP::Compiler
- SFRP::FileResolveError
- SFRP::Flat
- SFRP::Flat::DuplicatedVariableError
- SFRP::Flat::FuncCallExp
- SFRP::Flat::FuncTypeAnnotation
- SFRP::Flat::Function
- SFRP::Flat::MatchExp
- SFRP::Flat::MatchExp::Pattern
- SFRP::Flat::Node
- SFRP::Flat::NodeInvalidLastReferrenceError
- SFRP::Flat::NodeRefExp
- SFRP::Flat::NodeRefInIllegalPositionError
- SFRP::Flat::Set
- SFRP::Flat::TConst
- SFRP::Flat::TypeAnnotationType
- SFRP::Flat::TypeAnnotationVar
- SFRP::Flat::UnboundLocalVariableError
- SFRP::Flat::VConst
- SFRP::Flat::VConstCallExp
- SFRP::Flat::VarRefExp
- SFRP::Input
- SFRP::Input::ParseError
- SFRP::Input::Parser
- SFRP::Input::Parser::Parser
- SFRP::Input::Set
- SFRP::Input::Transformer
- SFRP::Low
- SFRP::Low::Block
- SFRP::Low::DSL
- SFRP::Low::DSL::FuncProxy
- SFRP::Low::DSL::IfChainProxy
- SFRP::Low::Element
- SFRP::Low::Function
- SFRP::Low::Include
- SFRP::Low::Macro
- SFRP::Low::Member
- SFRP::Low::MemberStructure
- SFRP::Low::Set
- SFRP::Low::Statement
- SFRP::Low::Structure
- SFRP::Low::Typedef
- SFRP::Mono
- SFRP::Mono::DSL
- SFRP::Mono::DSL::CaseProxy
- SFRP::Mono::DSL::FuncProxy
- SFRP::Mono::DSL::NodeDepProxy
- SFRP::Mono::Environment
- SFRP::Mono::Exp
- SFRP::Mono::FuncCallExp
- SFRP::Mono::Function
- SFRP::Mono::IncompleteMatchExpError
- SFRP::Mono::InvalidTypeOfForeignFunctionError
- SFRP::Mono::MatchExp
- SFRP::Mono::Memory
- SFRP::Mono::Node
- SFRP::Mono::Pattern
- SFRP::Mono::Set
- SFRP::Mono::Type
- SFRP::Mono::VConst
- SFRP::Mono::VConstCallExp
- SFRP::Mono::VarRefExp
- SFRP::Output
- SFRP::Output::Set
- SFRP::Poly
- SFRP::Poly::DSL
- SFRP::Poly::DSL::CaseProxy
- SFRP::Poly::DSL::FuncProxy
- SFRP::Poly::DSL::NodeProxy
- SFRP::Poly::DSL::TConstProxy
- SFRP::Poly::FuncCallExp
- SFRP::Poly::FuncTypeAnnotation
- SFRP::Poly::FuncTyping
- SFRP::Poly::Function
- SFRP::Poly::MatchExp
- SFRP::Poly::Monofier
- SFRP::Poly::Node
- SFRP::Poly::Pattern
- SFRP::Poly::RecursiveError
- SFRP::Poly::Set
- SFRP::Poly::TConst
- SFRP::Poly::TypeAnnotationType
- SFRP::Poly::TypeAnnotationVar
- SFRP::Poly::Typing
- SFRP::Poly::UndeterminableTypeError
- SFRP::Poly::UnifyError
- SFRP::Poly::VConst
- SFRP::Poly::VConstCallExp
- SFRP::Poly::VarRefExp
- SFRP::Raw
- SFRP::Raw::AmbiguousNameError
- SFRP::Raw::FuncCallExp
- SFRP::Raw::FuncTypeAnnotation
- SFRP::Raw::Function
- SFRP::Raw::IfExp
- SFRP::Raw::IllegalSideEffectError
- SFRP::Raw::Import
- SFRP::Raw::Infix
- SFRP::Raw::Init
- SFRP::Raw::Input
- SFRP::Raw::LetExp
- SFRP::Raw::MatchExp
- SFRP::Raw::MatchExp::Pattern
- SFRP::Raw::NameError
- SFRP::Raw::Namespace
- SFRP::Raw::Node
- SFRP::Raw::NodeRefExp
- SFRP::Raw::Output
- SFRP::Raw::PrimTConst
- SFRP::Raw::Ref
- SFRP::Raw::SequenceExp
- SFRP::Raw::Set
- SFRP::Raw::SugarExp
- SFRP::Raw::TConst
- SFRP::Raw::TypeAnnotationType
- SFRP::Raw::TypeAnnotationVar
- SFRP::Raw::VConst
- SFRP::Raw::VConstCallExp
- SFRP::Raw::VarRefExp
Methods
- ::empty — SFRP::Mono::Memory
- ::extract_argv — SFRP::Command
- ::from_argv — SFRP::Command
- ::new — SFRP::Compiler
- ::new — SFRP::FileResolveError
- ::new — SFRP::Flat::NodeRefInIllegalPositionError
- ::new — SFRP::Flat::DuplicatedVariableError
- ::new — SFRP::Flat::UnboundLocalVariableError
- ::new — SFRP::Flat::NodeInvalidLastReferrenceError
- ::new — SFRP::Flat::Set
- ::new — SFRP::Input::ParseError
- ::new — SFRP::Input::Set
- ::new — SFRP::Low::DSL::FuncProxy
- ::new — SFRP::Low::DSL::IfChainProxy
- ::new — SFRP::Low::Statement
- ::new — SFRP::Low::Block
- ::new — SFRP::Low::Function
- ::new — SFRP::Low::Structure
- ::new — SFRP::Low::MemberStructure
- ::new — SFRP::Low::Member
- ::new — SFRP::Low::Macro
- ::new — SFRP::Low::Typedef
- ::new — SFRP::Low::Include
- ::new — SFRP::Low::Set
- ::new — SFRP::Mono::DSL::NodeDepProxy
- ::new — SFRP::Mono::DSL::CaseProxy
- ::new — SFRP::Mono::DSL::FuncProxy
- ::new — SFRP::Mono::Environment
- ::new — SFRP::Mono::InvalidTypeOfForeignFunctionError
- ::new — SFRP::Mono::MatchExp
- ::new — SFRP::Mono::FuncCallExp
- ::new — SFRP::Mono::VConstCallExp
- ::new — SFRP::Mono::VarRefExp
- ::new — SFRP::Mono::Function
- ::new — SFRP::Mono::Memory
- ::new — SFRP::Mono::Node
- ::new — SFRP::Mono::Pattern
- ::new — SFRP::Mono::Set
- ::new — SFRP::Mono::Type
- ::new — SFRP::Mono::VConst
- ::new — SFRP::Output::Set
- ::new — SFRP::Poly::DSL::TConstProxy
- ::new — SFRP::Poly::DSL::FuncProxy
- ::new — SFRP::Poly::DSL::NodeProxy
- ::new — SFRP::Poly::DSL::CaseProxy
- ::new — SFRP::Poly::Function
- ::new — SFRP::Poly::Node
- ::new — SFRP::Poly::TConst
- ::new — SFRP::Poly::VConst
- ::new — SFRP::Poly::UndeterminableTypeError
- ::new — SFRP::Poly::UnifyError
- ::new — SFRP::Poly::RecursiveError
- ::new — SFRP::Poly::MatchExp
- ::new — SFRP::Poly::FuncCallExp
- ::new — SFRP::Poly::VConstCallExp
- ::new — SFRP::Poly::VarRefExp
- ::new — SFRP::Poly::Pattern
- ::new — SFRP::Poly::Monofier
- ::new — SFRP::Poly::Set
- ::new — SFRP::Poly::Typing
- ::new — SFRP::Poly::FuncTyping
- ::new — SFRP::Poly::FuncTypeAnnotation
- ::new — SFRP::Poly::TypeAnnotationType
- ::new — SFRP::Poly::TypeAnnotationVar
- ::new — SFRP::Raw::NameError
- ::new — SFRP::Raw::AmbiguousNameError
- ::new — SFRP::Raw::IllegalSideEffectError
- ::new — SFRP::Raw::Namespace
- ::new — SFRP::Raw::Set
- ::one — SFRP::Mono::Memory
- #<< — SFRP::Flat::Set
- #<< — SFRP::Low::DSL::FuncProxy
- #<< — SFRP::Low::Set
- #<< — SFRP::Mono::Set
- #<< — SFRP::Poly::Set
- #<< — SFRP::Raw::Set
- #== — SFRP::Mono::Exp
- #== — SFRP::Mono::Function
- #== — SFRP::Mono::Node
- #== — SFRP::Mono::Pattern
- #== — SFRP::Mono::Type
- #== — SFRP::Mono::VConst
- #absolute_func_name — SFRP::Raw::Infix
- #absolute_name — SFRP::Raw::Function
- #absolute_name — SFRP::Raw::TConst
- #absolute_name — SFRP::Raw::VConst
- #absolute_name — SFRP::Raw::PrimTConst
- #absolute_name — SFRP::Raw::Node
- #absolute_name — SFRP::Raw::Output
- #absolute_name — SFRP::Raw::Namespace
- #absolute_priority — SFRP::Raw::Infix
- #accept? — SFRP::Mono::Pattern
- #add_var — SFRP::Mono::Environment
- #all_pattern_examples — SFRP::Mono::Type
- #all_pattern_examples — SFRP::Mono::VConst
- #alpha_convert — SFRP::Flat::FuncCallExp
- #alpha_convert — SFRP::Flat::VConstCallExp
- #alpha_convert — SFRP::Flat::NodeRefExp
- #alpha_convert — SFRP::Flat::MatchExp
- #alpha_convert — SFRP::Flat::MatchExp::Pattern
- #alpha_convert — SFRP::Flat::VarRefExp
- #and — SFRP::Mono::Memory
- #any? — SFRP::Mono::Pattern
- #append_case — SFRP::Low::DSL::IfChainProxy
- #append_init_func_str — SFRP::Flat::Set
- #append_init_func_str — SFRP::Mono::Set
- #append_init_func_str — SFRP::Poly::Set
- #append_literal_vconst — SFRP::Raw::Set
- #append_output_node_str — SFRP::Flat::Set
- #append_output_node_str — SFRP::Mono::Set
- #append_output_node_str — SFRP::Poly::Set
- #append_param — SFRP::Low::DSL::FuncProxy
- #append_source_file — SFRP::Input::Set
- #arg_typings — SFRP::Poly::Typing
- #argc — SFRP::Poly::Typing
- #blame_side_effect — SFRP::Raw::FuncCallExp
- #blame_side_effect — SFRP::Raw::VConstCallExp
- #blame_side_effect — SFRP::Raw::NodeRefExp
- #blame_side_effect — SFRP::Raw::MatchExp
- #blame_side_effect — SFRP::Raw::VarRefExp
- #blame_side_effect — SFRP::Raw::SequenceExp
- #blame_side_effect — SFRP::Raw::SugarExp
- #c — SFRP::Mono::DSL::NodeDepProxy
- #c — SFRP::Poly::DSL::NodeProxy
- #call_e — SFRP::Flat
- #call_e — SFRP::Mono::DSL
- #call_e — SFRP::Poly::DSL
- #call_e — SFRP::Raw
- #call_exp — SFRP::Low::DSL
- #called_func_strs — SFRP::Poly::MatchExp
- #called_func_strs — SFRP::Poly::FuncCallExp
- #called_func_strs — SFRP::Poly::VConstCallExp
- #called_func_strs — SFRP::Poly::VarRefExp
- #case — SFRP::Mono::DSL::CaseProxy
- #case — SFRP::Poly::DSL::CaseProxy
- #chain_str — SFRP::Poly::RecursiveError
- #check — SFRP::Mono::Set
- #check_completeness — SFRP::Mono::MatchExp
- #check_recursion — SFRP::Poly::Function
- #check_recursion — SFRP::Poly::Node
- #child_receiver_exp — SFRP::Mono::Pattern
- #clone — SFRP::Poly::Function
- #clone — SFRP::Poly::TConst
- #clone — SFRP::Poly::VConst
- #clone — SFRP::Poly::MatchExp
- #clone — SFRP::Poly::FuncCallExp
- #clone — SFRP::Poly::VConstCallExp
- #clone — SFRP::Poly::VarRefExp
- #clone — SFRP::Poly::Pattern
- #collect_fmodule_uris — SFRP::Compiler
- #collect_include_strs — SFRP::Compiler
- #collect_virtual_files — SFRP::Compiler
- #comp — SFRP::Mono::MatchExp
- #comp — SFRP::Mono::FuncCallExp
- #comp — SFRP::Mono::VConstCallExp
- #comp — SFRP::Mono::VarRefExp
- #comp — SFRP::Mono::Function
- #comp — SFRP::Mono::Node
- #comp — SFRP::Mono::Pattern
- #comp — SFRP::Mono::Type
- #comp — SFRP::Mono::VConst
- #compile — SFRP::Compiler
- #convert — SFRP::Raw::Output
- #convert — SFRP::Raw::Input
- #convert — SFRP::Raw::SequenceExp
- #convert — SFRP::Raw::IfExp
- #convert — SFRP::Raw::LetExp
- #count — SFRP::Mono::Memory
- #create_file — SFRP::Output::Set
- #current_referred_node_strs — SFRP::Mono::Node
- #dep — SFRP::Poly::DSL::NodeProxy
- #duplicated_var_check — SFRP::Flat::MatchExp::Pattern
- #each_declared_vars — SFRP::Mono::Environment
- #eval_func — SFRP::Poly::DSL::NodeProxy
- #eval_func_str — SFRP::Poly::DSL::NodeProxy
- #exp — SFRP::Mono::DSL::FuncProxy
- #exp — SFRP::Poly::DSL::FuncProxy
- #ffi_str — SFRP::Mono::DSL::FuncProxy
- #ffi_str — SFRP::Poly::DSL::FuncProxy
- #finish — SFRP::Low::DSL::IfChainProxy
- #ft — SFRP::Flat
- #ft — SFRP::Raw
- #ftype — SFRP::Mono::DSL::FuncProxy
- #ftyping — SFRP::Poly::Function
- #ftyping — SFRP::Poly::VConst
- #func — SFRP::Mono::Set
- #func — SFRP::Poly::Set
- #func — SFRP::Raw::Set
- #func — SFRP::Mono::DSL
- #func — SFRP::Poly::DSL
- #func_rname — SFRP::Raw::Init
- #funcs — SFRP::Mono::Set
- #function — SFRP::Raw::Init
- #function — SFRP::Low::DSL
- #gen — SFRP::Mono::Function
- #gen — SFRP::Mono::Type
- #gen_allocator — SFRP::Mono::Type
- #gen_constructor — SFRP::Mono::Type
- #gen_constructor — SFRP::Mono::VConst
- #gen_evaluate_stmt — SFRP::Mono::Node
- #gen_flat — SFRP::Raw::Function
- #gen_flat — SFRP::Raw::TConst
- #gen_flat — SFRP::Raw::VConst
- #gen_flat — SFRP::Raw::PrimTConst
- #gen_flat — SFRP::Raw::Init
- #gen_flat — SFRP::Raw::Node
- #gen_initialize_stmt — SFRP::Mono::Node
- #gen_main_func — SFRP::Mono::Set
- #gen_mark_cleanup_stmt — SFRP::Mono::Type
- #gen_mark_function — SFRP::Mono::Type
- #gen_node_var_declaration — SFRP::Mono::Node
- #gen_node_var_mark_stmt — SFRP::Mono::Node
- #gen_struct — SFRP::Mono::Type
- #gen_term_definition — SFRP::Mono::VConst
- #gen_typedef — SFRP::Mono::Type
- #generate! — SFRP::Output::Set
- #has_meta_in_struct? — SFRP::Mono::Type
- #header_file_content — SFRP::Low::Set
- #if_chain_exp — SFRP::Low::DSL
- #if_stmt — SFRP::Low::DSL
- #include_ab — SFRP::Low::DSL
- #include_dq — SFRP::Low::DSL
- #infinite? — SFRP::Mono::Type
- #init_func — SFRP::Poly::DSL::NodeProxy
- #init_func_str — SFRP::Poly::DSL::NodeProxy
- #initialized? — SFRP::Flat::Node
- #initialized? — SFRP::Mono::Node
- #instance — SFRP::Poly::FuncTyping
- #l — SFRP::Mono::DSL::NodeDepProxy
- #l — SFRP::Poly::DSL::NodeProxy
- #last_referred_node_strs — SFRP::Mono::Node
- #lift_node_ref — SFRP::Flat::FuncCallExp
- #lift_node_ref — SFRP::Flat::VConstCallExp
- #lift_node_ref — SFRP::Flat::NodeRefExp
- #lift_node_ref — SFRP::Flat::MatchExp
- #lift_node_ref — SFRP::Flat::VarRefExp
- #linear? — SFRP::Mono::Type
- #listing — SFRP::Input::Parser::Parser
- #listing0 — SFRP::Input::Parser::Parser
- #listing2 — SFRP::Input::Parser::Parser
- #low_allocator_str — SFRP::Mono::Type
- #low_call_exp — SFRP::Mono::Function
- #low_call_exp_in_exp — SFRP::Mono::Function
- #low_compare_exps — SFRP::Mono::VConst
- #low_cond_exps — SFRP::Mono::Pattern
- #low_constructor_call_exp — SFRP::Mono::VConst
- #low_constructor_str — SFRP::Mono::VConst
- #low_let_exps — SFRP::Mono::Pattern
- #low_macro_for_alias — SFRP::Mono::VConst
- #low_mark_element_exps — SFRP::Mono::VConst
- #low_mark_func_str — SFRP::Mono::Type
- #low_member_pointers — SFRP::Mono::VConst
- #low_member_pointers_for_single_vconst — SFRP::Mono::Type
- #low_node_ref_current_str — SFRP::Mono::Node
- #low_node_ref_last_str — SFRP::Mono::Node
- #low_node_str — SFRP::Mono::Node
- #low_type_str — SFRP::Mono::Type
- #low_typedef_for_alias — SFRP::Mono::Type
- #macro — SFRP::Low::DSL
- #main_file_content — SFRP::Low::Set
- #make_input_set — SFRP::Compiler
- #make_output_set — SFRP::Compiler
- #make_vconst — SFRP::Raw::PrimTConst
- #match_e — SFRP::Mono::DSL
- #match_e — SFRP::Poly::DSL
- #md5 — SFRP::Poly::Monofier
- #member — SFRP::Low::DSL
- #member_structure — SFRP::Low::DSL
- #memory — SFRP::Mono::MatchExp
- #memory — SFRP::Mono::FuncCallExp
- #memory — SFRP::Mono::VConstCallExp
- #memory — SFRP::Mono::VarRefExp
- #memory — SFRP::Mono::Function
- #memory — SFRP::Mono::Set
- #memory — SFRP::Mono::Type
- #memory — SFRP::Mono::VConst
- #memory_used_to_eval_node — SFRP::Mono::Node
- #memory_used_to_hold_node — SFRP::Mono::Node
- #memory_used_to_init_node — SFRP::Mono::Node
- #message — SFRP::FileResolveError
- #message — SFRP::Flat::NodeRefInIllegalPositionError
- #message — SFRP::Flat::DuplicatedVariableError
- #message — SFRP::Flat::UnboundLocalVariableError
- #message — SFRP::Flat::NodeInvalidLastReferrenceError
- #message — SFRP::Input::ParseError
- #message — SFRP::Mono::InvalidTypeOfForeignFunctionError
- #message — SFRP::Mono::IncompleteMatchExpError
- #message — SFRP::Poly::UndeterminableTypeError
- #message — SFRP::Poly::UnifyError
- #message — SFRP::Poly::RecursiveError
- #message — SFRP::Raw::NameError
- #message — SFRP::Raw::AmbiguousNameError
- #message — SFRP::Raw::IllegalSideEffectError
- #meta_access_str — SFRP::Mono::Type
- #mono? — SFRP::Poly::Typing
- #mono? — SFRP::Poly::FuncTyping
- #named? — SFRP::Mono::Pattern
- #native? — SFRP::Mono::Type
- #native? — SFRP::Mono::VConst
- #native_args? — SFRP::Mono::VConst
- #need_mark? — SFRP::Mono::Type
- #new_var — SFRP::Mono::Environment
- #node — SFRP::Flat::Set
- #node — SFRP::Mono::Set
- #node — SFRP::Poly::Set
- #node — SFRP::Raw::Set
- #node — SFRP::Mono::DSL
- #node — SFRP::Poly::DSL
- #nodes — SFRP::Mono::Set
- #nr_e — SFRP::Flat
- #nr_e — SFRP::Raw
- #occur? — SFRP::Poly::Typing
- #opt — SFRP::Input::Parser::Parser
- #or — SFRP::Mono::Memory
- #output_file_names — SFRP::Compiler
- #pany — SFRP::Mono::DSL
- #pany — SFRP::Poly::DSL
- #param — SFRP::Mono::DSL::FuncProxy
- #param — SFRP::Poly::DSL::FuncProxy
- #param_needing_mark? — SFRP::Mono::VConst
- #param_strs — SFRP::Mono::DSL::FuncProxy
- #paren — SFRP::Input::Parser::Parser
- #parse — SFRP::Input::Parser
- #pat — SFRP::Mono::DSL
- #pat — SFRP::Poly::DSL
- #pref — SFRP::Mono::DSL
- #pref — SFRP::Poly::DSL
- #pretty_code — SFRP::Low::Statement
- #pretty_code — SFRP::Low::Block
- #pretty_code — SFRP::Low::Function
- #pretty_code — SFRP::Low::Structure
- #pretty_code — SFRP::Low::MemberStructure
- #pretty_code — SFRP::Low::Member
- #pretty_code — SFRP::Low::Macro
- #pretty_code — SFRP::Low::Typedef
- #pretty_code — SFRP::Low::Include
- #pretty_code_prototype — SFRP::Low::Function
- #r — SFRP::Raw
- #resolve — SFRP::Raw::Set
- #rname — SFRP::Raw::Output
- #root — SFRP::Poly::Typing
- #run — SFRP::Command
- #same? — SFRP::Poly::Typing
- #search_for_absolute_names — SFRP::Raw::Namespace
- #seq_e — SFRP::Raw
- #single_vconst? — SFRP::Mono::Type
- #sorted_node_strs — SFRP::Mono::Node
- #static? — SFRP::Low::Function
- #static? — SFRP::Mono::Type
- #stmt — SFRP::Low::DSL
- #struct — SFRP::Low::DSL
- #t — SFRP::Flat
- #t — SFRP::Poly::DSL
- #t — SFRP::Raw
- #tconst — SFRP::Flat::Set
- #tconst — SFRP::Poly::Set
- #tconst — SFRP::Raw::Set
- #tconst — SFRP::Poly::DSL
- #tconst_str — SFRP::Poly::Typing
- #term_id — SFRP::Mono::Type
- #terms_access_str — SFRP::Mono::Type
- #to_a — SFRP::Mono::DSL::NodeDepProxy
- #to_a — SFRP::Mono::DSL::CaseProxy
- #to_a — SFRP::Poly::DSL::CaseProxy
- #to_exp — SFRP::Low::DSL::IfChainProxy
- #to_flat — SFRP::Raw::FuncTypeAnnotation
- #to_flat — SFRP::Raw::TypeAnnotationType
- #to_flat — SFRP::Raw::TypeAnnotationVar
- #to_flat — SFRP::Raw::FuncCallExp
- #to_flat — SFRP::Raw::VConstCallExp
- #to_flat — SFRP::Raw::NodeRefExp
- #to_flat — SFRP::Raw::MatchExp
- #to_flat — SFRP::Raw::MatchExp::Pattern
- #to_flat — SFRP::Raw::VarRefExp
- #to_flat — SFRP::Raw::SequenceExp
- #to_flat — SFRP::Raw::Set
- #to_flat — SFRP::Raw::SugarExp
- #to_ftype_annot — SFRP::Poly::FuncTyping
- #to_ftyping — SFRP::Poly::FuncTypeAnnotation
- #to_full_path — SFRP::Compiler
- #to_func — SFRP::Poly::DSL::FuncProxy
- #to_low — SFRP::Mono::MatchExp
- #to_low — SFRP::Mono::FuncCallExp
- #to_low — SFRP::Mono::VConstCallExp
- #to_low — SFRP::Mono::VarRefExp
- #to_low — SFRP::Mono::Set
- #to_mono — SFRP::Poly::Function
- #to_mono — SFRP::Poly::Node
- #to_mono — SFRP::Poly::TConst
- #to_mono — SFRP::Poly::VConst
- #to_mono — SFRP::Poly::MatchExp
- #to_mono — SFRP::Poly::FuncCallExp
- #to_mono — SFRP::Poly::VConstCallExp
- #to_mono — SFRP::Poly::VarRefExp
- #to_mono — SFRP::Poly::Pattern
- #to_mono — SFRP::Poly::Set
- #to_node — SFRP::Poly::DSL::NodeProxy
- #to_output — SFRP::Low::Set
- #to_poly — SFRP::Flat::Function
- #to_poly — SFRP::Flat::TConst
- #to_poly — SFRP::Flat::VConst
- #to_poly — SFRP::Flat::Node
- #to_poly — SFRP::Flat::FuncTypeAnnotation
- #to_poly — SFRP::Flat::TypeAnnotationType
- #to_poly — SFRP::Flat::TypeAnnotationVar
- #to_poly — SFRP::Flat::FuncCallExp
- #to_poly — SFRP::Flat::VConstCallExp
- #to_poly — SFRP::Flat::NodeRefExp
- #to_poly — SFRP::Flat::MatchExp
- #to_poly — SFRP::Flat::MatchExp::Pattern
- #to_poly — SFRP::Flat::VarRefExp
- #to_poly — SFRP::Flat::Set
- #to_raw — SFRP::Input::Set
- #to_s — SFRP::Low::Element
- #to_s — SFRP::Poly::Typing
- #to_s — SFRP::Poly::FuncTyping
- #to_s — SFRP::Poly::FuncTypeAnnotation
- #to_s — SFRP::Poly::TypeAnnotationType
- #to_s — SFRP::Poly::TypeAnnotationVar
- #to_s — SFRP::Raw::Ref
- #to_type_annot — SFRP::Poly::Typing
- #to_typing — SFRP::Poly::TypeAnnotationType
- #to_typing — SFRP::Poly::TypeAnnotationVar
- #tv — SFRP::Flat
- #tv — SFRP::Poly::DSL
- #tv — SFRP::Raw
- #type — SFRP::Mono::Set
- #type — SFRP::Mono::DSL
- #type_annot — SFRP::Flat::TConst
- #typedef — SFRP::Low::DSL
- #types — SFRP::Mono::Set
- #typing — SFRP::Poly::Node
- #typing — SFRP::Poly::TConst
- #typing — SFRP::Poly::MatchExp
- #typing — SFRP::Poly::FuncCallExp
- #typing — SFRP::Poly::VConstCallExp
- #typing — SFRP::Poly::VarRefExp
- #typing — SFRP::Poly::Pattern
- #unify — SFRP::Poly::Typing
- #unify — SFRP::Poly::FuncTyping
- #unique_str — SFRP::Poly::Typing
- #unique_str — SFRP::Poly::FuncTyping
- #use_func — SFRP::Poly::Monofier
- #use_node — SFRP::Poly::Monofier
- #use_type — SFRP::Poly::Monofier
- #use_vconst — SFRP::Poly::Monofier
- #used_nodes — SFRP::Mono::Set
- #v_e — SFRP::Flat
- #v_e — SFRP::Mono::DSL
- #v_e — SFRP::Poly::DSL
- #v_e — SFRP::Raw
- #var_strs — SFRP::Flat::MatchExp::Pattern
- #var_strs — SFRP::Poly::TypeAnnotationType
- #var_strs — SFRP::Poly::TypeAnnotationVar
- #variable? — SFRP::Poly::Typing
- #variables — SFRP::Poly::Typing
- #vc_call_e — SFRP::Flat
- #vc_call_e — SFRP::Mono::DSL
- #vc_call_e — SFRP::Poly::DSL
- #vc_call_e — SFRP::Raw
- #vconst — SFRP::Mono::Set
- #vconst — SFRP::Poly::DSL::TConstProxy
- #vconst — SFRP::Poly::Set
- #vconst — SFRP::Raw::Set
- #vconst — SFRP::Mono::DSL
- #vconst_match? — SFRP::Raw::PrimTConst
- #vconst_refs — SFRP::Raw::Function
- #vconst_refs — SFRP::Raw::Node
- #vconst_refs — SFRP::Raw::FuncCallExp
- #vconst_refs — SFRP::Raw::VConstCallExp
- #vconst_refs — SFRP::Raw::NodeRefExp
- #vconst_refs — SFRP::Raw::MatchExp
- #vconst_refs — SFRP::Raw::MatchExp::Pattern
- #vconst_refs — SFRP::Raw::VarRefExp
- #vconst_refs — SFRP::Raw::SequenceExp
- #vconst_refs — SFRP::Raw::Set
- #vconst_refs — SFRP::Raw::SugarExp
- #vconst_strs — SFRP::Poly::DSL::TConstProxy
- #vconsts — SFRP::Mono::Set
- #weakest_op_position — SFRP::Raw::Set
- #while — SFRP::Low::DSL
- #wrap — SFRP::Input::Parser::Parser