RON.UUID

Documentation

data UUID

Universally unique identifier of anything

Constructors

UUID !Word64 !Word64

Instances

Eq UUID

Defined in RON.UUID

Methods

(==) :: UUID -> UUID -> Bool

(/=) :: UUID -> UUID -> Bool

Data UUID

Defined in RON.UUID

Methods

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

toConstr :: UUID -> Constr

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

Defined in RON.UUID

Methods

compare :: UUID -> UUID -> Ordering

(<) :: UUID -> UUID -> Bool

(<=) :: UUID -> UUID -> Bool

(>) :: UUID -> UUID -> Bool

(>=) :: UUID -> UUID -> Bool

max :: UUID -> UUID -> UUID

min :: UUID -> UUID -> UUID

Show UUID

RON-Text-encoding

Defined in RON.UUID

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

Generic UUID

Defined in RON.UUID

Associated Types

type Rep UUID :: Type -> Type

Methods

from :: UUID -> Rep UUID x

to :: Rep UUID x -> UUID

Hashable UUID

Defined in RON.UUID

Methods

hashWithSalt :: Int -> UUID -> Int

hash :: UUID -> Int

NFData UUID

Defined in RON.UUID

Methods

rnf :: UUID -> ()

ReplicatedAsPayload UUID

Defined in RON.Data.Internal

Methods

toPayload :: UUID -> [Atom]

fromPayload :: [Atom] -> Either String UUID

Replicated UUID

Defined in RON.Data.Internal

Methods

encoding :: Encoding UUID

type Rep UUID

Defined in RON.UUID

type Rep UUID = D1 (MetaData "UUID" "RON.UUID" "ron-0.2-CBCinHkYKtkAjoH6xEEAHv" 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

UUID split in parts

Constructors

UuidFields

Fields

• uuidVariety :: !Word4
• uuidValue :: !Word60
• uuidVariant :: !Word2
• uuidVersion :: !Word2
• uuidOrigin :: !Word60

Instances

Eq UuidFields

Defined in RON.UUID

Methods

(==) :: UuidFields -> UuidFields -> Bool

(/=) :: UuidFields -> UuidFields -> Bool

Show UuidFields

Defined in RON.UUID

Methods

showsPrec :: Int -> UuidFields -> ShowS

show :: UuidFields -> String

showList :: [UuidFields] -> ShowS

build :: UuidFields -> UUID

Build UUID from parts

buildX :: Word4 -> Word60 -> Word64

Build former 64 bits of UUID from parts

buildY :: Word2 -> Word2 -> Word60 -> Word64

Build latter 64 bits of UUID from parts

split :: UUID -> UuidFields

Split UUID into parts

succValue :: UUID -> UUID

Increment field uuidValue of a UUID

zero :: UUID

UUID with all zero fields

pattern Zero :: UUID

UUID with all zero fields

Name

getName

Arguments

:: UUID

-> Maybe (ByteString, ByteString)

(scope, name) for a scoped name; (name, "") for a global name

Convert UUID to a name

mkName

Arguments

:: Monad m

=> ByteString

name, max 10 Base64 letters

-> m UUID

Make an unscoped (unqualified) name

mkScopedName

Arguments

:: Monad 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

decodeBase32 :: FilePath -> Maybe UUID

Decode a UUID from a Base32 string

encodeBase32 :: UUID -> FilePath

Encode a UUID to a Base32 string