Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.Database.UID

Description

Unique Identifier used across Drasil.

Synopsis

data UID
class HasUID c where
- uid :: Getter c UID
mkUid :: String -> UID
nsUid :: String -> UID -> UID
(+++) :: HasUID a => a -> String -> UID
(+++.) :: UID -> String -> UID
(+++!) :: (HasUID a, HasUID b) => a -> b -> UID
showUID :: HasUID a => a -> String

Documentation

data UID Source #

A UID is a 'unique identifier' for things that we will put into our database of information. We use a newtype wrapper to make sure we are only using UIDs where desired.

Instances

Instances details

ToJSON UID Source #
Instance details Defined in Drasil.Database.UID Methods toJSON :: UID -> Value toEncoding :: UID -> Encoding toJSONList :: [UID] -> Value toEncodingList :: [UID] -> Encoding
ToJSONKey UID Source #
Instance details Defined in Drasil.Database.UID Methods toJSONKey :: ToJSONKeyFunction UID toJSONKeyList :: ToJSONKeyFunction [UID]
Generic UID Source #
Instance details Defined in Drasil.Database.UID Associated Types type Rep UID :: Type -> Type # Methods from :: UID -> Rep UID x # to :: Rep UID x -> UID #
Show UID Source #
Instance details Defined in Drasil.Database.UID Methods showsPrec :: Int -> UID -> ShowS # show :: UID -> String # showList :: [UID] -> ShowS #
Eq UID Source #
Instance details Defined in Drasil.Database.UID Methods (==) :: UID -> UID -> Bool # (/=) :: UID -> UID -> Bool #
Ord UID Source #
Instance details Defined in Drasil.Database.UID Methods compare :: UID -> UID -> Ordering # (<) :: UID -> UID -> Bool # (<=) :: UID -> UID -> Bool # (>) :: UID -> UID -> Bool # (>=) :: UID -> UID -> Bool # max :: UID -> UID -> UID # min :: UID -> UID -> UID #
type Rep UID Source #
Instance details Defined in Drasil.Database.UID type Rep UID = D1 ('MetaData "UID" "Drasil.Database.UID" "drasil-database-0.1.1.0-5oPj4CLw7PwuDH58oM3Qz" 'False) (C1 ('MetaCons "UID" 'PrefixI 'True) (S1 ('MetaSel ('Just "_namespace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [String]) :*: S1 ('MetaSel ('Just "_baseName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 String)))