mirror of
https://github.com/SpaceVim/SpaceVim.git
synced 2025-04-02 01:30:28 +08:00
68 lines
2.5 KiB
VimL
68 lines
2.5 KiB
VimL
"=============================================================================
|
|
" agda.vim --- lang#agda layer for SpaceVim
|
|
" Copyright (c) 2016-2019 Wang Shidong & Contributors
|
|
" Author: Wang Shidong < wsdjeg at 163.com >
|
|
" URL: https://spacevim.org
|
|
" License: GPLv3
|
|
"=============================================================================
|
|
|
|
|
|
function! SpaceVim#layers#lang#agda#plugins() abort
|
|
let plugins = []
|
|
call add(plugins, ['wsdjeg/vim-agda', {'merged' : 0}])
|
|
return plugins
|
|
endfunction
|
|
|
|
function! SpaceVim#layers#lang#agda#config() abort
|
|
call SpaceVim#mapping#space#regesit_lang_mappings('agda', function('s:language_specified_mappings'))
|
|
endfunction
|
|
|
|
function! s:language_specified_mappings() abort
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','r'],
|
|
\ 'call SpaceVim#plugins#runner#open()',
|
|
\ 'execute current file', 1)
|
|
" let g:_spacevim_mappings_space.l.g = {'name' : '+Generate'}
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','l'],
|
|
\ 'Reload',
|
|
\ 'reload', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','t'],
|
|
\ 'call Infer()',
|
|
\ 'infer', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','f'],
|
|
\ 'call Refine("False")',
|
|
\ 'refine false', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','F'],
|
|
\ 'call Refine("True")',
|
|
\ 'refine true', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','g'],
|
|
\ 'call Give()',
|
|
\ 'give', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','c'],
|
|
\ 'call MakeCase()',
|
|
\ 'MakeCase', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','a'],
|
|
\ 'call Auto()',
|
|
\ 'Auto', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','e'],
|
|
\ 'call Context()',
|
|
\ 'Context', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','n'],
|
|
\ 'call Normalize("IgnoreAbstract")',
|
|
\ 'Normalize IgnoreAbstract', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','N'],
|
|
\ 'call Normalize("DefaultCompute")',
|
|
\ 'Normalize DefaultCompute', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','M'],
|
|
\ 'call ShowModule("")',
|
|
\ 'Show module', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','y'],
|
|
\ 'call WhyInScope("")',
|
|
\ 'Why in scope', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','h'],
|
|
\ 'call HelperFunction()',
|
|
\ 'HelperFunction', 1)
|
|
call SpaceVim#mapping#space#langSPC('nmap', ['l','m'],
|
|
\ 'Metas',
|
|
\ 'Metas', 1)
|
|
endfunction
|