Core: treewide: m clean-up

Author: Anton-Latukha

hnix-store-core/src/System/Nix/Internal/Hash.hs

@@ -212,7 +212,7 @@ instance (ValidAlgo a, Kind.KnownNat n) => ValidAlgo ('Truncated n a) where
 -- (leftover part), right-pads the leftovers with 0 to the truncation
 -- length, and combines the two strings bytewise with 'xor'.
 truncateDigest
-  :: forall n a.(Kind.KnownNat n) => Digest a -> Digest ('Truncated n a)
+  :: forall n a .(Kind.KnownNat n) => Digest a -> Digest ('Truncated n a)
 truncateDigest (Digest c) =
     Digest $ BS.pack $ fmap truncOutputByte [0.. n-1]
   where

hnix-store-core/tests/Derivation.hs

@@ -20,11 +20,11 @@ processDerivation source dest = do
   contents <- Data.Text.IO.readFile source
   either
     fail
-    (\ drv ->
-      Data.Text.IO.writeFile dest
-        . Data.Text.Lazy.toStrict
-        . Data.Text.Lazy.Builder.toLazyText
-        $ buildDerivation drv
+    -- It seems to be derivation.
+    (Data.Text.IO.writeFile dest
+      . Data.Text.Lazy.toStrict
+      . Data.Text.Lazy.Builder.toLazyText
+      . buildDerivation
     )
     (Data.Attoparsec.Text.parseOnly
       (parseDerivation "/nix/store")

hnix-store-core/tests/Hash.hs

@@ -51,12 +51,11 @@ spec_hash = do
 -- | Test that Nix-like base32 encoding roundtrips
 prop_nixBase32Roundtrip :: Property
 prop_nixBase32Roundtrip = forAllShrink nonEmptyString genericShrink $
-  \x -> Right (BSC.pack x) === (B32.decode . B32.encode . BSC.pack $ x)
+  \x -> pure (BSC.pack x) === (B32.decode . B32.encode . BSC.pack $ x)
 
 -- | API variants
 prop_nixBase16Roundtrip :: Digest StorePathHashAlgo -> Property
-prop_nixBase16Roundtrip =
-  \(x :: Digest StorePathHashAlgo) -> Right x === (decodeBase Base16 . encodeInBase Base16 $ x)
+prop_nixBase16Roundtrip x = pure x === (decodeBase Base16 . encodeInBase Base16 $ x)
 
 -- | Hash encoding conversion ground-truth.
 -- Similiar to nix/tests/hash.sh