Safe Haskell	None
Language	Haskell2010

Data.UserId

Description

This module provides a UserId type plus some useful instances for web development.

Synopsis

newtype UserId = UserId {
- _unUserId :: Integer
}
unUserId :: Functor f => (Integer -> f Integer) -> UserId -> f UserId
rUserId :: forall tok e r. Boomerang e tok ((:-) Integer r) ((:-) UserId r)
succUserId :: UserId -> UserId

Documentation

newtype UserId Source #

a UserId uniquely identifies a user.

Constructors

UserId
Fields _unUserId :: Integer

Instances

Enum UserId Source #
Instance details Defined in Data.UserId Methods succ :: UserId -> UserId Source # pred :: UserId -> UserId Source # toEnum :: Int -> UserId Source # fromEnum :: UserId -> Int Source # enumFrom :: UserId -> [UserId] Source # enumFromThen :: UserId -> UserId -> [UserId] Source # enumFromTo :: UserId -> UserId -> [UserId] Source # enumFromThenTo :: UserId -> UserId -> UserId -> [UserId] Source #
Eq UserId Source #
Instance details Defined in Data.UserId Methods (==) :: UserId -> UserId -> Bool Source # (/=) :: UserId -> UserId -> Bool Source #
Data UserId Source #
Instance details Defined in Data.UserId Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UserId -> c UserId Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UserId Source # toConstr :: UserId -> Constr Source # dataTypeOf :: UserId -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UserId) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UserId) Source # gmapT :: (forall b. Data b => b -> b) -> UserId -> UserId Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r Source # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UserId -> r Source # gmapQ :: (forall d. Data d => d -> u) -> UserId -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> UserId -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UserId -> m UserId Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UserId -> m UserId Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UserId -> m UserId Source #
Ord UserId Source #
Instance details Defined in Data.UserId Methods compare :: UserId -> UserId -> Ordering Source # (<) :: UserId -> UserId -> Bool Source # (<=) :: UserId -> UserId -> Bool Source # (>) :: UserId -> UserId -> Bool Source # (>=) :: UserId -> UserId -> Bool Source # max :: UserId -> UserId -> UserId Source # min :: UserId -> UserId -> UserId Source #
Read UserId Source #
Instance details Defined in Data.UserId Methods readsPrec :: Int -> ReadS UserId Source # readList :: ReadS [UserId] Source # readPrec :: ReadPrec UserId Source # readListPrec :: ReadPrec [UserId] Source #
Show UserId Source #
Instance details Defined in Data.UserId Methods showsPrec :: Int -> UserId -> ShowS Source # show :: UserId -> String Source # showList :: [UserId] -> ShowS Source #
Generic UserId Source #
Instance details Defined in Data.UserId Associated Types type Rep UserId :: Type -> Type Source # Methods from :: UserId -> Rep UserId x Source # to :: Rep UserId x -> UserId Source #
ToJSON UserId Source #
Instance details Defined in Data.UserId Methods toJSON :: UserId -> Value Source # toEncoding :: UserId -> Encoding Source # toJSONList :: [UserId] -> Value Source # toEncodingList :: [UserId] -> Encoding Source #
FromJSON UserId Source #
Instance details Defined in Data.UserId Methods parseJSON :: Value -> Parser UserId Source # parseJSONList :: Value -> Parser [UserId] Source #
Serialize UserId Source #
Instance details Defined in Data.UserId Methods put :: Putter UserId Source # get :: Get UserId Source #
SafeCopy UserId Source #
Instance details Defined in Data.UserId Methods version :: Version UserId Source # kind :: Kind UserId Source # getCopy :: Contained (Get UserId) Source # putCopy :: UserId -> Contained Put Source # internalConsistency :: Consistency UserId Source # objectProfile :: Profile UserId Source # errorTypeName :: Proxy UserId -> String Source #
PathInfo UserId Source #
Instance details Defined in Data.UserId Methods toPathSegments :: UserId -> [Text] fromPathSegments :: URLParser UserId
type Rep UserId Source #
Instance details Defined in Data.UserId type Rep UserId = D1 (MetaData "UserId" "Data.UserId" "userid-0.1.3.3-jBbB5SctV71rclwJRWs9p" True) (C1 (MetaCons "UserId" PrefixI True) (S1 (MetaSel (Just "_unUserId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

unUserId :: Functor f => (Integer -> f Integer) -> UserId -> f UserId Source #

rUserId :: forall tok e r. Boomerang e tok ((:-) Integer r) ((:-) UserId r) Source #

succUserId :: UserId -> UserId Source #

get the next UserId