@@ -1,86 +1,85 @@
1−{-# LANGUAGE CPP #-}
2−{-# LANGUAGE DeriveDataTypeable #-}
3−{-# LANGUAGE TypeFamilies #-}
4−{-# LANGUAGE ViewPatterns #-}
5−{-# LANGUAGE Unsafe #-}
6−{-# LANGUAGE DeriveLift #-}
7−{-# LANGUAGE StandaloneDeriving #-}
8−{-# OPTIONS_HADDOCK hide #-}
1+{-# LANGUAGE DeriveDataTypeable, TypeFamilies, CPP #-}
92
103-- |
11−-- Module : Data.UUID.Types.Internal
12−-- Copyright : (c) 2017-2018 Herbert Valerio Riedel
13−-- (c) 2008-2009, 2012 Antoine Latter
4+-- Module : Data.UUID
5+-- Copyright : (c) 2008-2009, 2012 Antoine Latter
146-- (c) 2009 Mark Lentczner
157--
168-- License : BSD-style
179--
18−-- Maintainer : hvr@gnu.org
10+-- Maintainer : aslatter@gmail.com
11+-- Stability : experimental
1912-- Portability : portable
2013
21−module Data.UUID.Types.Internal
22− ( UUID(..)
23− , null
24− , nil
25− , fromByteString
26− , toByteString
27− , fromString
28− , toString
29− , fromText
30− , toText
31− , fromWords
32− , toWords
33− , fromWords64
34− , toWords64
35− , toList
36− , buildFromBytes
37− , buildFromWords
38− , fromASCIIBytes
39− , toASCIIBytes
40− , fromLazyASCIIBytes
41− , toLazyASCIIBytes
42− , UnpackedUUID(..)
43− , pack
44− , unpack
14+module Data.UUID.Internal
15+ (UUID(..)
16+ ,null
17+ ,nil
18+ ,fromByteString
19+ ,toByteString
20+ ,fromString
21+ ,toString
22+ ,fromWords
23+ ,toWords
24+ ,toList
25+ ,buildFromBytes
26+ ,buildFromWords
27+ ,fromASCIIBytes
28+ ,toASCIIBytes
29+ ,fromLazyASCIIBytes
30+ ,toLazyASCIIBytes
31+ ,UnpackedUUID(..)
32+ ,pack
33+ ,unpack
4534 ) where
4635
47−import Prelude hiding (null)
48−
49−import Control.DeepSeq (NFData (..))
50−import Control.Monad (guard, liftM2)
51−import Data.Bits
52−import Data.Char
53−import Data.Data
54−import Data.Hashable
55−import Data.List (elemIndices)
56−import Foreign.Ptr (Ptr)
57−
58−import Foreign.Storable
59−
60−import Data.Binary
61−import Data.Binary.Get
62−import Data.Binary.Put
63−import qualified Data.ByteString as B
64−import qualified Data.ByteString.Internal as BI
65−import qualified Data.ByteString.Lazy as BL
66−import qualified Data.ByteString.Unsafe as BU
67−import Data.Text (Text)
68−import qualified Data.Text.Encoding as T
69−
70−import Data.UUID.Types.Internal.Builder
71−
72−import System.Random (Random (..), uniform)
73−import System.Random.Stateful (Uniform (..), uniformWord64)
74−
75−import Language.Haskell.TH.Syntax (Lift)
76−
77−-- | Type representing <https://en.wikipedia.org/wiki/UUID Universally Unique Identifiers (UUID)> as specified in
78−-- <http://tools.ietf.org/html/rfc4122 RFC 4122>.
79−data UUID = UUID {-# UNPACK #-} !Word64 {-# UNPACK #-} !Word64
80− deriving (Eq, Ord)
36+import Prelude hiding (null)
37+
38+import Control.Applicative ((<*>))
39+import Control.DeepSeq (NFData(..))
40+import Control.Monad (liftM4, guard)
41+import Data.Functor ((<$>))
42+import Data.Char
43+import Data.Bits
44+import Data.Hashable
45+import Data.Maybe
46+import Data.List (elemIndices)
47+import Foreign.Ptr (Ptr)
48+
49+#if MIN_VERSION_base(4,0,0)
50+import Data.Data
51+#else
52+import Data.Generics.Basics
53+#endif
54+
55+import Foreign.Storable
56+
57+import Data.Binary
58+import Data.Binary.Put
59+import Data.Binary.Get
60+import qualified Data.ByteString as B
61+import qualified Data.ByteString.Internal as BI
62+import qualified Data.ByteString.Lazy as BL
63+import qualified Data.ByteString.Unsafe as BU
64+
65+import Data.UUID.Builder
66+import Data.Word.Util
67+
68+import System.Random
69+
70+
71+-- |The UUID type. A 'Random' instance is provided which produces
72+-- version 4 UUIDs as specified in RFC 4122. The 'Storable' and
73+-- 'Binary' instances are compatible with RFC 4122, storing the fields
74+-- in network order as 16 bytes.
75+data UUID
76+ = UUID
77+ {-# UNPACK #-} !Word32
78+ {-# UNPACK #-} !Word32
79+ {-# UNPACK #-} !Word32
80+ {-# UNPACK #-} !Word32
81+ deriving (Eq, Ord, Typeable)
8182{-
82− Prior to uuid-types-1.0.4:
83− !Word32 !Word32 !Word32 !Word32
8483 Other representations that we tried are:
8584 Mimic V1 structure: !Word32 !Word16 !Word16 !Word16
8685 !Word8 !Word8 !Word8 !Word8 !Word8 !Word8
@@ -92,75 +91,40 @@ data UUID = UUID {-# UNPACK #-} !Word64 {-# UNPACK #-} !Word64
9291 None was as fast, overall, as the representation used here.
9392-}
9493
95−-- | Convert a 'UUID' into a sequence of 'Word32' values.
96−-- Useful for when you need to serialize a UUID and
94+-- | Covert a 'UUID' into a sequence of 'Word32' values.
95+-- Usefull for when you need to serialize a UUID and
9796-- neither 'Storable' nor 'Binary' are appropriate.
98−--
99−-- >>> toWords <$> fromString "550e8400-e29b-41d4-a716-446655440000"
100−-- Just (1427014656,3801825748,2803254374,1430519808)
101−--
102−-- See also 'toWords64'.
103−--
104−-- /Since: @uuid-1.2.2@/
105−--
106−-- @since 1.0.0
97+-- Introduced in version 1.2.2.
10798toWords :: UUID -> (Word32, Word32, Word32, Word32)
108−toWords (UUID w12 w34) = (w1, w2, w3, w4)
109− where
110− w1 = fromIntegral (w12 `unsafeShiftR` 32)
111− w2 = fromIntegral w12
112− w3 = fromIntegral (w34 `unsafeShiftR` 32)
113− w4 = fromIntegral w34
99+toWords (UUID w1 w2 w3 w4) = (w1, w2, w3, w4)
114100
115101-- | Create a 'UUID' from a sequence of 'Word32'. The
116−-- inverse of 'toWords'. Useful when you need a total
102+-- opposite of 'toWords'. Useful when you need a total
117103-- function for constructing 'UUID' values.
118−--
119−-- See also 'fromWords64'.
120−--
121−-- /Since: @uuid-1.2.2@/
122−--
123−-- @since 1.0.0
104+-- Introduced in version 1.2.2.
124105fromWords :: Word32 -> Word32 -> Word32 -> Word32 -> UUID
125−fromWords w1 w2 w3 w4 = UUID (w32to64 w1 w2) (w32to64 w3 w4)
126−
127−-- | Convert a 'UUID' into a pair of 'Word64's.
128−--
129−-- >>> toWords64 <$> fromString "550e8400-e29b-41d4-a716-446655440000"
130−-- Just (6128981282234515924,12039885860129472512)
131−--
132−-- See also 'toWords'.
133−--
134−-- @since 1.0.4
135−toWords64 :: UUID -> (Word64, Word64)
136−toWords64 (UUID w12 w34) = (w12,w34)
137−
138−-- | Create a 'UUID' from a pair of 'Word64's.
139−--
140−-- Inverse of 'toWords64'. See also 'fromWords'.
141−--
142−-- @since 1.0.4
143−fromWords64 :: Word64 -> Word64 -> UUID
144−fromWords64 = UUID
106+fromWords = UUID
145107
146108data UnpackedUUID =
147109 UnpackedUUID {
148− time_low :: Word32 -- 0-3
149− , time_mid :: Word16 -- 4-5
110+ time_low :: Word32 -- 0-3
111+ , time_mid :: Word16 -- 4-5
150112 , time_hi_and_version :: Word16 -- 6-7
151− , clock_seq_hi_res :: Word8 -- 8
152− , clock_seq_low :: Word8 -- 9
153− , node_0 :: Word8
154− , node_1 :: Word8
155− , node_2 :: Word8
156− , node_3 :: Word8
157− , node_4 :: Word8
158− , node_5 :: Word8
113+ , clock_seq_hi_res :: Word8 -- 8
114+ , clock_seq_low :: Word8 -- 9
115+ , node_0 :: Word8
116+ , node_1 :: Word8
117+ , node_2 :: Word8
118+ , node_3 :: Word8
119+ , node_4 :: Word8
120+ , node_5 :: Word8
159121 }
160122 deriving (Read, Show, Eq, Ord)
161123
162124unpack :: UUID -> UnpackedUUID
163−unpack (UUID w0 w1) = build /-/ w0 /-/ w1
125+unpack (UUID w0 w1 w2 w3) =
126+ build /-/ w0 /-/ w1 /-/ w2 /-/ w3
127+
164128 where
165129 build x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 xA xB xC xD xE xF =
166130 UnpackedUUID {
@@ -179,13 +143,13 @@ unpack (UUID w0 w1) = build /-/ w0 /-/ w1
179143
180144pack :: UnpackedUUID -> UUID
181145pack unpacked =
182− makeFromBytes /-/ (time_low unpacked)
183− /-/ (time_mid unpacked)
184− /-/ (time_hi_and_version unpacked)
185− /-/ (clock_seq_hi_res unpacked)
146+ makeFromBytes /-/ (time_low unpacked)
147+ /-/ (time_mid unpacked)
148+ /-/ (time_hi_and_version unpacked)
149+ /-/ (clock_seq_hi_res unpacked)
186150 /-/ (clock_seq_low unpacked)
187− /-/ (node_0 unpacked) /-/ (node_1 unpacked)
188− /-/ (node_2 unpacked) /-/ (node_3 unpacked)
151+ /-/ (node_0 unpacked) /-/ (node_1 unpacked)
152+ /-/ (node_2 unpacked) /-/ (node_3 unpacked)
189153 /-/ (node_4 unpacked) /-/ (node_5 unpacked)
190154
191155
@@ -195,26 +159,15 @@ pack unpacked =
195159
196160-- |Build a Word32 from four Word8 values, presented in big-endian order
197161word :: Word8 -> Word8 -> Word8 -> Word8 -> Word32
198−word a b c d = (fromIntegral a `unsafeShiftL` 24)
199− .|. (fromIntegral b `unsafeShiftL` 16)
200− .|. (fromIntegral c `unsafeShiftL` 8)
201− .|. (fromIntegral d )
162+word a b c d = (fromIntegral a `shiftL` 24)
163+ .|. (fromIntegral b `shiftL` 16)
164+ .|. (fromIntegral c `shiftL` 8)
165+ .|. (fromIntegral d )
202166
203−-- |Extract a Word8 from a Word64. Bytes, high to low, are numbered from 7 to 0,
204−byte :: Int -> Word64 -> Word8
167+-- |Extract a Word8 from a Word32. Bytes, high to low, are numbered from 3 to 0,
168+byte :: Int -> Word32 -> Word8
205169byte i w = fromIntegral (w `shiftR` (i * 8))
206170
207−-- |Build a Word16 from two Word8 values, presented in big-endian order.
208−w8to16 :: Word8 -> Word8 -> Word16
209−w8to16 w0s w1s =
210− (w0 `unsafeShiftL` 8) .|. w1
211− where
212− w0 = fromIntegral w0s
213− w1 = fromIntegral w1s
214−
215−-- | Construct 'Word64' from low/high 'Word32's
216−w32to64 :: Word32 -> Word32 -> Word64
217−w32to64 w0 w1 = (fromIntegral w0 `unsafeShiftL` 32) .|. (fromIntegral w1)
218171
219172-- |Make a UUID from sixteen Word8 values
220173makeFromBytes :: Word8 -> Word8 -> Word8 -> Word8
@@ -223,12 +176,16 @@ makeFromBytes :: Word8 -> Word8 -> Word8 -> Word8
223176 -> Word8 -> Word8 -> Word8 -> Word8
224177 -> UUID
225178makeFromBytes b0 b1 b2 b3 b4 b5 b6 b7 b8 b9 ba bb bc bd be bf
226− = fromWords w0 w1 w2 w3
179+ = UUID w0 w1 w2 w3
227180 where w0 = word b0 b1 b2 b3
228181 w1 = word b4 b5 b6 b7
229182 w2 = word b8 b9 ba bb
230183 w3 = word bc bd be bf
231184
185+-- |Make a UUID from four Word32 values
186+makeFromWords :: Word32 -> Word32 -> Word32 -> Word32 -> UUID
187+makeFromWords = UUID
188+
232189-- |A Builder for constructing a UUID of a given version.
233190buildFromBytes :: Word8
234191 -> Word8 -> Word8 -> Word8 -> Word8
@@ -241,20 +198,20 @@ buildFromBytes v b0 b1 b2 b3 b4 b5 b6 b7 b8 b9 ba bb bc bd be bf =
241198 where b6' = b6 .&. 0x0f .|. (v `shiftL` 4)
242199 b8' = b8 .&. 0x3f .|. 0x80
243200
244−-- |Build a UUID of a given version from 'Word32' values.
201+-- |Build a UUID of a given version from Word32 values.
245202buildFromWords :: Word8 -> Word32 -> Word32 -> Word32 -> Word32 -> UUID
246−buildFromWords v w0 w1 w2 w3 = fromWords w0 w1' w2' w3
203+buildFromWords v w0 w1 w2 w3 = makeFromWords w0 w1' w2' w3
247204 where w1' = w1 .&. 0xffff0fff .|. ((fromIntegral v) `shiftL` 12)
248205 w2' = w2 .&. 0x3fffffff .|. 0x80000000
249206
250207
251208-- |Return the bytes that make up the UUID
252209toList :: UUID -> [Word8]
253−toList (UUID w0 w1) =
254− [byte 7 w0, byte 6 w0, byte 5 w0, byte 4 w0,
255− byte 3 w0, byte 2 w0, byte 1 w0, byte 0 w0,
256− byte 7 w1, byte 6 w1, byte 5 w1, byte 4 w1,
257− byte 3 w1, byte 2 w1, byte 1 w1, byte 0 w1]
210+toList (UUID w0 w1 w2 w3) =
211+ [byte 3 w0, byte 2 w0, byte 1 w0, byte 0 w0,
212+ byte 3 w1, byte 2 w1, byte 1 w1, byte 0 w1,
213+ byte 3 w2, byte 2 w2, byte 1 w2, byte 0 w2,
214+ byte 3 w3, byte 2 w3, byte 1 w3, byte 0 w3]
258215
259216-- |Construct a UUID from a list of Word8. Returns Nothing if the list isn't
260217-- exactly sixteen bytes long
@@ -275,10 +232,10 @@ null = (== nil)
275232 -- null (UUID 0 0 0 0) = True
276233 -- null _ = False
277234
278−-- |The 'nil' UUID, as defined in <http://tools.ietf.org/html/rfc4122 RFC 4122>.
279−-- It is a UUID of all zeros. @'null' u@ /iff/ @'u' == 'nil'@.
235+-- |The nil UUID, as defined in RFC 4122.
236+-- It is a UUID of all zeros. @'null' u@ iff @'u' == 'nil'@.
280237nil :: UUID
281−nil = UUID 0 0
238+nil = UUID 0 0 0 0
282239
283240-- |Extract a UUID from a 'ByteString' in network byte order.
284241-- The argument must be 16 bytes long, otherwise 'Nothing' is returned.
@@ -286,8 +243,6 @@ fromByteString :: BL.ByteString -> Maybe UUID
286243fromByteString = fromList . BL.unpack
287244
288245-- |Encode a UUID into a 'ByteString' in network order.
289−--
290−-- This uses the same encoding as the 'Binary' instance.
291246toByteString :: UUID -> BL.ByteString
292247toByteString = BL.pack . toList
293248
@@ -295,8 +250,9 @@ toByteString = BL.pack . toList
295250-- The hyphens may not be omitted.
296251-- Example:
297252--
298−-- >>> fromString "c2cc10e1-57d6-4b6f-9899-38d972112d8c"
299−-- Just c2cc10e1-57d6-4b6f-9899-38d972112d8c
253+-- @
254+-- fromString \"c2cc10e1-57d6-4b6f-9899-38d972112d8c\"
255+-- @
300256--
301257-- Hex digits may be upper or lower-case.
302258fromString :: String -> Maybe UUID
@@ -311,7 +267,7 @@ fromString' s0 = do
311267 (w2, s3) <- hexWord s2
312268 (w3, s4) <- hexWord s3
313269 if s4 /= "" then Nothing
314− else Just $ fromWords w0 w1 w2 w3
270+ else Just $ UUID w0 w1 w2 w3
315271 where hexWord :: String -> Maybe (Word32, String)
316272 hexWord s = Just (0, s) >>= hexByte >>= hexByte
317273 >>= hexByte >>= hexByte
@@ -328,39 +284,21 @@ fromString' s0 = do
328284-- | Convert a UUID into a hypenated string using lower-case letters.
329285-- Example:
330286--
331−-- >>> toString <$> fromString "550e8400-e29b-41d4-a716-446655440000"
332−-- Just "550e8400-e29b-41d4-a716-446655440000"
333−--
334−--
287+-- @
288+-- toString \<$\> fromString \"550e8400-e29b-41d4-a716-446655440000\"
289+-- @
335290toString :: UUID -> String
336−toString uuid = hexw0 w0 $ hexw1 w1 ""
337− where hexw0 :: Word64 -> String -> String
338− hexw0 w s = hexn w 60 : hexn w 56 : hexn w 52 : hexn w 48
339− : hexn w 44 : hexn w 40 : hexn w 36 : hexn w 32
340− : '-' : hexn w 28 : hexn w 24 : hexn w 20 : hexn w 16
341− : '-' : hexn w 12 : hexn w 8 : hexn w 4 : hexn w 0
342− : s
343−
344− hexw1 :: Word64 -> String -> String
345− hexw1 w s = '-' : hexn w 60 : hexn w 56 : hexn w 52 : hexn w 48
346− : '-' : hexn w 44 : hexn w 40 : hexn w 36 : hexn w 32
347− : hexn w 28 : hexn w 24 : hexn w 20 : hexn w 16
348− : hexn w 12 : hexn w 8 : hexn w 4 : hexn w 0
349− : s
350−
351− hexn :: Word64 -> Int -> Char
352− hexn w r = intToDigit $ fromIntegral ((w `shiftR` r) .&. 0xf)
291+toString (UUID w0 w1 w2 w3) = hexw w0 $ hexw' w1 $ hexw' w2 $ hexw w3 ""
292+ where hexw :: Word32 -> String -> String
293+ hexw w s = hexn w 28 : hexn w 24 : hexn w 20 : hexn w 16
294+ : hexn w 12 : hexn w 8 : hexn w 4 : hexn w 0 : s
353295
354− (w0,w1) = toWords64 uuid
296+ hexw' :: Word32 -> String -> String
297+ hexw' w s = '-' : hexn w 28 : hexn w 24 : hexn w 20 : hexn w 16
298+ : '-' : hexn w 12 : hexn w 8 : hexn w 4 : hexn w 0 : s
355299
356−-- | If the passed in `Text` can be parsed as an ASCII representation of
357−-- a `UUID`, it will be. The hyphens may not be omitted.
358−fromText :: Text -> Maybe UUID
359−fromText = fromASCIIBytes . T.encodeUtf8
360−
361−-- | Convert a UUID into a hyphentated string using lower-case letters.
362−toText :: UUID -> Text
363−toText = T.decodeLatin1 . toASCIIBytes
300+ hexn :: Word32 -> Int -> Char
301+ hexn w r = intToDigit $ fromIntegral ((w `shiftR` r) .&. 0xf)
364302
365303-- | Convert a UUID into a hyphentated string using lower-case letters, packed
366304-- as ASCII bytes into `B.ByteString`.
@@ -454,9 +392,7 @@ fromASCIIBytes bs = do
454392
455393-- | Similar to `toASCIIBytes` except we produce a lazy `BL.ByteString`.
456394toLazyASCIIBytes :: UUID -> BL.ByteString
457−toLazyASCIIBytes =
458− BL.fromStrict
459− . toASCIIBytes
395+toLazyASCIIBytes = BL.fromStrict . toASCIIBytes
460396
461397-- | Similar to `fromASCIIBytes` except parses from a lazy `BL.ByteString`.
462398fromLazyASCIIBytes :: BL.ByteString -> Maybe UUID
@@ -467,18 +403,27 @@ fromLazyASCIIBytes bs =
467403-- Class Instances
468404--
469405
470−-- | This 'Random' instance produces __insecure__ version 4 UUIDs as
471−-- specified in <http://tools.ietf.org/html/rfc4122 RFC 4122>.
472406instance Random UUID where
473− random = uniform
407+ random g = (fromGenNext w0 w1 w2 w3 w4, g4)
408+ where (w0, g0) = next g
409+ (w1, g1) = next g0
410+ (w2, g2) = next g1
411+ (w3, g3) = next g2
412+ (w4, g4) = next g3
474413 randomR _ = random -- range is ignored
475414
476−-- @since 1.0.4
477−instance Uniform UUID where
478− uniformM gen = do
479− w0 <- uniformWord64 gen
480− w1 <- uniformWord64 gen
481− pure $ buildFromBytes 4 /-/ w0 /-/ w1
415+-- |Build a UUID from the results of five calls to next on a StdGen.
416+-- While next on StdGet returns an Int, it doesn't provide 32 bits of
417+-- randomness. This code relies on at last 28 bits of randomness in the
418+-- and optimizes its use so as to make only five random values, not six.
419+fromGenNext :: Int -> Int -> Int -> Int -> Int -> UUID
420+fromGenNext w0 w1 w2 w3 w4 =
421+ buildFromBytes 4 /-/ (ThreeByte w0)
422+ /-/ (ThreeByte w1)
423+ /-/ w2 -- use all 4 bytes because we know the version
424+ -- field will "cover" the upper, non-random bits
425+ /-/ (ThreeByte w3)
426+ /-/ (ThreeByte w4)
482427
483428-- |A ByteSource to extract only three bytes from an Int, since next on StdGet
484429-- only returns 31 bits of randomness.
@@ -486,29 +431,24 @@ type instance ByteSink ThreeByte g = Takes3Bytes g
486431newtype ThreeByte = ThreeByte Int
487432instance ByteSource ThreeByte where
488433 f /-/ (ThreeByte w) = f b1 b2 b3
489− where b1 = fromIntegral (w `unsafeShiftR` 16)
490− b2 = fromIntegral (w `unsafeShiftR` 8)
434+ where b1 = fromIntegral (w `shiftR` 16)
435+ b2 = fromIntegral (w `shiftR` 8)
491436 b3 = fromIntegral w
492437
493438instance NFData UUID where
494− rnf = flip seq ()
439+ rnf = rnf . toWords
495440
496441instance Hashable UUID where
497− hash (toWords -> (w0,w1,w2,w3)) =
442+ hash (UUID w0 w1 w2 w3) =
498443 hash w0 `hashWithSalt` w1
499444 `hashWithSalt` w2
500445 `hashWithSalt` w3
501− hashWithSalt s (toWords -> (w0,w1,w2,w3)) =
446+ hashWithSalt s (UUID w0 w1 w2 w3) =
502447 s `hashWithSalt` w0
503448 `hashWithSalt` w1
504449 `hashWithSalt` w2
505450 `hashWithSalt` w3
506451
507−-- | Pretty prints a 'UUID' (without quotation marks). See also 'toString'.
508−--
509−-- >>> show nil
510−-- "00000000-0000-0000-0000-000000000000"
511−--
512452instance Show UUID where
513453 show = toString
514454
@@ -519,7 +459,7 @@ instance Read UUID where
519459 Nothing -> []
520460 Just u -> [(u,drop 36 noSpaces)]
521461
522−-- | This 'Storable' instance uses the memory layout as described in <http://tools.ietf.org/html/rfc4122 RFC 4122>, but in contrast to the 'Binary' instance, __the fields are stored in host byte order__.
462+
523463instance Storable UUID where
524464 sizeOf _ = 16
525465 alignment _ = 4
@@ -556,10 +496,10 @@ instance Storable UUID where
556496 pokeByteOff p (off+14) x9
557497 pokeByteOff p (off+15) x10
558498
559−-- | This 'Binary' instance is compatible with <http://tools.ietf.org/html/rfc4122 RFC 4122>, storing the fields in network order as 16 bytes.
560499instance Binary UUID where
561− put (UUID w0 w1) = putWord64be w0 >> putWord64be w1
562− get = liftM2 UUID getWord64be getWord64be
500+ put (UUID w0 w1 w2 w3) =
501+ putWord32be w0 >> putWord32be w1 >> putWord32be w2 >> putWord32be w3
502+ get = liftM4 UUID getWord32be getWord32be getWord32be getWord32be
563503
564504
565505-- My goal with this instance was to make it work just enough to do what
@@ -570,6 +510,10 @@ instance Data UUID where
570510 dataTypeOf _ = uuidType
571511
572512uuidType :: DataType
573−uuidType = mkNoRepType "Data.UUID.Types.UUID"
513+uuidType = mkNoRepType "Data.UUID.UUID"
514+
515+#if !(MIN_VERSION_base(4,2,0))
516+mkNoRepType :: String -> DataType
517+mkNoRepType = mkNorepType
518+#endif
574519
575−deriving instance Lift UUID