about summary refs log tree commit diff
path: root/users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property
diff options
context:
space:
mode:
authorVincent Ambo <mail@tazj.in>2020-06-16T00·06+0100
committerVincent Ambo <mail@tazj.in>2020-06-16T00·06+0100
commit4fe4e3d9a297ff9c8aa77e1a196a96b65ecd99ae (patch)
tree54455b0cd36e58fd745ce0b6d38101b7a902ce4b /users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property
parent2edb963b97867b27f68efac8d05bf966077b0b01 (diff)
parent69ee53bffaf145eb86dd39a6cdc0ae4d9d3de45c (diff)
Add 'users/glittershark/emacs.d/' from commit '69ee53bffaf145eb86dd39a6cdc0ae4d9d3de45c' r/979
git-subtree-dir: users/glittershark/emacs.d
git-subtree-mainline: 2edb963b97867b27f68efac8d05bf966077b0b01
git-subtree-split: 69ee53bffaf145eb86dd39a6cdc0ae4d9d3de45c
Diffstat (limited to 'users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property')
-rw-r--r--users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property9
1 files changed, 9 insertions, 0 deletions
diff --git a/users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property b/users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property
new file mode 100644
index 000000000000..bf39a2a3eecb
--- /dev/null
+++ b/users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property
@@ -0,0 +1,9 @@
+# -*- 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