about summary refs log tree commit diff
path: root/users/aspen/emacs/snippets/haskell-mode/hedgehog-property
diff options
context:
space:
mode:
Diffstat (limited to 'users/aspen/emacs/snippets/haskell-mode/hedgehog-property')
-rw-r--r--users/aspen/emacs/snippets/haskell-mode/hedgehog-property9
1 files changed, 9 insertions, 0 deletions
diff --git a/users/aspen/emacs/snippets/haskell-mode/hedgehog-property b/users/aspen/emacs/snippets/haskell-mode/hedgehog-property
new file mode 100644
index 000000000000..bf39a2a3eecb
--- /dev/null
+++ b/users/aspen/emacs/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