2014-07-21 00:19:52 +02:00
|
|
|
# http://haskell.org
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
# Detection
|
|
|
|
# ‾‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
hook global BufCreate .*[.](hs) %{
|
|
|
|
set buffer filetype haskell
|
|
|
|
}
|
|
|
|
|
|
|
|
# Highlighters
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2017-01-04 01:07:45 +01:00
|
|
|
add-highlighter -group / regions -default code haskell \
|
2017-02-21 21:26:05 +01:00
|
|
|
string '"' (?<!\\)(\\\\)*" '' \
|
|
|
|
comment (--[^>]) $ '' \
|
|
|
|
comment \{- -\} \{- \
|
|
|
|
macro ^\h*?\K# (?<!\\)\n ''
|
2014-07-21 00:19:52 +02:00
|
|
|
|
2017-01-04 01:07:45 +01:00
|
|
|
add-highlighter -group /haskell/string fill string
|
|
|
|
add-highlighter -group /haskell/comment fill comment
|
|
|
|
add-highlighter -group /haskell/macro fill meta
|
2014-07-21 00:19:52 +02:00
|
|
|
|
2017-01-04 01:07:45 +01:00
|
|
|
add-highlighter -group /haskell/code regex \b(import)\b 0:meta
|
|
|
|
add-highlighter -group /haskell/code regex \b(True|False)\b 0:value
|
|
|
|
add-highlighter -group /haskell/code regex \b(as|case|class|data|default|deriving|do|else|hiding|if|in|infix|infixl|infixr|instance|let|module|newtype|of|qualified|then|type|where)\b 0:keyword
|
|
|
|
add-highlighter -group /haskell/code regex \b(Int|Integer|Char|Bool|Float|Double|IO|Void|Addr|Array|String)\b 0:type
|
2014-07-21 00:19:52 +02:00
|
|
|
|
|
|
|
# Commands
|
|
|
|
# ‾‾‾‾‾‾‾‾
|
|
|
|
|
|
|
|
# http://en.wikibooks.org/wiki/Haskell/Indentation
|
|
|
|
|
2017-01-13 01:56:30 +01:00
|
|
|
def -hidden haskell-filter-around-selections %{
|
2015-11-04 10:48:47 +01:00
|
|
|
# remove trailing white spaces
|
|
|
|
try %{ exec -draft -itersel <a-x> s \h+$ <ret> d }
|
2014-07-21 00:19:52 +02:00
|
|
|
}
|
|
|
|
|
2017-01-13 01:56:30 +01:00
|
|
|
def -hidden haskell-indent-on-new-line %{
|
2014-07-21 00:19:52 +02:00
|
|
|
eval -draft -itersel %{
|
2017-01-11 14:56:48 +01:00
|
|
|
# copy -- comments prefix and following white spaces
|
2017-01-13 01:50:03 +01:00
|
|
|
try %{ exec -draft k <a-x> s ^\h*\K--\h* <ret> y gh j P }
|
2014-07-21 00:19:52 +02:00
|
|
|
# preserve previous line indent
|
2017-01-13 01:50:03 +01:00
|
|
|
try %{ exec -draft \; K <a-&> }
|
2014-07-21 00:19:52 +02:00
|
|
|
# align to first clause
|
2017-01-13 01:50:03 +01:00
|
|
|
try %{ exec -draft \; k x X s ^\h*(if|then|else)?\h*(([\w']+\h+)+=)?\h*(case\h+[\w']+\h+of|do|let|where)\h+\K.* <ret> s \`|.\' <ret> & }
|
2014-07-21 00:19:52 +02:00
|
|
|
# filter previous line
|
2017-01-13 01:56:30 +01:00
|
|
|
try %{ exec -draft k : haskell-filter-around-selections <ret> }
|
2014-07-21 00:19:52 +02:00
|
|
|
# indent after lines beginning with condition or ending with expression or =(
|
2017-01-13 01:50:03 +01:00
|
|
|
try %{ exec -draft \; k x <a-k> ^\h*(if)|(case\h+[\w']+\h+of|do|let|where|[=(])$ <ret> j <a-gt> }
|
2014-07-21 00:19:52 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
# Initialization
|
|
|
|
# ‾‾‾‾‾‾‾‾‾‾‾‾‾‾
|
|
|
|
|
2017-01-04 01:07:45 +01:00
|
|
|
hook -group haskell-highlight global WinSetOption filetype=haskell %{ add-highlighter ref haskell }
|
2014-07-21 00:19:52 +02:00
|
|
|
|
2016-09-25 15:15:07 +02:00
|
|
|
hook global WinSetOption filetype=haskell %{
|
2017-01-29 17:10:48 +01:00
|
|
|
set buffer completion_extra_word_char "'"
|
2017-01-13 01:56:30 +01:00
|
|
|
hook window InsertEnd .* -group haskell-hooks haskell-filter-around-selections
|
|
|
|
hook window InsertChar \n -group haskell-indent haskell-indent-on-new-line
|
2014-07-21 00:19:52 +02:00
|
|
|
}
|
|
|
|
|
2017-01-04 01:07:45 +01:00
|
|
|
hook -group haskell-highlight global WinSetOption filetype=(?!haskell).* %{ remove-highlighter haskell }
|
2016-09-28 08:45:01 +02:00
|
|
|
|
2014-07-21 00:19:52 +02:00
|
|
|
hook global WinSetOption filetype=(?!haskell).* %{
|
2017-01-04 01:07:45 +01:00
|
|
|
remove-hooks window haskell-indent
|
|
|
|
remove-hooks window haskell-hooks
|
2014-07-21 00:19:52 +02:00
|
|
|
}
|