2011-06-01 23:10:38 +00:00
|
|
|
{- git-annex UUID type
|
|
|
|
-
|
|
|
|
- Copyright 2011 Joey Hess <joey@kitenet.net>
|
|
|
|
-
|
|
|
|
- Licensed under the GNU GPL version 3 or higher.
|
|
|
|
-}
|
|
|
|
|
2011-06-02 01:56:04 +00:00
|
|
|
module Types.UUID where
|
2011-06-01 23:10:38 +00:00
|
|
|
|
2011-11-07 18:46:01 +00:00
|
|
|
-- A UUID is either an arbitrary opaque string, or UUID info may be missing.
|
|
|
|
data UUID = NoUUID | UUID String
|
|
|
|
deriving (Eq, Ord)
|
|
|
|
|
|
|
|
instance Show UUID where
|
|
|
|
show (UUID u) = u
|
|
|
|
show NoUUID = ""
|
|
|
|
|
|
|
|
instance Read UUID where
|
|
|
|
readsPrec _ s
|
|
|
|
| null s = [(NoUUID, "")]
|
|
|
|
| otherwise = [(UUID s, "")]
|