Format tests

Author: thomashoneyman

test/Test/Common.purs

@@ -12,9 +12,9 @@ import Effect.Console (log)
 import Foreign.Object.Gen (genForeignObject)
 import Test.QuickCheck (Result, quickCheck)
 import Test.QuickCheck.Gen (Gen)
-import Test.Util (propCodec, genInt)
+import Test.Util (genInt, propCodec)
 
-main :: Effect Unit
+main ∷ Effect Unit
 main = do
   log "Checking Maybe codec"
   quickCheck propMaybeCodec

test/Test/Main.purs

@@ -12,7 +12,7 @@ import Test.Prim as TestPrim
 import Test.Record as Record
 import Test.Variant as Variant
 
-main :: Effect Unit
+main ∷ Effect Unit
 main = do
   log "Checking Prim codecs"
   log "------------------------------------------------------------"

test/Test/Migration.purs

@@ -19,7 +19,7 @@ import Test.QuickCheck (Result(..), quickCheck, (===))
 import Test.QuickCheck.Gen (Gen)
 import Test.Util (genJObject, propCodec'')
 
-main :: Effect Unit
+main ∷ Effect Unit
 main = do
   log "Checking addDefaultField adds a field if it is missing"
   quickCheck propDefaultFieldAdded
@@ -109,14 +109,14 @@ propNestForTaggedIdempotent ∷ Gen Result
 propNestForTaggedIdempotent = do
   propCodec'' J.stringify genTagged JAM.nestForTagged
   where
-    genTagged = do
-      tag ← genAsciiString
-      expectedValue ← GenJ.genJson
-      pure $ J.fromObject $
-        FO.fromFoldable
-          [ Tuple "tag" (J.fromString tag)
-          , Tuple "value" expectedValue
-          ]
+  genTagged = do
+    tag ← genAsciiString
+    expectedValue ← GenJ.genJson
+    pure $ J.fromObject $
+      FO.fromFoldable
+        [ Tuple "tag" (J.fromString tag)
+        , Tuple "value" expectedValue
+        ]
 
 testMigrationCodec
   ∷ { key ∷ String

test/Test/Prim.purs

@@ -23,7 +23,7 @@ import Test.QuickCheck.Gen (Gen)
 import Test.Util (genInt, propCodec, propCodec', propCodec'')
 import Type.Proxy (Proxy(..))
 
-main :: Effect Unit
+main ∷ Effect Unit
 main = do
   log "Checking JNull codec"
   quickCheck propNull
@@ -117,13 +117,15 @@ newtype FixTest = FixTest (Maybe FixTest)
 
 derive instance newtypeFixTest ∷ Newtype FixTest _
 derive instance genericFixTest ∷ Generic FixTest _
-instance eqFixTest ∷ Eq FixTest where eq (FixTest x) (FixTest y) = x == y
-instance showFixTest ∷ Show FixTest where show x = genericShow x
+instance eqFixTest ∷ Eq FixTest where
+  eq (FixTest x) (FixTest y) = x == y
+
+instance showFixTest ∷ Show FixTest where
+  show x = genericShow x
 
 genFixTest ∷ Gen FixTest
 genFixTest = Gen.sized \n →
-  if n <= 1
-  then pure $ FixTest Nothing
+  if n <= 1 then pure $ FixTest Nothing
   else FixTest <$> Gen.resize (_ - 1) (GenC.genMaybe genFixTest)
 
 codecFixTest ∷ JA.JsonCodec FixTest

test/Test/Record.purs

@@ -38,8 +38,8 @@ instance showOuter ∷ Show Outer where
 instance eqOuter ∷ Eq Outer where
   eq (Outer o1) (Outer o2) =
     o1.a == o2.a
-    && o1.b == o2.b
-    && case o1.c, o2.c of
+      && o1.b == o2.b
+      && case o1.c, o2.c of
         Nothing, Nothing → true
         Just i1, Just i2 → i1.n == i2.n && i1.m == i2.m
         _, _ → false

test/Test/Variant.purs

@@ -24,7 +24,7 @@ type TestVariant = V.Variant
   , c ∷ Maybe Boolean
   )
 
-main :: Effect Unit
+main ∷ Effect Unit
 main = do
   log "Checking Maybe-variant codec"
   quickCheck $
@@ -50,9 +50,10 @@ main = do
 codecMaybe ∷ ∀ a. JA.JsonCodec a → JA.JsonCodec (Maybe a)
 codecMaybe codecA =
   dimap toVariant fromVariant
-    (JAV.variant
-      # JAV.variantCase _Just (Right codecA)
-      # JAV.variantCase _Nothing (Left unit))
+    ( JAV.variant
+        # JAV.variantCase _Just (Right codecA)
+        # JAV.variantCase _Nothing (Left unit)
+    )
   where
   toVariant = case _ of
     Just a → V.inj _Just a
@@ -66,10 +67,11 @@ codecMaybe codecA =
 codecMaybeMatch ∷ ∀ a. JA.JsonCodec a → JA.JsonCodec (Maybe a)
 codecMaybeMatch codecA =
   dimap toVariant fromVariant
-    (JAV.variantMatch
-      { just: Right codecA
-      , nothing: Left unit
-      })
+    ( JAV.variantMatch
+        { just: Right codecA
+        , nothing: Left unit
+        }
+    )
   where
   toVariant = case _ of
     Just a → V.inj (Proxy ∷ _ "just") a
@@ -82,9 +84,10 @@ codecMaybeMatch codecA =
 codecEither ∷ ∀ a b. JA.JsonCodec a → JA.JsonCodec b → JA.JsonCodec (Either a b)
 codecEither codecA codecB =
   dimap toVariant fromVariant
-    (JAV.variant
-      # JAV.variantCase _Left (Right codecA)
-      # JAV.variantCase _Right (Right codecB))
+    ( JAV.variant
+        # JAV.variantCase _Left (Right codecA)
+        # JAV.variantCase _Right (Right codecB)
+    )
   where
   toVariant = case _ of
     Left a → V.inj _Left a