about summary refs log tree commit diff
path: root/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property
diff options
context:
space:
mode:
Diffstat (limited to 'users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property')
-rw-r--r--users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property9
1 files changed, 0 insertions, 9 deletions
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