about summary refs log tree commit diff
path: root/users/grfn/emacs.d/snippets/haskell-mode/hedgehog-property
blob: bf39a2a3eecb4e90e580247bb50c5c7373dad1b2 (plain) (blame)
1
2
3
4
5
6
7
8
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}