diff options
| author | Aspen Smith <grfn@gws.fyi> | 2024-02-20T21·31-0500 |
|---|---|---|
| committer | aspen <root@gws.fyi> | 2024-02-26T21·16+0000 |
| commit | acc2433b659b10d92cff78baac1207e469d249d3 (patch) | |
| tree | 783bbb1e4863cc4f3addd2fe4ff9edf31eaf1b2d /users/aspen/emacs/snippets/haskell-mode/hedgehog-property | |
| parent | 7ecf43a1bd216d13ca061005e3f709bf5f1f49d9 (diff) | |
feat(aspen/emacs): Begin a complete emacs config revamp r/7614
I'm still on doom, but without all the cruft I've accumulated over the last ~6 years it's actually good and fast and nice. Also, the config is literate now! The old emacs is still in .emacs.d, since occasionally I want to reference it, but eventually I'll just get rid of it Change-Id: Icda840d798594f7e6b188dba044494597d5f6043 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10999 Reviewed-by: aspen <root@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'users/aspen/emacs/snippets/haskell-mode/hedgehog-property')
| -rw-r--r-- | users/aspen/emacs/snippets/haskell-mode/hedgehog-property | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/users/aspen/emacs/snippets/haskell-mode/hedgehog-property b/users/aspen/emacs/snippets/haskell-mode/hedgehog-property new file mode 100644 index 000000000000..bf39a2a3eecb --- /dev/null +++ b/users/aspen/emacs/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 |