Replace logShow with assertEquals' (#135)

Author: Neppord

CHANGELOG.md

@@ -11,6 +11,7 @@ New features:
 Bugfixes:
 
 Other improvements:
+  - Replace manual tests with automated tests using `assert` (#135 by @neppord)
   - Improve documentation for `united` (#134 by @neppord)
 
 ## [v7.0.1](https://github.com/purescript-contrib/purescript-profunctor-lenses/releases/tag/v7.0.1) - 2021-05-06

spago.dhall

@@ -1,6 +1,7 @@
 { name = "profunctor-lenses"
 , dependencies =
   [ "arrays"
+  , "assert"
   , "bifunctors"
   , "console"
   , "const"

test/Main.purs

@@ -4,25 +4,24 @@ import Prelude
 
 import Control.Monad.State (evalState, get)
 import Data.Either (Either(..))
-import Data.Lens (Getter', Prism', _1, _2, _Just, _Left, collectOf, lens, lens', preview, prism', takeBoth, toArrayOf, traversed, view, lensStore)
+import Data.Lens (Getter', Prism', _1, _2, _Just, _Left, collectOf, lens, lens', lensStore, preview, prism', takeBoth, toArrayOf, traversed, view)
 import Data.Lens.Fold ((^?))
 import Data.Lens.Fold.Partial ((^?!), (^@?!))
 import Data.Lens.Grate (Grate, cloneGrate, grate, zipWithOf)
 import Data.Lens.Index (ix)
 import Data.Lens.Indexed (itraversed, reindexed)
-import Data.Lens.Lens (ilens, IndexedLens, cloneIndexedLens)
+import Data.Lens.Lens (IndexedLens, cloneIndexedLens, ilens)
 import Data.Lens.Record (prop)
 import Data.Lens.Setter (iover)
 import Data.Lens.Traversal (cloneTraversal)
-import Data.Lens.Zoom (ATraversal', IndexedTraversal', Traversal, Traversal', Lens, Lens', zoom)
+import Data.Lens.Zoom (ATraversal', IndexedTraversal', Lens, Lens', Traversal, Traversal', zoom)
 import Data.Maybe (Maybe(..))
 import Data.Tuple (Tuple(..), fst, snd)
 import Effect (Effect)
-import Effect.Console (logShow)
 import Partial.Unsafe (unsafePartial)
+import Test.Assert (assertEqual')
 import Type.Proxy (Proxy(..))
 
--- Traversing an array nested within a record
 foo :: forall a b r. Lens { foo :: a | r } { foo :: b | r } a b
 foo = prop (Proxy :: Proxy "foo")
 
@@ -43,7 +42,7 @@ data ABC = A (Array XYZ) | B | C
 data XYZ = X Number | Y | Z
 
 _A :: Prism' ABC (Array XYZ)
-_A = prism' A case _ of 
+_A = prism' A case _ of
   (A array) -> Just array
   _ -> Nothing
 
@@ -130,14 +129,47 @@ lensStoreExampleInt = lens' case _ of
 
 main :: Effect Unit
 main = do
-  logShow $ view bars doc
-  logShow $ view barAndFoo { bar: "bar", foo: "foo" }
-  logShow $ doc2 ^? _1bars
-  logShow $ arrayOfNumbers $ A [(X 1.0), (X 2.0), (X 3.0)]
-  logShow $ unsafePartial $ doc2 ^?! _1bars
-  logShow $ unsafePartial $ Tuple 0 1 ^@?! i_2
-  logShow stateTest
-  logShow cloneTest
-  logShow (summing (Tuple 1 2) (Tuple 3 4))
-  logShow (collectOfTest (\a -> Tuple (a + a) (a * a)) [4, 5])
-  logShow cloneTraversalTest
+  assertEqual' """view bars doc"""
+    { expected: "Hello World"
+    , actual: view bars doc
+    }
+  assertEqual' """view barAndFoo { bar: "bar", foo: "foo" }"""
+    { expected: Tuple "bar" "foo"
+    , actual: view barAndFoo { bar: "bar", foo: "foo" }
+    }
+  assertEqual' """doc2 ^? _1bars"""
+    { expected: Just 2
+    , actual: doc2 ^? _1bars
+    }
+  assertEqual' """arrayOfNumbers $ A [(X 1.0), (X 2.0), (X 3.0)]"""
+    { expected: [1.0,2.0,3.0]
+    , actual: arrayOfNumbers $ A [(X 1.0), (X 2.0), (X 3.0)]
+    }
+  assertEqual' """unsafePartial $ doc2 ^?! _1bars"""
+    { expected: 2
+    , actual: unsafePartial $ doc2 ^?! _1bars
+    }
+  assertEqual' """unsafePartial $ Tuple 0 1 ^@?! i_2"""
+    { expected: Tuple 0 1
+    , actual: unsafePartial $ Tuple 0 1 ^@?! i_2
+    }
+  assertEqual' """stateTest"""
+    { expected: Tuple 4 "FooBar"
+    , actual: stateTest
+    }
+  assertEqual' """cloneTest"""
+    { expected: Tuple 1 (Tuple 0 2)
+    , actual: cloneTest
+    }
+  assertEqual' """summing (Tuple 1 2) (Tuple 3 4)"""
+    { expected: Tuple 4 6
+    , actual: summing (Tuple 1 2) (Tuple 3 4)
+    }
+  assertEqual' """collectOfTest (\a -> Tuple (a + a) (a * a)) [4, 5]"""
+    { expected: Tuple [8,10] [16,25]
+    , actual: collectOfTest (\a -> Tuple (a + a) (a * a)) [4, 5]
+    }
+  assertEqual' """cloneTraversalTest"""
+    { expected: Just 1
+    , actual: cloneTraversalTest
+    }