Test the encoding and decoding

app/Main.hs

@@ -7,6 +7,9 @@ import Control.Monad.Buuka
 
 import Data.Environment
 
+import UnliftIO.Directory
+       (XdgDirectory(XdgData), getXdgDirectory)
+
 import qualified Operations
 
 commands :: Parser (BuukaM ())
@@ -19,5 +22,5 @@ commands = subparser
 
 main :: IO ()
 main = do
-  let env = Environment "."
+  env <- Environment <$> getXdgDirectory XdgData "buuka"
   execParser (info (commands <**> helper) fullDesc) >>= runBuukaM env

buuka.cabal

@@ -61,11 +61,13 @@ executable buuka
   -- other-extensions:
   build-depends:       buuka
                      , optparse-applicative
+                     , unliftio
   hs-source-dirs:      app
 
 test-suite buuka-test
   import:              common-stanza
   other-modules:       Test.Database.Migrations
+                       Test.Data.Buuka
   type:                exitcode-stdio-1.0
   hs-source-dirs:      test
   main-is:             MyLibTest.hs

default.nix

@@ -13,7 +13,7 @@ mkDerivation {
     aeson base bytestring conduit conduit-extra containers exceptions
     filepath mtl transformers unliftio yaml
   ];
-  executableHaskellDepends = [ base optparse-applicative ];
+  executableHaskellDepends = [ base optparse-applicative unliftio ];
   testHaskellDepends = [
     aeson base hedgehog hedgehog-corpus tasty tasty-hedgehog text
   ];

shell.nix

@@ -8,6 +8,7 @@ in
 mkShell {
   name = "shell-buuka";
   buildInputs = [
+    hlint
     ghcid
     stylish-haskell
     cabal2nix

src/Data/Buuka.hs

@@ -5,6 +5,7 @@ module Data.Buuka
   , BuukaU(..)
   , BuukaEntry(..)
   , URL(..)
+  , Buuka
 
   , insert
   )
@@ -38,6 +39,7 @@ instance SafeJSON BuukaEntry where
   type Version BuukaEntry = 0
 
 newtype Buuka = Buuka ( Map URL BuukaEntry )
+  deriving stock (Show, Eq)
   deriving newtype (Semigroup, Monoid, FromJSON, ToJSON)
 
 insert :: BuukaEntry -> Buuka -> Buuka

test/MyLibTest.hs

@@ -2,11 +2,13 @@ module Main (main) where
 
 import Test.Tasty
 
+import qualified Test.Data.Buuka as Data.Buuka
 import qualified Test.Database.Migrations as Database.Migrations
 
 tests :: TestTree
 tests = testGroup "buuka"
   [ Database.Migrations.tests
+  , Data.Buuka.tests
   ]
 
 main :: IO ()

test/Test/Data/Buuka.hs

@@ -0,0 +1,49 @@
+module Test.Data.Buuka where
+
+import Hedgehog
+import qualified Hedgehog.Gen as Gen
+import qualified Hedgehog.Range as Range
+import Test.Tasty
+import Test.Tasty.Hedgehog
+
+import qualified Data.Aeson as A
+
+import Data.List
+       (intercalate)
+import qualified Data.Foldable as F
+
+import Data.Buuka
+
+genUrl :: Gen URL
+genUrl = URL . concat <$> sequence go
+  where
+    go = [ Gen.element protocols, Gen.element domains, Gen.element tlds, pure "/", genPath ]
+    protocols = ["http://", "https://"]
+    domains = ["example", "foo", "bar"]
+    tlds = ["com", "fi", "org", "net", "info"]
+    genPath = intercalate "/" <$> Gen.list (Range.linear 0 10) (Gen.element paths)
+    paths = ["foo", "bar", "asd", "xyzzy"]
+
+genBuukaEntry :: Gen BuukaEntry
+genBuukaEntry = BuukaEntry <$> genUrl <*> genTitle
+  where
+    genTitle = Gen.maybe (Gen.string (Range.linear 0 10) Gen.unicode)
+
+genBuuka :: Gen Buuka
+genBuuka = F.foldl' (flip insert) mempty <$> Gen.list (Range.linear 0 10) genBuukaEntry
+
+prop_buukaentry_encode_decode :: Property
+prop_buukaentry_encode_decode = property $ do
+  x <- forAll genBuukaEntry
+  tripping x A.encode A.eitherDecode
+
+prop_buuka_encode_decode :: Property
+prop_buuka_encode_decode = property $ do
+  x <- forAll genBuuka
+  tripping x A.encode A.eitherDecode
+
+tests :: TestTree
+tests = testGroup "Data.Buuka"
+  [ testProperty "Entries can be encoded and decoded" prop_buukaentry_encode_decode
+  , testProperty "Entire set can be encoded and decoded" prop_buuka_encode_decode
+  ]