purescript-unicode.vim

" turn all symbols into unicode or back

autocmd FileType purescript map <buffer> <silent> <leader>hu  :%s/ => / ⇒ /ge<CR>:%s/ -> / → /ge<CR>:%s/ <- / ← /ge<CR>:%s/ :: / ∷ /ge<CR>:%s/ <= / ⇐ /ge<CR>:%s/ forall / ∀ /ge<CR>
autocmd FileType purescript map <buffer> <silent> <leader>hU  :%s/⇒/=>/ge<CR>:%s/→/->/ge<CR>:%s/←/<-/ge<CR>:%s/∷/::/ge<CR>:%s/⇐/<=/ge<CR>:%s/∀/forall/ge<CR>

" convert symbols while typing

autocmd FileType purescript iab forall ∀
autocmd FileType purescript iab -> →
autocmd FileType purescript iab <- ←
autocmd FileType purescript iab => ⇒
autocmd FileType purescript iab <= ⇐
autocmd FileType purescript iab :: ∷

" these greek letters mapping is probably an overkill ;-)

autocmd FileType purescript iab alpha α
autocmd FileType purescript iab beta β
autocmd FileType purescript iab gama γ
autocmd FileType purescript iab delta δ
autocmd FileType purescript iab epsilon ε
autocmd FileType purescript iab lambda λ
autocmd FileType purescript iab mu μ
autocmd FileType purescript iab sigma σ

" enable line searching for unicode chars

autocmd FileType purescript map f:: f∷
autocmd FileType purescript map t:: t∷
autocmd FileType purescript map F:: F∷
autocmd FileType purescript map T:: T∷

autocmd FileType purescript map f-> f→
autocmd FileType purescript map t-> t→
autocmd FileType purescript map F-> F→
autocmd FileType purescript map T-> T→

autocmd FileType purescript map f=> f⇒
autocmd FileType purescript map t=> t⇒
autocmd FileType purescript map F=> F⇒
autocmd FileType purescript map T=> T⇒