diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-06-16T00·06+0100 |
|---|---|---|
| committer | Vincent Ambo <mail@tazj.in> | 2020-06-16T00·06+0100 |
| commit | 4fe4e3d9a297ff9c8aa77e1a196a96b65ecd99ae (patch) | |
| tree | 54455b0cd36e58fd745ce0b6d38101b7a902ce4b /users/glittershark/emacs.d/snippets/haskell-mode/hedgehog-property | |
| parent | 2edb963b97867b27f68efac8d05bf966077b0b01 (diff) | |
| parent | 69ee53bffaf145eb86dd39a6cdc0ae4d9d3de45c (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-property | 9 |
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 |