summaryrefslogtreecommitdiff
path: root/Types
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2015-11-16 14:37:31 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2015-11-16 14:37:31 -0400
commite316eac6c816111c11280aab79e9a058f86d902b (patch)
treeeea4b7657458ab2957f67cb03bbc25585fa27b3a /Types
parent8055c761751e5c6a913f76293281389e29378545 (diff)
fix use of hifalutin terminology
Diffstat (limited to 'Types')
-rw-r--r--Types/Key.hs12
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