Mensam.API.Data.User.Username
newtype Username Source #
Constructors
Fields
Defined in Mensam.API.Data.User.Username
Methods
parseJSON :: Value -> Parser Username Source #
parseJSONList :: Value -> Parser [Username] Source #
toJSON :: Username -> Value Source #
toEncoding :: Username -> Encoding Source #
toJSONList :: [Username] -> Value Source #
toEncodingList :: [Username] -> Encoding Source #
Associated Types
type Rep Username :: Type -> Type #
from :: Username -> Rep Username x #
to :: Rep Username x -> Username #
readsPrec :: Int -> ReadS Username #
readList :: ReadS [Username] #
readPrec :: ReadPrec Username #
readListPrec :: ReadPrec [Username] #
showsPrec :: Int -> Username -> ShowS #
show :: Username -> String #
showList :: [Username] -> ShowS #
(==) :: Username -> Username -> Bool #
(/=) :: Username -> Username -> Bool #
compare :: Username -> Username -> Ordering #
(<) :: Username -> Username -> Bool #
(<=) :: Username -> Username -> Bool #
(>) :: Username -> Username -> Bool #
(>=) :: Username -> Username -> Bool #
max :: Username -> Username -> Username #
min :: Username -> Username -> Username #
parseUrlPiece :: Text -> Either Text Username Source #
parseHeader :: ByteString -> Either Text Username Source #
parseQueryParam :: Text -> Either Text Username Source #
toUrlPiece :: Username -> Text Source #
toEncodedUrlPiece :: Username -> Builder Source #
toHeader :: Username -> ByteString Source #
toQueryParam :: Username -> Text Source #
toEncodedQueryParam :: Username -> Builder Source #
toPrettyHtml5 :: Username -> Html Source #
toPrettyText :: Username -> Text Source #
Defined in Mensam.Server.OpenApi
toParamSchema :: Proxy Username -> Schema Source #
declareNamedSchema :: Proxy Username -> Declare (Definitions Schema) NamedSchema Source #
mkUsername :: Text -> Either String Username Source #