Formatting tweak

This commit is contained in:
Shea Levy 2018-04-26 08:37:20 -07:00
parent d1e08a7a48
commit d0fd35ba81
No known key found for this signature in database
GPG Key ID: 5C0BD6957D86FE27

View File

@ -41,7 +41,7 @@ type DigestUnwrapped = UArray Word8
-- --
-- The 'Coercible' constraint adds a little bit of type safety to the -- The 'Coercible' constraint adds a little bit of type safety to the
-- pointer munging that goes on under the hood. -- 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 , KnownNat size, size <= HashDigestSize algo
, Coercible (Digest algo) DigestUnwrapped , Coercible (Digest algo) DigestUnwrapped
) => HashAlgorithm (Truncated algo size) where ) => HashAlgorithm (Truncated algo size) where