From d0fd35ba8191fbdfee940b9bac53c903791bf9fb Mon Sep 17 00:00:00 2001 From: Shea Levy Date: Thu, 26 Apr 2018 08:37:20 -0700 Subject: [PATCH] Formatting tweak --- hnix-store-core/src/Crypto/Hash/Truncated.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hnix-store-core/src/Crypto/Hash/Truncated.hs b/hnix-store-core/src/Crypto/Hash/Truncated.hs index 114b6c3..8e14fec 100644 --- a/hnix-store-core/src/Crypto/Hash/Truncated.hs +++ b/hnix-store-core/src/Crypto/Hash/Truncated.hs @@ -41,7 +41,7 @@ type DigestUnwrapped = UArray Word8 -- -- The 'Coercible' constraint adds a little bit of type safety to the -- pointer munging that goes on under the hood. -instance (HashAlgorithm algo, KnownNat (HashDigestSize algo) +instance ( HashAlgorithm algo, KnownNat (HashDigestSize algo) , KnownNat size, size <= HashDigestSize algo , Coercible (Digest algo) DigestUnwrapped ) => HashAlgorithm (Truncated algo size) where