Data.UUID.Typed

Documentation

newtype UUID a

Constructors

UUID

Fields

• unUUID :: UUID

Instances

Eq (UUID a)

Defined in Data.UUID.Typed

Methods

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

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

Data a => Data (UUID a)

Defined in Data.UUID.Typed

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UUID a -> c (UUID a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UUID a)

toConstr :: UUID a -> Constr

dataTypeOf :: UUID a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (UUID a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UUID a))

gmapT :: (forall b. Data b => b -> b) -> UUID a -> UUID a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UUID a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UUID a -> r

gmapQ :: (forall d. Data d => d -> u) -> UUID a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> UUID a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UUID a -> m (UUID a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UUID a -> m (UUID a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UUID a -> m (UUID a)

Ord (UUID a)

Defined in Data.UUID.Typed

Methods

compare :: UUID a -> UUID a -> Ordering

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

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

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

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

max :: UUID a -> UUID a -> UUID a

min :: UUID a -> UUID a -> UUID a

Read (UUID a)

Defined in Data.UUID.Typed

Methods

readsPrec :: Int -> ReadS (UUID a)

readList :: ReadS [UUID a]

readPrec :: ReadPrec (UUID a)

readListPrec :: ReadPrec [UUID a]

Show (UUID a)

Defined in Data.UUID.Typed

Methods

showsPrec :: Int -> UUID a -> ShowS

show :: UUID a -> String

showList :: [UUID a] -> ShowS

Generic (UUID a)

Defined in Data.UUID.Typed

Associated Types

type Rep (UUID a) :: Type -> Type

Methods

from :: UUID a -> Rep (UUID a) x

to :: Rep (UUID a) x -> UUID a

Hashable (UUID a)

Defined in Data.UUID.Typed

Methods

hashWithSalt :: Int -> UUID a -> Int

hash :: UUID a -> Int

ToJSON (UUID a)

Defined in Data.UUID.Typed

Methods

toJSON :: UUID a -> Value

toEncoding :: UUID a -> Encoding

toJSONList :: [UUID a] -> Value

toEncodingList :: [UUID a] -> Encoding

ToJSONKey (UUID a)

Defined in Data.UUID.Typed

Methods

toJSONKey :: ToJSONKeyFunction (UUID a)

toJSONKeyList :: ToJSONKeyFunction [UUID a]

FromJSON (UUID a)

Defined in Data.UUID.Typed

Methods

parseJSON :: Value -> Parser (UUID a)

parseJSONList :: Value -> Parser [UUID a]

FromJSONKey (UUID a)

Defined in Data.UUID.Typed

Methods

fromJSONKey :: FromJSONKeyFunction (UUID a)

fromJSONKeyList :: FromJSONKeyFunction [UUID a]

Storable (UUID a)

Defined in Data.UUID.Typed

Methods

sizeOf :: UUID a -> Int

alignment :: UUID a -> Int

peekElemOff :: Ptr (UUID a) -> Int -> IO (UUID a)

pokeElemOff :: Ptr (UUID a) -> Int -> UUID a -> IO ()

peekByteOff :: Ptr b -> Int -> IO (UUID a)

pokeByteOff :: Ptr b -> Int -> UUID a -> IO ()

peek :: Ptr (UUID a) -> IO (UUID a)

poke :: Ptr (UUID a) -> UUID a -> IO ()

Binary (UUID a)

Defined in Data.UUID.Typed

Methods

put :: UUID a -> Put

get :: Get (UUID a)

putList :: [UUID a] -> Put

NFData (UUID a)

Defined in Data.UUID.Typed

Methods

rnf :: UUID a -> ()

ToHttpApiData (UUID a)

Defined in Data.UUID.Typed

Methods

toUrlPiece :: UUID a -> Text

toEncodedUrlPiece :: UUID a -> Builder

toHeader :: UUID a -> ByteString

toQueryParam :: UUID a -> Text

FromHttpApiData (UUID a)

Defined in Data.UUID.Typed

Methods

parseUrlPiece :: Text -> Either Text (UUID a)

parseHeader :: ByteString -> Either Text (UUID a)

parseQueryParam :: Text -> Either Text (UUID a)

Random (UUID a)

Defined in Data.UUID.Typed

Methods

randomR :: RandomGen g => (UUID a, UUID a) -> g -> (UUID a, g)

random :: RandomGen g => g -> (UUID a, g)

randomRs :: RandomGen g => (UUID a, UUID a) -> g -> [UUID a]

randoms :: RandomGen g => g -> [UUID a]

randomRIO :: (UUID a, UUID a) -> IO (UUID a)

randomIO :: IO (UUID a)

Validity (UUID a)

Defined in Data.UUID.Typed

Methods

validate :: UUID a -> Validation

type Rep (UUID a)

Defined in Data.UUID.Typed

type Rep (UUID a) = D1 (MetaData "UUID" "Data.UUID.Typed" "typed-uuid-0.0.0.0-33gD8syEMnA7p8nXfdjeJx" True) (C1 (MetaCons "UUID" PrefixI True) (S1 (MetaSel (Just "unUUID") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UUID)))

uuidBs :: UUID a -> ByteString

uuidLBs :: UUID a -> ByteString

uuidString :: UUID a -> String

uuidText :: UUID a -> Text

nextRandomUUID :: MonadIO m => m (UUID a)

parseUUID :: Text -> Maybe (UUID a)

parseUUIDString :: String -> Maybe (UUID a)

jsonParseUUID :: Value -> Parser (UUID a)

textJSONParseUUID :: Text -> Parser (UUID a)