diff options
author | Aspen Smith <grfn@gws.fyi> | 2024-02-12T03·00-0500 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-02-14T19·37+0000 |
commit | 82ecd61f5c699cf3af6c4eadf47a1c52b1d696c6 (patch) | |
tree | 429c5e078528000591742ec3211bc768ae913a78 /users/grfn/emacs.d/snippets/haskell-mode | |
parent | 0ba476a4266015f278f18d74094299de74a5a111 (diff) |
chore(users): grfn -> aspen r/7511
Change-Id: I6c6847fac56f0a9a1a2209792e00a3aec5e672b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10809 Autosubmit: aspen <root@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
Diffstat (limited to 'users/grfn/emacs.d/snippets/haskell-mode')
16 files changed, 0 insertions, 169 deletions
diff --git a/users/grfn/emacs.d/snippets/haskell-mode/annotation b/users/grfn/emacs.d/snippets/haskell-mode/annotation deleted file mode 100644 index 8a2854d759df..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/annotation +++ /dev/null @@ -1,5 +0,0 @@ -# key: ann -# name: annotation -# expand-env: ((yas-indent-line 'fixed)) -# -- -{-# ANN ${1:module} ("${2:HLint: ignore ${3:Reduce duplication}}" :: String) #-} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/benchmark-module b/users/grfn/emacs.d/snippets/haskell-mode/benchmark-module deleted file mode 100644 index cbb1646e41d1..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/benchmark-module +++ /dev/null @@ -1,26 +0,0 @@ -# key: bench -# name: benchmark-module -# expand-env: ((yas-indent-line (quote fixed))) -# -- --------------------------------------------------------------------------------- -module ${1:`(if (not buffer-file-name) "Module" - (let ((name (file-name-sans-extension (buffer-file-name))) - (case-fold-search nil)) - (if (cl-search "bench/" name) - (replace-regexp-in-string "/" "." - (replace-regexp-in-string "^\/[^A-Z]*" "" - (car (last (split-string name "src"))))) - (file-name-nondirectory name))))`} ( benchmark, main ) where --------------------------------------------------------------------------------- -import Bench.Prelude --------------------------------------------------------------------------------- -import ${1:$(s-chop-suffix "Bench" yas-text)} --------------------------------------------------------------------------------- - -main :: IO () -main = defaultMain [benchmark] - --------------------------------------------------------------------------------- - -benchmark :: Benchmark -benchmark = bgroup "${1:$(->> yas-text (s-chop-suffix "Bench") (s-split ".") -last-item)}" [bench "something dumb" $ nf (1 +) (1 :: Int)] diff --git a/users/grfn/emacs.d/snippets/haskell-mode/header b/users/grfn/emacs.d/snippets/haskell-mode/header deleted file mode 100644 index fdd8250d86ca..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/header +++ /dev/null @@ -1,5 +0,0 @@ -# key: hh -# name: header -# expand-env: ((yas-indent-line 'fixed)) -# -- ---------------------------------------------------------------------------------$2 \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-generator b/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-generator deleted file mode 100644 index 68863f70542b..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-generator +++ /dev/null @@ -1,8 +0,0 @@ -# key: gen -# name: Hedgehog Generator -# expand-env: ((yas-indent-line (quote fixed))) -# -- -gen${1:Foo} :: Gen $1 -gen$1 = do - $2 - pure $1{..} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property b/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property deleted file mode 100644 index bf39a2a3eecb..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property +++ /dev/null @@ -1,9 +0,0 @@ -# -*- mode: snippet -*- -# name: Hedgehog Property -# key: hprop -# expand-env: ((yas-indent-line 'fixed)) -# -- -hprop_${1:somethingIsAlwaysTrue} :: Property -hprop_$1 = property $ do - ${2:x} <- forAll ${3:Gen.int $ Range.linear 1 100} - ${4:x === x} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/hlint b/users/grfn/emacs.d/snippets/haskell-mode/hlint deleted file mode 100644 index f25a9b8d409e..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/hlint +++ /dev/null @@ -1,8 +0,0 @@ -# -*- mode: snippet -*- -# name: hlint -# uuid: hlint -# expand-env: ((yas-indent-line 'fixed)) -# key: hlint -# condition: t -# -- -{-# ANN module ("Hlint: ignore $1" :: String) #- } \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/import-i b/users/grfn/emacs.d/snippets/haskell-mode/import-i deleted file mode 100644 index 4a7fca2c2fd6..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/import-i +++ /dev/null @@ -1,4 +0,0 @@ -# key: i -# name: import-i -# -- -import ${1:Prelude} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/inl b/users/grfn/emacs.d/snippets/haskell-mode/inl deleted file mode 100644 index 6e17b83d7114..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/inl +++ /dev/null @@ -1,6 +0,0 @@ -# -*- mode: snippet -*- -# name: inl -# key: inl -# expand-env: ((yas-indent-line 'fixed)) -# -- -{-# INLINE $1 #-} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/inline b/users/grfn/emacs.d/snippets/haskell-mode/inline deleted file mode 100644 index 1beafbe50b56..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/inline +++ /dev/null @@ -1,5 +0,0 @@ -# key: inline -# name: inline -# expand-env: ((yas-indent-line 'fixed)) -# -- -{-# INLINE $1 #-} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/language pragma b/users/grfn/emacs.d/snippets/haskell-mode/language pragma deleted file mode 100644 index 6f84720f4511..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/language pragma +++ /dev/null @@ -1,6 +0,0 @@ -# -*- mode: snippet -*- -# name: language pragma -# key: lang -# expand-env: ((yas-indent-line 'fixed)) -# -- -{-# LANGUAGE $1 #-} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/lens.field b/users/grfn/emacs.d/snippets/haskell-mode/lens.field deleted file mode 100644 index b22ea3d2e888..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/lens.field +++ /dev/null @@ -1,7 +0,0 @@ -# -*- mode: snippet -*- -# name: lens.field -# key: lens -# expand-env: ((yas-indent-line 'fixed)) -# -- -${1:field} :: Lens' ${2:Source} ${3:Target} -$1 = lens _${4:sourceField} $ \\${2:$(-> yas-text s-word-initials s-downcase)} ${4:$(-> yas-text s-word-initials s-downcase)} -> ${2:$(-> yas-text s-word-initials s-downcase)} { _$4 = ${4:$(-> yas-text s-word-initials s-downcase)} } \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/module b/users/grfn/emacs.d/snippets/haskell-mode/module deleted file mode 100644 index 4554d33f9ba7..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/module +++ /dev/null @@ -1,32 +0,0 @@ -# -*- mode: snippet -*- -# key: module -# name: module -# condition: (= (length "module") (current-column)) -# expand-env: ((yas-indent-line 'fixed)) -# contributor: Luke Hoersten <luke@hoersten.org> -# -- --------------------------------------------------------------------------------- --- | --- Module : $1 --- Description : $2 --- Maintainer : Griffin Smith <grfn@urbint.com> --- Maturity : ${3:Draft, Usable, Maintained, OR MatureAF} --- --- $4 --------------------------------------------------------------------------------- -module ${1:`(if (not buffer-file-name) "Module" - (let ((name (file-name-sans-extension (buffer-file-name))) - (case-fold-search nil)) - (if (or (cl-search "src/" name) - (cl-search "test/" name)) - (replace-regexp-in-string "/" "." - (replace-regexp-in-string "^\/[^A-Z]*" "" - (car (last (split-string name "src"))))) - (file-name-nondirectory name))))`} - ( - ) where --------------------------------------------------------------------------------- -import Prelude --------------------------------------------------------------------------------- - -$0 diff --git a/users/grfn/emacs.d/snippets/haskell-mode/shut up, hlint b/users/grfn/emacs.d/snippets/haskell-mode/shut up, hlint deleted file mode 100644 index fccff1d66f29..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/shut up, hlint +++ /dev/null @@ -1,6 +0,0 @@ -# -*- mode: snippet -*- -# name: shut up, hlint -# key: dupl -# expand-env: ((yas-indent-line 'fixed)) -# -- -{-# ANN module ("HLint: ignore Reduce duplication" :: String) #-} \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/test-group b/users/grfn/emacs.d/snippets/haskell-mode/test-group deleted file mode 100644 index bf6a66f8a34f..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/test-group +++ /dev/null @@ -1,9 +0,0 @@ -# -*- mode: snippet -*- -# name: test-group -# uuid: test-group -# key: testGroup -# condition: t -# -- -testGroup "${1:name}" -[ $0 -] \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/test-module b/users/grfn/emacs.d/snippets/haskell-mode/test-module deleted file mode 100644 index 036b0ae9983a..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/test-module +++ /dev/null @@ -1,27 +0,0 @@ -# -*- mode: snippet -*- -# name: test-module -# key: test -# expand-env: ((yas-indent-line 'fixed)) -# -- --------------------------------------------------------------------------------- -module ${1:`(if (not buffer-file-name) "Module" - (let ((name (file-name-sans-extension (buffer-file-name))) - (case-fold-search nil)) - (if (cl-search "test/" name) - (replace-regexp-in-string "/" "." - (replace-regexp-in-string "^\/[^A-Z]*" "" - (car (last (split-string name "src"))))) - (file-name-nondirectory name))))`} (main, test) where --------------------------------------------------------------------------------- -import Test.Prelude --------------------------------------------------------------------------------- -import ${1:$(s-chop-suffix "Spec" yas-text)} --------------------------------------------------------------------------------- - -main :: IO () -main = defaultMain test - -test :: TestTree -test = testGroup "$1" - [ $0 - ] \ No newline at end of file diff --git a/users/grfn/emacs.d/snippets/haskell-mode/undefined b/users/grfn/emacs.d/snippets/haskell-mode/undefined deleted file mode 100644 index 7bcd99b5716c..000000000000 --- a/users/grfn/emacs.d/snippets/haskell-mode/undefined +++ /dev/null @@ -1,6 +0,0 @@ -# -*- mode: snippet -*- -# name: undefined -# key: u -# expand-env: ((yas-indent-line 'fixed) (yas-wrap-around-region 'nil)) -# -- -undefined$1 \ No newline at end of file |