2012-08-16 23:41:25 -04:00
|
|
|
snippet lang
|
2013-11-16 14:45:48 -05:00
|
|
|
{-# LANGUAGE ${0:OverloadedStrings} #-}
|
2014-04-18 08:58:02 -04:00
|
|
|
snippet haddock
|
|
|
|
{-# OPTIONS_HADDOCK ${0:hide} #-}
|
2015-12-08 08:20:04 -05:00
|
|
|
snippet ghc
|
|
|
|
{-# OPTIONS_GHC ${0:-fno-warn-unused-imports} #-}
|
2015-01-18 07:58:28 -05:00
|
|
|
snippet inline
|
|
|
|
{-# INLINE ${0:name} #-}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet info
|
|
|
|
-- |
|
2015-12-08 08:20:04 -05:00
|
|
|
-- Module : ${1:`substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')`}
|
2012-08-16 23:41:25 -04:00
|
|
|
-- Copyright : ${2:Author} ${3:2011-2012}
|
|
|
|
-- License : ${4:BSD3}
|
|
|
|
--
|
|
|
|
-- Maintainer : ${5:email@something.com}
|
|
|
|
-- Stability : ${6:experimental}
|
|
|
|
-- Portability : ${7:unknown}
|
|
|
|
--
|
2013-11-16 14:45:48 -05:00
|
|
|
-- ${0:Description}
|
2012-08-16 23:41:25 -04:00
|
|
|
--
|
2014-10-31 17:30:24 -04:00
|
|
|
snippet imp
|
|
|
|
import ${0:Data.Text}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet import
|
2020-04-25 21:56:16 -04:00
|
|
|
import ${0:Data.Text}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet import2
|
2020-04-25 21:56:16 -04:00
|
|
|
import ${1:Data.Text} (${0:head})
|
2014-10-31 17:30:24 -04:00
|
|
|
snippet impq
|
|
|
|
import qualified ${1:Data.Text} as ${0:T}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet importq
|
2013-11-16 14:45:48 -05:00
|
|
|
import qualified ${1:Data.Text} as ${0:T}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet inst
|
|
|
|
instance ${1:Monoid} ${2:Type} where
|
2013-11-16 14:45:48 -05:00
|
|
|
${0}
|
2017-11-24 08:54:40 -05:00
|
|
|
snippet ty
|
|
|
|
type ${1:Type} = ${0:Type}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet type
|
2013-11-16 14:45:48 -05:00
|
|
|
type ${1:Type} = ${0:Type}
|
2017-11-24 08:54:40 -05:00
|
|
|
snippet da
|
|
|
|
data ${1:Type} = ${2:$1} ${0:Int}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet data
|
2013-11-16 14:45:48 -05:00
|
|
|
data ${1:Type} = ${2:$1} ${0:Int}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet newtype
|
2013-11-16 14:45:48 -05:00
|
|
|
newtype ${1:Type} = ${2:$1} ${0:Int}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet class
|
|
|
|
class ${1:Class} a where
|
2013-11-16 14:45:48 -05:00
|
|
|
${0}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet module
|
|
|
|
module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')` (
|
2015-12-08 08:20:04 -05:00
|
|
|
) where
|
|
|
|
`expand('%') =~ 'Main' ? "\nmain :: IO ()\nmain = undefined" : ""`
|
2012-08-16 23:41:25 -04:00
|
|
|
|
2018-02-04 06:35:08 -05:00
|
|
|
snippet mod
|
|
|
|
module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')`
|
|
|
|
( ${1}
|
|
|
|
) where
|
|
|
|
|
|
|
|
`expand('%') =~ 'Main' ? "\nmain :: IO ()\nmain = undefined" : ""`
|
2015-12-08 08:20:04 -05:00
|
|
|
snippet main
|
|
|
|
main :: IO ()
|
|
|
|
main = ${0:undefined}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet const
|
|
|
|
${1:name} :: ${2:a}
|
2013-11-16 14:45:48 -05:00
|
|
|
$1 = ${0:undefined}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet fn
|
|
|
|
${1:fn} :: ${2:a} -> ${3:a}
|
2013-11-16 14:45:48 -05:00
|
|
|
$1 ${4} = ${0:undefined}
|
2017-11-24 08:54:40 -05:00
|
|
|
snippet fn0
|
|
|
|
${1:fn} :: ${2:a}
|
|
|
|
$1 = ${0:undefined}
|
|
|
|
snippet fn1
|
|
|
|
${1:fn} :: ${2:a} -> ${3:a}
|
|
|
|
$1 ${4} = ${0:undefined}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet fn2
|
|
|
|
${1:fn} :: ${2:a} -> ${3:a} -> ${4:a}
|
2013-11-16 14:45:48 -05:00
|
|
|
$1 ${5} = ${0:undefined}
|
2015-12-08 08:20:04 -05:00
|
|
|
snippet fn3
|
|
|
|
${1:fn} :: ${2:a} -> ${3:a} -> ${4:a} -> ${5:a}
|
|
|
|
$1 ${6} = ${0:undefined}
|
|
|
|
snippet => "Type constraint"
|
|
|
|
(${1:Class} ${2:a}) => $2
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet ap
|
2013-11-16 14:45:48 -05:00
|
|
|
${1:map} ${2:fn} ${0:list}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet \
|
2014-10-31 17:30:24 -04:00
|
|
|
\\${1:x} -> ${0:expression}
|
|
|
|
snippet (\
|
|
|
|
(\\${1:x} -> ${0:expression})
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet <-
|
2013-11-16 14:45:48 -05:00
|
|
|
${1:a} <- ${0:m a}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet ->
|
2013-11-16 14:45:48 -05:00
|
|
|
${1:m a} -> ${0:a}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet tup
|
2013-11-16 14:45:48 -05:00
|
|
|
(${1:a}, ${0:b})
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet tup2
|
2013-11-16 14:45:48 -05:00
|
|
|
(${1:a}, ${2:b}, ${0:c})
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet tup3
|
2013-11-16 14:45:48 -05:00
|
|
|
(${1:a}, ${2:b}, ${3:c}, ${0:d})
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet rec
|
|
|
|
${1:Record} { ${2:recFieldA} = ${3:undefined}
|
2013-11-16 14:45:48 -05:00
|
|
|
, ${4:recFieldB} = ${0:undefined}
|
2012-08-16 23:41:25 -04:00
|
|
|
}
|
|
|
|
snippet case
|
|
|
|
case ${1:something} of
|
2013-11-16 14:45:48 -05:00
|
|
|
${2} -> ${0}
|
2012-08-16 23:41:25 -04:00
|
|
|
snippet let
|
|
|
|
let ${1} = ${2}
|
|
|
|
in ${3}
|
|
|
|
snippet where
|
|
|
|
where
|
2013-11-16 14:45:48 -05:00
|
|
|
${1:fn} = ${0:undefined}
|
2015-12-08 08:20:04 -05:00
|
|
|
snippet spec
|
|
|
|
module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')` (main, spec) where
|
|
|
|
|
|
|
|
import Test.Hspec
|
|
|
|
import Test.QuickCheck
|
|
|
|
|
|
|
|
main :: IO ()
|
|
|
|
main = hspec spec
|
|
|
|
|
|
|
|
spec :: Spec
|
|
|
|
spec =
|
|
|
|
describe "${1}" $ do
|
2017-09-02 06:43:18 -04:00
|
|
|
it "${2}" $
|
|
|
|
$0
|
|
|
|
snippet specf
|
|
|
|
module `substitute(substitute(expand('%:r'), '[/\\]','.','g'),'^\%(\l*\.\)\?','','')` (main, spec) where
|
|
|
|
|
|
|
|
import Test.Hspec
|
|
|
|
import Test.Hspec.Runner (configFastFail, defaultConfig, hspecWith)
|
|
|
|
|
|
|
|
main :: IO ()
|
|
|
|
main = hspecWith defaultConfig {configFastFail = True} spec
|
|
|
|
|
|
|
|
spec :: Spec
|
|
|
|
spec =
|
|
|
|
describe "${1}" $ do
|
|
|
|
it "${2}" $
|
|
|
|
$0
|
2015-12-08 08:20:04 -05:00
|
|
|
snippet desc
|
|
|
|
describe "${1}" $ do
|
|
|
|
$0
|
|
|
|
snippet it
|
|
|
|
it "${1}" $
|
|
|
|
$0
|
|
|
|
snippet itp
|
|
|
|
it "${1}" $ property $
|
|
|
|
$0
|
2017-09-02 06:43:18 -04:00
|
|
|
snippet sb
|
|
|
|
\`shouldBe\` $0
|
2017-11-24 08:54:40 -05:00
|
|
|
snippet doc
|
|
|
|
{-| ${0}
|
|
|
|
-}
|