├── +emacs-lisp-ert-mode ├── deft └── ert-deftest ├── +javascript-gulp-mode ├── browsersync ├── default ├── es6 ├── pug ├── sass ├── tape ├── task ├── ts └── ts-angular ├── +javascript-lb6-mode ├── LBSuggestionsScript ├── include ├── lbupdate └── preferences ├── +lua-love-mode ├── love ├── love.conf ├── love.draw ├── love.keyboard.isDown ├── love.load └── love.update ├── +php-laravel-mode ├── .yas-parents.el ├── __ ├── any ├── group ├── match ├── migration ├── nroute ├── route └── route_inline ├── +web-angularjs-mode ├── $anchorScroll ├── $animate ├── $animateProvider ├── $aria ├── $ariaProvider ├── $cacheFactory ├── $compile ├── $compileProvider ├── $controller ├── $controllerProvider ├── $cookieStore ├── $cookies ├── $document ├── $exceptionHandler ├── $exceptionHandlerProvider ├── $filter ├── $filterProvider ├── $http ├── $httpBackend ├── $httpProvider ├── $injector ├── $interpolate ├── $interpolateProvider ├── $interval ├── $locale ├── $location ├── $locationProvider ├── $log ├── $logProvider ├── $parse ├── $parseProvider ├── $provide ├── $q ├── $resource ├── $rootElement ├── $rootScope ├── $rootScopeProvider ├── $route ├── $routeParams ├── $routeProvider ├── $sanitize ├── $sce ├── $sceDelegate ├── $sceDelegateProvider ├── $sceProvider ├── $scope ├── $swipe ├── $templateCache ├── $templateRequest ├── $timeout ├── $window ├── TzDate ├── _ ├── angular ├── bind ├── bootstrap ├── config ├── controller ├── copy ├── defer ├── directive ├── dump ├── element ├── equals ├── extend ├── factory ├── filter ├── forEach ├── fromJson ├── identity ├── inject ├── injector ├── isArray ├── isDate ├── isDefined ├── isElement ├── isFunction ├── isNumber ├── isObject ├── isString ├── isUndefined ├── lowercase ├── mock ├── module ├── ng-app ├── ng-bind ├── ng-bind-html ├── ng-bind-template ├── ng-blur ├── ng-change ├── ng-checked ├── ng-class ├── ng-class-even ├── ng-class-odd ├── ng-click ├── ng-cloak ├── ng-controller ├── ng-copy ├── ng-csp ├── ng-cut ├── ng-dblclick ├── ng-dirty ├── ng-disabled ├── ng-false-value ├── ng-focus ├── ng-form ├── ng-hide ├── ng-href ├── ng-if ├── ng-include ├── ng-init ├── ng-invalid ├── ng-keydown ├── ng-keypress ├── ng-keyup ├── ng-list ├── ng-maxlength ├── ng-message ├── ng-messages ├── ng-minlength ├── ng-model ├── ng-model-options ├── ng-mousedown ├── ng-mouseenter ├── ng-mouseleave ├── ng-mousemove ├── ng-mouseover ├── ng-mouseup ├── ng-non-bindable ├── ng-open ├── ng-options ├── ng-paste ├── ng-pattern ├── ng-pluralize ├── ng-pristine ├── ng-readonly ├── ng-repeat ├── ng-repeat-end ├── ng-repeat-start ├── ng-required ├── ng-selected ├── ng-show ├── ng-src ├── ng-srcset ├── ng-style ├── ng-submit ├── ng-swipe-left ├── ng-swipe-right ├── ng-switch ├── ng-switch-default ├── ng-switch-when ├── ng-transclude ├── ng-trim ├── ng-true-value ├── ng-valid ├── ng-value ├── ng-view ├── ngResource ├── noop ├── otherwise ├── provider ├── reloadWithDebugInfo ├── run ├── service ├── toJson ├── uppercase └── when ├── +web-react-mode ├── action ├── component ├── component-class ├── componentDidMount ├── componentDidUpdate ├── componentWillUnmount ├── container ├── getDerivedStateFromProps ├── getSnapshotBeforeUpdate ├── mergeProps ├── reducer ├── render ├── shouldComponentUpdate ├── useEffect └── useState ├── .dir-locals.el ├── .doomrc ├── .editorconfig ├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.yml │ ├── config.yml │ └── request.yml └── workflows │ ├── lint-commits.yml │ └── triage.yml ├── .gitignore ├── LICENSE ├── README.md ├── ansible-mode ├── a10 │ ├── a10_server │ ├── a10_service_group │ └── a10_virtual_server ├── amazon │ ├── cloudformation │ ├── ec2 │ ├── ec2_ami │ ├── ec2_ami_search │ ├── ec2_asg │ ├── ec2_eip │ ├── ec2_elb │ ├── ec2_elb_lb │ ├── ec2_facts │ ├── ec2_group │ ├── ec2_key │ ├── ec2_lc │ ├── ec2_metric_alarm │ ├── ec2_scaling_policy │ ├── ec2_snapshot │ ├── ec2_tag │ ├── ec2_vol │ ├── ec2_vpc │ ├── elasticache │ ├── rds │ ├── rds_param_group │ ├── rds_subnet_group │ ├── route53 │ └── s3 ├── azure │ └── azure ├── basics │ ├── get_url │ ├── slurp │ └── uri ├── citrix │ └── netscaler ├── commands │ ├── command │ ├── raw │ ├── script │ └── shell ├── digital_ocean │ ├── digital_ocean │ ├── digital_ocean_domain │ └── digital_ocean_sshkey ├── docker │ ├── _docker_image │ └── docker ├── f5 │ ├── bigip_facts │ ├── bigip_monitor_http │ ├── bigip_monitor_tcp │ ├── bigip_node │ ├── bigip_pool │ └── bigip_pool_member ├── files │ ├── acl │ ├── assemble │ ├── copy │ ├── fetch │ ├── file │ ├── ini_file │ ├── lineinfile │ ├── replace │ ├── stat │ ├── synchronize │ ├── template │ ├── unarchive │ └── xattr ├── google │ ├── gc_storage │ ├── gce │ ├── gce_lb │ ├── gce_net │ └── gce_pd ├── helper │ ├── accelerate │ └── fireball ├── inventory │ ├── add_host │ └── group_by ├── language │ ├── composer │ ├── cpanm │ ├── easy_install │ ├── gem │ ├── npm │ └── pip ├── linode │ └── linode ├── logic │ ├── assert │ ├── async_status │ ├── debug │ ├── fail │ ├── include_vars │ ├── pause │ ├── set_fact │ └── wait_for ├── messaging │ ├── rabbitmq_parameter │ ├── rabbitmq_plugin │ ├── rabbitmq_policy │ ├── rabbitmq_user │ └── rabbitmq_vhost ├── misc │ ├── mongodb_user │ ├── ovirt │ ├── redis │ ├── riak │ └── virt ├── monitoring │ ├── airbrake_deployment │ ├── bigpanda │ ├── boundary_meter │ ├── datadog_event │ ├── librato_annotation │ ├── logentries │ ├── monit │ ├── nagios │ ├── newrelic_deployment │ ├── pagerduty │ ├── pingdom │ ├── rollbar_deployment │ ├── stackdriver │ └── zabbix_maintenance ├── mysql │ ├── mysql_db │ ├── mysql_replication │ ├── mysql_user │ └── mysql_variables ├── network │ ├── dnsimple │ ├── dnsmadeeasy │ ├── lldp │ ├── openvswitch_bridge │ └── openvswitch_port ├── notification │ ├── campfire │ ├── flowdock │ ├── grove │ ├── hipchat │ ├── irc │ ├── jabber │ ├── mail │ ├── mqtt │ ├── nexmo │ ├── osx_say │ ├── slack │ ├── sns │ ├── twilio │ └── typetalk ├── openstack │ ├── glance_image │ ├── keystone_user │ ├── nova_compute │ ├── nova_keypair │ ├── quantum_floating_ip │ ├── quantum_floating_ip_associate │ ├── quantum_network │ ├── quantum_router │ ├── quantum_router_gateway │ ├── quantum_router_interface │ └── quantum_subnet ├── os │ ├── apt │ ├── apt_key │ ├── apt_repository │ ├── apt_rpm │ ├── homebrew │ ├── homebrew_cask │ ├── homebrew_tap │ ├── layman │ ├── macports │ ├── openbsd_pkg │ ├── opkg │ ├── pacman │ ├── pkgin │ ├── pkgng │ ├── pkgutil │ ├── portage │ ├── portinstall │ ├── redhat_subscription │ ├── rhn_channel │ ├── rhn_register │ ├── rpm_key │ ├── svr4pkg │ ├── swdepot │ ├── urpmi │ ├── yum │ ├── zypper │ └── zypper_repository ├── postgresql │ ├── postgresql_db │ ├── postgresql_privs │ └── postgresql_user ├── rackspace │ ├── rax │ ├── rax_cbs │ ├── rax_cbs_attachments │ ├── rax_cdb │ ├── rax_cdb_database │ ├── rax_cdb_user │ ├── rax_clb │ ├── rax_clb_nodes │ ├── rax_dns │ ├── rax_dns_record │ ├── rax_facts │ ├── rax_files │ ├── rax_files_objects │ ├── rax_identity │ ├── rax_keypair │ ├── rax_meta │ ├── rax_network │ ├── rax_queue │ ├── rax_scaling_group │ └── rax_scaling_policy ├── source_control │ ├── bzr │ ├── git │ ├── github_hooks │ ├── hg │ └── subversion ├── system │ ├── alternatives │ ├── at │ ├── authorized_key │ ├── capabilities │ ├── cron │ ├── debconf │ ├── facter │ ├── filesystem │ ├── firewalld │ ├── getent │ ├── group │ ├── hostname │ ├── kernel_blacklist │ ├── locale_gen │ ├── lvg │ ├── lvol │ ├── modprobe │ ├── mount │ ├── ohai │ ├── open_iscsi │ ├── ping │ ├── seboolean │ ├── selinux │ ├── service │ ├── setup │ ├── sysctl │ ├── ufw │ ├── user │ └── zfs ├── vmware │ └── vsphere_guest ├── web_infrastructure │ ├── apache2_module │ ├── django_manage │ ├── ejabberd_user │ ├── htpasswd │ ├── jboss │ ├── jira │ └── supervisorctl └── windows │ ├── win_feature │ ├── win_get_url │ ├── win_group │ ├── win_msi │ ├── win_ping │ ├── win_service │ ├── win_stat │ └── win_user ├── applescript-mode └── .yas-parents ├── beancount-mode ├── Assets ├── Equity ├── Expenses ├── Income ├── Liabilities ├── balance ├── close ├── commodity ├── date ├── event ├── open └── option ├── buttercup-minor-mode ├── after-all ├── after-each ├── before-all ├── before-each ├── desc ├── describe ├── ex ├── expect ├── expect-to-be ├── expect-to-contain ├── expect-to-equal ├── expect-to-have-been-called ├── expect-to-have-been-called-times ├── expect-to-have-been-called-with ├── expect-to-have-same-items-as ├── expect-to-match ├── expect-to-throw ├── it ├── spy-and-call-fake ├── spy-and-call-through ├── spy-and-return-value ├── spy-and-throw-error ├── spy-calls-all-args ├── spy-calls-any ├── spy-calls-args-for └── spy-calls-count ├── c++-mode ├── .yas-parents ├── .yas-setup.el ├── accumulate ├── accumulate-with-closure ├── adjacent_find ├── all_of ├── any_of ├── assert ├── beginend ├── boost_require ├── cerr ├── cin ├── class ├── class11 ├── constructor ├── copy ├── copy_backward ├── copy_if ├── copy_n ├── copy_ostream_iter ├── count ├── count_if ├── cout ├── cstd ├── d+= ├── d_operator[] ├── d_operator[]_const ├── d_operator_istream ├── d_operator_ostream ├── delete ├── delete[] ├── doc ├── dynamic_casting ├── enum ├── equal ├── erase ├── erase_find_last_not_of ├── fill ├── fill_n ├── fin ├── find ├── find_end ├── find_first_of ├── find_if ├── fixture ├── for_each ├── for_iterator ├── friend ├── fun_declaration ├── function ├── generate ├── generate_n ├── gtest ├── ignore ├── include ├── include_header ├── include_iostream ├── include_sstream ├── include_string ├── inline ├── iota ├── is_heap ├── is_heap_until ├── is_partitioned ├── is_permutation ├── is_sorted ├── is_sorted_until ├── iterator ├── lambda ├── lexigraphical_compare ├── make_heap ├── map ├── max_element ├── member_function ├── merge ├── min_element ├── minmax_element ├── mismatch ├── module ├── move_backward ├── namespace ├── namespace_block ├── next_permutation ├── none_of ├── nth_element ├── operator!= ├── operator+ ├── operator+= ├── operator= ├── operator== ├── operator[] ├── operator_istream ├── ostream ├── pack ├── partial_sort ├── partial_sort_copy ├── partition ├── partition_copy ├── partition_point ├── prev_permutation ├── private ├── protected ├── public ├── push_heap ├── random_shuffle ├── remove ├── remove_copy ├── remove_copy_if ├── remove_if ├── replace ├── replace_copy ├── replace_copy_if ├── replace_if ├── reverse ├── reverse_copy ├── rotate ├── rotate_copy ├── search ├── search_n ├── sort ├── sort_heap ├── stable_partition ├── stable_sort ├── std ├── std_colon ├── swap_ranges ├── template ├── test case ├── test_main ├── test_suite ├── this ├── throw ├── transform ├── transform-with-closure ├── transform_lowercase ├── trim_left ├── try ├── tryw ├── unique ├── unique_copy ├── using └── vector ├── c-mode ├── .yas-parents ├── assert ├── compile ├── define ├── fopen ├── malloc ├── packed ├── printf ├── stdio ├── stdlib ├── string ├── switch ├── union └── unistd ├── cc-mode ├── do ├── else ├── elseif ├── for ├── fori ├── if ├── ifdef ├── inc ├── incc ├── main ├── math ├── once ├── struct ├── switch ├── ternary ├── typedef └── while ├── cider-repl-mode └── .yas-parents ├── clojure-mode ├── .yas-parents ├── bench ├── bp ├── def ├── defm ├── defn ├── defr ├── deft ├── doseq ├── fn ├── for ├── if ├── ifl ├── import ├── is ├── let ├── map ├── map.lambda ├── mdoc ├── ns ├── opts ├── pr ├── print ├── reduce ├── require ├── test ├── try ├── use ├── when └── whenl ├── cmake-mode ├── cmake_minimum_required ├── foreach ├── function ├── if ├── ifelse ├── include ├── macro ├── message ├── option ├── project └── set ├── conf-unix-mode ├── .yas-parents └── section ├── coq-mode ├── about ├── abstract ├── absurd ├── add_abstract_ring ├── add_abstract_semi_ring ├── add_field ├── add_loadpath ├── add_ml_path ├── add_morphism ├── add_parametric_morphism ├── add_parametric_relation ├── add_printing ├── add_printing_if ├── add_printing_let ├── add_rec_loadpath ├── add_rec_ml_path ├── add_ring ├── add_semi_ring ├── add_setoid ├── admit_obligations ├── admitted ├── apply ├── arguments ├── arguments_scope ├── assert_by ├── assumption ├── auto ├── autorewrite_with ├── axiom ├── axioms ├── bind_scope ├── bool_congr ├── by ├── canonical_structure ├── case ├── case_eq ├── case_type ├── cbn ├── cbn_with_flags ├── cbv ├── cd ├── change ├── chapter ├── check ├── class ├── clear ├── clear_dependent ├── clearbody ├── close_scope ├── coercion ├── cofix ├── cofixpoint ├── coinduction ├── coinductive ├── comments ├── compare ├── compute ├── congr ├── congruence ├── conjecture ├── constructor ├── context ├── contradict ├── contradiction ├── corollary ├── cut ├── cutrewrite ├── decide ├── decide_equality ├── decide_left ├── decide_right ├── declare ├── declare_module ├── decompose ├── decompose_record ├── decompose_sum ├── definition ├── dependent_inversion ├── dependent_inversion_clear ├── dependent_rewrite ├── derive_dependent_inversion ├── derive_inversion ├── destr_eq ├── destruct ├── destruct_all ├── destruct_with_eqn ├── discriminate ├── discrr ├── do ├── done ├── double_induction ├── eapply ├── eassumption ├── easy ├── eauto ├── econstructor ├── edestruct ├── eexists ├── eleft ├── elim ├── elimtype ├── enough ├── equations ├── erewrite ├── esplit ├── eval ├── exact ├── example ├── exfalso ├── existing_class ├── existing_instance ├── existing_instances ├── exists ├── export ├── extraction ├── extraction_inline ├── extraction_language ├── extraction_library ├── extraction_noinline ├── fact ├── fail ├── false_hyp ├── field ├── first ├── firstorder ├── fixpoint ├── focus ├── fold ├── forall ├── forall_2_args ├── forall_3_args ├── forall_4_args ├── fourier ├── fun_1_args ├── fun_2_args ├── fun_3_args ├── fun_4_args ├── function ├── functional_induction ├── functional_inversion ├── functional_scheme ├── generalizable_all_variables ├── generalizable_variables ├── generalize ├── generalize_dependent ├── gfail ├── global_variable ├── global_variables ├── goal ├── have ├── hint_constructors ├── hint_extern ├── hint_immediate ├── hint_resolve ├── hint_rewrite ├── hint_unfold ├── hint_view_for ├── hnf ├── hypotheses ├── hypothesis ├── identity_coercion ├── idtac ├── if ├── implicit_arguments ├── implicit_arguments_off ├── implicit_arguments_on ├── implicit_types ├── import ├── include ├── induction ├── inductive ├── info ├── injection ├── inspect ├── instance ├── instantiate ├── intro ├── intros ├── intuition ├── inversion ├── inversion_clear ├── lapply ├── last ├── lazy ├── lazymatch_with ├── left ├── lemma ├── let ├── let_in ├── lia ├── linear ├── load ├── local_arguments ├── local_axiom ├── local_axioms ├── local_close_scope ├── local_coercion ├── local_definition ├── local_ltac ├── local_notation ├── local_open_scope ├── local_strategy ├── locate ├── locate_library ├── locate_notation ├── lra ├── ltac ├── match_with ├── match_with_2 ├── match_with_3 ├── match_with_4 ├── match_with_5 ├── module ├── module_type ├── move ├── move_after ├── multimatch_with ├── nat_congr ├── nat_norm ├── next_obligation ├── nia ├── notation_simple ├── now ├── now_show ├── nra ├── nsatz ├── obligation ├── obligation_tactic ├── obligations ├── omega ├── opaque ├── open_local_scope ├── open_scope ├── parameter ├── parameters ├── pattern ├── pose ├── prenex_implicits ├── preterm ├── print ├── print_coercions ├── program_definition ├── program_fixpoint ├── program_instance ├── program_lemma ├── program_theorem ├── progress ├── prolog ├── prop_congr ├── proposition ├── psatz ├── pwd ├── qed ├── quote ├── record ├── recursive_extraction ├── recursive_extraction_library ├── recursive_extraction_module ├── red ├── refine ├── reflexivity ├── remark ├── remove_loadpath ├── remove_printing_if ├── remove_printing_let ├── rename_into ├── repeat ├── replace_with ├── require ├── require_export ├── require_import ├── reserved_infix ├── reserved_notation ├── reset_extraction_inline ├── revert ├── revert_dependent ├── rewrite ├── rewrite_all ├── right ├── ring ├── romega ├── save ├── scheme ├── search ├── searchabout ├── searchpattern ├── searchrewrite ├── section ├── set ├── set_asymmetric_patterns ├── set_atomic_load ├── set_automatic_coercions_import ├── set_automatic_introduction ├── set_boolean_equality_schemes ├── set_bracketing_last_introduction_pattern ├── set_bullet_behavior ├── set_case_analysis_schemes ├── set_compat_notations ├── set_congruence_depth ├── set_congruence_verbose ├── set_contextual_implicit ├── set_debug_auto ├── set_debug_eauto ├── set_debug_rakam ├── set_debug_tactic_unification ├── set_debug_trivial ├── set_debug_unification ├── set_decidable_equality_schemes ├── set_default_clearing_used_hypotheses ├── set_default_goal_selector ├── set_default_proof_mode ├── set_default_proof_using ├── set_default_timeout ├── set_dependent_propositions_elimination ├── set_discriminate_introduction ├── set_dump_bytecode ├── set_elimination_schemes ├── set_equality_scheme ├── set_extraction_accessopaque ├── set_extraction_autoinline ├── set_extraction_conservative_types ├── set_extraction_file_comment ├── set_extraction_flag ├── set_extraction_keepsingleton ├── set_extraction_optimize ├── set_extraction_safeimplicits ├── set_extraction_typeexpand ├── set_firstorder_depth ├── set_function_debug ├── set_function_raw_tcc ├── set_functional_induction_rewrite_dependent ├── set_hide_obligations ├── set_hyps_limit ├── set_implicit_arguments ├── set_info_auto ├── set_info_eauto ├── set_info_level ├── set_info_trivial ├── set_injection_l2r_pattern_order ├── set_injection_on_proofs ├── set_inline_level ├── set_intuition_iff_unfolding ├── set_intuition_negation_unfolding ├── set_kernel_term_sharing ├── set_keyed_unification ├── set_loose_hint_behavior ├── set_ltac_debug ├── set_maximal_implicit_insertion ├── set_nonrecursive_elimination_schemes ├── set_parsing_explicit ├── set_primitive_projections ├── set_printing_all ├── set_printing_coercion ├── set_printing_coercions ├── set_printing_compact_contexts ├── set_printing_constructor ├── set_printing_depth ├── set_printing_existential_instances ├── set_printing_goal_names ├── set_printing_goal_tags ├── set_printing_if ├── set_printing_implicit ├── set_printing_implicit_defensive ├── set_printing_let ├── set_printing_matching ├── set_printing_notations ├── set_printing_primitive_projection_compatibility ├── set_printing_primitive_projection_parameters ├── set_printing_projections ├── set_printing_record ├── set_printing_records ├── set_printing_synth ├── set_printing_unfocused ├── set_printing_universes ├── set_printing_width ├── set_printing_wildcard ├── set_program_mode ├── set_proof_using_clear_unused ├── set_record_elimination_schemes ├── set_refine_instance_mode ├── set_regular_subst_tactic ├── set_reversible_pattern_implicit ├── set_rewriting_schemes ├── set_search_blacklist ├── set_short_module_printing ├── set_shrink_obligations ├── set_silent ├── set_simpliscbn ├── set_standard_proposition_elimination_names ├── set_strict_proofs ├── set_strict_universe_declaration ├── set_strongly_strict_implicit ├── set_suggest_proof_using ├── set_tactic_compat_context ├── set_tactic_evars_pattern_unification ├── set_tactic_pattern_unification ├── set_transparent_obligations ├── set_typeclass_resolution_after_apply ├── set_typeclass_resolution_for_conversion ├── set_typeclasses_debug ├── set_typeclasses_dependency_order ├── set_typeclasses_depth ├── set_typeclasses_modulo_eta ├── set_typeclasses_strict_resolution ├── set_typeclasses_unique_instances ├── set_typeclasses_unique_solutions ├── set_undo ├── set_universal_lemma_under_conjunction ├── set_universe_minimization_toset ├── set_universe_polymorphism ├── set_verbose_compat_notations ├── setoid_replace_with ├── setoid_rewrite ├── show ├── simpl ├── simple_destruct ├── simple_induction ├── simple_inversion ├── simplify_eq ├── solve ├── solve_obligations ├── specialize ├── split ├── split_rabs ├── split_rmult ├── stepl ├── stepr ├── strategy ├── structure ├── subst ├── suff ├── suffices ├── symmetry ├── tactic_notation ├── tauto ├── theorem ├── timeout ├── transitivity ├── transparent ├── trivial ├── try ├── tryif ├── typeclasses_opaque ├── unfocus ├── unfold ├── unlock ├── unset_asymmetric_patterns ├── unset_atomic_load ├── unset_automatic_coercions_import ├── unset_automatic_introduction ├── unset_boolean_equality_schemes ├── unset_bracketing_last_introduction_pattern ├── unset_bullet_behavior ├── unset_case_analysis_schemes ├── unset_compat_notations ├── unset_congruence_depth ├── unset_congruence_verbose ├── unset_contextual_implicit ├── unset_debug_auto ├── unset_debug_eauto ├── unset_debug_rakam ├── unset_debug_tactic_unification ├── unset_debug_trivial ├── unset_debug_unification ├── unset_decidable_equality_schemes ├── unset_default_clearing_used_hypotheses ├── unset_default_goal_selector ├── unset_default_proof_mode ├── unset_default_proof_using ├── unset_default_timeout ├── unset_dependent_propositions_elimination ├── unset_discriminate_introduction ├── unset_dump_bytecode ├── unset_elimination_schemes ├── unset_equality_scheme ├── unset_extraction_accessopaque ├── unset_extraction_autoinline ├── unset_extraction_conservative_types ├── unset_extraction_file_comment ├── unset_extraction_flag ├── unset_extraction_keepsingleton ├── unset_extraction_optimize ├── unset_extraction_safeimplicits ├── unset_extraction_typeexpand ├── unset_firstorder_depth ├── unset_function_debug ├── unset_function_raw_tcc ├── unset_functional_induction_rewrite_dependent ├── unset_hide_obligations ├── unset_hyps_limit ├── unset_implicit_arguments ├── unset_info_auto ├── unset_info_eauto ├── unset_info_level ├── unset_info_trivial ├── unset_injection_l2r_pattern_order ├── unset_injection_on_proofs ├── unset_inline_level ├── unset_intuition_iff_unfolding ├── unset_intuition_negation_unfolding ├── unset_kernel_term_sharing ├── unset_keyed_unification ├── unset_loose_hint_behavior ├── unset_ltac_debug ├── unset_maximal_implicit_insertion ├── unset_nonrecursive_elimination_schemes ├── unset_parsing_explicit ├── unset_primitive_projections ├── unset_printing_all ├── unset_printing_coercion ├── unset_printing_coercions ├── unset_printing_constructor ├── unset_printing_depth ├── unset_printing_existential_instances ├── unset_printing_if ├── unset_printing_implicit ├── unset_printing_implicit_defensive ├── unset_printing_let ├── unset_printing_matching ├── unset_printing_notations ├── unset_printing_primitive_projection_compatibility ├── unset_printing_primitive_projection_parameters ├── unset_printing_projections ├── unset_printing_record ├── unset_printing_records ├── unset_printing_synth ├── unset_printing_universes ├── unset_printing_width ├── unset_printing_wildcard ├── unset_program_mode ├── unset_proof_using_clear_unused ├── unset_record_elimination_schemes ├── unset_refine_instance_mode ├── unset_regular_subst_tactic ├── unset_reversible_pattern_implicit ├── unset_rewriting_schemes ├── unset_search_blacklist ├── unset_short_module_printing ├── unset_shrink_obligations ├── unset_silent ├── unset_simpliscbn ├── unset_standard_proposition_elimination_names ├── unset_strict_proofs ├── unset_strict_universe_declaration ├── unset_strongly_strict_implicit ├── unset_suggest_proof_using ├── unset_tactic_compat_context ├── unset_tactic_evars_pattern_unification ├── unset_tactic_pattern_unification ├── unset_transparent_obligations ├── unset_typeclass_resolution_after_apply ├── unset_typeclass_resolution_for_conversion ├── unset_typeclasses_debug ├── unset_typeclasses_dependency_order ├── unset_typeclasses_depth ├── unset_typeclasses_modulo_eta ├── unset_typeclasses_strict_resolution ├── unset_typeclasses_unique_instances ├── unset_typeclasses_unique_solutions ├── unset_undo ├── unset_universal_lemma_under_conjunction ├── unset_universe_minimization_tounset ├── unset_universe_polymorphism ├── unset_verbose_compat_notations ├── variable ├── variables ├── variant ├── vm_compute ├── without_loss └── wlog ├── cpp-omnet-mode ├── EV ├── emit_signal ├── intuniform ├── math ├── nan ├── omnet ├── parameter_omnetpp ├── scheduleAt └── uniform ├── csharp-mode ├── .yas-parents ├── attrib ├── attrib.1 ├── attrib.2 ├── class ├── comment ├── comment.1 ├── comment.2 ├── comment.3 ├── foreach ├── method ├── namespace ├── prop ├── region ├── using └── using.1 ├── css-mode ├── import ├── importfont ├── importurl ├── margin ├── media ├── media_orientation ├── media_print ├── padding └── property ├── dart-mode ├── acls ├── afun ├── bltval ├── cls ├── didchdep ├── dis ├── do ├── elif ├── ext ├── for ├── fori ├── fun ├── get ├── getset ├── group ├── if ├── ife ├── impl ├── impo ├── inis ├── main ├── part ├── set ├── stanim ├── stful ├── stless ├── switch ├── test ├── try ├── typedef └── while ├── direnv-envrc-mode ├── .yas-parents ├── PATH_add ├── direnv_layout_dir └── log_error ├── dockerfile-mode ├── add ├── arg ├── copy ├── dockerize-alpine ├── dockerize-ubuntu ├── entrypoint ├── env ├── expose ├── from ├── label ├── onbuild ├── stopsignal ├── user ├── volume └── workdir ├── doom-docs-org-mode ├── notice-credit ├── notice-quote ├── notice-tangent ├── notice-time ├── notice-tip ├── notice-warn └── notice-wip ├── doom-snippets-lib.el ├── doom-snippets.el ├── elixir-mode ├── after ├── call ├── case ├── cast ├── cond ├── def ├── defmacro ├── defmacrop ├── defmodule ├── defmodule_filename ├── defp ├── do ├── doc ├── fn ├── for ├── function ├── function-one-line ├── hcall ├── hcast ├── hinfo ├── if ├── ife ├── io ├── iop ├── mdoc ├── pry ├── receive ├── test └── unless ├── emacs-lisp-mode ├── .yas-setup.el ├── add-hook ├── advise ├── after ├── ah ├── and ├── append ├── apply ├── aref ├── aset ├── assq ├── au ├── autodef ├── autoload ├── backward-char ├── beginning-of-line ├── bounds-of-thing-at-point ├── buffer-file-name ├── buffer-modified-p ├── buffer-substring ├── buffer-substring-no-properties ├── car ├── cdef ├── cdefm ├── cdr ├── cl-defmacro ├── cl-defun ├── cl-destructuring-bind ├── concat ├── cond ├── condition-case ├── cons ├── consp ├── copy-directory ├── copy-file ├── current-buffer ├── custom-autoload ├── def ├── def-package! ├── defalias ├── defconst ├── defcustom ├── define-key ├── defm ├── defmacro ├── defsubst ├── defun ├── defvar ├── delete-char ├── delete-directory ├── delete-file ├── delete-region ├── directory-files ├── dired.process_marked ├── dolist ├── doom-add-hook ├── doom-add-hook-short ├── end-of-line ├── eq ├── equal ├── error ├── expand-file-name ├── fboundp ├── file-name-directory ├── file-name-extension ├── file-name-nondirectory ├── file-name-sans-extension ├── file-relative-name ├── file.process ├── file.read-lines ├── find-file ├── find-replace ├── format ├── forward-char ├── forward-line ├── funcall ├── function ├── get ├── global-set-key ├── goto-char ├── grabstring ├── grabthing ├── if ├── if-let ├── if-let-2 ├── insert ├── insert-file-contents ├── int ├── interactive ├── kbd ├── kill-buffer ├── lam ├── lambda ├── length ├── let ├── line-beginning-position ├── line-end-position ├── list ├── looking-at ├── make-directory ├── make-hash-table ├── make-local-variable ├── mapc ├── mapcar ├── mapcl ├── match-beginning ├── match-end ├── match-string ├── memq ├── message ├── minor_mode ├── not ├── nth ├── null ├── number-to-string ├── opt ├── optional ├── or ├── pcase ├── point ├── point-max ├── point-min ├── princ ├── print ├── progn ├── provide ├── push ├── put ├── re-search-backward ├── re-search-forward ├── region-active-p ├── region-beginning ├── region-end ├── rename-file ├── repeat ├── replace-regexp ├── replace-regexp-in-string ├── req ├── require ├── rest ├── save-buffer ├── save-excursion ├── search-backward ├── search-backward-regexp ├── search-forward ├── search-forward-regexp ├── set ├── set-buffer ├── set-file-modes ├── set-mark ├── setq ├── setq-default ├── skip-chars-backward ├── skip-chars-forward ├── split-string ├── string ├── string-match ├── string-match-p ├── string-to-number ├── string= ├── stringp ├── substring ├── thing-at-point ├── traverse_dir ├── unless ├── use-package ├── vector ├── when ├── when-let ├── while ├── widget-get ├── with-current-buffer ├── word-or-region ├── word_regexp ├── y-or-n-p └── yes-or-no-p ├── enh-ruby-mode └── .yas-parents ├── erc-mode ├── blist └── help ├── erlang-mode ├── after ├── begin ├── beh ├── case ├── compile ├── def ├── exp ├── fun ├── if ├── ifdef ├── ifndef ├── imp ├── inc ├── inc.lib ├── loop ├── mod ├── rcv ├── rcv.after ├── rec ├── try └── undef ├── faust-mode ├── button ├── case ├── checkbox ├── component ├── declare ├── declareauthor ├── declarelicense ├── declarename ├── declareversion ├── hbargraph ├── header ├── hgroup ├── hslider ├── import ├── nentry ├── par ├── process ├── processx ├── prod ├── rule ├── seq ├── sum ├── tgroup ├── vbargraph ├── vgroup ├── vslider └── with ├── faustine-mode └── .yas-parents ├── fennel-mode ├── do ├── each ├── fn ├── for ├── global ├── if ├── lambda ├── length ├── let ├── local ├── print ├── require ├── set ├── table.concat ├── tset ├── var ├── when └── while ├── fundamental-mode ├── .yas-setup.el ├── bang ├── email ├── localvar ├── mode └── time ├── gfm-mode └── .yas-parents ├── git-commit-mode ├── .yas-parents ├── amend ├── close ├── co-authored-by ├── fixes └── references ├── go-mode ├── append ├── coloneq ├── const ├── ctxc ├── f ├── fm ├── for ├── fore ├── foreach ├── fori ├── func ├── go ├── gof ├── if ├── ife ├── iferr ├── imp ├── import ├── interface ├── main ├── map ├── method ├── package ├── pkg ├── pr ├── println ├── prln ├── select ├── struct ├── switch ├── test ├── type ├── var └── wr ├── haskell-mode ├── case ├── data ├── doc ├── function ├── import ├── instance ├── main ├── module ├── new class ├── pragma └── print ├── html-mode ├── .yas-parents ├── dd ├── dl ├── doctype ├── doctype.xhml1 ├── doctype.xhtml1_1 ├── doctype.xhtml1_strict ├── doctype.xhtml1_transitional ├── dt ├── form ├── html ├── html.xmlns ├── link ├── linkie ├── mailto ├── meta ├── meta.http-equiv ├── script ├── scriptsrc ├── textarea └── th ├── janet-mode ├── do ├── each ├── if └── let ├── java-mode ├── @param ├── @return ├── apr_assert ├── class ├── constructor ├── doc ├── equals ├── file_class ├── for ├── foreach ├── if ├── ife ├── import ├── interface ├── iterator ├── javadoc ├── main ├── method ├── method@ ├── new ├── paintComponent ├── printf ├── println ├── private ├── protected ├── public ├── return ├── test ├── testClass ├── this ├── toString ├── try ├── var ├── var= ├── void └── while ├── js-mode ├── Math ├── addEventListener ├── alert ├── arrow ├── cl ├── class ├── const ├── constructor ├── decodeURI ├── decodeURIComponent ├── document ├── else ├── encodeURI ├── encodeURIComponent ├── exports ├── filter ├── filter-arrow ├── filter-function ├── fireEvent ├── for ├── forEach ├── forEach-arrow ├── forEach-function ├── fori ├── forin ├── fu ├── function ├── function_inline ├── getElementById ├── if ├── imp ├── import ├── indexOf ├── jsdoc ├── let ├── log ├── map ├── map-arrow ├── map-function ├── method ├── property ├── push ├── req ├── require ├── return ├── try ├── var └── while ├── js2-mode └── .yas-parents ├── js3-mode └── .yas-parents ├── json-mode └── eslintConfig ├── julia-mode ├── .yas-setup.el ├── atype ├── beg ├── begin ├── dfun ├── do ├── for ├── fun ├── if ├── ife ├── let ├── macro ├── module ├── mutstr ├── ptype ├── quote ├── struct ├── try ├── tryf └── while ├── kotlin-mode ├── class ├── file_class ├── forin ├── fun ├── if ├── ife ├── interface ├── main ├── todo ├── val ├── val= ├── var ├── var= └── while ├── latex-mode ├── acronym ├── alertblock ├── alg ├── axiom ├── begin ├── bigcap_^ ├── bigcup_^ ├── block ├── capgls ├── caption ├── cite ├── code ├── columns ├── corollary ├── definition ├── emph ├── enumerate ├── exercise ├── figure ├── frac ├── frame ├── gls ├── glspl ├── if ├── includegraphics ├── int_^ ├── item ├── itemize ├── label ├── lemma ├── lim ├── liminf ├── limsup ├── listing ├── mathclap ├── movie ├── newcommand ├── newglossaryentry ├── note ├── prod_^ ├── proof ├── python ├── question ├── remark ├── root ├── section ├── sqrt ├── subf ├── subfigure ├── subsec ├── sum_^ ├── textbf ├── theorem └── usepackage ├── lisp-interaction-mode └── defun ├── lisp-mode ├── class ├── cond ├── defpackage ├── do ├── dol ├── dolist ├── dot ├── dotimes ├── format ├── if ├── slot ├── typecast ├── unless └── when ├── lua-mode ├── add ├── assignment ├── class ├── elseif ├── for ├── foreach ├── forline ├── function ├── function-inline ├── if ├── inline-if ├── lambda ├── local ├── math.abs ├── math.acos ├── math.asin ├── math.atan ├── math.atan2 ├── math.ceil ├── math.cos ├── math.cosh ├── math.deg ├── math.exp ├── math.floor ├── math.fmod ├── math.frexp ├── math.huge ├── math.ldexp ├── math.log10 ├── math.max ├── math.min ├── math.modf ├── math.pi ├── math.pow ├── math.rad ├── math.random ├── math.randomseed ├── math.sin ├── math.sinh ├── math.sqrt ├── math.tan ├── math.tanh ├── open ├── pi ├── print ├── require ├── self ├── sqrt ├── sub ├── ton └── while ├── m4-mode └── def ├── makefile-automake-mode └── noinst_HEADERS ├── makefile-bsdmake-mode ├── PHONY ├── echo ├── gen ├── if └── var ├── makefile-gmake-mode ├── patsubst ├── phony └── wildcard ├── makefile-mode └── all ├── markdown-mode ├── code ├── h1 ├── h2 ├── h3 ├── h4 ├── h5 ├── h6 ├── hr ├── img ├── kbd ├── link ├── ol ├── rimg ├── rlb ├── rlink └── utf8 ├── nesc-mode ├── .yas-parents ├── TOSSIM ├── command ├── dbg ├── event ├── ifdef ├── interface ├── module ├── nx ├── provides ├── sim ├── uint8_t └── uses ├── nix-mode ├── .yas-setup.el ├── environment ├── environment.sessionVariables ├── environment.systemPackages ├── environment.variables ├── fetchTarball ├── home-manager ├── home-manager.users.USER ├── imports ├── package.github ├── package.url ├── with └── writeScriptBin ├── nsis-mode ├── .yas-parents ├── define ├── function ├── if ├── include ├── insert_macro ├── instdir ├── macro ├── message ├── outdir ├── outfile └── section ├── nxml-mode ├── body ├── br ├── code ├── doctype.xhtml1_strict ├── doctype.xhtml1_transitional ├── form ├── h1 ├── h2 ├── h3 ├── h4 ├── h5 ├── h6 ├── head ├── hr ├── href ├── html ├── img ├── input ├── li ├── meta ├── name ├── ol ├── ol.id ├── p ├── pre ├── quote ├── span ├── span.id ├── style ├── table ├── tag.1l ├── tag.2l ├── td ├── th ├── title ├── tr ├── ul └── ul.id ├── org-mode ├── begin ├── begin_center ├── begin_comment ├── begin_example ├── begin_export ├── begin_export_ascii ├── begin_export_html ├── begin_export_latex ├── begin_quote ├── begin_src ├── begin_verse ├── blog ├── chinese_dollar ├── chinese_link ├── dot ├── elisp ├── entry ├── example ├── export ├── figure ├── head ├── img ├── inline ├── inline_source ├── jupyter ├── matrix ├── name ├── quote ├── src ├── todo ├── verse └── width ├── php-mode ├── abstract-class ├── array ├── break ├── class ├── class-final ├── constructor ├── continue ├── define ├── do-while ├── echo ├── else ├── elseif ├── enumeration ├── for ├── for-classic ├── foreach ├── function ├── function-anonymous ├── function-arrow ├── if ├── include ├── include_once ├── match ├── method ├── namespace ├── object-property ├── parent ├── php ├── phpdoc ├── phpdoc-tag ├── require ├── require_once ├── self ├── shebang ├── shorttag-print ├── switch ├── ternary ├── this ├── try-catch ├── urldecode ├── urlencode ├── var ├── var_dump └── while ├── plantuml-mode ├── a ├── art ├── card ├── cloud ├── clr ├── cls ├── comp ├── d ├── db ├── e ├── elif ├── else ├── f ├── fark ├── file ├── folder ├── fork ├── frame ├── if ├── l ├── latex ├── m ├── map ├── math ├── mm ├── node ├── note ├── ns ├── pkg ├── pprivate ├── private ├── protected ├── public ├── q ├── r ├── rect ├── repeat ├── s ├── s16 ├── size ├── sns ├── sp ├── spl ├── spla ├── st ├── stack ├── storage ├── sty ├── ta ├── to ├── u ├── uml ├── vertif └── while ├── processing-mode ├── @param ├── @private ├── @public ├── @return ├── Array ├── ArrayList ├── HALF_PI ├── Object ├── PFont ├── PGraphics ├── PI ├── PImage ├── String ├── TWO_PI ├── abs ├── acos ├── alpha ├── ambient ├── ambientLight ├── append ├── arc ├── arrayCopy ├── asin ├── atan ├── atan2 ├── background ├── beginCamera ├── beginGL ├── beginRecord ├── bezier ├── bezierDetail ├── bezierPoint ├── bezierTangent ├── bezierVertex ├── bezierVertex_3d ├── bezier_3d ├── binary ├── blue ├── boolean ├── box ├── break ├── brightness ├── byte ├── camera ├── case ├── catch ├── ceil ├── char ├── class ├── color ├── concat ├── const ├── constrain ├── copy ├── cos ├── createReader ├── createWriter ├── curve ├── curveDetail ├── curvePoint ├── curveTightness ├── curveVertex ├── curveVertex_3d ├── curve_3d ├── default ├── degrees ├── directionalLight ├── dist ├── dist_3d ├── doc_class ├── doc_comment ├── doc_newline ├── ellipse ├── ellipseMode ├── else ├── else_if ├── emissive ├── endCamera ├── endRecord ├── exp ├── expand ├── fill ├── float ├── floor ├── for ├── for_in ├── frameRate ├── frustum ├── function ├── get ├── get_pixel ├── glBindBuffer ├── glCallList ├── glClear ├── glClearColor ├── glColor3f ├── glColor4f ├── glDeleteBuffer ├── glDepthMask ├── glFlush ├── glGenBuffers ├── glGenLists ├── glGetError ├── glLoadIdentity ├── glPushMatrix ├── glRotatef ├── glScalef ├── glTexCoord2f ├── glTranslatef ├── glVertex2f ├── glVertex3f ├── green ├── hex ├── hour ├── hue ├── if ├── if_short ├── image ├── int ├── join ├── keyPressed ├── keyPressed2 ├── keyReleased ├── keyTyped ├── lerp ├── lerpColor ├── lightFalloff ├── lightSpecular ├── line ├── line_3d ├── link ├── loadBytes ├── loadFont ├── loadImage ├── loadPixels ├── loadStrings ├── log ├── mag ├── map ├── match ├── max ├── max_array ├── millis ├── min ├── min_array ├── minute ├── modelX ├── modelY ├── modelZ ├── month ├── mosueButton ├── mouseDragged ├── mouseMoved ├── mousePressed ├── mousePressed2 ├── mouseReleased ├── mouseX ├── mouseY ├── nf ├── nfc ├── nfp ├── nfs ├── noCursor ├── noFill ├── noLights ├── noSmooth ├── noStroke ├── noTint ├── noise ├── noiseDetail ├── noiseSeed ├── norm ├── normal ├── online ├── ortho ├── package ├── param ├── perspective ├── pixels ├── pmouseX ├── pmouseY ├── point ├── pointLight ├── pow ├── printCamera ├── printMatrix ├── printProjection ├── println ├── println_var ├── private_function ├── private_static_function ├── private_static_var ├── private_var ├── private_var_object ├── protected_function ├── protected_var ├── protected_var_object ├── public_function ├── public_static_function ├── public_static_var ├── public_var ├── public_var_object ├── pushMatrix ├── quad ├── radians ├── random ├── randomSeed ├── rect ├── red ├── resetMatrix ├── reverse ├── rotate ├── rotateX ├── rotateY ├── rotateZ ├── round ├── saturation ├── saveBytes ├── saveFrame ├── saveStrings ├── scale ├── scale_SIZE ├── screenX ├── screenY ├── screenZ ├── screen_height ├── screen_width ├── second ├── set ├── setSwapInterval ├── set_pixel ├── setup ├── setup_OpenGL ├── shininess ├── shorten ├── sin ├── size ├── size_OPENGL ├── smooth ├── sort ├── specular ├── sphere ├── sphereDetail ├── splice ├── split ├── splitTokens ├── spotLight ├── sq ├── sqrt ├── status ├── str ├── stroke ├── strokeWeight ├── subset ├── switch ├── tan ├── textAscent ├── textDescent ├── textFont ├── textLeading ├── textSize ├── textWidth ├── text_data ├── text_stringdata ├── throw ├── tint ├── translate ├── triangle ├── trim ├── try ├── try__catch ├── try__catch__finally ├── unbinary ├── unhex ├── updatePixels ├── var ├── var_object ├── vertex ├── vertex_3D ├── while └── year ├── prog-mode ├── .yas-parents ├── .yas-setup.el ├── commentblock └── commentline ├── pug-mode └── link ├── python-mode ├── .yas-parents ├── .yas-setup.el ├── __contains__ ├── __enter__ ├── __exit__ ├── __getitem__ ├── __len__ ├── __new__ ├── __setitem__ ├── all ├── arg ├── arg_positional ├── assert ├── assertEqual ├── assertFalse ├── assertIn ├── assertNotEqual ├── assertRaises ├── assertRaises.with ├── assertTrue ├── celery_pdb ├── class ├── classmethod ├── dec ├── def ├── defm ├── doc ├── doctest ├── eq ├── for ├── from ├── function_docstring ├── if ├── ife ├── ifmain ├── import ├── init ├── init_docstring ├── interact ├── ipdbdebug ├── iter ├── lambda ├── list ├── logger_name ├── logging ├── main ├── metaclass ├── method ├── method_docstring ├── not_impl ├── np ├── parse_args ├── parser ├── pass ├── print ├── prop ├── reg ├── repr ├── return ├── script ├── self ├── self_without_dot ├── selfassign ├── setdef ├── setup ├── shebang ├── size ├── static ├── str ├── super ├── test_class ├── test_file ├── trace ├── try ├── tryelse ├── unicode ├── utf8 ├── while ├── with └── with_statement ├── racket-mode ├── case ├── caselambda ├── cond ├── define ├── define-syntax ├── do ├── for ├── if ├── lambda ├── let ├── match ├── unless └── when ├── rjsx-mode ├── closed-tag ├── div ├── tag └── ul ├── rspec-mode ├── after ├── before ├── cont ├── context ├── defm ├── desc ├── describe ├── describem ├── exp ├── exp2 ├── expect ├── expect2 ├── feature ├── featurem ├── helper ├── iexp ├── it ├── itiexp ├── its ├── let ├── lett ├── lfgb ├── lfgc ├── lfgs ├── scn ├── sfgb ├── sfgc ├── sfgs └── subject ├── rst-mode ├── autoclass ├── autofunction ├── automodule ├── class ├── code ├── digraph ├── function ├── graph ├── graphviz ├── image ├── inheritance ├── literal_include ├── meta ├── module ├── parsed_literal ├── pause ├── term ├── url ├── verbatim └── warning ├── ruby-mode ├── =b ├── Comp ├── Enum ├── GLOB ├── all ├── am ├── any ├── app ├── attribute ├── bang ├── bb ├── begin ├── bel ├── bench ├── bm ├── case ├── cla ├── cls ├── collect ├── dee ├── def ├── deli ├── det ├── do-end ├── dow ├── ea ├── eac ├── eai ├── eav ├── eawi ├── fb ├── for ├── forin ├── formula ├── hasm ├── if ├── ife ├── inc ├── init ├── inject ├── loadpath ├── map ├── mm ├── mod ├── namespace ├── now ├── p ├── pry ├── puts ├── r ├── rb ├── red ├── reject ├── rel ├── req ├── resc ├── retif ├── retun ├── rpry ├── rw ├── select ├── str ├── task ├── task-console ├── task-spec ├── task-tags ├── test class ├── tim ├── to_ ├── tu ├── until ├── upt ├── vali ├── w ├── wh ├── when ├── while ├── y └── zip ├── rust-mode ├── File-open ├── None ├── Result ├── Some ├── String_from ├── Vec-with_capacity ├── _filter_map ├── _into_iter ├── _iter ├── _to_string ├── allow ├── allow! ├── arrow ├── asref ├── assert ├── assert_eq ├── assert_ne ├── assignment ├── async_fn ├── block ├── case ├── cfg ├── cfg= ├── const ├── debug_assert ├── deref ├── deref_mut ├── derive ├── disperror ├── display ├── else ├── elseif ├── enum ├── env-args ├── env-var ├── eprintln ├── error ├── extern ├── extern-crate ├── fn ├── for ├── format ├── from ├── fromstr ├── if ├── if-let ├── ignore ├── impl ├── inline-if-else ├── iterator ├── lambda ├── let ├── letm ├── lifetime-static ├── loop ├── macro ├── main ├── match ├── match-ok ├── match_alias ├── mod ├── new ├── panic ├── partial ├── println ├── pub_async_fn ├── pub_fn ├── pub_mod ├── ret ├── static ├── struct ├── struct_alias ├── test ├── testmod ├── trait ├── trait_alias ├── type ├── union ├── unsafe ├── use ├── use-File ├── use-HashMap ├── vec ├── warn ├── warn! ├── while └── while-let ├── rustic-mode └── .yas-parents ├── scala-mode ├── List ├── app ├── case ├── cons ├── def ├── if ├── main ├── throw └── try ├── scss-mode ├── .yas-parents ├── @if ├── @include ├── @mixin ├── @while ├── abs ├── adjust-color ├── adjust-hue ├── alpha ├── append ├── blue ├── call ├── ceil ├── change-color ├── comparable ├── complement ├── darken ├── desaturate ├── each ├── else ├── elseif ├── extend ├── fade-in ├── fade-out ├── feature-exists ├── floor ├── for ├── function-exists ├── global-variable-exists ├── grayscale ├── green ├── hsl ├── hsla ├── hue ├── ie-hex-str ├── index ├── inspect ├── invert ├── join ├── keywords ├── length ├── lighten ├── lightness ├── list-separator ├── map-get ├── map-has-key ├── map-keys ├── map-merge ├── map-remove ├── map-values ├── max ├── min ├── mix ├── mixin-exists ├── nth ├── opacify ├── opacity ├── percentage ├── quote ├── random ├── red ├── rgb ├── rgba ├── rgbao ├── round ├── saturate ├── saturation ├── scale-color ├── set-nth ├── str-index ├── str-insert ├── str-length ├── str-slice ├── to-lower-case ├── to-upper-case ├── transparentize ├── type-of ├── unique-id ├── unit ├── unitless ├── unquote ├── variable-exists └── zip ├── sh-mode ├── alias ├── args ├── bang ├── case ├── elif ├── else ├── f ├── for ├── for-one-line ├── function ├── function-one-line ├── getopts ├── gt ├── if ├── if-one-line ├── ife ├── local ├── lt └── var ├── slim-mode ├── cdn-modernizr.min.js ├── desc ├── html ├── js ├── lidot ├── link ├── mkd ├── oldot ├── scriptsrc └── uldot ├── snippet-mode ├── cont ├── elisp ├── field ├── group ├── mirror └── vars ├── solidity-mode ├── assert ├── contract ├── enum ├── event ├── for ├── function ├── if ├── ife ├── interface ├── library ├── modifier ├── require ├── struct └── while ├── sql-mode ├── column ├── constraint ├── constraint.1 ├── create ├── create.1 └── references ├── text-mode └── .yas-parents ├── typescript-mode ├── .yas-parents ├── class ├── const ├── import ├── importas └── let ├── typescript-tsx-mode ├── .yas-parents └── componentTSX ├── web-mode ├── .yas-parents ├── php ├── video └── vue └── yaml-mode ├── entry ├── list └── section /+javascript-gulp-mode/default: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Default gulp task 3 | # -- 4 | gulp.task('default', $0); -------------------------------------------------------------------------------- /+javascript-lb6-mode/include: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: include(...) 3 | # -- 4 | include("${1:shared/lib/${2:lib.js}}"); -------------------------------------------------------------------------------- /+javascript-lb6-mode/preferences: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Action.preferences.? 3 | # -- 4 | Action.preferences.${1:name} -------------------------------------------------------------------------------- /.dir-locals.el: -------------------------------------------------------------------------------- 1 | ((nil (git-commit-major-mode . git-commit-elisp-text-mode) 2 | (fill-column . 80))) -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | **/*.elc 2 | **/.yas-compiled-snippets.el -------------------------------------------------------------------------------- /applescript-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | prog-mode -------------------------------------------------------------------------------- /beancount-mode/Assets: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Assets: 3 | # key: as 4 | # -- 5 | Assets: -------------------------------------------------------------------------------- /beancount-mode/Equity: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Equity: 3 | # key: eq 4 | # -- 5 | Equity: 6 | -------------------------------------------------------------------------------- /beancount-mode/Expenses: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Expenses: 3 | # key: ex 4 | # -- 5 | Expenses: 6 | -------------------------------------------------------------------------------- /beancount-mode/Income: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Income: 3 | # key: in 4 | # -- 5 | Income: -------------------------------------------------------------------------------- /beancount-mode/Liabilities: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Liabilities: 3 | # key: li 4 | # -- 5 | Liabilities: 6 | -------------------------------------------------------------------------------- /beancount-mode/date: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Insert date 3 | # -- 4 | `(format-time-string "%Y-%m-%d")` -------------------------------------------------------------------------------- /buttercup-minor-mode/it: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: it ... 3 | # -- 4 | (it "${1:...}" ${2:`(doom-snippets-format "%n%s")`}$0) -------------------------------------------------------------------------------- /c++-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | cc-mode -------------------------------------------------------------------------------- /c++-mode/assert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: assert 3 | # -- 4 | assert($0); -------------------------------------------------------------------------------- /c++-mode/cstd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cstd 3 | # key: cstd 4 | # uuid: cstd 5 | # -- 6 | #include -------------------------------------------------------------------------------- /c++-mode/delete: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: delete 3 | # key: dl 4 | # uuid: dl 5 | # -- 6 | delete ${1:pointer}; -------------------------------------------------------------------------------- /c++-mode/delete[]: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: delete[] 3 | # key: dla 4 | # uuid: dla 5 | # -- 6 | delete[] ${1:arr}; -------------------------------------------------------------------------------- /c++-mode/doc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: doc 3 | # key: /** 4 | # uuid: /** 5 | # -- 6 | /** 7 | * $0 8 | */ -------------------------------------------------------------------------------- /c++-mode/enum: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: enum 3 | # -- 4 | enum ${1:NAME} {$0}; -------------------------------------------------------------------------------- /c++-mode/friend: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: friend 3 | # key: fr 4 | # uuid: fr 5 | # -- 6 | friend $0; -------------------------------------------------------------------------------- /c++-mode/include: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #include 3 | # key: inc 4 | # -- 5 | #include <`%`${1:lib}> -------------------------------------------------------------------------------- /c++-mode/inline: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: inline 3 | # key: il 4 | # uuid: il 5 | # -- 6 | inline $0 -------------------------------------------------------------------------------- /c++-mode/lambda: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: lambda 3 | # key: lam 4 | # -- 5 | [$1]($2) { `(!%!)`$3 } -------------------------------------------------------------------------------- /c++-mode/map: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: map 3 | # key: map 4 | # uuid: map 5 | # -- 6 | std::map<${1:type1}$0> ${2:var}; -------------------------------------------------------------------------------- /c++-mode/namespace: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name : namespace ... 3 | # key: ns 4 | # uuid: ns 5 | # -- 6 | namespace ${1:name} -------------------------------------------------------------------------------- /c++-mode/ostream: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ostream 3 | # key: os 4 | # uuid: os 5 | # -- 6 | #include -------------------------------------------------------------------------------- /c++-mode/std: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: std 3 | # key: std 4 | # uuid: std 5 | # -- 6 | using namespace std; -------------------------------------------------------------------------------- /c++-mode/std_colon: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: std:: 3 | # key: st 4 | # uuid: st 5 | # -- 6 | std::$0 -------------------------------------------------------------------------------- /c++-mode/this: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: this 3 | # -- 4 | this -------------------------------------------------------------------------------- /c++-mode/throw: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: throw 3 | # key: throw 4 | # uuid: throw 5 | # -- 6 | throw ${1:MyError}($0); -------------------------------------------------------------------------------- /c++-mode/try: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: try 3 | # -- 4 | try { 5 | `%`$0 6 | } catch (${1:type}) { 7 | 8 | } 9 | -------------------------------------------------------------------------------- /c-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | cc-mode 2 | -------------------------------------------------------------------------------- /c-mode/assert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: assert 3 | # key: ass 4 | # uuid: ass 5 | # -- 6 | #include 7 | $0 -------------------------------------------------------------------------------- /c-mode/define: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: define 3 | # key: def 4 | # uuid: def 5 | # -- 6 | #define $0 -------------------------------------------------------------------------------- /c-mode/fopen: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: FILE *fp = fopen(..., ...); 3 | # -- 4 | FILE *${f} = fopen(${"file"}, "${r}"); -------------------------------------------------------------------------------- /c-mode/printf: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: printf 3 | # key: p 4 | # uuid: p 5 | # -- 6 | printf("${1:format}"${2:, $3}); -------------------------------------------------------------------------------- /c-mode/stdio: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: stdio 3 | # -- 4 | #include -------------------------------------------------------------------------------- /c-mode/stdlib: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: stdlib 3 | # -- 4 | #include -------------------------------------------------------------------------------- /c-mode/string: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: string 3 | # -- 4 | #include -------------------------------------------------------------------------------- /c-mode/unistd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: unistd 3 | # key: uni 4 | # uuid: uni 5 | # -- 6 | #include -------------------------------------------------------------------------------- /cc-mode/do: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: do { ... } while (...) 3 | # -- 4 | do { 5 | $0 6 | } while (${1:condition}); -------------------------------------------------------------------------------- /cc-mode/else: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: else 3 | # -- 4 | else { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /cc-mode/elseif: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: elseif 3 | # -- 4 | else if (${1:condition}) { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /cc-mode/for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: for 3 | # key: for 4 | # uuid: for 5 | # -- 6 | for ($1; $2; $3) { 7 | `%`$0 8 | } -------------------------------------------------------------------------------- /cc-mode/inc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #include "..." 3 | # condition: (doom-snippets-bolp) 4 | # -- 5 | #include "$0" -------------------------------------------------------------------------------- /cc-mode/incc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #include <...> 3 | # condition: (doom-snippets-bolp) 4 | # -- 5 | #include <$0> -------------------------------------------------------------------------------- /cc-mode/math: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: math 3 | # -- 4 | #include $0 -------------------------------------------------------------------------------- /cc-mode/typedef: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: typedef 3 | # -- 4 | typedef ${1:type} ${2:alias}; -------------------------------------------------------------------------------- /cc-mode/while: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: while 3 | # -- 4 | while (${1:condition}) { 5 | $0 6 | } -------------------------------------------------------------------------------- /cider-repl-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | clojure-mode 2 | -------------------------------------------------------------------------------- /clojure-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | prog-mode 2 | -------------------------------------------------------------------------------- /clojure-mode/bp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: bp 3 | # key: bp 4 | # -- 5 | (swank.core/break) -------------------------------------------------------------------------------- /clojure-mode/def: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: def 3 | # key: def 4 | # -- 5 | (def $0) -------------------------------------------------------------------------------- /clojure-mode/defn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: defn 3 | # key: defn 4 | # -- 5 | (defn $1 6 | "$2"$> 7 | [$3]$> 8 | $0)$> -------------------------------------------------------------------------------- /clojure-mode/doseq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: doseq 3 | # key: doseq 4 | # -- 5 | (doseq [$1 $2] 6 | $3)$> 7 | $0 -------------------------------------------------------------------------------- /clojure-mode/fn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fn 3 | # key: fn 4 | # -- 5 | (fn [$1] 6 | $0)$> -------------------------------------------------------------------------------- /clojure-mode/for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: for 3 | # key: for 4 | # -- 5 | (for [$1 $2] 6 | $3)$> -------------------------------------------------------------------------------- /clojure-mode/is: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # -*- coding: utf-8 -*- 3 | # name: is 4 | # key: is 5 | # -- 6 | (is (= $1 $2)) -------------------------------------------------------------------------------- /clojure-mode/map: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # -*- coding: utf-8 -*- 3 | # name: map 4 | # key: map 5 | # -- 6 | (map $1 $2) -------------------------------------------------------------------------------- /clojure-mode/mdoc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # -*- coding: utf-8 -*- 3 | # name: mdoc 4 | # key: mdoc 5 | # -- 6 | ^{:doc "$1"} -------------------------------------------------------------------------------- /clojure-mode/opts: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # key: opts 3 | # name: opts 4 | # -- 5 | {:keys [$1]$> 6 | :or {$2}$> 7 | :as $3}$> -------------------------------------------------------------------------------- /clojure-mode/pr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # -*- coding: utf-8 -*- 3 | # name: pr 4 | # key: pr 5 | # -- 6 | (prn $1) 7 | $0 -------------------------------------------------------------------------------- /clojure-mode/test: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: test 3 | # key: test 4 | # -- 5 | (deftest $1 6 | (is (= $2))$> 7 | $0)$> -------------------------------------------------------------------------------- /cmake-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # key: if 4 | # -- 5 | if(${1:cond}) 6 | $0 7 | endif() -------------------------------------------------------------------------------- /cmake-mode/message: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: message 3 | # key: msg 4 | # uuid: msg 5 | # -- 6 | message(${1:STATUS }"$0") -------------------------------------------------------------------------------- /cmake-mode/project: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: project 3 | # key: proj 4 | # uuid: proj 5 | # -- 6 | project ($0) -------------------------------------------------------------------------------- /cmake-mode/set: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: set 3 | # key: set 4 | # uuid: set 5 | # -- 6 | set(${1:var} ${2:value}) -------------------------------------------------------------------------------- /conf-unix-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | text-mode -------------------------------------------------------------------------------- /coq-mode/about: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: About 3 | # -- 4 | About $1. 5 | -------------------------------------------------------------------------------- /coq-mode/abstract: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: abstract 3 | # -- 4 | abstract ${1:tac} using ${2:name}. 5 | -------------------------------------------------------------------------------- /coq-mode/absurd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: absurd 3 | # key: abs 4 | # uuid: abs 5 | # -- 6 | absurd 7 | -------------------------------------------------------------------------------- /coq-mode/add_abstract_ring: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Abstract Ring 3 | # -- 4 | Add Abstract Ring $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_field: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Field 3 | # -- 4 | Add Field $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_loadpath: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add LoadPath 3 | # -- 4 | Add LoadPath $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_ml_path: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add ML Path 3 | # -- 4 | Add ML Path $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_printing: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Printing 3 | # -- 4 | Add Printing $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_printing_if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Printing If 3 | # -- 4 | Add Printing If $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_printing_let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Printing Let 3 | # -- 4 | Add Printing Let $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_rec_loadpath: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Rec LoadPath 3 | # -- 4 | Add Rec LoadPath $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_rec_ml_path: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Rec ML Path 3 | # -- 4 | Add Rec ML Path $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_ring: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Ring 3 | # -- 4 | Add Ring $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_semi_ring: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Semi Ring 3 | # -- 4 | Add Semi Ring $1. 5 | -------------------------------------------------------------------------------- /coq-mode/add_setoid: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Add Setoid 3 | # -- 4 | Add Setoid $1. 5 | -------------------------------------------------------------------------------- /coq-mode/admitted: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Admitted 3 | # -- 4 | Admitted 5 | -------------------------------------------------------------------------------- /coq-mode/apply: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: apply 3 | # key: ap 4 | # uuid: ap 5 | # -- 6 | apply 7 | -------------------------------------------------------------------------------- /coq-mode/assumption: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: assumption 3 | # key: as 4 | # uuid: as 5 | # -- 6 | assumption 7 | -------------------------------------------------------------------------------- /coq-mode/auto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: auto 3 | # key: a 4 | # uuid: a 5 | # -- 6 | auto 7 | -------------------------------------------------------------------------------- /coq-mode/axiom: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Axiom 3 | # key: ax 4 | # uuid: ax 5 | # -- 6 | Axiom $1 : $2 7 | -------------------------------------------------------------------------------- /coq-mode/axioms: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Axioms 3 | # key: axs 4 | # uuid: axs 5 | # -- 6 | Axioms $1 , $2: $3 7 | -------------------------------------------------------------------------------- /coq-mode/bool_congr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: bool_congr 3 | # key: bcongr 4 | # uuid: bcongr 5 | # -- 6 | bool_congr 7 | -------------------------------------------------------------------------------- /coq-mode/by: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: by 3 | # key: by 4 | # uuid: by 5 | # -- 6 | by $1 7 | -------------------------------------------------------------------------------- /coq-mode/canonical_structure: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Canonical Structure 3 | # -- 4 | Canonical Structure $1. 5 | -------------------------------------------------------------------------------- /coq-mode/case: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case 3 | # -- 4 | case 5 | -------------------------------------------------------------------------------- /coq-mode/case_eq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case_eq 3 | # key: ceq 4 | # uuid: ceq 5 | # -- 6 | case_eq 7 | -------------------------------------------------------------------------------- /coq-mode/case_type: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case_type 3 | # key: cty 4 | # uuid: cty 5 | # -- 6 | case_type 7 | -------------------------------------------------------------------------------- /coq-mode/cbn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cbn 3 | # key: c 4 | # uuid: c 5 | # -- 6 | cbn 7 | -------------------------------------------------------------------------------- /coq-mode/cbv: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cbv 3 | # key: cbv 4 | # uuid: cbv 5 | # -- 6 | cbv beta delta [$1] iota zeta 7 | -------------------------------------------------------------------------------- /coq-mode/cd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Cd 3 | # -- 4 | Cd $1. 5 | -------------------------------------------------------------------------------- /coq-mode/change: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: change 3 | # key: ch 4 | # uuid: ch 5 | # -- 6 | change 7 | -------------------------------------------------------------------------------- /coq-mode/chapter: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Chapter 3 | # key: chp 4 | # uuid: chp 5 | # -- 6 | Chapter $1 : $2. 7 | -------------------------------------------------------------------------------- /coq-mode/check: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Check 3 | # -- 4 | Check 5 | -------------------------------------------------------------------------------- /coq-mode/clear: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: clear 3 | # key: cl 4 | # -- 5 | clear -------------------------------------------------------------------------------- /coq-mode/clearbody: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: clearbody 3 | # key: clb 4 | # -- 5 | clearbody -------------------------------------------------------------------------------- /coq-mode/close_scope: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Close Scope 3 | # key: clsc 4 | # uuid: clsc 5 | # -- 6 | Close Scope $1 7 | -------------------------------------------------------------------------------- /coq-mode/cofix: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cofix 3 | # key: cof 4 | # uuid: cof 5 | # -- 6 | cofix 7 | -------------------------------------------------------------------------------- /coq-mode/coinduction: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: coinduction 3 | # key: coind 4 | # uuid: coind 5 | # -- 6 | coinduction 7 | -------------------------------------------------------------------------------- /coq-mode/comments: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Comments 3 | # -- 4 | Comments $1. 5 | -------------------------------------------------------------------------------- /coq-mode/compare: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: compare 3 | # key: cmpa 4 | # uuid: cmpa 5 | # -- 6 | compare $1 $2 7 | -------------------------------------------------------------------------------- /coq-mode/compute: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: compute 3 | # key: cmpu 4 | # uuid: cmpu 5 | # -- 6 | compute 7 | -------------------------------------------------------------------------------- /coq-mode/congr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: congr 3 | # key: con 4 | # uuid: con 5 | # -- 6 | congr $1 7 | -------------------------------------------------------------------------------- /coq-mode/congruence: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: congruence 3 | # key: cong 4 | # uuid: cong 5 | # -- 6 | congruence 7 | -------------------------------------------------------------------------------- /coq-mode/constructor: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: constructor 3 | # key: cons 4 | # uuid: cons 5 | # -- 6 | constructor 7 | -------------------------------------------------------------------------------- /coq-mode/context: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Context 3 | # -- 4 | Context $1, ($2 : $3). 5 | -------------------------------------------------------------------------------- /coq-mode/contradict: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: contradict 3 | # key: contr 4 | # -- 5 | contradict -------------------------------------------------------------------------------- /coq-mode/contradiction: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: contradiction 3 | # key: contrn 4 | # -- 5 | contradiction -------------------------------------------------------------------------------- /coq-mode/cut: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cut 3 | # key: cut 4 | # uuid: cut 5 | # -- 6 | cut 7 | -------------------------------------------------------------------------------- /coq-mode/decide: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: decide 3 | # -- 4 | decide 5 | -------------------------------------------------------------------------------- /coq-mode/decide_left: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: decide_left 3 | # key: decl 4 | # uuid: decl 5 | # -- 6 | decide_left 7 | -------------------------------------------------------------------------------- /coq-mode/decide_right: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: decide_right 3 | # key: decr 4 | # -- 5 | decide_right -------------------------------------------------------------------------------- /coq-mode/declare: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Declare 3 | # -- 4 | Declare $1. 5 | -------------------------------------------------------------------------------- /coq-mode/decompose: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: decompose 3 | # key: dec 4 | # uuid: dec 5 | # -- 6 | decompose [$1] $2 7 | -------------------------------------------------------------------------------- /coq-mode/decompose_record: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: decompose record 3 | # key: decre 4 | # -- 5 | decompose record $1 -------------------------------------------------------------------------------- /coq-mode/destr_eq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: destr_eq 3 | # key: deseq 4 | # uuid: deseq 5 | # -- 6 | destr_eq 7 | -------------------------------------------------------------------------------- /coq-mode/destruct: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: destruct 3 | # key: des 4 | # uuid: des 5 | # -- 6 | destruct 7 | -------------------------------------------------------------------------------- /coq-mode/discriminate: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: discriminate 3 | # key: dis 4 | # uuid: dis 5 | # -- 6 | discriminate 7 | -------------------------------------------------------------------------------- /coq-mode/discrr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: discrR 3 | # key: discrR 4 | # uuid: discrR 5 | # -- 6 | discrR 7 | -------------------------------------------------------------------------------- /coq-mode/do: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: do 3 | # -- 4 | do ${1:num} ${2:tac} 5 | -------------------------------------------------------------------------------- /coq-mode/done: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: done 3 | # -- 4 | done 5 | -------------------------------------------------------------------------------- /coq-mode/eapply: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: eapply 3 | # key: eap 4 | # uuid: eap 5 | # -- 6 | eapply $1 7 | -------------------------------------------------------------------------------- /coq-mode/eassumption: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: eassumption 3 | # key: eas 4 | # uuid: eas 5 | # -- 6 | eassumption 7 | -------------------------------------------------------------------------------- /coq-mode/easy: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: easy 3 | # -- 4 | easy 5 | -------------------------------------------------------------------------------- /coq-mode/eauto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: eauto 3 | # key: ea 4 | # uuid: ea 5 | # -- 6 | eauto 7 | -------------------------------------------------------------------------------- /coq-mode/edestruct: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: edestruct 3 | # key: edes 4 | # uuid: edes 5 | # -- 6 | edestruct 7 | -------------------------------------------------------------------------------- /coq-mode/eexists: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: eexists 3 | # key: eex 4 | # uuid: eex 5 | # -- 6 | eexists 7 | -------------------------------------------------------------------------------- /coq-mode/eleft: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: eleft 3 | # key: eleft 4 | # uuid: eleft 5 | # -- 6 | eleft 7 | -------------------------------------------------------------------------------- /coq-mode/elim: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: elim 3 | # key: e 4 | # uuid: e 5 | # -- 6 | elim $1 7 | -------------------------------------------------------------------------------- /coq-mode/elimtype: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: elimtype 3 | # key: elt 4 | # uuid: elt 5 | # -- 6 | elimtype 7 | -------------------------------------------------------------------------------- /coq-mode/erewrite: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: erewrite 3 | # key: er 4 | # uuid: er 5 | # -- 6 | erewrite $1 7 | -------------------------------------------------------------------------------- /coq-mode/esplit: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: esplit 3 | # key: esp 4 | # uuid: esp 5 | # -- 6 | esplit 7 | -------------------------------------------------------------------------------- /coq-mode/eval: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Eval 3 | # -- 4 | Eval $1. 5 | -------------------------------------------------------------------------------- /coq-mode/exact: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: exact 3 | # key: exa 4 | # uuid: exa 5 | # -- 6 | exact 7 | -------------------------------------------------------------------------------- /coq-mode/example: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Example 3 | # key: exa 4 | # -- 5 | Example $1:$2 := $3. -------------------------------------------------------------------------------- /coq-mode/exfalso: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: exfalso 3 | # key: exf 4 | # uuid: exf 5 | # -- 6 | exfalso 7 | -------------------------------------------------------------------------------- /coq-mode/existing_class: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Existing Class 3 | # -- 4 | Existing Class 5 | -------------------------------------------------------------------------------- /coq-mode/existing_instance: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Existing Instance 3 | # -- 4 | Existing Instance 5 | -------------------------------------------------------------------------------- /coq-mode/existing_instances: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Existing Instances 3 | # -- 4 | Existing Instances 5 | -------------------------------------------------------------------------------- /coq-mode/exists: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: exists 3 | # key: ex 4 | # -- 5 | exists $1 -------------------------------------------------------------------------------- /coq-mode/export: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Export 3 | # -- 4 | Export $1. 5 | -------------------------------------------------------------------------------- /coq-mode/extraction_inline: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Extraction Inline 3 | # -- 4 | Extraction Inline $1. 5 | -------------------------------------------------------------------------------- /coq-mode/extraction_noinline: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Extraction NoInline 3 | # -- 4 | Extraction NoInline $1. 5 | -------------------------------------------------------------------------------- /coq-mode/fact: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Fact 3 | # key: fct 4 | # uuid: fct 5 | # -- 6 | Fact $1 : $2. 7 | -------------------------------------------------------------------------------- /coq-mode/fail: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Fail 3 | # -- 4 | Fail 5 | -------------------------------------------------------------------------------- /coq-mode/false_hyp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: false_hyp 3 | # -- 4 | false_hyp ${1:H} ${2:G} 5 | -------------------------------------------------------------------------------- /coq-mode/field: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: field 3 | # key: field 4 | # uuid: field 5 | # -- 6 | field 7 | -------------------------------------------------------------------------------- /coq-mode/first: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: first 3 | # -- 4 | first [ $1 | $2 ] 5 | -------------------------------------------------------------------------------- /coq-mode/firstorder: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: firstorder 3 | # key: fsto 4 | # uuid: fsto 5 | # -- 6 | firstorder 7 | -------------------------------------------------------------------------------- /coq-mode/focus: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Focus 3 | # -- 4 | Focus $1. 5 | -------------------------------------------------------------------------------- /coq-mode/fold: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fold 3 | # key: fold 4 | # uuid: fold 5 | # -- 6 | fold $1 7 | -------------------------------------------------------------------------------- /coq-mode/forall: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: forall 3 | # key: fo 4 | # uuid: fo 5 | # -- 6 | forall $1:$2,$3 7 | -------------------------------------------------------------------------------- /coq-mode/fourier: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fourier 3 | # key: four 4 | # uuid: four 5 | # -- 6 | fourier 7 | -------------------------------------------------------------------------------- /coq-mode/fun_1_args: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fun (1 args) 3 | # key: f 4 | # uuid: f 5 | # -- 6 | fun $1:$2 => $3 7 | -------------------------------------------------------------------------------- /coq-mode/generalize: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: generalize 3 | # key: g 4 | # uuid: g 5 | # -- 6 | generalize $1 7 | -------------------------------------------------------------------------------- /coq-mode/gfail: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: gfail 3 | # key: gfa 4 | # uuid: gfa 5 | # -- 6 | gfail 7 | -------------------------------------------------------------------------------- /coq-mode/goal: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Goal 3 | # -- 4 | Goal $1. 5 | -------------------------------------------------------------------------------- /coq-mode/have: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: have 3 | # key: hv 4 | # -- 5 | have $1 : $2 -------------------------------------------------------------------------------- /coq-mode/hint_view_for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Hint View for 3 | # key: hvf 4 | # -- 5 | Hint View for $1 -------------------------------------------------------------------------------- /coq-mode/hnf: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: hnf 3 | # key: hnf 4 | # uuid: hnf 5 | # -- 6 | hnf 7 | -------------------------------------------------------------------------------- /coq-mode/hypotheses: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Hypotheses 3 | # key: hyps 4 | # -- 5 | Hypotheses $1: $2 -------------------------------------------------------------------------------- /coq-mode/hypothesis: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Hypothesis 3 | # key: hyp 4 | # -- 5 | Hypothesis $1: $2 -------------------------------------------------------------------------------- /coq-mode/identity_coercion: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Identity Coercion 3 | # -- 4 | Identity Coercion $1. 5 | -------------------------------------------------------------------------------- /coq-mode/idtac: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: idtac 3 | # -- 4 | idtac 5 | -------------------------------------------------------------------------------- /coq-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # key: if 4 | # uuid: if 5 | # -- 6 | if $1 then $2 else $3 7 | -------------------------------------------------------------------------------- /coq-mode/implicit_arguments: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Implicit Arguments 3 | # -- 4 | Implicit Arguments $1 [$2]. 5 | -------------------------------------------------------------------------------- /coq-mode/implicit_arguments_off: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Implicit Arguments Off 3 | # -- 4 | Implicit Arguments Off. 5 | -------------------------------------------------------------------------------- /coq-mode/implicit_arguments_on: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Implicit Arguments On 3 | # -- 4 | Implicit Arguments On. 5 | -------------------------------------------------------------------------------- /coq-mode/implicit_types: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Implicit Types 3 | # -- 4 | Implicit Types $1 : $2. 5 | -------------------------------------------------------------------------------- /coq-mode/import: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Import 3 | # -- 4 | Import $1. 5 | -------------------------------------------------------------------------------- /coq-mode/include: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Include 3 | # -- 4 | Include $1. 5 | -------------------------------------------------------------------------------- /coq-mode/induction: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: induction 3 | # key: ind 4 | # uuid: ind 5 | # -- 6 | induction $1 7 | -------------------------------------------------------------------------------- /coq-mode/info: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: info 3 | # -- 4 | info $1 5 | -------------------------------------------------------------------------------- /coq-mode/injection: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: injection 3 | # key: inj 4 | # uuid: inj 5 | # -- 6 | injection $1 7 | -------------------------------------------------------------------------------- /coq-mode/inspect: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Inspect 3 | # -- 4 | Inspect $1. 5 | -------------------------------------------------------------------------------- /coq-mode/instance: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Instance 3 | # -- 4 | Instance $1:$2. 5 | Proof. 6 | $3Defined. 7 | -------------------------------------------------------------------------------- /coq-mode/instantiate: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: instantiate 3 | # key: inst 4 | # uuid: inst 5 | # -- 6 | instantiate 7 | -------------------------------------------------------------------------------- /coq-mode/intro: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: intro 3 | # key: i 4 | # uuid: i 5 | # -- 6 | intro 7 | -------------------------------------------------------------------------------- /coq-mode/intros: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: intros 3 | # key: is 4 | # uuid: is 5 | # -- 6 | intros $1 7 | -------------------------------------------------------------------------------- /coq-mode/intuition: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: intuition 3 | # key: intu 4 | # uuid: intu 5 | # -- 6 | intuition $1 7 | -------------------------------------------------------------------------------- /coq-mode/inversion: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: inversion 3 | # key: inv 4 | # uuid: inv 5 | # -- 6 | inversion $1 7 | -------------------------------------------------------------------------------- /coq-mode/lapply: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: lapply 3 | # key: lap 4 | # uuid: lap 5 | # -- 6 | lapply 7 | -------------------------------------------------------------------------------- /coq-mode/last: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: last 3 | # key: lst 4 | # uuid: lst 5 | # -- 6 | nil 7 | -------------------------------------------------------------------------------- /coq-mode/left: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: left 3 | # key: left 4 | # uuid: left 5 | # -- 6 | left 7 | -------------------------------------------------------------------------------- /coq-mode/let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Let 3 | # key: Let 4 | # uuid: Let 5 | # -- 6 | Let $1 : $2 := $3. 7 | -------------------------------------------------------------------------------- /coq-mode/let_in: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: let in 3 | # key: li 4 | # uuid: li 5 | # -- 6 | let $1 := $2 in $3 7 | -------------------------------------------------------------------------------- /coq-mode/lia: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: lia 3 | # -- 4 | lia 5 | -------------------------------------------------------------------------------- /coq-mode/linear: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: linear 3 | # key: lin 4 | # uuid: lin 5 | # -- 6 | linear 7 | -------------------------------------------------------------------------------- /coq-mode/load: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: load 3 | # key: load 4 | # uuid: load 5 | # -- 6 | load 7 | -------------------------------------------------------------------------------- /coq-mode/local_arguments: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Arguments 3 | # -- 4 | Local Arguments ${1:id} : ${2:rule} 5 | -------------------------------------------------------------------------------- /coq-mode/local_axiom: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Axiom 3 | # -- 4 | Local Axiom $1 : $2 5 | -------------------------------------------------------------------------------- /coq-mode/local_axioms: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Axioms 3 | # -- 4 | Local Axioms $1 , $2: $3 5 | -------------------------------------------------------------------------------- /coq-mode/local_definition: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Definition 3 | # -- 4 | Local Definition $1:$2 := $3. 5 | -------------------------------------------------------------------------------- /coq-mode/local_ltac: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Ltac 3 | # -- 4 | Local Ltac $1 := $2 5 | -------------------------------------------------------------------------------- /coq-mode/local_open_scope: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Open Scope 3 | # -- 4 | Local Open Scope $1 5 | -------------------------------------------------------------------------------- /coq-mode/local_strategy: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Local Strategy 3 | # -- 4 | Local Strategy $1 [$2]. 5 | -------------------------------------------------------------------------------- /coq-mode/locate: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Locate 3 | # -- 4 | Locate 5 | -------------------------------------------------------------------------------- /coq-mode/locate_library: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Locate Library 3 | # -- 4 | Locate Library $1. 5 | -------------------------------------------------------------------------------- /coq-mode/locate_notation: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Locate Notation 3 | # -- 4 | Locate Notation ($1) $2 5 | -------------------------------------------------------------------------------- /coq-mode/lra: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: lra 3 | # -- 4 | lra 5 | -------------------------------------------------------------------------------- /coq-mode/ltac: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Ltac 3 | # key: ltac 4 | # uuid: ltac 5 | # -- 6 | Ltac $1 := $2 7 | -------------------------------------------------------------------------------- /coq-mode/match_with: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: match with 3 | # key: mw 4 | # -- 5 | match $1 with 6 | | $2 => $3 7 | end -------------------------------------------------------------------------------- /coq-mode/move: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: move 3 | # key: m 4 | # -- 5 | move -------------------------------------------------------------------------------- /coq-mode/move_after: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: move after 3 | # key: mov 4 | # uuid: mov 5 | # -- 6 | move $1 after $2 7 | -------------------------------------------------------------------------------- /coq-mode/nat_congr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nat_congr 3 | # key: ncongr 4 | # uuid: ncongr 5 | # -- 6 | nat_congr 7 | -------------------------------------------------------------------------------- /coq-mode/nat_norm: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nat_norm 3 | # key: nnorm 4 | # uuid: nnorm 5 | # -- 6 | nat_norm 7 | -------------------------------------------------------------------------------- /coq-mode/nia: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nia 3 | # -- 4 | nia 5 | -------------------------------------------------------------------------------- /coq-mode/now: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: now 3 | # -- 4 | now 5 | -------------------------------------------------------------------------------- /coq-mode/now_show: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: now_show 3 | # -- 4 | now_show 5 | -------------------------------------------------------------------------------- /coq-mode/nra: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nra 3 | # -- 4 | nra 5 | -------------------------------------------------------------------------------- /coq-mode/nsatz: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nsatz 3 | # -- 4 | nsatz 5 | -------------------------------------------------------------------------------- /coq-mode/obligation_tactic: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Obligation Tactic 3 | # -- 4 | Obligation Tactic := $1. 5 | -------------------------------------------------------------------------------- /coq-mode/omega: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: omega 3 | # key: o 4 | # uuid: o 5 | # -- 6 | omega 7 | -------------------------------------------------------------------------------- /coq-mode/opaque: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Opaque 3 | # -- 4 | Opaque $1. 5 | -------------------------------------------------------------------------------- /coq-mode/open_local_scope: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Open Local Scope 3 | # -- 4 | Open Local Scope $1 5 | -------------------------------------------------------------------------------- /coq-mode/open_scope: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Open Scope 3 | # key: opsc 4 | # uuid: opsc 5 | # -- 6 | Open Scope $1 7 | -------------------------------------------------------------------------------- /coq-mode/parameter: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Parameter 3 | # key: par 4 | # -- 5 | Parameter $1: $2 -------------------------------------------------------------------------------- /coq-mode/parameters: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Parameters 3 | # key: pars 4 | # -- 5 | Parameters $1: $2 -------------------------------------------------------------------------------- /coq-mode/pattern: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pattern 3 | # key: pat 4 | # uuid: pat 5 | # -- 6 | pattern 7 | -------------------------------------------------------------------------------- /coq-mode/pose: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pose 3 | # key: po 4 | # uuid: po 5 | # -- 6 | pose $1 := $2 7 | -------------------------------------------------------------------------------- /coq-mode/preterm: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Preterm 3 | # -- 4 | Preterm. 5 | -------------------------------------------------------------------------------- /coq-mode/print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Print 3 | # key: p 4 | # uuid: p 5 | # -- 6 | Print $1. 7 | -------------------------------------------------------------------------------- /coq-mode/print_coercions: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Print Coercions 3 | # -- 4 | Print Coercions. 5 | -------------------------------------------------------------------------------- /coq-mode/progress: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: progress 3 | # -- 4 | progress $1 5 | -------------------------------------------------------------------------------- /coq-mode/prolog: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: prolog 3 | # key: prol 4 | # uuid: prol 5 | # -- 6 | prolog 7 | -------------------------------------------------------------------------------- /coq-mode/prop_congr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: prop_congr 3 | # key: prcongr 4 | # uuid: prcongr 5 | # -- 6 | prop_congr 7 | -------------------------------------------------------------------------------- /coq-mode/psatz: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: psatz 3 | # -- 4 | psatz 5 | -------------------------------------------------------------------------------- /coq-mode/pwd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Pwd 3 | # -- 4 | Pwd. 5 | -------------------------------------------------------------------------------- /coq-mode/qed: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Qed 3 | # -- 4 | Qed. 5 | -------------------------------------------------------------------------------- /coq-mode/quote: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: quote 3 | # key: quote 4 | # uuid: quote 5 | # -- 6 | quote 7 | -------------------------------------------------------------------------------- /coq-mode/red: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: red 3 | # key: red 4 | # uuid: red 5 | # -- 6 | red 7 | -------------------------------------------------------------------------------- /coq-mode/refine: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: refine 3 | # key: ref 4 | # uuid: ref 5 | # -- 6 | refine 7 | -------------------------------------------------------------------------------- /coq-mode/reflexivity: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: reflexivity 3 | # key: refl 4 | # uuid: refl 5 | # -- 6 | reflexivity $1 7 | -------------------------------------------------------------------------------- /coq-mode/remove_loadpath: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Remove LoadPath 3 | # -- 4 | Remove LoadPath 5 | -------------------------------------------------------------------------------- /coq-mode/remove_printing_if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Remove Printing If 3 | # -- 4 | Remove Printing If $1. 5 | -------------------------------------------------------------------------------- /coq-mode/remove_printing_let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Remove Printing Let 3 | # -- 4 | Remove Printing Let $1. 5 | -------------------------------------------------------------------------------- /coq-mode/repeat: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: repeat 3 | # -- 4 | repeat $1 5 | -------------------------------------------------------------------------------- /coq-mode/require: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Require 3 | # -- 4 | Require $1. 5 | -------------------------------------------------------------------------------- /coq-mode/require_export: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Require Export 3 | # -- 4 | Require Export $1. 5 | -------------------------------------------------------------------------------- /coq-mode/require_import: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Require Import 3 | # -- 4 | Require Import $1. 5 | -------------------------------------------------------------------------------- /coq-mode/reserved_infix: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Reserved Infix 3 | # -- 4 | Reserved Infix 5 | -------------------------------------------------------------------------------- /coq-mode/reserved_notation: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Reserved Notation 3 | # -- 4 | Reserved Notation 5 | -------------------------------------------------------------------------------- /coq-mode/revert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: revert 3 | # key: r 4 | # -- 5 | revert -------------------------------------------------------------------------------- /coq-mode/revert_dependent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: revert dependent 3 | # key: rd 4 | # -- 5 | revert dependent -------------------------------------------------------------------------------- /coq-mode/rewrite: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rewrite 3 | # key: r 4 | # uuid: r 5 | # -- 6 | rewrite $1 7 | -------------------------------------------------------------------------------- /coq-mode/rewrite_all: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rewrite_all <- 3 | # -- 4 | rewrite_all 5 | -------------------------------------------------------------------------------- /coq-mode/right: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: right 3 | # key: rig 4 | # uuid: rig 5 | # -- 6 | right 7 | -------------------------------------------------------------------------------- /coq-mode/ring: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ring 3 | # key: ring 4 | # uuid: ring 5 | # -- 6 | ring $1 7 | -------------------------------------------------------------------------------- /coq-mode/romega: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: romega 3 | # -- 4 | romega 5 | -------------------------------------------------------------------------------- /coq-mode/save: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Save 3 | # -- 4 | Save. 5 | -------------------------------------------------------------------------------- /coq-mode/scheme: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Scheme 3 | # key: sc 4 | # uuid: sc 5 | # -- 6 | Scheme ${1:name} := $1. 7 | -------------------------------------------------------------------------------- /coq-mode/search: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Search 3 | # -- 4 | Search $1 5 | -------------------------------------------------------------------------------- /coq-mode/searchabout: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: SearchAbout 3 | # -- 4 | SearchAbout $1 5 | -------------------------------------------------------------------------------- /coq-mode/searchpattern: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: SearchPattern 3 | # -- 4 | SearchPattern ($1) 5 | -------------------------------------------------------------------------------- /coq-mode/searchrewrite: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: SearchRewrite 3 | # -- 4 | SearchRewrite $1 5 | -------------------------------------------------------------------------------- /coq-mode/section: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Section 3 | # key: sec 4 | # uuid: sec 5 | # -- 6 | Section $1. 7 | -------------------------------------------------------------------------------- /coq-mode/set: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: set 3 | # key: set 4 | # uuid: set 5 | # -- 6 | set $1 := $2 7 | -------------------------------------------------------------------------------- /coq-mode/set_asymmetric_patterns: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Asymmetric Patterns 3 | # -- 4 | Set Asymmetric Patterns 5 | -------------------------------------------------------------------------------- /coq-mode/set_atomic_load: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Atomic Load 3 | # -- 4 | Set Atomic Load 5 | -------------------------------------------------------------------------------- /coq-mode/set_bullet_behavior: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Bullet Behavior 3 | # -- 4 | Set Bullet Behavior 5 | -------------------------------------------------------------------------------- /coq-mode/set_compat_notations: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Compat Notations 3 | # -- 4 | Set Compat Notations 5 | -------------------------------------------------------------------------------- /coq-mode/set_congruence_depth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Congruence Depth 3 | # -- 4 | Set Congruence Depth 5 | -------------------------------------------------------------------------------- /coq-mode/set_congruence_verbose: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Congruence Verbose 3 | # -- 4 | Set Congruence Verbose 5 | -------------------------------------------------------------------------------- /coq-mode/set_contextual_implicit: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Contextual Implicit 3 | # -- 4 | Set Contextual Implicit 5 | -------------------------------------------------------------------------------- /coq-mode/set_debug_auto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Debug Auto 3 | # -- 4 | Set Debug Auto 5 | -------------------------------------------------------------------------------- /coq-mode/set_debug_eauto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Debug Eauto 3 | # -- 4 | Set Debug Eauto 5 | -------------------------------------------------------------------------------- /coq-mode/set_debug_rakam: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Debug RAKAM 3 | # -- 4 | Set Debug RAKAM 5 | -------------------------------------------------------------------------------- /coq-mode/set_debug_trivial: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Debug Trivial 3 | # -- 4 | Set Debug Trivial 5 | -------------------------------------------------------------------------------- /coq-mode/set_debug_unification: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Debug Unification 3 | # -- 4 | Set Debug Unification 5 | -------------------------------------------------------------------------------- /coq-mode/set_default_proof_mode: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Default Proof Mode 3 | # -- 4 | Set Default Proof Mode 5 | -------------------------------------------------------------------------------- /coq-mode/set_default_proof_using: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Default Proof Using 3 | # -- 4 | Set Default Proof Using 5 | -------------------------------------------------------------------------------- /coq-mode/set_default_timeout: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Default Timeout 3 | # -- 4 | Set Default Timeout 5 | -------------------------------------------------------------------------------- /coq-mode/set_dump_bytecode: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Dump Bytecode 3 | # -- 4 | Set Dump Bytecode 5 | -------------------------------------------------------------------------------- /coq-mode/set_elimination_schemes: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Elimination Schemes 3 | # -- 4 | Set Elimination Schemes 5 | -------------------------------------------------------------------------------- /coq-mode/set_equality_scheme: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Equality Scheme 3 | # -- 4 | Set Equality Scheme 5 | -------------------------------------------------------------------------------- /coq-mode/set_extraction_flag: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Extraction Flag 3 | # -- 4 | Set Extraction Flag 5 | -------------------------------------------------------------------------------- /coq-mode/set_extraction_optimize: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Extraction Optimize 3 | # -- 4 | Set Extraction Optimize 5 | -------------------------------------------------------------------------------- /coq-mode/set_firstorder_depth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Firstorder Depth 3 | # -- 4 | Set Firstorder Depth 5 | -------------------------------------------------------------------------------- /coq-mode/set_function_debug: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Function_debug 3 | # -- 4 | Set Function_debug 5 | -------------------------------------------------------------------------------- /coq-mode/set_function_raw_tcc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Function_raw_tcc 3 | # -- 4 | Set Function_raw_tcc 5 | -------------------------------------------------------------------------------- /coq-mode/set_hide_obligations: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Hide Obligations 3 | # -- 4 | Set Hide Obligations 5 | -------------------------------------------------------------------------------- /coq-mode/set_hyps_limit: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Hyps Limit 3 | # -- 4 | Set Hyps Limit 5 | -------------------------------------------------------------------------------- /coq-mode/set_implicit_arguments: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Implicit Arguments 3 | # -- 4 | Set Implicit Arguments 5 | -------------------------------------------------------------------------------- /coq-mode/set_info_auto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Info Auto 3 | # -- 4 | Set Info Auto 5 | -------------------------------------------------------------------------------- /coq-mode/set_info_eauto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Info Eauto 3 | # -- 4 | Set Info Eauto 5 | -------------------------------------------------------------------------------- /coq-mode/set_info_level: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Info Level 3 | # -- 4 | Set Info Level 5 | -------------------------------------------------------------------------------- /coq-mode/set_info_trivial: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Info Trivial 3 | # -- 4 | Set Info Trivial 5 | -------------------------------------------------------------------------------- /coq-mode/set_injection_on_proofs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Injection On Proofs 3 | # -- 4 | Set Injection On Proofs 5 | -------------------------------------------------------------------------------- /coq-mode/set_inline_level: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Inline Level 3 | # -- 4 | Set Inline Level 5 | -------------------------------------------------------------------------------- /coq-mode/set_kernel_term_sharing: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Kernel Term Sharing 3 | # -- 4 | Set Kernel Term Sharing 5 | -------------------------------------------------------------------------------- /coq-mode/set_keyed_unification: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Keyed Unification 3 | # -- 4 | Set Keyed Unification 5 | -------------------------------------------------------------------------------- /coq-mode/set_loose_hint_behavior: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Loose Hint Behavior 3 | # -- 4 | Set Loose Hint Behavior 5 | -------------------------------------------------------------------------------- /coq-mode/set_ltac_debug: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Ltac Debug 3 | # -- 4 | Set Ltac Debug 5 | -------------------------------------------------------------------------------- /coq-mode/set_parsing_explicit: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Parsing Explicit 3 | # -- 4 | Set Parsing Explicit 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_all: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing All 3 | # -- 4 | Set Printing All 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_coercion: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Coercion 3 | # -- 4 | Set Printing Coercion 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_coercions: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Coercions 3 | # -- 4 | Set Printing Coercions 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_depth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Depth 3 | # -- 4 | Set Printing Depth 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing If 3 | # -- 4 | Set Printing If 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_implicit: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Implicit 3 | # -- 4 | Set Printing Implicit 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Let 3 | # -- 4 | Set Printing Let 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_matching: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Matching 3 | # -- 4 | Set Printing Matching 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_record: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Record 3 | # -- 4 | Set Printing Record 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_records: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Records 3 | # -- 4 | Set Printing Records 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_synth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Synth 3 | # -- 4 | Set Printing Synth 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_width: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Width 3 | # -- 4 | Set Printing Width 5 | -------------------------------------------------------------------------------- /coq-mode/set_printing_wildcard: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Printing Wildcard 3 | # -- 4 | Set Printing Wildcard 5 | -------------------------------------------------------------------------------- /coq-mode/set_program_mode: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Program Mode 3 | # -- 4 | Set Program Mode 5 | -------------------------------------------------------------------------------- /coq-mode/set_rewriting_schemes: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Rewriting Schemes 3 | # -- 4 | Set Rewriting Schemes 5 | -------------------------------------------------------------------------------- /coq-mode/set_search_blacklist: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Search Blacklist 3 | # -- 4 | Set Search Blacklist 5 | -------------------------------------------------------------------------------- /coq-mode/set_silent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Silent 3 | # -- 4 | Set Silent 5 | -------------------------------------------------------------------------------- /coq-mode/set_simpliscbn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set SimplIsCbn 3 | # -- 4 | Set SimplIsCbn 5 | -------------------------------------------------------------------------------- /coq-mode/set_strict_proofs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Strict Proofs 3 | # -- 4 | Set Strict Proofs 5 | -------------------------------------------------------------------------------- /coq-mode/set_typeclasses_debug: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Typeclasses Debug 3 | # -- 4 | Set Typeclasses Debug 5 | -------------------------------------------------------------------------------- /coq-mode/set_typeclasses_depth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Typeclasses Depth 3 | # -- 4 | Set Typeclasses Depth 5 | -------------------------------------------------------------------------------- /coq-mode/set_undo: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Set Undo 3 | # -- 4 | Set Undo 5 | -------------------------------------------------------------------------------- /coq-mode/show: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Show 3 | # -- 4 | Show $1. 5 | -------------------------------------------------------------------------------- /coq-mode/simpl: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: simpl 3 | # key: s 4 | # uuid: s 5 | # -- 6 | simpl 7 | -------------------------------------------------------------------------------- /coq-mode/solve: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: solve 3 | # -- 4 | solve [ $1 | $2 ] 5 | -------------------------------------------------------------------------------- /coq-mode/specialize: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: specialize 3 | # key: spec 4 | # uuid: spec 5 | # -- 6 | specialize 7 | -------------------------------------------------------------------------------- /coq-mode/split: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: split 3 | # key: sp 4 | # uuid: sp 5 | # -- 6 | split 7 | -------------------------------------------------------------------------------- /coq-mode/split_rabs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: split_Rabs 3 | # key: spra 4 | # uuid: spra 5 | # -- 6 | splitRabs 7 | -------------------------------------------------------------------------------- /coq-mode/stepl: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: stepl 3 | # key: spl 4 | # -- 5 | stepl $1 -------------------------------------------------------------------------------- /coq-mode/stepr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: stepr 3 | # key: spr 4 | # -- 5 | stepr $1 -------------------------------------------------------------------------------- /coq-mode/strategy: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Strategy 3 | # -- 4 | Strategy $1 [$2]. 5 | -------------------------------------------------------------------------------- /coq-mode/subst: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: subst 3 | # key: su 4 | # uuid: su 5 | # -- 6 | subst $1 7 | -------------------------------------------------------------------------------- /coq-mode/suff: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: suff 3 | # key: suff 4 | # uuid: suff 5 | # -- 6 | suff $1 : $2 7 | -------------------------------------------------------------------------------- /coq-mode/symmetry: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: symmetry 3 | # key: sy 4 | # uuid: sy 5 | # -- 6 | symmetry 7 | -------------------------------------------------------------------------------- /coq-mode/tactic_notation: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Tactic Notation 3 | # -- 4 | Tactic Notation $1 := $2. 5 | -------------------------------------------------------------------------------- /coq-mode/tauto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: tauto 3 | # key: ta 4 | # uuid: ta 5 | # -- 6 | tauto 7 | -------------------------------------------------------------------------------- /coq-mode/timeout: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Timeout 3 | # -- 4 | Timeout 5 | -------------------------------------------------------------------------------- /coq-mode/transparent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Transparent 3 | # -- 4 | Transparent $1. 5 | -------------------------------------------------------------------------------- /coq-mode/trivial: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: trivial 3 | # key: t 4 | # uuid: t 5 | # -- 6 | trivial 7 | -------------------------------------------------------------------------------- /coq-mode/try: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: try 3 | # -- 4 | try $1 5 | -------------------------------------------------------------------------------- /coq-mode/typeclasses_opaque: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Typeclasses Opaque 3 | # -- 4 | Typeclasses Opaque $1. 5 | -------------------------------------------------------------------------------- /coq-mode/unfocus: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unfocus 3 | # -- 4 | Unfocus. 5 | -------------------------------------------------------------------------------- /coq-mode/unfold: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: unfold 3 | # key: u 4 | # uuid: u 5 | # -- 6 | unfold $1 7 | -------------------------------------------------------------------------------- /coq-mode/unlock: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: unlock 3 | # key: unlock 4 | # uuid: unlock 5 | # -- 6 | unlock $1 7 | -------------------------------------------------------------------------------- /coq-mode/unset_atomic_load: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Atomic Load 3 | # -- 4 | Unset Atomic Load 5 | -------------------------------------------------------------------------------- /coq-mode/unset_bullet_behavior: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Bullet Behavior 3 | # -- 4 | Unset Bullet Behavior 5 | -------------------------------------------------------------------------------- /coq-mode/unset_debug_auto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Debug Auto 3 | # -- 4 | Unset Debug Auto 5 | -------------------------------------------------------------------------------- /coq-mode/unset_debug_eauto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Debug Eauto 3 | # -- 4 | Unset Debug Eauto 5 | -------------------------------------------------------------------------------- /coq-mode/unset_debug_rakam: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Debug RAKAM 3 | # -- 4 | Unset Debug RAKAM 5 | -------------------------------------------------------------------------------- /coq-mode/unset_debug_trivial: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Debug Trivial 3 | # -- 4 | Unset Debug Trivial 5 | -------------------------------------------------------------------------------- /coq-mode/unset_default_timeout: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Default Timeout 3 | # -- 4 | Unset Default Timeout 5 | -------------------------------------------------------------------------------- /coq-mode/unset_dump_bytecode: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Dump Bytecode 3 | # -- 4 | Unset Dump Bytecode 5 | -------------------------------------------------------------------------------- /coq-mode/unset_equality_scheme: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Equality Scheme 3 | # -- 4 | Unset Equality Scheme 5 | -------------------------------------------------------------------------------- /coq-mode/unset_extraction_flag: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Extraction Flag 3 | # -- 4 | Unset Extraction Flag 5 | -------------------------------------------------------------------------------- /coq-mode/unset_function_debug: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Function_debug 3 | # -- 4 | Unset Function_debug 5 | -------------------------------------------------------------------------------- /coq-mode/unset_hyps_limit: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Hyps Limit 3 | # -- 4 | Unset Hyps Limit 5 | -------------------------------------------------------------------------------- /coq-mode/unset_info_auto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Info Auto 3 | # -- 4 | Unset Info Auto 5 | -------------------------------------------------------------------------------- /coq-mode/unset_info_eauto: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Info Eauto 3 | # -- 4 | Unset Info Eauto 5 | -------------------------------------------------------------------------------- /coq-mode/unset_info_level: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Info Level 3 | # -- 4 | Unset Info Level 5 | -------------------------------------------------------------------------------- /coq-mode/unset_info_trivial: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Info Trivial 3 | # -- 4 | Unset Info Trivial 5 | -------------------------------------------------------------------------------- /coq-mode/unset_inline_level: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Inline Level 3 | # -- 4 | Unset Inline Level 5 | -------------------------------------------------------------------------------- /coq-mode/unset_ltac_debug: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Ltac Debug 3 | # -- 4 | Unset Ltac Debug 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_all: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing All 3 | # -- 4 | Unset Printing All 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_depth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing Depth 3 | # -- 4 | Unset Printing Depth 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing If 3 | # -- 4 | Unset Printing If 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing Let 3 | # -- 4 | Unset Printing Let 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_record: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing Record 3 | # -- 4 | Unset Printing Record 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_synth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing Synth 3 | # -- 4 | Unset Printing Synth 5 | -------------------------------------------------------------------------------- /coq-mode/unset_printing_width: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Printing Width 3 | # -- 4 | Unset Printing Width 5 | -------------------------------------------------------------------------------- /coq-mode/unset_program_mode: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Program Mode 3 | # -- 4 | Unset Program Mode 5 | -------------------------------------------------------------------------------- /coq-mode/unset_silent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Silent 3 | # -- 4 | Unset Silent 5 | -------------------------------------------------------------------------------- /coq-mode/unset_simpliscbn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset SimplIsCbn 3 | # -- 4 | Unset SimplIsCbn 5 | -------------------------------------------------------------------------------- /coq-mode/unset_strict_proofs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Strict Proofs 3 | # -- 4 | Unset Strict Proofs 5 | -------------------------------------------------------------------------------- /coq-mode/unset_undo: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Unset Undo 3 | # -- 4 | Unset Undo 5 | -------------------------------------------------------------------------------- /coq-mode/variable: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Variable 3 | # key: v 4 | # uuid: v 5 | # -- 6 | Variable $1: $2. 7 | -------------------------------------------------------------------------------- /coq-mode/vm_compute: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: vm_compute 3 | # key: vmc 4 | # uuid: vmc 5 | # -- 6 | vm_compute. 7 | -------------------------------------------------------------------------------- /coq-mode/wlog: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: wlog 3 | # key: wlog 4 | # uuid: wlog 5 | # -- 6 | wlog : / $1 7 | -------------------------------------------------------------------------------- /cpp-omnet-mode/EV: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: EV 3 | # key: ev 4 | # uuid: ev 5 | # -- 6 | EV << "${1:string}"$0; -------------------------------------------------------------------------------- /cpp-omnet-mode/math: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: math 3 | # key: math 4 | # uuid: math 5 | # -- 6 | #include -------------------------------------------------------------------------------- /cpp-omnet-mode/nan: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nan 3 | # key: nan 4 | # uuid: nan 5 | # -- 6 | isnan(${1:x}) -------------------------------------------------------------------------------- /csharp-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | cc-mode 2 | -------------------------------------------------------------------------------- /css-mode/margin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: margin: ...; 3 | # key: mar 4 | # uuid: mar 5 | # -- 6 | margin: ${1:0 auto}; -------------------------------------------------------------------------------- /css-mode/media_print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: @media print { ... } 3 | # -- 4 | @media print { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /css-mode/property: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ...: ...; 3 | # key: : 4 | # uuid: : 5 | # -- 6 | ${1:prop}: ${2:`%`}; -------------------------------------------------------------------------------- /dart-mode/ext: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: ext 4 | # -- 5 | extends ${1:Name}$0 -------------------------------------------------------------------------------- /dart-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: if 4 | # -- 5 | if ($1) { 6 | $0 7 | } -------------------------------------------------------------------------------- /dart-mode/part: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: part 4 | # -- 5 | part of ${1:Part}$0 -------------------------------------------------------------------------------- /direnv-envrc-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | sh-mode -------------------------------------------------------------------------------- /dockerfile-mode/add: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ADD 3 | # -- 4 | ADD ${1:src} ${2:dest} -------------------------------------------------------------------------------- /dockerfile-mode/arg: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ARG [=] 3 | # -- 4 | ARG ${1:name}${2:=${3:value}} -------------------------------------------------------------------------------- /dockerfile-mode/copy: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: COPY 3 | # -- 4 | COPY ${1:src} ${2:dest} -------------------------------------------------------------------------------- /dockerfile-mode/entrypoint: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ENTRYPOINT 3 | # -- 4 | ENTRYPOINT ${1:command} -------------------------------------------------------------------------------- /dockerfile-mode/env: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ENV = ... 3 | # -- 4 | ENV ${1:var}=${2:value} -------------------------------------------------------------------------------- /dockerfile-mode/expose: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: EXPOSE [ ...] 3 | # -- 4 | EXPOSE ${1:80} -------------------------------------------------------------------------------- /dockerfile-mode/label: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: LABEL = ... 3 | # -- 4 | LABEL ${1:key}=${2:value} -------------------------------------------------------------------------------- /dockerfile-mode/onbuild: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ONBUILD 3 | # -- 4 | ONBUILD $0 -------------------------------------------------------------------------------- /dockerfile-mode/stopsignal: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: STOPSIGNAL 3 | # -- 4 | STOPSIGNAL ${1:9} -------------------------------------------------------------------------------- /dockerfile-mode/user: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: USER ... 3 | # -- 4 | USER ${1:daemon} -------------------------------------------------------------------------------- /dockerfile-mode/volume: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: VOLUME ... 3 | # -- 4 | VOLUME ${1:/path} -------------------------------------------------------------------------------- /dockerfile-mode/workdir: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: WORKDIR ... 3 | # -- 4 | WORKDIR ${1:/path/to/workdir} -------------------------------------------------------------------------------- /elixir-mode/after: -------------------------------------------------------------------------------- 1 | ## -*- mode: snippet -*- 2 | # name: after 3 | # key: after 4 | # -- 5 | after ${1:500} -> 6 | $0 -------------------------------------------------------------------------------- /elixir-mode/call: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: call 3 | # key: call 4 | # -- 5 | GenServer.call(${1:__MODULE__}, $0) -------------------------------------------------------------------------------- /elixir-mode/case: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case 3 | # key: case 4 | # -- 5 | case $1 do 6 | $0 7 | end -------------------------------------------------------------------------------- /elixir-mode/cast: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cast 3 | # key: cast 4 | # -- 5 | GenServer.cast(${1:__MODULE__}, $0) -------------------------------------------------------------------------------- /elixir-mode/cond: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cond 3 | # key: cond 4 | # -- 5 | cond do 6 | $0 7 | end -------------------------------------------------------------------------------- /elixir-mode/defp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: defp 3 | # key: defp 4 | # -- 5 | defp $1 do 6 | $0 7 | end -------------------------------------------------------------------------------- /elixir-mode/do: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: do 3 | # key: do 4 | # -- 5 | do 6 | $0 7 | end -------------------------------------------------------------------------------- /elixir-mode/doc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: doc 3 | # key: doc 4 | # -- 5 | @doc """ 6 | $0 7 | """ -------------------------------------------------------------------------------- /elixir-mode/fn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fn 3 | # key: fn 4 | # -- 5 | fn ${1:x} -> $1$0 end -------------------------------------------------------------------------------- /elixir-mode/for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: for 3 | # key: for 4 | # -- 5 | for ${2:x} <- ${1:enum} do 6 | $2$0 7 | end -------------------------------------------------------------------------------- /elixir-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # key: if 4 | # -- 5 | if ${1:condition} do 6 | $0 7 | end -------------------------------------------------------------------------------- /elixir-mode/io: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: io 3 | # key: io 4 | # -- 5 | IO.puts("$1")$0 -------------------------------------------------------------------------------- /elixir-mode/iop: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: iop 3 | # key: iop 4 | # -- 5 | IO.puts("$1 #{inspect $1}")$0 -------------------------------------------------------------------------------- /elixir-mode/mdoc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: moduledoc 3 | # key: mdoc 4 | # -- 5 | @moduledoc """ 6 | $0 7 | """ -------------------------------------------------------------------------------- /elixir-mode/pry: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pry 3 | # key: pry 4 | # group: debug 5 | # -- 6 | require IEx; IEx.pry -------------------------------------------------------------------------------- /elixir-mode/receive: -------------------------------------------------------------------------------- 1 | ## -*- mode: snippet -*- 2 | # name: receive 3 | # key: rcv 4 | # -- 5 | receive do 6 | $0 7 | end -------------------------------------------------------------------------------- /elixir-mode/test: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: test 3 | # key: test 4 | # -- 5 | test "$1" do 6 | $0 7 | end -------------------------------------------------------------------------------- /emacs-lisp-mode/and: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: and 3 | # -- 4 | (and `%`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/append: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: append 3 | # -- 4 | (append `%`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/apply: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: apply 3 | # key: apply 4 | # uuid: apply 5 | # -- 6 | (apply $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/aref: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: aref 3 | # -- 4 | (aref ${1:array} ${0:index}) -------------------------------------------------------------------------------- /emacs-lisp-mode/aset: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: aset 3 | # -- 4 | (aset ${1:array} ${2:index} ${3:newelt}) -------------------------------------------------------------------------------- /emacs-lisp-mode/assq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: assq 3 | # -- 4 | (assq ${0:`%`sym} ${1:list}) -------------------------------------------------------------------------------- /emacs-lisp-mode/car: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: car 3 | # -- 4 | (car ${0:`%`}) -------------------------------------------------------------------------------- /emacs-lisp-mode/cdr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cdr 3 | # -- 4 | (cdr ${0:`%`}) -------------------------------------------------------------------------------- /emacs-lisp-mode/concat: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: concat 3 | # -- 4 | (concat `%`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/cond: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cond 3 | # -- 4 | (cond (${1:t} ${2:`(doom-snippets-format "%n%s")`})$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/cons: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cons 3 | # -- 4 | (cons ${1:`%`} $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/defcustom: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: defcustom 3 | # -- 4 | (defcustom $1 ${2:VALUE} "${3:doc}" $4) -------------------------------------------------------------------------------- /emacs-lisp-mode/fboundp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fboundp 3 | # -- 4 | (fboundp '$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/file-name-extension: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: file-name-extension 3 | # -- 4 | (file-name-extension $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/format: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: format 3 | # -- 4 | (format "$0" $1) -------------------------------------------------------------------------------- /emacs-lisp-mode/function: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: function 3 | # -- 4 | (function $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/goto-char: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: goto-char 3 | # -- 4 | (goto-char $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/int: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: interactive 3 | # uuid: int 4 | # -- 5 | (interactive)$0 -------------------------------------------------------------------------------- /emacs-lisp-mode/kbd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: kbd 3 | # -- 4 | (kbd "${0:`%`}") -------------------------------------------------------------------------------- /emacs-lisp-mode/length: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: length 3 | # -- 4 | (length `%`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/list: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: list 3 | # -- 4 | (list `%`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/looking-at: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: looking-at 3 | # -- 4 | (looking-at $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/mapc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mapc 3 | # -- 4 | (mapc ${1:fn} ${0:list}) -------------------------------------------------------------------------------- /emacs-lisp-mode/mapcar: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mapcar 3 | # -- 4 | (mapcar ${1:fn} ${0:list}) -------------------------------------------------------------------------------- /emacs-lisp-mode/memq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: memq 3 | # -- 4 | (memq ${0:sym} ${1:`%`list}) -------------------------------------------------------------------------------- /emacs-lisp-mode/not: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: not 3 | # -- 4 | (not $0) -------------------------------------------------------------------------------- /emacs-lisp-mode/nth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nth 3 | # -- 4 | (nth ${0:n} ${1:`%`list}) -------------------------------------------------------------------------------- /emacs-lisp-mode/null: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: null 3 | # -- 4 | (null `(doom-snippets-format "%n%s")`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/optional: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: &optional ... 3 | # uuid: optional 4 | # -- 5 | &optional `%`$0 -------------------------------------------------------------------------------- /emacs-lisp-mode/or: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: or 3 | # -- 4 | (or `%`$0) -------------------------------------------------------------------------------- /emacs-lisp-mode/point: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: point 3 | # key: pt 4 | # -- 5 | (point) -------------------------------------------------------------------------------- /emacs-lisp-mode/provide: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: provide 3 | # -- 4 | (provide '`(file-name-base buffer-file-name)`) -------------------------------------------------------------------------------- /emacs-lisp-mode/require: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: require 3 | # -- 4 | (require '${1:package}) -------------------------------------------------------------------------------- /emacs-lisp-mode/rest: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: &rest ... 3 | # -- 4 | &rest `%`$0 -------------------------------------------------------------------------------- /emacs-lisp-mode/setq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: setq 3 | # -- 4 | (setq ${1:var} ${0:`%`}) -------------------------------------------------------------------------------- /emacs-lisp-mode/y-or-n-p: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: y-or-n-p 3 | # key: yn 4 | # -- 5 | (y-or-n-p "$1") -------------------------------------------------------------------------------- /emacs-lisp-mode/yes-or-no-p: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: yes-or-no-p 3 | # key: yesno 4 | # -- 5 | (yes-or-no-p "$1") -------------------------------------------------------------------------------- /enh-ruby-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | ruby-mode -------------------------------------------------------------------------------- /erc-mode/blist: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: blist 3 | # key: b 4 | # uuid: b 5 | # -- 6 | blist 7 | -------------------------------------------------------------------------------- /erc-mode/help: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: help 3 | # key: h 4 | # uuid: h 5 | # -- 6 | help $0 -------------------------------------------------------------------------------- /erlang-mode/after: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: after ... -> 3 | # -- 4 | after 5 | $1 -> $0 -------------------------------------------------------------------------------- /erlang-mode/begin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: begin ... end 3 | # -- 4 | begin 5 | $0 6 | end -------------------------------------------------------------------------------- /erlang-mode/beh: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -behaviour(...). 3 | # -- 4 | -behaviour(${1:gen_server}). 5 | $0 -------------------------------------------------------------------------------- /erlang-mode/case: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case ... of ... end 3 | # -- 4 | case $1 of 5 | $0 6 | end -------------------------------------------------------------------------------- /erlang-mode/compile: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -compile(...). 3 | # -- 4 | -compile([${1:export_all}]). 5 | $0 -------------------------------------------------------------------------------- /erlang-mode/def: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -define(...,...). 3 | # -- 4 | -define($1,$2). 5 | $0 -------------------------------------------------------------------------------- /erlang-mode/exp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -export([]). 3 | # -- 4 | -export([${1:start/0}]). 5 | $0 6 | -------------------------------------------------------------------------------- /erlang-mode/fun: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fun (...) -> ... end 3 | # -- 4 | fun ($1) -> $0 end -------------------------------------------------------------------------------- /erlang-mode/ifdef: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -ifdef(...). ... -endif. 3 | # -- 4 | -ifdef($1). 5 | $0 6 | -endif. -------------------------------------------------------------------------------- /erlang-mode/ifndef: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -ifndef(...). ... -endif. 3 | # -- 4 | -ifndef($1). 5 | $0 6 | -endif. -------------------------------------------------------------------------------- /erlang-mode/inc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -include("..."). 3 | # -- 4 | -include("$1"). 5 | $0 -------------------------------------------------------------------------------- /erlang-mode/inc.lib: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -include_lib("..."). 3 | # -- 4 | -include_lib("$1"). 5 | $0 -------------------------------------------------------------------------------- /erlang-mode/rcv: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: receive ... -> ... end 3 | # -- 4 | receive 5 | $1 -> $0 6 | end -------------------------------------------------------------------------------- /erlang-mode/rec: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -record(...,{...}). 3 | # -- 4 | -record($1,{$2}). 5 | $0 -------------------------------------------------------------------------------- /erlang-mode/undef: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: -undef(...). 3 | # -- 4 | -undef($1). 5 | $0 -------------------------------------------------------------------------------- /faust-mode/button: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: button 3 | # key: bu 4 | # -- 5 | button("$1")$0 -------------------------------------------------------------------------------- /faust-mode/case: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case 3 | # key: ca 4 | # -- 5 | case { 6 | $1 7 | }; 8 | $0 -------------------------------------------------------------------------------- /faust-mode/checkbox: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: checkbox 3 | # key: ch 4 | # -- 5 | checkbox("$1")$0 -------------------------------------------------------------------------------- /faust-mode/component: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: component 3 | # key: co 4 | # -- 5 | component("$1.dsp")$0 -------------------------------------------------------------------------------- /faust-mode/declare: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: declare 3 | # key: de 4 | # -- 5 | declare ${1:key} "${2:value}"; 6 | $0 -------------------------------------------------------------------------------- /faust-mode/declarename: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: declare name 3 | # key: dn 4 | # -- 5 | declare name "$1"; 6 | $0 -------------------------------------------------------------------------------- /faust-mode/hgroup: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: hgroup 3 | # key: hg 4 | # -- 5 | hgroup("${1:name}", ${2:expression})$0 -------------------------------------------------------------------------------- /faust-mode/import: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: import 3 | # key: im 4 | # -- 5 | import("$1.lib");$0 -------------------------------------------------------------------------------- /faust-mode/par: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: par 3 | # key: pa 4 | # -- 5 | par(${1:i}, ${2:Nr}, ${3:expression})$0 -------------------------------------------------------------------------------- /faust-mode/process: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: process 3 | # key: pr 4 | # -- 5 | process = $1; 6 | $0 -------------------------------------------------------------------------------- /faust-mode/prod: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: prod 3 | # key: mu 4 | # -- 5 | prod(${1:i}, ${2:Nr}, ${3:expression})$0 -------------------------------------------------------------------------------- /faust-mode/rule: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rule 3 | # key: ru 4 | # -- 5 | (${1:pattern}) => ${2:expression}; 6 | $0 -------------------------------------------------------------------------------- /faust-mode/seq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: seq 3 | # key: se 4 | # -- 5 | seq(${1:i}, ${2:Nr}, ${3:expression})$0 -------------------------------------------------------------------------------- /faust-mode/sum: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sum 3 | # key: su 4 | # -- 5 | sum(${1:i}, ${2:Nr}, ${3:expression})$0 -------------------------------------------------------------------------------- /faust-mode/tgroup: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: tgroup 3 | # key: tg 4 | # -- 5 | tgroup("${1:name}", ${2:expression})$0 -------------------------------------------------------------------------------- /faust-mode/vgroup: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: vgroup 3 | # key: vg 4 | # -- 5 | vgroup("${1:name}", ${2:expression})$0 -------------------------------------------------------------------------------- /faust-mode/with: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: with 3 | # key: wi 4 | # -- 5 | with { 6 | ${1:expression} 7 | }; 8 | $0 -------------------------------------------------------------------------------- /faustine-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | faust-mode 2 | -------------------------------------------------------------------------------- /fennel-mode/do: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: do 3 | # -- 4 | (do`(if % (concat " " (doom-snippets-format "%n%s")))`$0) -------------------------------------------------------------------------------- /fennel-mode/global: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: global 3 | # -- 4 | (global ${1:varname} ${2:value}) -------------------------------------------------------------------------------- /fennel-mode/length: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: length 3 | # key: len 4 | # -- 5 | (length ${1:var}) -------------------------------------------------------------------------------- /fennel-mode/local: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: local 3 | # -- 4 | (local ${1:varname} ${2:value}) -------------------------------------------------------------------------------- /fennel-mode/print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: print 3 | # key: p 4 | # -- 5 | (print ${1:message}) -------------------------------------------------------------------------------- /fennel-mode/require: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: require 3 | # key: req 4 | # -- 5 | (require ${1::module}) -------------------------------------------------------------------------------- /fennel-mode/set: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: set 3 | # -- 4 | (set ${1:varname} ${2:value}) -------------------------------------------------------------------------------- /fennel-mode/tset: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: tset 3 | # -- 4 | (tset ${1:table} ${2:field} ${3:value}) -------------------------------------------------------------------------------- /fennel-mode/var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: var 3 | # -- 4 | (var ${1:varname} ${2:value}) -------------------------------------------------------------------------------- /fundamental-mode/.yas-setup.el: -------------------------------------------------------------------------------- 1 | ;; -*- no-byte-compile: t; lexical-binding: t; -*- 2 | (require 'doom-snippets-lib) -------------------------------------------------------------------------------- /gfm-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | markdown-mode -------------------------------------------------------------------------------- /git-commit-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | text-mode -------------------------------------------------------------------------------- /go-mode/append: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: append 3 | # -- 4 | ${1:type} = append($1, ${2:elems}) -------------------------------------------------------------------------------- /go-mode/coloneq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ... := ... 3 | # key: := 4 | # uuid: := 5 | # -- 6 | ${1:x} := ${2:`%`} -------------------------------------------------------------------------------- /go-mode/ctxc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ctx context.Context 3 | # -- 4 | ctx context.Context -------------------------------------------------------------------------------- /go-mode/for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: for ... { ... } 3 | # -- 4 | for $1 { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /go-mode/go: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: go 3 | # -- 4 | go ${1:func}(${2:args}) -------------------------------------------------------------------------------- /go-mode/gof: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: go func 3 | # -- 4 | go func (${1:args}) { 5 | `%`$0 6 | }(${2:values}) -------------------------------------------------------------------------------- /go-mode/iferr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if err != nil { ... } 3 | # -- 4 | if err != nil { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /go-mode/import: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: import 3 | # -- 4 | import ( 5 | ${1:package}$0 6 | ) -------------------------------------------------------------------------------- /go-mode/main: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: func main() { ... } 3 | # -- 4 | func main() { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /go-mode/map: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: map 3 | # -- 4 | map[${1:KeyType}]${2:ValueType} -------------------------------------------------------------------------------- /go-mode/pr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: printf 3 | # -- 4 | fmt.Printf("$1\n"${2:, ${3:str}}) -------------------------------------------------------------------------------- /go-mode/println: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: println(...) 3 | # uuid: println 4 | # -- 5 | fmt.Println("${1:msg}")$0 -------------------------------------------------------------------------------- /go-mode/select: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: select 3 | # -- 4 | select { 5 | case ${1:cond}: 6 | $0 7 | } -------------------------------------------------------------------------------- /go-mode/var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: var 3 | # -- 4 | var ${1:name} ${2:type} = ${3:value}$0 -------------------------------------------------------------------------------- /go-mode/wr: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: http request writer 3 | # -- 4 | w http.ResponseWriter, r *http.Request -------------------------------------------------------------------------------- /haskell-mode/data: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: data 3 | # key: da 4 | # uuid: da 5 | # -- 6 | data ${1:Type} = $2 -------------------------------------------------------------------------------- /haskell-mode/doc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: doc 3 | # key: d 4 | # uuid: d 5 | # -- 6 | {- 7 | $0 8 | -} -------------------------------------------------------------------------------- /haskell-mode/main: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: main 3 | # key: main 4 | # uuid: main 5 | # -- 6 | main = do $0 -------------------------------------------------------------------------------- /haskell-mode/pragma: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pragma 3 | # key: { 4 | # uuid: { 5 | # -- 6 | {-# ${1:PRAGMA} #-} -------------------------------------------------------------------------------- /haskell-mode/print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: print 3 | # key: pr 4 | # uuid: pr 5 | # -- 6 | print $0 -------------------------------------------------------------------------------- /html-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | nxml-mode -------------------------------------------------------------------------------- /html-mode/doctype: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Doctype HTML 5 3 | # group: meta 4 | # -- 5 | 6 | -------------------------------------------------------------------------------- /janet-mode/do: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: do 3 | # -- 4 | (do `(if % (concat " " (doom-snippets-format "%n%s")))`$0) -------------------------------------------------------------------------------- /java-mode/import: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: import 3 | # -- 4 | import ${1:System.}; 5 | $0 -------------------------------------------------------------------------------- /java-mode/private: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: private 3 | # key: pri 4 | # uuid: pri 5 | # -- 6 | private $0 -------------------------------------------------------------------------------- /java-mode/protected: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: protected 3 | # key: pr 4 | # uuid: pr 5 | # -- 6 | protected $0 -------------------------------------------------------------------------------- /java-mode/public: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: public 3 | # key: p 4 | # uuid: p 5 | # -- 6 | public $0 -------------------------------------------------------------------------------- /java-mode/this: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: this 3 | # key: . 4 | # uuid: . 5 | # -- 6 | this.$0 -------------------------------------------------------------------------------- /java-mode/void: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: void 3 | # key: v 4 | # uuid: v 5 | # -- 6 | void $0 -------------------------------------------------------------------------------- /js-mode/Math: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Math. 3 | # key: M 4 | # uuid: M 5 | # -- 6 | Math.$0 -------------------------------------------------------------------------------- /js-mode/alert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: alert 3 | # key: al 4 | # uuid: al 5 | # -- 6 | alert(${0:`%`}); -------------------------------------------------------------------------------- /js-mode/class: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: class 3 | # -- 4 | class ${1:Name} { 5 | $0 6 | } -------------------------------------------------------------------------------- /js-mode/constructor: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: constructor() { ... } 3 | # -- 4 | constructor($1) { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /js-mode/document: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: document 3 | # key: doc 4 | # uuid: doc 5 | # -- 6 | document. -------------------------------------------------------------------------------- /js-mode/else: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: else 3 | # -- 4 | else { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /js-mode/fireEvent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: fireEvent 3 | # -- 4 | fireEvent('$0') -------------------------------------------------------------------------------- /js-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # -- 4 | if (${1:true}) { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /js-mode/let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: let ... = ...; 3 | # -- 4 | let ${1:name} = ${0:`%`}; -------------------------------------------------------------------------------- /js-mode/property: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ...: ... 3 | # key: : 4 | # uuid: : 5 | # -- 6 | ${1:key}: ${0:value} -------------------------------------------------------------------------------- /js-mode/return: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: return ... 3 | # key: r 4 | # uuid: r 5 | # -- 6 | return $0; -------------------------------------------------------------------------------- /js-mode/while: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: while 3 | # -- 4 | while (${1:true}) { ${0:`(doom-snippets-format "%n%s%n")`} } -------------------------------------------------------------------------------- /js2-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | js-mode -------------------------------------------------------------------------------- /js3-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | js-mode 2 | -------------------------------------------------------------------------------- /julia-mode/begin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: begin ... end 3 | # key: begin 4 | # -- 5 | begin 6 | `%`$0 7 | end 8 | -------------------------------------------------------------------------------- /julia-mode/quote: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: quote ... end 3 | # key: quote 4 | # -- 5 | quote 6 | `%`$0 7 | end -------------------------------------------------------------------------------- /latex-mode/caption: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: caption 3 | # key: ca 4 | # uuid: ca 5 | # -- 6 | \caption{${0:`%`}} -------------------------------------------------------------------------------- /latex-mode/glspl: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: glspl 3 | # key: gp 4 | # uuid: gp 5 | # -- 6 | \glspl{${1:label}} -------------------------------------------------------------------------------- /latex-mode/label: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: label 3 | # key: lab 4 | # uuid: lab 5 | # -- 6 | \label{$0} -------------------------------------------------------------------------------- /latex-mode/mathclap: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mathclap 3 | # key: mc 4 | # -- 5 | \mathclap{`%`$0} -------------------------------------------------------------------------------- /latex-mode/note: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: note 3 | # key: no 4 | # uuid: no 5 | # -- 6 | \note{${0:`%`}} -------------------------------------------------------------------------------- /latex-mode/sqrt: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sqrt 3 | # key: sq 4 | # condition: (texmathp) 5 | # -- 6 | \sqrt{`%`$1}$0 -------------------------------------------------------------------------------- /latex-mode/usepackage: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: usepackage 3 | # key: pkg 4 | # uuid: pkg 5 | # -- 6 | \usepackage{$0} -------------------------------------------------------------------------------- /lisp-mode/cond: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cond 3 | # -- 4 | (cond ($1)$2) -------------------------------------------------------------------------------- /lisp-mode/format: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: format 3 | # -- 4 | (format t "~& $0 ~%") -------------------------------------------------------------------------------- /lisp-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # -- 4 | (if ${1:condition} ${2:`(doom-snippets-format "%n%s")`}) -------------------------------------------------------------------------------- /lisp-mode/typecast: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: typecast 3 | # name: cast 4 | # -- 5 | (coerce ${1:object} ${2:type}) -------------------------------------------------------------------------------- /lua-mode/elseif: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: elseif ... then ... 3 | # -- 4 | elseif ${1:true} then 5 | `%`$0 -------------------------------------------------------------------------------- /lua-mode/for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: for range loop 3 | # -- 4 | for ${1:i}=${2:1},${3:10} do 5 | `%`$0 6 | end -------------------------------------------------------------------------------- /lua-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if ... then ... end 3 | # -- 4 | if ${1:true} then 5 | `%`$0 6 | end -------------------------------------------------------------------------------- /lua-mode/local: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: local ... 3 | # key: l 4 | # uuid: l 5 | # -- 6 | local $0 -------------------------------------------------------------------------------- /lua-mode/math.abs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.abs($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.acos: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.acos($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.asin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.asin($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.atan: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.atan($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.atan2: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.atan2(${1:y}, ${2:x})$0 3 | -------------------------------------------------------------------------------- /lua-mode/math.ceil: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.ceil($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.cos: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.cos($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.cosh: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.cosh($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.deg: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.deg($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.exp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.exp($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.floor: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.floor($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.fmod: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.fmod($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.frexp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.frexp($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.huge: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.huge($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.ldexp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.ldexp($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.log10: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.log10($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.max: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.max(${0:x, y, ...}) 3 | -------------------------------------------------------------------------------- /lua-mode/math.min: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.min(${0:x, y, ...}) 3 | -------------------------------------------------------------------------------- /lua-mode/math.modf: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.modf($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.pi: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.pi 3 | -------------------------------------------------------------------------------- /lua-mode/math.pow: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.pow($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.rad: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.rad($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.random: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.random($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.randomseed: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.randomseed($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.sin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.sin($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.sinh: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.sinh($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.sqrt: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.sqrt($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.tan: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.tan($0) 3 | -------------------------------------------------------------------------------- /lua-mode/math.tanh: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.tanh($0) 3 | -------------------------------------------------------------------------------- /lua-mode/open: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: io.open 3 | # -- 4 | io.open(${1:"${2:filename}"}, "${3:r}") 5 | -------------------------------------------------------------------------------- /lua-mode/pi: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.pi 3 | -------------------------------------------------------------------------------- /lua-mode/print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: print 3 | # key: p 4 | # uuid: p 5 | # -- 6 | print(`%`$1) 7 | -------------------------------------------------------------------------------- /lua-mode/sqrt: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | math.sqrt($0) 3 | -------------------------------------------------------------------------------- /lua-mode/ton: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: tonumber(...) 3 | # -- 4 | tonumber($1) 5 | -------------------------------------------------------------------------------- /lua-mode/while: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: while ... do ... end 3 | # -- 4 | while ${1:true} do 5 | $0 6 | end -------------------------------------------------------------------------------- /makefile-bsdmake-mode/PHONY: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: PHONY 3 | # key: phony 4 | # uuid: phony 5 | # -- 6 | .PHONY: $0 -------------------------------------------------------------------------------- /makefile-bsdmake-mode/var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: var 3 | # key: $ 4 | # uuid: $ 5 | # -- 6 | $(${1:VAR})$0 -------------------------------------------------------------------------------- /makefile-gmake-mode/phony: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: phony 3 | # -- 4 | .PHONY = $0 5 | -------------------------------------------------------------------------------- /makefile-gmake-mode/wildcard: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: wildcard 3 | # -- 4 | $(wildcard $0) 5 | -------------------------------------------------------------------------------- /makefile-mode/all: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: all 3 | # key: all 4 | # uuid: all 5 | # -- 6 | all: 7 | $0 -------------------------------------------------------------------------------- /markdown-mode/kbd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet; require-final-newline: nil -*- 2 | # name: ... 3 | # -- 4 | $0 -------------------------------------------------------------------------------- /nesc-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | text-mode cc-mode -------------------------------------------------------------------------------- /nesc-mode/nx: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nx 3 | # key: nx 4 | # uuid: nx 5 | # -- 6 | nx_uint${1:8}_t ${2:var}; 7 | $0 -------------------------------------------------------------------------------- /nesc-mode/uint8_t: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: uint8_t 3 | # key: u8 4 | # uuid: u8 5 | # -- 6 | uint8_t ${1:var}; 7 | $0 -------------------------------------------------------------------------------- /nix-mode/home-manager: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: home-manager 3 | # key: hm 4 | # uuid: hm 5 | # -- 6 | home-manager -------------------------------------------------------------------------------- /nix-mode/with: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: with ...; 3 | # -- 4 | with ${1:pkgs}; -------------------------------------------------------------------------------- /nsis-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | prog-mode -------------------------------------------------------------------------------- /nsis-mode/instdir: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: instdir 3 | # key: $i 4 | # -- 5 | $INSTDIR -------------------------------------------------------------------------------- /nsis-mode/outdir: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: outdir 3 | # key: $o 4 | # -- 5 | $OUTDIR -------------------------------------------------------------------------------- /org-mode/name: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: name 3 | # key: name 4 | # uuid: name 5 | # -- 6 | #+name: $0 7 | -------------------------------------------------------------------------------- /org-mode/width: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #+attr_html: :width ... 3 | # -- 4 | #+attr_html: :width ${1:500px} -------------------------------------------------------------------------------- /php-mode/array: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: array(...) 3 | # key: ar 4 | # uuid: ar 5 | # -- 6 | array(`%`$0) -------------------------------------------------------------------------------- /php-mode/break: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: break; 3 | # key: br 4 | # uuid: br 5 | # -- 6 | break; -------------------------------------------------------------------------------- /php-mode/continue: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: continue; 3 | # key: co 4 | # uuid: co 5 | # -- 6 | continue; -------------------------------------------------------------------------------- /php-mode/echo: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: echo ...; 3 | # key: ec 4 | # uuid: ec 5 | # -- 6 | echo `%`$0; -------------------------------------------------------------------------------- /php-mode/parent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: parent::... 3 | # key: par 4 | # uuid: par 5 | # -- 6 | parent::$0 -------------------------------------------------------------------------------- /php-mode/self: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: self::... 3 | # key: sel 4 | # uuid: sel 5 | # -- 6 | self::$0 -------------------------------------------------------------------------------- /php-mode/shorttag-print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: 3 | # key: p= 4 | # uuid: p= 5 | # -- 6 | -------------------------------------------------------------------------------- /php-mode/this: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: $this->... 3 | # key: thi 4 | # uuid: thi 5 | # -- 6 | \$this->$0; -------------------------------------------------------------------------------- /php-mode/var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: $var = value; 3 | # key: var 4 | # -- 5 | \$${1:var} = `%`$0; -------------------------------------------------------------------------------- /plantuml-mode/f: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: {field} 4 | # -- 5 | {field} ${0:Name} -------------------------------------------------------------------------------- /plantuml-mode/private: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: private 4 | # -- 5 | - $0 6 | -------------------------------------------------------------------------------- /plantuml-mode/protected: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: protected 4 | # -- 5 | # $0 6 | -------------------------------------------------------------------------------- /plantuml-mode/public: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # contributor: M. Yas. Davoodeh 3 | # name: public bullet 4 | # -- 5 | + $0 6 | -------------------------------------------------------------------------------- /processing-mode/@private: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: @private 3 | # key: @pri 4 | # -- 5 | @private -------------------------------------------------------------------------------- /processing-mode/@public: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: @public 3 | # key: @pub 4 | # -- 5 | @public -------------------------------------------------------------------------------- /processing-mode/HALF_PI: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: HALF PI 3 | # key: hpi 4 | # -- 5 | HALF_PI -------------------------------------------------------------------------------- /processing-mode/PI: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: PI 3 | # key: pi 4 | # -- 5 | PI -------------------------------------------------------------------------------- /processing-mode/PImage: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: PImage 3 | # key: pimage 4 | # -- 5 | PImage(${1:width}, ${2:height}); -------------------------------------------------------------------------------- /processing-mode/String: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: String 3 | # key: str 4 | # -- 5 | String ${1:str} ${6:= "${3:CCCP}"}; -------------------------------------------------------------------------------- /processing-mode/TWO_PI: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: TWO PI 3 | # key: 2pi 4 | # -- 5 | TWO_PI$0 -------------------------------------------------------------------------------- /processing-mode/abs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: abs 3 | # key: abs 4 | # -- 5 | abs(${1:value}); -------------------------------------------------------------------------------- /processing-mode/acos: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: acos 3 | # key: acos 4 | # -- 5 | acos(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/alpha: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: alpha 3 | # key: alpha 4 | # -- 5 | alpha(${1:color}); -------------------------------------------------------------------------------- /processing-mode/append: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: append 3 | # key: app 4 | # -- 5 | append(${1:array}, ${2:element}); -------------------------------------------------------------------------------- /processing-mode/asin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: asin 3 | # key: asin 4 | # -- 5 | asin(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/atan: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: atan 3 | # key: atan 4 | # -- 5 | atan(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/atan2: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: atan2 3 | # key: atan2 4 | # -- 5 | atan2(${1:y}, ${2:x}); -------------------------------------------------------------------------------- /processing-mode/beginCamera: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: beginCamera 3 | # key: beginc 4 | # -- 5 | beginCamera(); -------------------------------------------------------------------------------- /processing-mode/blue: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: blue 3 | # key: blue 4 | # -- 5 | blue(${1:color}); -------------------------------------------------------------------------------- /processing-mode/break: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: break 3 | # key: break 4 | # -- 5 | break ${1:label}; -------------------------------------------------------------------------------- /processing-mode/byte: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: byte 3 | # key: byte 4 | # -- 5 | byte ${1:b} ${6:= ${3:127}}; -------------------------------------------------------------------------------- /processing-mode/ceil: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ceil 3 | # key: ceil 4 | # -- 5 | ceil(${1:value}); -------------------------------------------------------------------------------- /processing-mode/char: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: char 3 | # key: char 4 | # -- 5 | char ${1:m} ${6:= "${3:char}"}; -------------------------------------------------------------------------------- /processing-mode/cos: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: cos 3 | # key: cos 4 | # -- 5 | cos(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/degrees: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: degrees 3 | # key: degrees 4 | # -- 5 | degrees(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/doc_newline: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: doc - newline 3 | # key: docn 4 | # -- 5 | 6 | * -------------------------------------------------------------------------------- /processing-mode/else: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: else 3 | # key: else 4 | # -- 5 | else { 6 | `%`$0 7 | } -------------------------------------------------------------------------------- /processing-mode/endCamera: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: endCamera 3 | # key: endc 4 | # -- 5 | endCamera(); -------------------------------------------------------------------------------- /processing-mode/endRecord: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: endRecord 3 | # key: endr 4 | # -- 5 | endRecord(); -------------------------------------------------------------------------------- /processing-mode/exp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: exp 3 | # key: exp 4 | # -- 5 | exp(${1:value}); -------------------------------------------------------------------------------- /processing-mode/float: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: float 3 | # key: float 4 | # -- 5 | float ${1:f} ${6:= ${3:0.0f}}; -------------------------------------------------------------------------------- /processing-mode/floor: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: floor 3 | # key: floor 4 | # -- 5 | floor(${1:value}); -------------------------------------------------------------------------------- /processing-mode/frameRate: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: frameRate 3 | # key: framerate 4 | # -- 5 | frameRate($0); -------------------------------------------------------------------------------- /processing-mode/green: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: green 3 | # key: green 4 | # -- 5 | green(${1:color}); -------------------------------------------------------------------------------- /processing-mode/hex: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: hex 3 | # key: hex 4 | # -- 5 | hex(${3:c}); -------------------------------------------------------------------------------- /processing-mode/hour: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: hour 3 | # key: hour 4 | # -- 5 | hour() -------------------------------------------------------------------------------- /processing-mode/hue: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: hue 3 | # key: hue 4 | # -- 5 | hue(${1:color}); -------------------------------------------------------------------------------- /processing-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # key: if 4 | # -- 5 | if ($1){ 6 | `%`$0 7 | } -------------------------------------------------------------------------------- /processing-mode/int: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: int 3 | # key: int 4 | # -- 5 | int ${1:f} ${6:= ${3:0}}; -------------------------------------------------------------------------------- /processing-mode/join: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: join 3 | # key: join 4 | # -- 5 | join(${3:strgArray}, ${4:seperator}); -------------------------------------------------------------------------------- /processing-mode/keyPressed2: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: keyPressed 3 | # key: kp 4 | # -- 5 | keyPressed -------------------------------------------------------------------------------- /processing-mode/link: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: link 3 | # key: link 4 | # -- 5 | link(${1:url}${4:, ${3:target}}); -------------------------------------------------------------------------------- /processing-mode/loadPixels: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: loadPixels 3 | # key: loadPixels 4 | # -- 5 | loadPixels(); -------------------------------------------------------------------------------- /processing-mode/log: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: log 3 | # key: log 4 | # -- 5 | log(${1:value}); -------------------------------------------------------------------------------- /processing-mode/mag: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mag 3 | # key: mag 4 | # -- 5 | mag(${1:a}, ${2:b}${4:, ${3:c}}); -------------------------------------------------------------------------------- /processing-mode/match: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: match 3 | # key: match 4 | # -- 5 | match(${3:str}, ${4:regexp}); -------------------------------------------------------------------------------- /processing-mode/max_array: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: max array 3 | # key: maxa 4 | # -- 5 | max(${1:array}}; -------------------------------------------------------------------------------- /processing-mode/millis: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: millis 3 | # key: ms 4 | # -- 5 | millis() -------------------------------------------------------------------------------- /processing-mode/min_array: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: min array 3 | # key: mina 4 | # -- 5 | min(${1:array}}; -------------------------------------------------------------------------------- /processing-mode/minute: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: minute 3 | # key: mi 4 | # -- 5 | minute() -------------------------------------------------------------------------------- /processing-mode/modelX: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: modelX 3 | # key: modelx 4 | # -- 5 | modelX(${1:x}, ${2:y}, ${3:z}); -------------------------------------------------------------------------------- /processing-mode/modelY: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: modelY 3 | # key: modely 4 | # -- 5 | modelY(${1:x}, ${2:y}, ${3:z}); -------------------------------------------------------------------------------- /processing-mode/modelZ: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: modelZ 3 | # key: modelz 4 | # -- 5 | modelZ(${1:x}, ${2:y}, ${3:z}); -------------------------------------------------------------------------------- /processing-mode/month: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: month 3 | # key: mo 4 | # -- 5 | month() -------------------------------------------------------------------------------- /processing-mode/mosueButton: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mouseButton 3 | # key: mb 4 | # -- 5 | mouseButton$0 -------------------------------------------------------------------------------- /processing-mode/mousePressed2: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mousePressed 3 | # key: mp 4 | # -- 5 | mousePressed -------------------------------------------------------------------------------- /processing-mode/mouseX: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mouseX 3 | # key: mx 4 | # -- 5 | mouseX -------------------------------------------------------------------------------- /processing-mode/mouseY: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: mouseY 3 | # key: my 4 | # -- 5 | mouseY -------------------------------------------------------------------------------- /processing-mode/nf: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nf 3 | # key: nf 4 | # -- 5 | nf(${3:value}, ${4:left}${6:, ${5:right}}); -------------------------------------------------------------------------------- /processing-mode/nfc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: nfc 3 | # key: nfc 4 | # -- 5 | nfc(${3:value}${5:, ${4:right}}); -------------------------------------------------------------------------------- /processing-mode/noCursor: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noCursor 3 | # key: noc 4 | # -- 5 | noCursor(); -------------------------------------------------------------------------------- /processing-mode/noFill: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noFill 3 | # key: nof 4 | # -- 5 | noFill(); -------------------------------------------------------------------------------- /processing-mode/noLights: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noLights 3 | # key: nol 4 | # -- 5 | noLights(); -------------------------------------------------------------------------------- /processing-mode/noSmooth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noSmooth 3 | # key: nos 4 | # -- 5 | noSmooth(); -------------------------------------------------------------------------------- /processing-mode/noStroke: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noStroke 3 | # key: nost 4 | # -- 5 | noStroke(); -------------------------------------------------------------------------------- /processing-mode/noTint: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noTint 3 | # key: not 4 | # -- 5 | noTint(); -------------------------------------------------------------------------------- /processing-mode/noiseSeed: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: noiseSeed 3 | # key: noiseSeed 4 | # -- 5 | noiseSeed(${1:x}); -------------------------------------------------------------------------------- /processing-mode/norm: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: norm 3 | # key: norm 4 | # -- 5 | norm(${1:value}, ${2:low}, ${3:high}); -------------------------------------------------------------------------------- /processing-mode/online: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: online 3 | # key: online 4 | # -- 5 | online -------------------------------------------------------------------------------- /processing-mode/param: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: param 3 | # key: param 4 | # -- 5 | param(${1:s}); -------------------------------------------------------------------------------- /processing-mode/pixels: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pixels 3 | # key: pixels 4 | # -- 5 | pixels[${1:index}] -------------------------------------------------------------------------------- /processing-mode/pmouseX: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pmouseX 3 | # key: pmx 4 | # -- 5 | pmouseX -------------------------------------------------------------------------------- /processing-mode/pmouseY: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pmouseY 3 | # key: pmy 4 | # -- 5 | pmouseY -------------------------------------------------------------------------------- /processing-mode/point: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: point 3 | # key: point 4 | # -- 5 | point(${1:x}, ${2:y}${4:, ${3:z}}); -------------------------------------------------------------------------------- /processing-mode/pow: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pow 3 | # key: pow 4 | # -- 5 | pow(${1:num}, ${2:exponent}); -------------------------------------------------------------------------------- /processing-mode/printCamera: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: printCamera 3 | # key: printc 4 | # -- 5 | printCamera(); -------------------------------------------------------------------------------- /processing-mode/printMatrix: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: printMatrix 3 | # key: printm 4 | # -- 5 | printMatrix(); -------------------------------------------------------------------------------- /processing-mode/println: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: println 3 | # key: println 4 | # -- 5 | println("$1"); -------------------------------------------------------------------------------- /processing-mode/radians: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: radians 3 | # key: radians 4 | # -- 5 | radians(${1:deg}); -------------------------------------------------------------------------------- /processing-mode/randomSeed: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: randomSeed 3 | # key: randoms 4 | # -- 5 | randomSeed(${1:value}); -------------------------------------------------------------------------------- /processing-mode/red: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: red 3 | # key: red 4 | # -- 5 | red(${1:color}); -------------------------------------------------------------------------------- /processing-mode/reverse: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: reverse 3 | # key: reverse 4 | # -- 5 | reverse(${1:array}); -------------------------------------------------------------------------------- /processing-mode/rotate: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rotate 3 | # key: rotate 4 | # -- 5 | rotate(${1:angle}); -------------------------------------------------------------------------------- /processing-mode/rotateX: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rotateX 3 | # key: rotateX 4 | # -- 5 | rotateX(${1:angle}); -------------------------------------------------------------------------------- /processing-mode/rotateY: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rotateY 3 | # key: rotateY 4 | # -- 5 | rotateY(${1:angle}); -------------------------------------------------------------------------------- /processing-mode/rotateZ: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: rotateZ 3 | # key: rotateZ 4 | # -- 5 | rotateZ(${1:angle}); -------------------------------------------------------------------------------- /processing-mode/round: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: round 3 | # key: round 4 | # -- 5 | round(${1:value}); -------------------------------------------------------------------------------- /processing-mode/saveFrame: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: saveFrame 3 | # -- 4 | saveFrame(${2:"${1:filename-####.ext}"}); -------------------------------------------------------------------------------- /processing-mode/scale: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: scale 3 | # key: scale 4 | # -- 5 | scale(${1:x}, ${2:y}${4:, ${3:z}}); -------------------------------------------------------------------------------- /processing-mode/scale_SIZE: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: scale SIZE 3 | # key: scales 4 | # -- 5 | scale(${1:size}); -------------------------------------------------------------------------------- /processing-mode/screen_height: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: screen.height 3 | # key: screenh 4 | # -- 5 | screen.height -------------------------------------------------------------------------------- /processing-mode/screen_width: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: screen.width 3 | # key: screenw 4 | # -- 5 | screen.width -------------------------------------------------------------------------------- /processing-mode/second: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: second 3 | # key: sec 4 | # -- 5 | second() -------------------------------------------------------------------------------- /processing-mode/shininess: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: shininess 3 | # key: shininess 4 | # -- 5 | shininess(${1:shine}); -------------------------------------------------------------------------------- /processing-mode/shorten: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: shorten 3 | # key: shorten 4 | # -- 5 | shorten(${1:array}); -------------------------------------------------------------------------------- /processing-mode/sin: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sin 3 | # key: sin 4 | # -- 5 | sin(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/size: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: size 3 | # key: size 4 | # -- 5 | size(${1:512}, ${2:512}); -------------------------------------------------------------------------------- /processing-mode/smooth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: smooth 3 | # key: smooth 4 | # -- 5 | smooth(); -------------------------------------------------------------------------------- /processing-mode/sort: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sort 3 | # key: sort 4 | # -- 5 | sort(${1:dataArray}${3:, ${2:count}}); -------------------------------------------------------------------------------- /processing-mode/sphere: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sphere 3 | # key: sphere 4 | # -- 5 | sphere(${1:radius}); -------------------------------------------------------------------------------- /processing-mode/split: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: split 3 | # key: split 4 | # -- 5 | split(${3:str}, ${4:delimiter}); -------------------------------------------------------------------------------- /processing-mode/sq: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sq 3 | # key: sq 4 | # -- 5 | sq(${1:value}); -------------------------------------------------------------------------------- /processing-mode/sqrt: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: sqrt 3 | # key: sqrt 4 | # -- 5 | sqrt(${1:value}); -------------------------------------------------------------------------------- /processing-mode/status: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: status 3 | # key: status 4 | # -- 5 | status(${1:text}); -------------------------------------------------------------------------------- /processing-mode/str: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: str 3 | # key: str 4 | # -- 5 | str(${3:"${1:str}"}); -------------------------------------------------------------------------------- /processing-mode/strokeWeight: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: strokeWeight 3 | # -- 4 | strokeWeight(${1:1}); -------------------------------------------------------------------------------- /processing-mode/subset: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: subset 3 | # -- 4 | subset(${1:array}, ${2:offset}); -------------------------------------------------------------------------------- /processing-mode/switch: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: switch 3 | # -- 4 | switch ($1) { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /processing-mode/tan: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: tan 3 | # -- 4 | tan(${1:rad}); -------------------------------------------------------------------------------- /processing-mode/textAscent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: textAscent 3 | # -- 4 | textAscent(); -------------------------------------------------------------------------------- /processing-mode/textDescent: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: textDescent 3 | # -- 4 | textDescent(); -------------------------------------------------------------------------------- /processing-mode/textFont: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: textFont 3 | # -- 4 | textFont(${1:font}${7:, ${6:size}}); -------------------------------------------------------------------------------- /processing-mode/textLeading: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: textLeading 3 | # -- 4 | textLeading(${1:size}); -------------------------------------------------------------------------------- /processing-mode/textSize: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: textSize 3 | # -- 4 | textSize(${1:size}); -------------------------------------------------------------------------------- /processing-mode/textWidth: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: textWidth 3 | # -- 4 | textWidth(${1:data}); -------------------------------------------------------------------------------- /processing-mode/throw: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: throw 3 | # -- 4 | throw new Exception("${1:Name}"); -------------------------------------------------------------------------------- /processing-mode/translate: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: translate 3 | # -- 4 | translate(${1:x}, ${2:y}${4:, ${3:z}}); -------------------------------------------------------------------------------- /processing-mode/trim: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: trim 3 | # -- 4 | trim(${3:str}); -------------------------------------------------------------------------------- /processing-mode/try: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: try {...} 3 | # -- 4 | try { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /processing-mode/unbinary: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: unbinary 3 | # -- 4 | unbinary(${3:"${1:str}"}); -------------------------------------------------------------------------------- /processing-mode/unhex: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: unhex 3 | # -- 4 | unhex(${3:c}); -------------------------------------------------------------------------------- /processing-mode/updatePixels: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: updatePixels 3 | # -- 4 | updatePixels(); -------------------------------------------------------------------------------- /processing-mode/var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: var 3 | # -- 4 | ${1:String} ${2:str}${4: = ${3:value}; -------------------------------------------------------------------------------- /processing-mode/vertex: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: vertex 3 | # -- 4 | vertex(${1:x}, ${2:y}${5:, ${3:u}, ${4:v}}); -------------------------------------------------------------------------------- /processing-mode/while: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: while 3 | # -- 4 | while ($1) { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /processing-mode/year: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: year 3 | # key: yr 4 | # uuid: yr 5 | # -- 6 | year() -------------------------------------------------------------------------------- /prog-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | fundamental-mode 2 | -------------------------------------------------------------------------------- /python-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | prog-mode 2 | -------------------------------------------------------------------------------- /python-mode/all: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: all 3 | # -- 4 | __all__ = [ 5 | $0 6 | ] -------------------------------------------------------------------------------- /python-mode/assert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: assert 3 | # group: testing 4 | # -- 5 | assert $0 -------------------------------------------------------------------------------- /python-mode/doc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: doc 3 | # key: d 4 | # uuid: d 5 | # -- 6 | """$0 7 | """ -------------------------------------------------------------------------------- /python-mode/lambda: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: lambda 3 | # key: lam 4 | # uuid: lam 5 | # -- 6 | lambda ${1:x}: $0 -------------------------------------------------------------------------------- /python-mode/main: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: main 3 | # key: main 4 | # uuid: main 5 | # -- 6 | def main(): 7 | $0 -------------------------------------------------------------------------------- /python-mode/pass: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: pass 3 | # key: ps 4 | # uuid: ps 5 | # -- 6 | pass -------------------------------------------------------------------------------- /python-mode/print: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: print 3 | # key: p 4 | # uuid: p 5 | # -- 6 | print($0) -------------------------------------------------------------------------------- /python-mode/return: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: return 3 | # key: r 4 | # uuid: r 5 | # -- 6 | return $0 -------------------------------------------------------------------------------- /python-mode/size: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: size 3 | # key: size 4 | # uuid: size 5 | # -- 6 | sys.getsizeof($0) -------------------------------------------------------------------------------- /racket-mode/cond: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: (cond [... ...]...) 3 | # key: cond 4 | # -- 5 | (cond [${1:predicate} $0]) -------------------------------------------------------------------------------- /racket-mode/for: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: (for... (...) ...) 3 | # key: for 4 | # -- 5 | (for$1 (${2:for-clause}) $0) -------------------------------------------------------------------------------- /racket-mode/when: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: (when ...) 3 | # key: when 4 | # -- 5 | (when ${1:(${2:predicate})} $0) -------------------------------------------------------------------------------- /rjsx-mode/div: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name:
3 | # key: div 4 | # uuid: div 5 | # -- 6 |
${0:`%`}
-------------------------------------------------------------------------------- /rspec-mode/after: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: after do ... end 3 | # -- 4 | after$1 do 5 | $0 6 | end -------------------------------------------------------------------------------- /rspec-mode/before: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: before do ... end 3 | # -- 4 | before$1 do 5 | $0 6 | end -------------------------------------------------------------------------------- /rspec-mode/exp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: expect(...).to ... 3 | # uuid: exp 4 | # -- 5 | expect($1).to $0 -------------------------------------------------------------------------------- /rspec-mode/exp2: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: expect { ... }.to ... 3 | # uuid: exp2 4 | # -- 5 | expect { $1 }.to $0 -------------------------------------------------------------------------------- /rspec-mode/expect: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: expect(...).to ... 3 | # -- 4 | expect($1).to $0 -------------------------------------------------------------------------------- /rspec-mode/expect2: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: expect { ... }.to ... 3 | # -- 4 | expect { $1 }.to $0 -------------------------------------------------------------------------------- /rspec-mode/iexp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: is_expected.to ... 3 | # -- 4 | is_expected.to $0 -------------------------------------------------------------------------------- /rspec-mode/itiexp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: it { is_expected.to ... } 3 | # -- 4 | it { is_expected.to $0 } -------------------------------------------------------------------------------- /rspec-mode/its: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: it "does something" do ... end 3 | # -- 4 | its(:${1:property}) { $0 } 5 | -------------------------------------------------------------------------------- /rspec-mode/let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: let(:var) { ... } 3 | # -- 4 | let(:${1:var}) { $0 } -------------------------------------------------------------------------------- /rspec-mode/lett: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: let!(:var) { ... } 3 | # -- 4 | let!(:${1:var}) { $0 } -------------------------------------------------------------------------------- /rspec-mode/subject: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: subject(:${1:name} { ... }) 3 | # -- 4 | subject(:${1:name}) { $0 } -------------------------------------------------------------------------------- /rst-mode/autofunction: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: autofunction 3 | # -- 4 | .. autofunction:: $0 -------------------------------------------------------------------------------- /rst-mode/class: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: class 3 | # key: cls 4 | # uuid: cls 5 | # -- 6 | :class:\`$0\` -------------------------------------------------------------------------------- /rst-mode/code: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: code 3 | # key: code 4 | # uuid: code 5 | # -- 6 | .. code:: ${1:python} -------------------------------------------------------------------------------- /rst-mode/digraph: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: digraph 3 | # -- 4 | .. digraph:: $1 5 | 6 | $0 -------------------------------------------------------------------------------- /rst-mode/function: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: function 3 | # key: fun 4 | # uuid: fun 5 | # -- 6 | :function:\`$0\` -------------------------------------------------------------------------------- /rst-mode/graph: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: graph 3 | # -- 4 | .. graph:: $1 5 | 6 | $0 -------------------------------------------------------------------------------- /rst-mode/graphviz: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: graphviz 3 | # -- 4 | .. graphviz:: 5 | 6 | $0 -------------------------------------------------------------------------------- /rst-mode/meta: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: meta 3 | # key: : 4 | # uuid: : 5 | # -- 6 | :${1:var}: $0 -------------------------------------------------------------------------------- /rst-mode/module: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: module 3 | # key: mod 4 | # uuid: mod 5 | # -- 6 | :mod: \`$0\` -------------------------------------------------------------------------------- /rst-mode/term: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: term 3 | # key: term 4 | # uuid: term 5 | # -- 6 | :term:\`$0\` -------------------------------------------------------------------------------- /rst-mode/url: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: url 3 | # key: url 4 | # uuid: url 5 | # -- 6 | .. _${1:description}: $0 -------------------------------------------------------------------------------- /rst-mode/verbatim: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: verbatim 3 | # key: | 4 | # uuid: | 5 | # -- 6 | | $0 7 | | -------------------------------------------------------------------------------- /rst-mode/warning: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: warning 3 | # key: warn 4 | # uuid: warn 5 | # -- 6 | .. warning: 7 | $0 -------------------------------------------------------------------------------- /ruby-mode/GLOB: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: GLOB 3 | # key: $ 4 | # uuid: $ 5 | # -- 6 | $${1:GLOBAL} = $0 -------------------------------------------------------------------------------- /ruby-mode/all: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: all? { |...| ... } 3 | # group: collections 4 | # -- 5 | all? { |${e}| $0 } -------------------------------------------------------------------------------- /ruby-mode/any: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: any? { |...| ... } 3 | # group: collections 4 | # -- 5 | any? { |${e}| $0 } -------------------------------------------------------------------------------- /ruby-mode/attribute: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: attribute 3 | # key: @ 4 | # uuid: @ 5 | # -- 6 | @${1:attr} = $0 -------------------------------------------------------------------------------- /ruby-mode/bb: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: byebug 3 | # -- 4 | byebug -------------------------------------------------------------------------------- /ruby-mode/dee: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: deep_copy(...) 3 | # group: general 4 | # -- 5 | Marshal.load(Marshal.dump($0)) -------------------------------------------------------------------------------- /ruby-mode/det: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: detect { |...| ... } 3 | # group: collections 4 | # -- 5 | detect { |${e}| $0 } -------------------------------------------------------------------------------- /ruby-mode/ea: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: each { |...| ... } 3 | # group: collections 4 | # -- 5 | each { |${e}| $0 } -------------------------------------------------------------------------------- /ruby-mode/fb: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: find_by(column: value) 3 | # -- 4 | find_by(${column}: ${value}) -------------------------------------------------------------------------------- /ruby-mode/inc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: include Module 3 | # -- 4 | include ${1:Module} 5 | $0 -------------------------------------------------------------------------------- /ruby-mode/map: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: map { |...| ... } 3 | # -- 4 | map { |${e}| $0 } -------------------------------------------------------------------------------- /ruby-mode/now: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Time.zone.now 3 | # -- 4 | Time.zone.now -------------------------------------------------------------------------------- /ruby-mode/p: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: puts ... 3 | # uuid: p 4 | # -- 5 | puts $0 6 | -------------------------------------------------------------------------------- /ruby-mode/pry: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: binding.pry 3 | # -- 4 | require 'pry'; binding.pry 5 | -------------------------------------------------------------------------------- /ruby-mode/puts: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: puts ... 3 | # -- 4 | puts $0 5 | -------------------------------------------------------------------------------- /ruby-mode/r: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: attr_reader ... 3 | # group: definitions 4 | # -- 5 | attr_reader : -------------------------------------------------------------------------------- /ruby-mode/rb: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: /usr/bin/ruby -wU 3 | # -- 4 | #!/usr/bin/ruby -wU -------------------------------------------------------------------------------- /ruby-mode/rel: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: require_relative 3 | # group: general 4 | # -- 5 | require_relative '$0' -------------------------------------------------------------------------------- /ruby-mode/req: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: require "..." 3 | # group: general 4 | # -- 5 | require '$0' -------------------------------------------------------------------------------- /ruby-mode/rpry: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: binding.pry_remote 3 | # -- 4 | require 'pry-remote'; binding.remote_pry -------------------------------------------------------------------------------- /ruby-mode/rw: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: attr_accessor ... 3 | # group: definitions 4 | # -- 5 | attr_accessor : -------------------------------------------------------------------------------- /ruby-mode/str: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: str 3 | # key: s 4 | # uuid: s 5 | # -- 6 | #{$0} -------------------------------------------------------------------------------- /ruby-mode/tu: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: tu 3 | # key: tu 4 | # uuid: tu 5 | # -- 6 | require 'test/unit' -------------------------------------------------------------------------------- /ruby-mode/w: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: attr_writer ... 3 | # group: definitions 4 | # -- 5 | attr_writer : -------------------------------------------------------------------------------- /ruby-mode/wh: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: where(field: value) 3 | # -- 4 | where(${field}: ${value}) -------------------------------------------------------------------------------- /ruby-mode/y: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: :yields: arguments (rdoc) 3 | # group: general 4 | # -- 5 | :yields: $0 -------------------------------------------------------------------------------- /rust-mode/None: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: None 3 | # key: no 4 | # uuid: no 5 | # -- 6 | None -------------------------------------------------------------------------------- /rust-mode/Some: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Some(...) 3 | # key: so 4 | # uuid: so 5 | # -- 6 | Some(${1:`%`}) -------------------------------------------------------------------------------- /rust-mode/allow: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #[allow(lint)] 3 | # key: allow 4 | # -- 5 | #[allow(${1:lint})] -------------------------------------------------------------------------------- /rust-mode/allow!: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #![allow(lint)] 3 | # key: allow! 4 | # -- 5 | #![allow(${1:lint})] -------------------------------------------------------------------------------- /rust-mode/arrow: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: x => y 3 | # key: => 4 | # uuid: => 5 | # -- 6 | ${1:_} => ${0:...} -------------------------------------------------------------------------------- /rust-mode/assert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: assert!(...) 3 | # key: ass 4 | # uuid: ass 5 | # -- 6 | assert!(`%`$0); -------------------------------------------------------------------------------- /rust-mode/cfg: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #[cfg(...)] 3 | # -- 4 | #[cfg($0)] -------------------------------------------------------------------------------- /rust-mode/cfg=: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #[cfg(option = "value")] 3 | # -- 4 | #[cfg(${1:option} = "${2:value}")] -------------------------------------------------------------------------------- /rust-mode/env-args: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: env::args() 3 | # key: argv 4 | # uuid: argv 5 | # -- 6 | env::args() -------------------------------------------------------------------------------- /rust-mode/env-var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: env::var(...) 3 | # key: envv 4 | # uuid: envv 5 | # -- 6 | env::var("$1") -------------------------------------------------------------------------------- /rust-mode/ignore: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #[ignore] 3 | # key: ign 4 | # uuid: ign 5 | # -- 6 | #[ignore] -------------------------------------------------------------------------------- /rust-mode/impl: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: impl 3 | # -- 4 | impl ${1:name}${2: for ${3:Type}} { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /rust-mode/lifetime-static: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: 'static 3 | # key: 's 4 | # uuid: 's 5 | # -- 6 | 'static -------------------------------------------------------------------------------- /rust-mode/ret: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: return 3 | # key: ret 4 | # uuid: ret 5 | # -- 6 | return ${1:`%`};$0 -------------------------------------------------------------------------------- /rust-mode/vec: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: vec![...] 3 | # key: v 4 | # uuid: v 5 | # -- 6 | vec![${1:`%`}] -------------------------------------------------------------------------------- /rust-mode/warn: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #[warn(lint)] 3 | # key: warn 4 | # -- 5 | #[warn(${1:lint})] -------------------------------------------------------------------------------- /rust-mode/warn!: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: #![warn(lint)] 3 | # key: warn! 4 | # -- 5 | #![warn(${1:lint})] -------------------------------------------------------------------------------- /rustic-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | rust-mode 2 | -------------------------------------------------------------------------------- /scala-mode/List: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: List(...) 3 | # -- 4 | List(${1:args}) $0 -------------------------------------------------------------------------------- /scala-mode/case: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: case ... => ... 3 | # -- 4 | case ${1:_} => $0 -------------------------------------------------------------------------------- /scala-mode/cons: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: element1 :: element2 3 | # -- 4 | ${1:element1} :: ${2:element2} $0 -------------------------------------------------------------------------------- /scala-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if (...) { ... } 3 | # -- 4 | if (${1:condition}) { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /scala-mode/throw: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name : throw new Exception 3 | # -- 4 | throw new ${1:Exception}($2) $0 -------------------------------------------------------------------------------- /scss-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | css-mode -------------------------------------------------------------------------------- /scss-mode/abs: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: abs($number) 3 | # group: Number functions 4 | # -- 5 | abs(${1:$number}) -------------------------------------------------------------------------------- /scss-mode/alpha: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: alpha($color) 3 | # group: Opacity functions 4 | # -- 5 | alpha(${1:$color}) -------------------------------------------------------------------------------- /scss-mode/blue: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: blue($color) 3 | # group: RGB functions 4 | # -- 5 | blue(${1:color}) -------------------------------------------------------------------------------- /scss-mode/ceil: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ceil($number) 3 | # group: Number functions 4 | # -- 5 | ceil(${1:$number}) -------------------------------------------------------------------------------- /scss-mode/else: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: @else 3 | # -- 4 | @else { 5 | `%`$0 6 | } 7 | -------------------------------------------------------------------------------- /scss-mode/elseif: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: @elseif 3 | # -- 4 | @else if ${1:condition} { 5 | `%`$0 6 | } 7 | -------------------------------------------------------------------------------- /scss-mode/extend: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: @extend 3 | # -- 4 | @extend `(doom-snippets-text nil t)`$0; 5 | -------------------------------------------------------------------------------- /scss-mode/floor: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: floor($number) 3 | # group: Number functions 4 | # -- 5 | floor(${1:$number}) -------------------------------------------------------------------------------- /scss-mode/green: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: green($color) 3 | # group: RGB functions 4 | # -- 5 | green(${1:color}) -------------------------------------------------------------------------------- /scss-mode/hue: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: hue($color) 3 | # group: HSL functions 4 | # -- 5 | hue(${1:$color}) -------------------------------------------------------------------------------- /scss-mode/invert: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: invert($color) 3 | # group: HSL functions 4 | # -- 5 | invert(${1:$color}) -------------------------------------------------------------------------------- /scss-mode/length: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: length($list) 3 | # group: List functions 4 | # -- 5 | length(${1:$list}) -------------------------------------------------------------------------------- /scss-mode/map-keys: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: map-keys($map) 3 | # group: Map functions 4 | # -- 5 | map-keys(${1:$map}) -------------------------------------------------------------------------------- /scss-mode/quote: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: quote($string) 3 | # group: String functions 4 | # -- 5 | quote(${1:$string}) -------------------------------------------------------------------------------- /scss-mode/red: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: red($color) 3 | # group: RGB functions 4 | # -- 5 | red(${1:color}) -------------------------------------------------------------------------------- /scss-mode/round: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: round($number) 3 | # group: Number functions 4 | # -- 5 | round(${1:$number}) -------------------------------------------------------------------------------- /scss-mode/unique-id: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: unique-id() 3 | # group: Misc functions 4 | # -- 5 | unique-id() -------------------------------------------------------------------------------- /sh-mode/alias: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: alias 3 | # key: alias 4 | # uuid: alias 5 | # -- 6 | alias ${1:cmd}=$0 -------------------------------------------------------------------------------- /sh-mode/args: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: args 3 | # key: args 4 | # uuid: args 5 | # -- 6 | [ $# -lt ${1:2} ] -------------------------------------------------------------------------------- /sh-mode/else: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: else 3 | # key: else 4 | # uuid: else 5 | # -- 6 | else 7 | `%`$0 -------------------------------------------------------------------------------- /sh-mode/function: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: function 3 | # -- 4 | function ${1:name} { 5 | `%`$0 6 | } -------------------------------------------------------------------------------- /sh-mode/gt: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Greater than 3 | # key: > 4 | # uuid: > 5 | # -- 6 | "$1" -gt "$2" 7 | -------------------------------------------------------------------------------- /sh-mode/if: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: if 3 | # -- 4 | if $1; then 5 | `%`$0 6 | fi 7 | -------------------------------------------------------------------------------- /sh-mode/local: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: local var=value 3 | # -- 4 | local ${1:var}=${0:value} 5 | -------------------------------------------------------------------------------- /sh-mode/lt: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: Less than 3 | # key: < 4 | # uuid: < 5 | # -- 6 | "$1" -lt "$2" 7 | -------------------------------------------------------------------------------- /sh-mode/var: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: VAR=value 3 | # key: = 4 | # uuid: = 5 | # -- 6 | ${1:VAR}=${0:VALUE} -------------------------------------------------------------------------------- /slim-mode/desc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: meta name="description" 3 | # -- 4 | meta name="description" content="$0" -------------------------------------------------------------------------------- /slim-mode/js: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: javascript: ... 3 | # -- 4 | javascript: 5 | $0 6 | -------------------------------------------------------------------------------- /slim-mode/lidot: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: li ... 3 | # key: li. 4 | # uuid: li. 5 | # -- 6 | li 7 | `%`$0 8 | -------------------------------------------------------------------------------- /slim-mode/mkd: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: markdown 3 | # -- 4 | markdown: 5 | `%`$0 6 | -------------------------------------------------------------------------------- /slim-mode/oldot: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ol ... 3 | # key: ol. 4 | # uuid: ol. 5 | # -- 6 | ol 7 | `%`$0 8 | -------------------------------------------------------------------------------- /slim-mode/scriptsrc: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: script src="..." 3 | # -- 4 | script src="${1:lib.js}" -------------------------------------------------------------------------------- /slim-mode/uldot: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: ul ... 3 | # key: ul. 4 | # uuid: ul. 5 | # -- 6 | ul 7 | `%`$0 8 | -------------------------------------------------------------------------------- /snippet-mode/elisp: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: elisp 3 | # key: ` 4 | # uuid: ` 5 | # -- 6 | \`$0\` -------------------------------------------------------------------------------- /snippet-mode/group: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: group 3 | # key: group 4 | # uuid: group 5 | # -- 6 | # group : ${1:group} -------------------------------------------------------------------------------- /text-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | fundamental-mode 2 | -------------------------------------------------------------------------------- /typescript-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | js-mode -------------------------------------------------------------------------------- /typescript-mode/const: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: const 3 | # -- 4 | const ${1:name} = ${0:`%`}; -------------------------------------------------------------------------------- /typescript-mode/import: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: import ... 3 | # -- 4 | import ${1:`%`} from '$2'; -------------------------------------------------------------------------------- /typescript-mode/importas: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: import * as ... 3 | # -- 4 | import * as ${1:`%`} from '$2'; -------------------------------------------------------------------------------- /typescript-mode/let: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: let 3 | # -- 4 | let ${1:name} = ${0:`%`}; -------------------------------------------------------------------------------- /typescript-tsx-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | +web-react-mode 2 | typescript-mode 3 | rjsx-mode 4 | 5 | -------------------------------------------------------------------------------- /web-mode/.yas-parents: -------------------------------------------------------------------------------- 1 | html-mode -------------------------------------------------------------------------------- /web-mode/php: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: 3 | # -- 4 | -------------------------------------------------------------------------------- /yaml-mode/list: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: list 3 | # key: list 4 | # uuid: list 5 | # -- 6 | [$1] 7 | $0 -------------------------------------------------------------------------------- /yaml-mode/section: -------------------------------------------------------------------------------- 1 | # -*- mode: snippet -*- 2 | # name: section 3 | # key: -- 4 | # uuid: -- 5 | # -- 6 | --- # ${1:section} 7 | $0 --------------------------------------------------------------------------------