Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data UUID = UUID !Word64 !Word64
- data UuidFields = UuidFields {
- uuidVariety :: !Word4
- uuidValue :: !Word60
- uuidVariant :: !Word2
- uuidVersion :: !Word2
- uuidOrigin :: !Word60
- build :: UuidFields -> UUID
- buildX :: Word4 -> Word60 -> Word64
- buildY :: Word2 -> Word2 -> Word60 -> Word64
- split :: UUID -> UuidFields
- succValue :: UUID -> UUID
- zero :: UUID
- pattern Zero :: UUID
- getName :: UUID -> Maybe (ByteString, ByteString)
- liftName :: ByteString -> Q Exp
- mkName :: MonadFail m => ByteString -> m UUID
- mkScopedName :: MonadFail m => ByteString -> ByteString -> m UUID
- decodeBase32 :: FilePath -> Maybe UUID
- encodeBase32 :: UUID -> FilePath
Documentation
Universally unique identifier of anything
Instances
Eq UUID Source # | |
Data UUID Source # | |
Defined in RON.UUID gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UUID -> c UUID # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UUID # dataTypeOf :: UUID -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UUID) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UUID) # gmapT :: (forall b. Data b => b -> b) -> UUID -> UUID # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UUID -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UUID -> r # gmapQ :: (forall d. Data d => d -> u) -> UUID -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UUID -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UUID -> m UUID # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UUID -> m UUID # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UUID -> m UUID # | |
Ord UUID Source # | |
Show UUID Source # | RON-Text-encoding |
Generic UUID Source # | |
Hashable UUID Source # | |
type Rep UUID Source # | |
Defined in RON.UUID type Rep UUID = D1 (MetaData "UUID" "RON.UUID" "ron-0.9-3vRSvkBw59E3vYQ9Q1curT" False) (C1 (MetaCons "UUID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Word64))) |
data UuidFields Source #
UUID split in parts
UuidFields | |
|
Instances
Eq UuidFields Source # | |
Defined in RON.UUID (==) :: UuidFields -> UuidFields -> Bool # (/=) :: UuidFields -> UuidFields -> Bool # | |
Show UuidFields Source # | |
Defined in RON.UUID showsPrec :: Int -> UuidFields -> ShowS # show :: UuidFields -> String # showList :: [UuidFields] -> ShowS # |
build :: UuidFields -> UUID Source #
Build UUID from parts
split :: UUID -> UuidFields Source #
Split UUID into parts
Name
:: UUID | |
-> Maybe (ByteString, ByteString) |
|
Convert UUID to a name
:: MonadFail m | |
=> ByteString | name, max 10 Base64 letters |
-> m UUID |
Make an unscoped (unqualified) name
:: MonadFail m | |
=> ByteString | scope, max 10 Base64 letters |
-> ByteString | local name, max 10 Base64 letters |
-> m UUID |
Make a scoped (qualified) name
Base32 encoding, suitable for file names
encodeBase32 :: UUID -> FilePath Source #
Encode a UUID to a Base32 string