Minimal library and tests

- Using hedgehog for tests
- Ignore .dir-locals.el

Author: jml

.gitignore

@@ -0,0 +1,6 @@
+.stack-work/
+.dir-locals.el
+doc/.env/
+doc/.ensure-pip
+doc/.ensure-virtualenv
+doc/*.svg

README.rst

@@ -0,0 +1,9 @@
+==========================
+Magic Wormhole for Haskell
+==========================
+
+Library and command-line tools for interacting with `Magic Wormhole`_ in Haskell
+
+Magic Wormhole lets you get things from one computer to another, safely.
+
+.. _`Magic Wormhole`: https://github.com/warner/magic-wormhole/

magic-wormhole.cabal

@@ -0,0 +1,48 @@
+-- This file has been generated from package.yaml by hpack version 0.17.1.
+--
+-- see: https://github.com/sol/hpack
+
+name:           magic-wormhole
+version:        0.1.0
+synopsis:       Interact with Magic Wormhole
+description:    Honestly, who can say?
+category:       Crypto
+homepage:       https://github.com/jml/haskell-magic-wormhole#readme
+bug-reports:    https://github.com/jml/haskell-magic-wormhole/issues
+maintainer:     Jonathan M. Lange <jml@mumak.net>
+license:        Apache
+build-type:     Simple
+cabal-version:  >= 1.10
+
+source-repository head
+  type: git
+  location: https://github.com/jml/haskell-magic-wormhole
+
+library
+  hs-source-dirs:
+      src
+  default-extensions: NoImplicitPrelude OverloadedStrings
+  ghc-options: -Wall
+  build-depends:
+      base
+    , protolude
+  exposed-modules:
+      MagicWormhole
+  default-language: Haskell2010
+
+test-suite tasty
+  type: exitcode-stdio-1.0
+  main-is: Tasty.hs
+  hs-source-dirs:
+      tests
+  default-extensions: NoImplicitPrelude OverloadedStrings
+  ghc-options: -Wall
+  build-depends:
+      base
+    , protolude
+    , hedgehog
+    , magic-wormhole
+    , tasty
+    , tasty-hedgehog
+    , tasty-hspec
+  default-language: Haskell2010

package.yaml

@@ -0,0 +1,33 @@
+name: magic-wormhole
+version: 0.1.0
+synopsis: Interact with Magic Wormhole
+description: |
+  Honestly, who can say?
+maintainer: Jonathan M. Lange <jml@mumak.net>
+license: Apache
+github: jml/haskell-magic-wormhole
+category: Crypto
+
+ghc-options: -Wall
+default-extensions:
+  - NoImplicitPrelude
+  - OverloadedStrings
+
+dependencies:
+  - base
+  - protolude
+
+library:
+  source-dirs: src
+
+tests:
+  tasty:
+    main: Tasty.hs
+    source-dirs: tests
+    dependencies:
+      - hedgehog
+      - magic-wormhole
+      - tasty
+      - tasty-hedgehog
+      - tasty-hspec
+

src/MagicWormhole.hs

@@ -0,0 +1,6 @@
+module MagicWormhole (foo) where
+
+import Protolude
+
+foo :: Int
+foo = 42

stack.yaml

@@ -0,0 +1,7 @@
+resolver: lts-9.9
+
+packages:
+  - .
+
+extra-deps:
+  - tasty-hedgehog-0.1.0.1

tests/Tasty.hs

@@ -0,0 +1,20 @@
+module Main (main) where
+
+import Protolude
+
+import Hedgehog ((===), forAll, property)
+import qualified Hedgehog.Gen as Gen
+import qualified Hedgehog.Range as Range
+import Test.Tasty (defaultMain, testGroup)
+import Test.Tasty.Hedgehog (testProperty)
+
+import qualified MagicWormhole
+
+main :: IO ()
+main = defaultMain tests
+  where
+    tests = testGroup "magic-wormhole"
+      [ testProperty "commutativity" $ property $ do
+          x <- forAll $ Gen.int (Range.linear (-1000) 1000)
+          MagicWormhole.foo + x === x + MagicWormhole.foo
+      ]