about summary refs log tree commit diff
path: root/snippets/haskell-mode/hedgehog-property
diff options
context:
space:
mode:
authorGriffin Smith <root@gws.fyi>2018-03-29T22·10-0400
committerGriffin Smith <root@gws.fyi>2018-03-29T22·10-0400
commitd88fb3194f2a50efa6d407e85d47d14da3700ff3 (patch)
tree3aa434e148f4f767a992c87b144d536c0e10b689 /snippets/haskell-mode/hedgehog-property
Initial commit
Diffstat (limited to 'snippets/haskell-mode/hedgehog-property')
-rw-r--r--snippets/haskell-mode/hedgehog-property9
1 files changed, 9 insertions, 0 deletions
diff --git a/snippets/haskell-mode/hedgehog-property b/snippets/haskell-mode/hedgehog-property
new file mode 100644
index 000000000000..bf39a2a3eecb
--- /dev/null
+++ b/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