2012-04-30 15:24:30 -04:00
|
|
|
snippet lang
|
2013-07-25 17:17:32 -04:00
|
|
|
{-# LANGUAGE ${0:OverloadedStrings} #-}
|
2014-03-24 04:46:51 -04:00
|
|
|
snippet haddock
|
|
|
|
{-# OPTIONS_HADDOCK ${0:hide} #-}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet info
|
|
|
|
-- |
|
|
|
|
-- Module : ${1:Module.Namespace}
|
|
|
|
-- Copyright : ${2:Author} ${3:2011-2012}
|
|
|
|
-- License : ${4:BSD3}
|
|
|
|
--
|
|
|
|
-- Maintainer : ${5:email@something.com}
|
|
|
|
-- Stability : ${6:experimental}
|
|
|
|
-- Portability : ${7:unknown}
|
|
|
|
--
|
2013-07-25 17:17:32 -04:00
|
|
|
-- ${0:Description}
|
2012-04-30 15:24:30 -04:00
|
|
|
--
|
2014-10-31 08:43:46 -04:00
|
|
|
snippet imp
|
|
|
|
import ${0:Data.Text}
|
2012-05-02 12:31:05 -04:00
|
|
|
snippet import
|
2013-07-25 17:17:32 -04:00
|
|
|
import ${0:Data.Text}
|
2012-05-02 12:31:05 -04:00
|
|
|
snippet import2
|
2013-07-25 17:17:32 -04:00
|
|
|
import ${1:Data.Text} (${0:head})
|
2014-10-31 08:43:46 -04:00
|
|
|
snippet impq
|
|
|
|
import qualified ${1:Data.Text} as ${0:T}
|
2012-05-02 12:31:05 -04:00
|
|
|
snippet importq
|
2013-07-25 17:17:32 -04:00
|
|
|
import qualified ${1:Data.Text} as ${0:T}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet inst
|
|
|
|
instance ${1:Monoid} ${2:Type} where
|
2013-07-25 17:17:32 -04:00
|
|
|
${0}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet type
|
2013-07-25 17:17:32 -04:00
|
|
|
type ${1:Type} = ${0:Type}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet data
|
2013-07-25 17:17:32 -04:00
|
|
|
data ${1:Type} = ${2:$1} ${0:Int}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet newtype
|
2013-07-25 17:17:32 -04:00
|
|
|
newtype ${1:Type} = ${2:$1} ${0:Int}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet class
|
|
|
|
class ${1:Class} a where
|
2013-07-25 17:17:32 -04:00
|
|
|
${0}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet module
|
2012-04-30 16:59:15 -04:00
|
|
|
module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')` (
|
|
|
|
) where
|
|
|
|
`expand('%') =~ 'Main' ? "\n\nmain = do\n print \"hello world\"" : ""`
|
|
|
|
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet const
|
|
|
|
${1:name} :: ${2:a}
|
2013-07-25 17:17:32 -04:00
|
|
|
$1 = ${0:undefined}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet fn
|
|
|
|
${1:fn} :: ${2:a} -> ${3:a}
|
2013-07-25 17:17:32 -04:00
|
|
|
$1 ${4} = ${0:undefined}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet fn2
|
|
|
|
${1:fn} :: ${2:a} -> ${3:a} -> ${4:a}
|
2013-07-25 17:17:32 -04:00
|
|
|
$1 ${5} = ${0:undefined}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet ap
|
2013-07-25 17:17:32 -04:00
|
|
|
${1:map} ${2:fn} ${0:list}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet do
|
|
|
|
do
|
2013-06-20 17:39:31 -04:00
|
|
|
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet λ
|
2014-10-30 12:11:58 -04:00
|
|
|
\\${1:x} -> ${0:expression}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet \
|
2014-10-30 12:11:58 -04:00
|
|
|
\\${1:x} -> ${0:expression}
|
2014-10-28 12:13:17 -04:00
|
|
|
snippet (\
|
2014-10-30 12:11:58 -04:00
|
|
|
(\\${1:x} -> ${0:expression})
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet <-
|
2013-07-25 17:17:32 -04:00
|
|
|
${1:a} <- ${0:m a}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet ←
|
2013-07-25 17:17:32 -04:00
|
|
|
${1:a} <- ${0:m a}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet ->
|
2013-07-25 17:17:32 -04:00
|
|
|
${1:m a} -> ${0:a}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet →
|
2013-07-25 17:17:32 -04:00
|
|
|
${1:m a} -> ${0:a}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet tup
|
2013-07-25 17:17:32 -04:00
|
|
|
(${1:a}, ${0:b})
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet tup2
|
2013-07-25 17:17:32 -04:00
|
|
|
(${1:a}, ${2:b}, ${0:c})
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet tup3
|
2013-07-25 17:17:32 -04:00
|
|
|
(${1:a}, ${2:b}, ${3:c}, ${0:d})
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet rec
|
|
|
|
${1:Record} { ${2:recFieldA} = ${3:undefined}
|
2013-07-25 17:17:32 -04:00
|
|
|
, ${4:recFieldB} = ${0:undefined}
|
2012-04-30 15:24:30 -04:00
|
|
|
}
|
|
|
|
snippet case
|
|
|
|
case ${1:something} of
|
2013-07-25 17:17:32 -04:00
|
|
|
${2} -> ${0}
|
2012-04-30 15:24:30 -04:00
|
|
|
snippet let
|
|
|
|
let ${1} = ${2}
|
|
|
|
in ${3}
|
|
|
|
snippet where
|
|
|
|
where
|
2013-07-25 17:17:32 -04:00
|
|
|
${1:fn} = ${0:undefined}
|