diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-11-16 14:37:31 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-11-16 14:37:31 -0400 |
| commit | e316eac6c816111c11280aab79e9a058f86d902b (patch) | |
| tree | eea4b7657458ab2957f67cb03bbc25585fa27b3a /Types | |
| parent | 8055c761751e5c6a913f76293281389e29378545 (diff) | |
fix use of hifalutin terminology
Diffstat (limited to 'Types')
| -rw-r--r-- | Types/Key.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Types/Key.hs b/Types/Key.hs index 06adc4b91..164887a4d 100644 --- a/Types/Key.hs +++ b/Types/Key.hs @@ -18,8 +18,8 @@ module Types.Key ( isChunkKey, isKeyPrefix, - prop_idempotent_key_encode, - prop_idempotent_key_decode + prop_isomorphic_key_encode, + prop_isomorphic_key_decode ) where import System.Posix.Types @@ -135,11 +135,11 @@ instance Hashable Key where hashIO32 = hashIO32 . key2file hashIO64 = hashIO64 . key2file -prop_idempotent_key_encode :: Key -> Bool -prop_idempotent_key_encode k = Just k == (file2key . key2file) k +prop_isomorphic_key_encode :: Key -> Bool +prop_isomorphic_key_encode k = Just k == (file2key . key2file) k -prop_idempotent_key_decode :: FilePath -> Bool -prop_idempotent_key_decode f +prop_isomorphic_key_decode :: FilePath -> Bool +prop_isomorphic_key_decode f | normalfieldorder = maybe True (\k -> key2file k == f) (file2key f) | otherwise = True where |