git.iko.soy/typeable/uuid
on master help sign in
commenting out re-write rules
9c1f9a1aslatter
Data/UUID.hs+5−5
compare with master
unifiedsplit
@@ -284,12 +284,12 @@ high8 :: Word16 -> Word8
284high8 = fromIntegral . flip shiftR 4
284high8 = fromIntegral . flip shiftR 4
285
285
286-- this may be overkill ...
286-- this may be overkill ...
287−{-# RULES
287+{- RULES
288 "low8/low16" forall x . low8 (low16 x) = fromIntegral (x .&. 0x000000FF)
288 "low8/low16" forall x . low8 (low16 x) = fromIntegral (x .&. 0x000000FF)
289− "high8/low16" forall x . high8 (low16 x) = fromIntegral (shiftR (x .&. 0x0000FF00) 4)
289+ "high8/low16" forall x . high8 (low16 x) = fromIntegral (shiftR (x .&. 0x0000FF00) 8)
290− "low8/high16" forall x . low8 (high16 x) = fromIntegral (shiftR (x .&. 0x00FF0000) 8)
290+ "low8/high16" forall x . low8 (high16 x) = fromIntegral (shiftR (x .&. 0x00FF0000) 16)
291− "high8/high16" forall x . high8 (high16 x) = fromIntegral (shiftR x 12)
291+ "high8/high16" forall x . high8 (high16 x) = fromIntegral (shiftR x 24)
292− #-}
292+ -}
293
293
294unsafeFromString :: String -> UUID
294unsafeFromString :: String -> UUID
295unsafeFromString = fromJust . fromString
295unsafeFromString = fromJust . fromString