Safe Haskell	None
Language	Haskell2010

Data.UserId

Description

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

Synopsis

Documentation

newtype UserId Source #

a UserId uniquely identifies a user.

Constructors

UserId
Fields _unUserId :: Integer

Instances

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