From d88fb3194f2a50efa6d407e85d47d14da3700ff3 Mon Sep 17 00:00:00 2001
From: Griffin Smith <root@gws.fyi>
Date: Thu, 29 Mar 2018 18:10:07 -0400
Subject: Initial commit

---
 snippets/haskell-mode/hedgehog-property | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 snippets/haskell-mode/hedgehog-property

(limited to 'snippets/haskell-mode/hedgehog-property')

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
-- 
cgit 1.4.1