about summary refs log tree commit diff
path: root/users/grfn/emacs.d/snippets/haskell-mode
diff options
context:
space:
mode:
authorAspen Smith <grfn@gws.fyi>2024-02-12T03·00-0500
committerclbot <clbot@tvl.fyi>2024-02-14T19·37+0000
commit82ecd61f5c699cf3af6c4eadf47a1c52b1d696c6 (patch)
tree429c5e078528000591742ec3211bc768ae913a78 /users/grfn/emacs.d/snippets/haskell-mode
parent0ba476a4266015f278f18d74094299de74a5a111 (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')
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/annotation5
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/benchmark-module26
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/header5
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/hedgehog-generator8
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property9
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/hlint8
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/import-i4
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/inl6
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/inline5
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/language pragma6
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/lens.field7
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/module32
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/shut up, hlint6
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/test-group9
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/test-module27
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/undefined6
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